The IJCAR ATP system competition
From MaRDI portal
Publication:1610672
DOI10.1023/A:1015736313131zbMath1003.68718MaRDI QIDQ1610672
Geoff Sutcliffe, Francis Jeffry Pelletier, Christian Suttner
Publication date: 20 August 2002
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Related Items (3)
System Description: E.T. 0.1 ⋮ The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 ⋮ The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
Uses Software
This page was built for publication: The IJCAR ATP system competition
