satisfiabilityType
P162022
predicate
Indicates the classification of how or whether a given condition, formula, or constraint can be satisfied (e.g., satisfiable, unsatisfiable, or unknown).