The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574)

From MaRDI portal
Revision as of 19:44, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
scientific article

    Statements

    The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (English)
    0 references
    0 references
    2 February 2018
    0 references
    TPTP
    0 references
    ATP system evaluation
    0 references
    ATP standards and tools
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers