Vampire with a brain is a good ITP hammer (Q831938)

From MaRDI portal
Revision as of 10:43, 28 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Vampire with a brain is a good ITP hammer
scientific article

    Statements

    title
    Vampire with a brain is a good ITP hammer (English)
    0 references
    author
    Martin Suda
    0 references
    publication date
    24 March 2022
    0 references
    describes a project that uses
    MPTP 0.2
    0 references
    VAMPIRE
    0 references
    SMT-LIB
    0 references
    Mizar
    0 references
    AVATAR
    0 references
    HOGWILD
    0 references
    GKC
    0 references
    MaLeCoP
    0 references
    Coq
    0 references
    PyTorch
    0 references
    SPASS
    0 references
    Easychair
    0 references
    DeepMath
    0 references
    ENIGMA
    0 references
    cites work
    Q2751353
    0 references
    Hammering towards QED
    0 references
    Q5270493
    0 references
    Q3075247
    0 references
    MizAR 40 for Mizar 40
    0 references
    Q2751359
    0 references
    Playing with AVATAR
    0 references
    Q5290112
    0 references
    Q2739546
    0 references
    Q2934059
    0 references

    Identifiers

    zbMATH DE Number
    7497923
    0 references
    OpenAlex ID
    W3202844695
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q831938&oldid=36782957"
    Powered by MediaWiki