Otter is an automated theorem prover developed by William McCune at Argonne National Laboratory in Illinois. Otter was the first widely distributed, highperformance theorem prover for firstorder logic, and it pioneered a number of important implementation techniques. Otter is an acronym for Organized Techniques for Theoremproving and Effective Research.
Attributes  Values 

rdf:type  
rdfs:label 

rdfs:comment 

foaf:name 

name 

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  
author  
genre  
programming language 

has abstract 

author  
genre  
prov:wasDerivedFrom  
page length (characters) of wiki page 

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