Keyword:TPTP

Papers
The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps Geoff Sutcliffe and Stephan Schulz In:IWIL-2015. 11th International Workshop on the Implementation of Logics
Defining the meaning of TPTP formatted proofs Roberto Blanco, Tomer Libal and Dale Miller In:IWIL-2015. 11th International Workshop on the Implementation of Logics
Things You Can't do With a Vampire Geoff Sutcliffe In:Proceedings of the 1st and 2nd Vampire Workshops
Automated Theorem Proving using the TPTP Process Instruction Language Muhammad Nassar and Geoff Sutcliffe In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning