Statements (30)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:markup_language
|
| gptkbp:canBeTransformedTo |
MathML Presentation Markup
|
| gptkbp:contrastsWith |
MathML Presentation Markup
|
| gptkbp:enables |
mathematical computation
machine processing of mathematics mathematical interoperability mathematical search |
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
MathML Content Markup
|