Automated Theorem Proving using the TPTP Process Instruction Language
Keyword(s):
The TPTP (Thousands of Problems for Theorem Provers) World is a well established infrastructure for Automated Theorem Proving (ATP). In the context of the TPTP World, the TPTP Process Instruction (TPI) language provides capabilities to input, output and organize logical formulae, and control the execution of ATP systems. This paper reviews the TPI language, describes a shell interpreter for the language, and demonstrates their use in theorem proving.
1999 ◽
Vol 13
(02)
◽
pp. 219-245
◽
2019 ◽
Vol 377
(2140)
◽
pp. 20180034
◽
Keyword(s):
2020 ◽
Vol 34
(10)
◽
pp. 13919-13920
2018 ◽
Keyword(s):