Statements (23)
Predicate | Object |
---|---|
gptkbp:instanceOf |
automated theorem prover
|
gptkbp:citation |
high in automated reasoning community
Schulz, S. (2002). E: A Brainiac Theorem Prover. AI Communications. |
gptkbp:developer |
gptkb:Stephan_Schulz
|
gptkbp:format |
TPTP
TSTP |
https://www.w3.org/2000/01/rdf-schema#label |
E-prover
|
gptkbp:latestReleaseVersion |
2.6
2023-01-01 |
gptkbp:license |
gptkb:GPL
|
gptkbp:operatingSystem |
Cross-platform
|
gptkbp:relatedTo |
gptkb:vampire
gptkb:Prover9 SPASS |
gptkbp:supports |
gptkb:first-order_logic
|
gptkbp:supportsAlgorithm |
superposition calculus
|
gptkbp:usedFor |
automated reasoning
formal verification mathematical proof automation |
gptkbp:website |
https://wwwlehre.dhbw-stuttgart.de/~sschulz/E/E.html
|
gptkbp:writtenBy |
C
|
gptkbp:bfsParent |
gptkb:Automated_Theorem_Proving
|
gptkbp:bfsLayer |
7
|