scientific article; zbMATH DE number 5305114

MaRDI QIDQ3515519zbMATH OpenFDO

Authors Geoff Sutcliffe

Publication date 29 July 2008

zbMATH Keywords

CADE ATP System Competition

Mathematics Subject Classification ID

Recommendations

• The CADE-22 automated theorem proving system competition -- CASC-22
• The CADE-26 automated theorem proving system competition -- CASC-26
• The CADE-25 automated theorem proving system competition -- CASC-25
• The CADE-27 automated theorem proving system competition -- CASC-27
• The CADE-28 Automated Theorem Proving System Competition – CASC-28
• The 11th IJCAR automated theorem proving system competition – CASC-J11

Cited in

(19)

• The 10th IJCAR automated theorem proving system competition -- CASC-J10
• The CADE-26 automated theorem proving system competition -- CASC-26
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• scientific article; zbMATH DE number 1809860 (Why is no real title available?)
• leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions)
• The CADE-25 automated theorem proving system competition -- CASC-25
• The 7th IJCAR automated theorem proving system competition -- CASC-J7
• Automated verification of refinement laws
• Uniform strategies: The CADE-11 theorem proving contest
• The state of CASC
• Combining instance generation and resolution
• The 8th IJCAR automated theorem proving system competition -- CASC-J8
• The CADE-22 automated theorem proving system competition -- CASC-22
• The CADE-27 automated theorem proving system competition -- CASC-27
• The rue theorem-proving system: The complete set of LIM+ challenge problems
• The 9th IJCAR automated theorem proving system competition -- CASC-J9
• The 11th IJCAR automated theorem proving system competition – CASC-J11
• Automatic proof and disproof in Isabelle/HOL
• The design of the CADE-13 ATP system competition

Describes a project that uses

Uses Software

• ileanCoP
• Mizar
• TPTP
• MPTP 0.2

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3515519)