scientific article; zbMATH DE number 5305114

zbMATH Open1147.68699MaRDI QIDQ3515519FDOQ3515519

Geoff Sutcliffe

Publication date: 29 July 2008

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

CADE ATP System Competition

Mathematics Subject Classification ID

Cited In (9)

• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• Automatic Proof and Disproof in Isabelle/HOL
• Title not available (Why is that?)
• leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions)
• Automated verification of refinement laws
• The state of CASC
• Uniform strategies: The CADE-11 theorem proving contest
• Combining instance generation and resolution
• The rue theorem-proving system: The complete set of LIM+ challenge problems

Uses Software

• MPTP 0.2
• TPTP
• Mizar
• ileanCoP

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)