E-prover

GPTKB entity

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