Download PDFOpen PDF in browserAutomated Theorem Proving using the TPTP Process Instruction Language9 pages•Published: July 5, 2015AbstractThe 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.Keyphrases: automated theorem proving, automated theorem proving process, tptp, tptp process instruction language In: Stephan Schulz, Leonardo De Moura and Boris Konev (editors). PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning, vol 31, pages 67-75.
|