The TPTP Typed First-Order Form with Arithmetic
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.
|Collections||ANU Research Publications|
|01_Sutcliffe_The_TPTP_Typed_First-Order_2012.pdf||218.37 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.