The TPTP Language

A Key to Success

Annotated Formulae

Language Definition in BNF