(There is also such a thing as satisfiability of formulas of first-order and second-order logic.)
Compare with: decision problem
External links
... was a Christian and possibly bishop of Croton. In approximately 580, he wrote "De origine actibusque Getarum[?]" (The origin and deeds of the Goths), "De breviatione ...