The TPTP typed first-order form with arithmetic
Paper i proceeding, 2012

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.

Theorem proving

Automated theorem proving

Artificial intelligence

Automata theory

First order logic

First-order form

Författare

G. Sutcliffe

University of Miami

S. Schulz

Technische Universität München

Koen Lindström Claessen

Chalmers, Data- och informationsteknik, Programvaruteknik

P. Baumgartner

Australian National University

Lecture Notes in Computer Science

0302-9743 (ISSN)

Vol. 7180 406-419

Ämneskategorier

Programvaruteknik

DOI

10.1007/978-3-642-28717-6_32

ISBN

978-364228716-9

Mer information

Senast uppdaterat

2018-03-16