. . "Otter (theorem prover)"@en . "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."@en . . . . . . "C"@en . . . . . . "Otter"@en . . . "Otter"@en . . . . "4641"^^ . . . . . . . . . "265263"^^ . . . . . . . . . . "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."@en . . . . . . "989202275"^^ . . . .