Validating QBF Invalidity in HOL4 (Q5747670)

From MaRDI portal
Revision as of 23:12, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article; zbMATH DE number 5785360
Language Label Description Also known as
English
Validating QBF Invalidity in HOL4
scientific article; zbMATH DE number 5785360

    Statements

    title
    Validating QBF Invalidity in HOL4 (English)
    0 references
    author
    Tjark Weber
    0 references
    publication date
    14 September 2010
    0 references
    describes a project that uses
    Coq
    0 references
    PVS
    0 references
    HOL
    0 references
    Isabelle
    0 references
    Squolem
    0 references

    Identifiers

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