Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theorem_prover
|
| gptkbp:author |
gptkb:William_McCune
|
| gptkbp:developedBy |
gptkb:Argonne_National_Laboratory
|
| gptkbp:genre |
automated theorem proving
|
| gptkbp:latestReleaseVersion |
2004
3.3 |
| gptkbp:license |
public domain
|
| gptkbp:namedAfter |
gptkb:Organized_Techniques_for_Theorem-proving_and_Effective_Research
|
| gptkbp:operatingSystem |
cross-platform
|
| gptkbp:predecessor |
gptkb:AURA_theorem_prover
|
| gptkbp:releaseYear |
1990
|
| gptkbp:successor |
gptkb:Prover9
|
| gptkbp:uses |
gptkb:government_agency
paramodulation |
| gptkbp:writtenBy |
C
|
| gptkbp:bfsParent |
gptkb:William_McCune
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Otter theorem prover
|