(There is also such a thing as satisfiability of formulas of first-order and second-order logic.)
Compare with: decision problem
External links
... tenor (+ 1942) March 7 - Reinhard Heydrich, Nazi official March 20 - B. F. Skinner, behavioral psychologist (+ 1990) March 23 - Joan Crawford, actress March ...