Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
automated theorem prover |
| gptkbp:alsoKnownAs |
NQTHM
|
| gptkbp:developedBy |
gptkb:J_Strother_Moore
gptkb:Robert_S._Boyer |
| gptkbp:field |
gptkb:logic
computer science |
| gptkbp:firstReleased |
1970s
|
| https://www.w3.org/2000/01/rdf-schema#label |
Boyer–Moore theorem prover
|
| gptkbp:influenced |
gptkb:ACL2
|
| gptkbp:notableFor |
formal verification
inductive proofs |
| gptkbp:programmingLanguage |
gptkb:Lisp
|
| gptkbp:website |
https://www.cs.utexas.edu/users/boyer/nqthm-bibliography.html
|
| gptkbp:bfsParent |
gptkb:Robert_S._Boyer
gptkb:Robert_H._Boyer |
| gptkbp:bfsLayer |
7
|