Semantics of Mizar as an Isabelle object logic (Q2323445)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Semantics of Mizar as an Isabelle object logic
scientific article

    Statements

    title
    Semantics of Mizar as an Isabelle object logic (English)
    0 references
    author
    Cezary Kaliszyk
    0 references
    Karol Pąk
    0 references
    publication date
    2 September 2019
    0 references
    describes a project that uses
    Metamath
    0 references
    Isabelle/HOL
    0 references
    MizarMode
    0 references
    MPTP 0.2
    0 references
    Isar
    0 references
    MoMM
    0 references
    Mizar
    0 references
    Twelf
    0 references
    Isabelle/PIDE
    0 references
    ProofPeer
    0 references
    Rodin
    0 references
    Lean
    0 references
    Coq
    0 references
    Isabelle/Isar
    0 references
    SPASS
    0 references
    Isabelle/ZF
    0 references
    OMDoc
    0 references
    Isabelle
    0 references
    Nitpick
    0 references
    MPTP
    0 references
    MML
    0 references
    miz3
    0 references
    Logic2CNF
    0 references
    cites work
    Q3569584
    0 references
    Q3024857
    0 references
    Q4413887
    0 references
    Q4503907
    0 references
    Q5815602
    0 references
    Q3075247
    0 references
    Q5635941
    0 references
    MizAR 40 for Mizar 40
    0 references
    Q4247084
    0 references
    Type Inference for ZFH
    0 references
    Topological manifolds
    0 references
    Obvious inferences
    0 references
    Q4945208
    0 references
    The Isabelle Framework
    0 references
    Q4790672
    0 references

    Identifiers

    zbMATH DE Number
    7100456
    0 references
    OpenAlex ID
    W2889093133
    0 references
    Wikidata QID
    Q108482110
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2323445&oldid=39010052"
    Powered by MediaWiki