MPTP 0.1 - System Description

DOI10.1016/S1571-0661(04)80659-5zbMath1261.68107MaRDI QIDQ4916228

Josef Urban

Publication date: 19 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Uses Software

• MPTP
• SPASS
• TPTP
• Mizar
• MML

Cites Work

• The TPTP problem library. CNF release v1. 2. 1
• Soft typing for ordered resolution
• Unnamed Item
• Unnamed Item

This page was built for publication: MPTP 0.1 - System Description