ATP Cross-Verification of the Mizar MPTP Challenge Problems

DOI10.1007/978-3-540-75560-9_39zbMath1137.68576OpenAlexW1482739915MaRDI QIDQ3498492

Josef Urban, Geoff Sutcliffe

Publication date: 15 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75560-9_39

Mathematics Subject Classification ID

Related Items (1)

Theorem Proving in Large Formal Mathematics as an Emerging AI Field

Uses Software

• MPTP
• MPTP 0.2
• VAMPIRE
• SPASS
• TPTP
• Isar
• Mizar
• E Theorem Prover
• MaLARea
• Ivy

This page was built for publication: ATP Cross-Verification of the Mizar MPTP Challenge Problems