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
|