Otter - The CADE-13 Competition Incarnations

  title={Otter - The CADE-13 Competition Incarnations},
  author={William McCune and Larry Wos},
  journal={Journal of Automated Reasoning},
This article discusses the two incarnations of Otter entered in the CADE-13 Automated Theorem Proving System Competition. Also presented are some historical background, a summary of applications that have led to new results in mathematics and logic, and a general discussion of Otter. 
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 105 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
68 Citations
38 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 68 extracted citations

106 Citations

Citations per Year
Semantic Scholar estimates that this publication has 106 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 38 references

33 basic test problems: A practical evaluation of some paramodulation strategies, Preprint ANL/MCS-P618-1096

  • W. McCune
  • Argonne National Laboratory,
  • 1996
3 Excerpts

Moufang quasigroups

  • K. Kunen
  • J. Algebra
  • 1996
1 Excerpt

Quasigroups, loops, and associative laws, J

  • K. Kunen
  • Algebra
  • 1996
1 Excerpt

Similar Papers

Loading similar papers…