Metamath statement ID (P628)

From MaRDI portal
Revision as of 15:52, 29 July 2024 by Importer (talk | contribs) (‎Created a new Property)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
unique identifier for a theorem, axiom or definition in the Metamath set.mm database
Language Label Description Also known as
English
Metamath statement ID
unique identifier for a theorem, axiom or definition in the Metamath set.mm database

    Data type

    External identifier

    Statements

    Wikidata PID
    P12888
    0 references
    Retrieved from "https://staging.mardi4nfdi.org/w/index.php?title=Property:P628&oldid=2137"
    Powered by MediaWiki