The TPTP typed first-order form with arithmetic
Date
Authors
Sutcliffe, Geoff
Schulz, Stephan
Claessen, Koen
Baumgartner, Peter
Journal Title
Journal ISSN
Volume Title
Publisher
Access Statement
Abstract
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.
Description
Keywords
Citation
Collections
Source
Type
Book Title
Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Proceedings
Entity type
Publication