Horn formula

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf logical formula
gptkbp:characterizedBy at most one positive literal per clause
gptkbp:enables efficient satisfiability checking
gptkbp:firstDescribed 1951
gptkbp:hasSubgroup CNF formula
https://www.w3.org/2000/01/rdf-schema#label Horn formula
gptkbp:importantFor gptkb:Prolog
gptkbp:namedAfter gptkb:Alfred_Horn
gptkbp:usedIn gptkb:logic
automated theorem proving
logic programming
gptkbp:bfsParent gptkb:Horn-SAT
gptkbp:bfsLayer 7