(There is also such a thing as satisfiability of formulas of first-order and second-order logic.)
Compare with: decision problem
External links
... box. They receive a lot of money, and cite a lot of people cured. These people usually blame a conspiracy or a cover-up for the fact the treatment is not used ...