Future Acronyms
TFF
Propagate the
TFF language
SMT
Finalize the TPTP syntax for integer arithmetic
Align with SMT-LIB
Collect problems with arithmetic and uninterpreted symbols
PML
Value added presentation of TPTP derivations
Access to provenance information
Proof combination