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

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
68 Extracted Citations
37 Extracted References
Similar Papers

Citing Papers

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

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 37 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…