(There is also such a thing as satisfiability of formulas of first-order and second-order logic.)
Compare with: decision problem
External links
... females age 18 and over, there are 78.8 males. The median income for a household in the town is $72,500, and the median income for a family is $89,211. Males hav ...