The TPTP typed first-order form with arithmetic
| dc.contributor.author | Sutcliffe, Geoff | en |
| dc.contributor.author | Schulz, Stephan | en |
| dc.contributor.author | Claessen, Koen | en |
| dc.contributor.author | Baumgartner, Peter | en |
| dc.date.accessioned | 2025-12-17T16:41:05Z | |
| dc.date.available | 2025-12-17T16:41:05Z | |
| dc.date.issued | 2012 | en |
| dc.description.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. | en |
| dc.description.status | Peer-reviewed | en |
| dc.format.extent | 14 | en |
| dc.identifier.isbn | 9783642287169 | en |
| dc.identifier.issn | 0302-9743 | en |
| dc.identifier.scopus | 84858328958 | en |
| dc.identifier.uri | https://hdl.handle.net/1885/733796214 | |
| dc.language.iso | en | en |
| dc.relation.ispartof | Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Proceedings | en |
| dc.relation.ispartofseries | 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18 | en |
| dc.relation.ispartofseries | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | en |
| dc.title | The TPTP typed first-order form with arithmetic | en |
| dc.type | Conference paper | en |
| dspace.entity.type | Publication | en |
| local.bibliographicCitation.lastpage | 419 | en |
| local.bibliographicCitation.startpage | 406 | en |
| local.contributor.affiliation | Sutcliffe, Geoff; University of Miami | en |
| local.contributor.affiliation | Schulz, Stephan; Technical University of Munich | en |
| local.contributor.affiliation | Claessen, Koen; Chalmers University of Technology | en |
| local.contributor.affiliation | Baumgartner, Peter; School of Computing, ANU College of Systems and Society, The Australian National University | en |
| local.identifier.ariespublication | u4334215xPUB1052 | en |
| local.identifier.doi | 10.1007/978-3-642-28717-6_32 | en |
| local.identifier.essn | 1611-3349 | en |
| local.identifier.pure | 6ac34c4c-4190-4203-98fb-6859fb1258c0 | en |
| local.identifier.url | https://www.scopus.com/pages/publications/84858328958 | en |
| local.type.status | Published | en |