(There is also such a thing as satisfiability of formulas of first-order and second-order logic.)
Compare with: decision problem
External links
... Deutsche Bahn, the major German railway company DB is the abbreviation of Dominion Breweries[?], a major beer brewing company of New Zealand. Th ...