Pollack-inconsistency (Q5170237)

From MaRDI portal
Revision as of 22:08, 11 June 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q113318097, #quickstatements; #temporary_batch_1718136167263)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 6319597
Language Label Description Also known as
English
Pollack-inconsistency
scientific article; zbMATH DE number 6319597

    Statements

    title
    Pollack-inconsistency (English)
    0 references
    author
    Freek Wiedijk
    0 references
    publication date
    22 July 2014
    0 references
    zbMATH DE Number
    6319597
    0 references
    zbMATH Keywords
    interactive theorem prover
    0 references
    consistency
    0 references
    Pollack consistency
    0 references
    describes a project that uses
    Metamath
    0 references
    MizarMode
    0 references
    Coq
    0 references
    ACL2
    0 references
    Isabelle/HOL
    0 references
    TRX
    0 references
    seL4
    0 references
    Ivy
    0 references
    OpenAlex ID
    W2914101174
    0 references
    Wikidata QID
    Q113318097
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5170237&oldid=34512658"
    Powered by MediaWiki