Extending Sledgehammer with SMT solvers (Q2351158)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Extending Sledgehammer with SMT solvers
scientific article

    Statements

    title
    Extending Sledgehammer with SMT solvers (English)
    0 references
    publication date
    23 June 2015
    0 references
    zbMATH Keywords
    SMT solvers
    0 references
    automatic theorem provers
    0 references
    interactive theorem provers
    0 references
    describes a project that uses
    HOL-Boogie
    0 references
    Sledgehammer
    0 references
    SMT-LIB
    0 references
    Metis_
    0 references
    cvc3
    0 references
    ETPS
    0 references
    CVC Lite
    0 references
    Ivy
    0 references
    Jahob
    0 references
    Archive Formal Proofs
    0 references
    VCC
    0 references
    Gandalf
    0 references
    E Theorem Prover
    0 references
    SystemOnTPTP
    0 references
    VAMPIRE
    0 references
    Isabelle/HOL
    0 references
    TPTP
    0 references
    Yices
    0 references
    z3
    0 references
    HOL Light
    0 references
    TRAMP
    0 references
    Robbins Conjecture
    0 references
    cites work
    Q4524769
    0 references
    Setoids in type theory
    0 references
    Q2848688
    0 references
    Q2723435
    0 references
    Q2723444
    0 references
    Q2751358
    0 references
    Q2702602
    0 references
    Q3150300
    0 references
    Automated Reasoning
    0 references
    Q4664927
    0 references
    Q2723436
    0 references
    Q2751379
    0 references

    Identifiers

    zbMATH DE Number
    6449025
    0 references
    OpenAlex ID
    W2022589543
    0 references
    Wikidata QID
    Q57382571
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2351158&oldid=35727564"
    Powered by MediaWiki