Semantics of Mizar as an Isabelle object logic (Q2323445)

From MaRDI portal
Revision as of 20:50, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Semantics of Mizar as an Isabelle object logic
scientific article

    Statements

    Semantics of Mizar as an Isabelle object logic (English)
    0 references
    0 references
    0 references
    2 September 2019
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers