Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Otter_(theorem_prover)> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- Otter_(theorem_prover) abstract "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.Otter has been very stable for a number of years but is no longer actively developed. As of November 2008, the last changelog entry was dated 14 September 2004. A successor to Otter is Prover9.The software is in the public domain. The University of Chicago has declined to assert its copyrights in this software, and it may be used, modified, and redistributed (with or without modifications) by the public. However, "NEITHER THE UNITED STATES GOVERNMENT NOR ANY AGENCY THEREOF [...] REPRESENTS THAT ITS USE WOULD NOT INFRINGE PRIVATELY OWNED RIGHTS."According to Wos and Pieper, OTTER is written in approximately 28,000 lines of C programming language.".
- Otter_(theorem_prover) wikiPageExternalLink otter.
- Otter_(theorem_prover) wikiPageExternalLink prover9.
- Otter_(theorem_prover) wikiPageID "265263".
- Otter_(theorem_prover) wikiPageRevisionID "580814409".
- Otter_(theorem_prover) hasPhotoCollection Otter_(theorem_prover).
- Otter_(theorem_prover) subject Category:Free_theorem_provers.
- Otter_(theorem_prover) subject Category:Public_domain_software.
- Otter_(theorem_prover) comment "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.Otter has been very stable for a number of years but is no longer actively developed.".
- Otter_(theorem_prover) label "Otter (theorem prover)".
- Otter_(theorem_prover) sameAs m.01n9g7.
- Otter_(theorem_prover) sameAs Q7109350.
- Otter_(theorem_prover) sameAs Q7109350.
- Otter_(theorem_prover) wasDerivedFrom Otter_(theorem_prover)?oldid=580814409.
- Otter_(theorem_prover) isPrimaryTopicOf Otter_(theorem_prover).