E is a high performance theorem prover for full firstorder logic with equality. It is based on the equational superposition calculus and uses a purely equational paradigm. It has been integrated into other theorem provers and it has been among the bestplaced systems in several theorem proving competitions. E is developed by Stephan Schulz, originally in the Automated Reasoning Group at TU Munich, now at BadenWürttemberg Cooperative State University Stuttgart.
Attributes  Values 

rdfs:label 

rdfs:comment 

foaf:isPrimaryTopicOf  
dct:subject  
Wikipage page ID 

Wikipage revision ID 

Link from a Wikipage to another Wikipage 

Link from a Wikipage to an external page  
sameAs  
dbp:wikiPageUsesTemplate  
has abstract 

prov:wasDerivedFrom  
page length (characters) of wiki page 

is foaf:primaryTopic of  
is Link from a Wikipage to another Wikipage of  
is Wikipage redirect of  
is Wikipage disambiguates of 