TY - GEN
T1 - The TPTP typed first-order form with arithmetic
AU - Sutcliffe, Geoff
AU - Schulz, Stephan
AU - Claessen, Koen
AU - Baumgartner, Peter
PY - 2012
Y1 - 2012
N2 - The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has been extended to include a typed first-order logic, which in turn has enabled the integration of arithmetic. This paper describes these developments.
AB - The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has been extended to include a typed first-order logic, which in turn has enabled the integration of arithmetic. This paper describes these developments.
UR - http://www.scopus.com/inward/record.url?scp=84858328958&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-28717-6_32
DO - 10.1007/978-3-642-28717-6_32
M3 - Conference contribution
AN - SCOPUS:84858328958
SN - 9783642287169
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 406
EP - 419
BT - Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Proceedings
T2 - 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18
Y2 - 11 March 2012 through 15 March 2012
ER -