================================================================================
The TPTP Problem Library, Release v8.2.0 ---------------------------------------- Geoff Sutcliffe ge...@tptp.org The TPTP (Thousands of Problems for Theorem Provers) Problem Library is a library of test problems for automated theorem proving (ATP) systems. The principal motivation for the TPTP is to support the testing and evaluation of ATP systems, to help ensure that performance results accurately reflect the capabilities of the ATP system being considered. TPTP v8.2.0 is now available at: http://www.tptp.org The TPTP-v8.2.0.tgz file contains the library, including utilities and basic documentation. Full documentation is online at: http://www.tptp.org/TPTP/TR/TPTPTR.shtml ========================== What's New in TPTP v8.2.0 ========================== Changes from v8.1.2 to v8.2.0 for THF problems 2823 ratings changed Changes from v8.1.2 to v8.2.0 for TFF problems 9 new abstract problems 218 new problems 1013 ratings changed Changes from v8.1.2 to v8.2.0 for FOF problems 4370 ratings changed Changes from v8.1.2 to v8.2.0 for CNF problems 4158 ratings changed + In SyntaxBNF: - Separated <ntf_connective> into <nhf_connective> and <nxf_connective>. - <nhf_key_pair> defined as <thf_definition>, and similarly <nxf_key_pair> defined as <txf_definition>. - Removed nhf_connective and <nxf_connective>, added <ntf_short_connective> as a unary connective. ================================================================================ _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info