Satisfiability

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:defines The property of a logical formula being true under some interpretation
gptkbp:field gptkb:logic
Computer science
https://www.w3.org/2000/01/rdf-schema#label Satisfiability
gptkbp:opposedBy Unsatisfiability
gptkbp:relatedTo gptkb:First-order_logic
Model theory
Boolean satisfiability problem
Propositional logic
gptkbp:usedIn gptkb:Constraint_satisfaction_problems
Automated theorem proving
Formal verification
gptkbp:bfsParent gptkb:Reducibility_Among_Combinatorial_Problems_(Karp,_1972)
gptkbp:bfsLayer 6