Prover9

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf automated theorem prover
gptkbp:application gptkb:first-order_logic
equational logic
gptkbp:citation McCune, W. (2005). Prover9 and Mace4.
gptkbp:developedBy gptkb:William_McCune
gptkbp:documentation https://www.cs.unm.edu/~mccune/prover9/manual/
https://www.w3.org/2000/01/rdf-schema#label Prover9
gptkbp:latestReleaseVersion 2009-11A
gptkbp:license public domain
gptkbp:operatingSystem cross-platform
gptkbp:relatedTo gptkb:Mace4
gptkbp:releaseYear 2005
gptkbp:successor gptkb:Otter
gptkbp:usedFor automated reasoning
mathematical proof automation
gptkbp:website https://www.cs.unm.edu/~mccune/prover9/
gptkbp:writtenBy C
gptkbp:bfsParent gptkb:Automated_Reasoning
gptkbp:bfsLayer 5