Sign in
Back
The TPTP Typed First-Order Form with Arithmetic
Book chapter   Peer reviewed

The TPTP Typed First-Order Form with Arithmetic

Geoff Sutcliffe, Stephan Schulz, Koen Claessen and Peter Baumgartner
Logic for Programming, Artificial Intelligence, and Reasoning, pp.406-419
Lecture Notes in Computer Science, Springer Berlin Heidelberg
2012
DOI: https://doi.org/10.1007/978-3-642-28717-6_32

Abstract

Unary Predicate Automate Reasoning Linear Arithmetic Predicate Symbol Function Symbol
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.

Metrics

8 Record Views

Details