This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License
Otter is an automated theorem prover developed by William McCune at Argonne National Laboratory in Illinois. Otter was the first widely distributed, high-performance theorem prover for first-order logic, and it pioneered a number of important implementation techniques. Otter is an acronym for Organized Techniques for Theorem-proving and Effective Research.
| Property | Value |
|---|---|
| dbo:abstract |
|
| dbo:author | |
| dbo:genre | |
| dbo:wikiPageExternalLink | |
| dbo:wikiPageID |
|
| dbo:wikiPageLength |
|
| dbo:wikiPageRevisionID |
|
| dbo:wikiPageWikiLink |
|
| dbp:author | |
| dbp:genre | |
| dbp:name |
|
| dbp:programmingLanguage |
|
| dbp:wikiPageUsesTemplate | |
| dcterms:subject | |
| rdf:type | |
| rdfs:comment |
|
| rdfs:label |
|
| owl:sameAs | |
| prov:wasDerivedFrom | |
| foaf:isPrimaryTopicOf | |
| foaf:name |
|
| is dbo:knownFor of | |
| is dbo:wikiPageDisambiguates of | |
| is dbo:wikiPageRedirects of | |
| is dbo:wikiPageWikiLink of | |
| is dbp:knownFor of | |
| is owl:differentFrom of | |
| is foaf:primaryTopic of |