Sutcliffe, Geoff; Schulz, Stephan; Claessen, Koen; Baumgartner, Peter
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.
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.