OpenMath ID (P624)

From MaRDI portal
OpenMath content dictionary symbol
Language Label Description Also known as
English
OpenMath ID
OpenMath content dictionary symbol

    Data type

    External identifier

    Statements

    P5610
    0 references