Formal Proof (P1603)

From MaRDI portal
Revision as of 19:53, 1 August 2024 by Schubotz (talk | contribs) (‎Created a new Property: Formal Proof, Paper that formally proves a theorem)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Paper that formally proves a theorem
Language Label Description Also known as
English
Formal Proof
Paper that formally proves a theorem

    Data type

    Item

    Statements

    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Property:P1603&oldid=37543180"
    Powered by MediaWiki