The TPTP typed first-order form with arithmetic
Paper in proceeding, 2012
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.
Theorem proving
Automated theorem proving
Artificial intelligence
Automata theory
First order logic
First-order form
Author
G. Sutcliffe
University of Miami
S. Schulz
Technical University of Munich
Koen Lindström Claessen
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
P. Baumgartner
Australian National University
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 7180 LNCS 406-419978-364228716-9 (ISBN)
Subject Categories
Software Engineering
DOI
10.1007/978-3-642-28717-6_32
ISBN
978-364228716-9