The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326)

From MaRDI portal
Revision as of 03:03, 29 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 and associated infrastructure. The FOF and CNF parts, v3.5.0
scientific article

    Statements

    The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (English)
    0 references
    0 references
    25 January 2010
    0 references
    TPTP
    0 references
    ATP system evaluation
    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
    0 references

    Identifiers