The CADE-16 ATP system competition
From MaRDI portal
Publication:1977578
DOI10.1023/A:1006393501098zbMath0953.68595OpenAlexW2091890571MaRDI QIDQ1977578
Publication date: 1 February 2001
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1006393501098
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (11)
The CADE-28 Automated Theorem Proving System Competition – CASC-28 ⋮ The 11th IJCAR automated theorem proving system competition – CASC-J11 ⋮ Limited resource strategy in resolution theorem proving ⋮ On using ground joinable equations in equational theorem proving ⋮ The CADE-26 automated theorem proving system competition – CASC-26 ⋮ The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9 ⋮ The CADE-27 Automated theorem proving System Competition – CASC-27 ⋮ On Transfinite Knuth-Bendix Orders ⋮ Subsumption Algorithms for Three-Valued Geometric Resolution ⋮ The 10th IJCAR automated theorem proving system competition – CASC-J10 ⋮ Evaluating general purpose automated theorem proving systems
This page was built for publication: The CADE-16 ATP system competition
