System??T?TP - ATP in your Web Browser
SystemOnTPTP
SystemB4TPTP
- Problem syntax conversion
- Parsers and pretty printing (BNF-based and
tptp2X and tptp4X)
- FOF-CNF conversion (E and FLOTTER)
- Type checking (syntactic and Twelf-based)
- Axiom relevance measures
(APRILS and
Prophet)
- Available
online at www.tptp.org/cgi-bin/SystemB4TPTP
SystemOnTSTP