(There is also such a thing as satisfiability of formulas of first-order and second-order logic.)
Compare with: decision problem
External links
... around. (The precessing motion is perpendicular to the torque trying to make the gyro fall over.) The axis of the gyroscope in the Dynabee is fixed to the spinning mass ...