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.

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences -- Software Engineering (hsv//eng)

Nyckelord

Theorem proving

Automated theorem proving

Artificial intelligence

Automata theory

First order logic

First-order form

Publikations- och innehållstyp

kon (ämneskategori)

ref (ämneskategori)