scientific article

zbMath1147.68699MaRDI QIDQ3515519

Geoff Sutcliffe

Publication date: 29 July 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

CADE ATP System Competition

Mathematics Subject Classification ID

Related Items

Automatic Proof and Disproof in Isabelle/HOL, The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0, leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions), Automated verification of refinement laws, Combining Instance Generation and Resolution

Uses Software

• MPTP 0.2
• TPTP
• Mizar
• ileanCoP