Validating QBF Validity in HOL4 (Q3088005)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Validating QBF Validity in HOL4
scientific article

    Statements

    title
    Validating QBF Validity in HOL4 (English)
    0 references
    author
    Ramana Kumar
    0 references
    Tjark Weber
    0 references
    publication date
    17 August 2011
    0 references
    zbMATH DE Number
    5940067
    0 references
    describes a project that uses
    MiniSat
    0 references
    Isabelle
    0 references
    MetiTarski
    0 references
    ML
    0 references
    z3
    0 references
    LCF
    0 references
    Squolem
    0 references
    semprop
    0 references
    SMT-LIB
    0 references
    Gappa
    0 references
    PVS
    0 references
    HOL
    0 references
    OpenAlex ID
    W4232871528
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3088005&oldid=35242904"
    Powered by MediaWiki