Understanding Resolution Proofs through Herbrand’s Theorem (Q2851942)

From MaRDI portal
Revision as of 00:34, 20 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Understanding Resolution Proofs through Herbrand’s Theorem
scientific article

    Statements

    title
    Understanding Resolution Proofs through Herbrand’s Theorem (English)
    0 references
    author
    Stefan Hetzl
    0 references
    Tomer Libal
    0 references
    Martin Riener
    0 references
    Mikheil Rukhaia
    0 references
    publication date
    4 October 2013
    0 references
    describes a project that uses
    TPTP
    0 references
    Prover9
    0 references
    Mace4
    0 references
    Ivy
    0 references
    CERES
    0 references
    TRAMP
    0 references
    GAPT
    0 references
    ProofTool
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B35
    0 references
    03F07
    0 references
    68T15
    0 references
    zbMATH DE Number
    6213573
    0 references
    OpenAlex ID
    W104201083
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2851942&oldid=32616515"
    Powered by MediaWiki