Otter theorem prover
From Free net encyclopedia
Otter is an automated theorem prover developed at the Argonne National Laboratory in Illinois. It was the first widely distributed high-performance theorem prover for first-order logic, and pioneered a number of important implementation techniques. Otter is an acronym for Organized Techniques for Theorem Providing and Effective Research.
Otter has been very stable for a number of years, and mostly updated for maintenance only. As of February 2006, the last changelog entry is dated 14th September 2004. A successor to Otter is Prover9.
[edit]
References
- Template:Cite journal
- Kalman, John Arnold. Automated Reasoning with OTTER. ISBN 1589490045
[edit]
