Evaluating general purpose automated theorem proving systems (Q1606324)

From MaRDI portal
Revision as of 19:33, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Evaluating general purpose automated theorem proving systems
scientific article

    Statements

    title
    Evaluating general purpose automated theorem proving systems (English)
    0 references
    author
    Geoff Sutcliffe
    0 references
    Christian Suttner
    0 references
    publication date
    24 July 2002
    0 references
    zbMATH Keywords
    ATP systems
    0 references
    describes a project that uses
    Isabelle
    0 references
    ML
    0 references
    OTTER
    0 references
    CoDe
    0 references
    VAMPIRE
    0 references
    Analytica
    0 references
    Coq
    0 references
    SETHEO
    0 references

    Identifiers

    zbMATH DE Number
    1770914
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1606324&oldid=23474496"
    Powered by MediaWiki