Statements (30)
Predicate | Object |
---|---|
gptkbp:instanceOf |
markup language
|
gptkbp:canBeTransformedTo |
MathML Presentation Markup
|
gptkbp:contrastsWith |
MathML Presentation Markup
|
gptkbp:enables |
mathematical computation
machine processing of mathematics mathematical interoperability mathematical search |
https://www.w3.org/2000/01/rdf-schema#label |
MathML Content Markup
|
gptkbp:introducedIn |
MathML 1.0
|
gptkbp:partOf |
gptkb:MathML
|
gptkbp:relatedTo |
gptkb:OpenMath
Content MathML Presentation MathML |
gptkbp:standardizedBy |
gptkb:W3C
|
gptkbp:supports |
semantic representation
|
gptkbp:usedElement |
<apply>
<bind> <bvar> <ci> <cn> <cs> <csymbol> <declare> <lambda> |
gptkbp:usedFor |
encoding mathematical meaning
representing mathematical structure |
gptkbp:usedIn |
computer algebra systems
mathematical knowledge management |
gptkbp:bfsParent |
gptkb:OpenMath_standard
|
gptkbp:bfsLayer |
7
|