7 papers:
CADE-2015-Baumgartner #named #proving #theorem proving- SMTtoTPTP — A Converter for Theorem Proving Formats (PB), pp. 285–294.
- CADE-2013-BlanchetteP #first-order #morphism #named #polymorphism
- TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism (JCB, AP), pp. 414–420.
IJCAR-2008-BenzmullerRS #higher-order #logic #named- THF0 — The Core of the TPTP Language for Higher-Order Logic (CB, FR, GS), pp. 491–506.
- IJCAR-2006-GelderS #automation #generative #higher-order #logic #parsing
- Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation (AVG, GS), pp. 156–161.
- IJCAR-2006-SutcliffeSCG #finite #using
- Using the TPTP Language for Writing Derivations and Finite Interpretations (GS, SS, KC, AVG), pp. 67–81.
- CADE-2000-Sutcliffe
- System Description: SystemOn TPTP (GS), pp. 406–410.
- CADE-1994-SutcliffeSY #library #problem
- The TPTP Problem Library (GS, CBS, TY), pp. 252–266.
