Semantics of \textsc{OpenMath} and \textsc{MathML3} (Q1948675): Difference between revisions

@@ Property / describes a project that uses @@
+OMDoc
@@ Property / describes a project that uses: OMDoc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathML
@@ Property / describes a project that uses: MathML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MMT
@@ Property / describes a project that uses: MMT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LATIN
@@ Property / describes a project that uses: LATIN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11786-012-0113-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2058911426
@@ Property / OpenAlex ID: W2058911426 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57389373
@@ Property / Wikidata QID: Q57389373 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order semantics and extensionality
@@ Property / cites work: Higher-order semantics and extensionality / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714043
@@ Property / cites work: Q3714043 / rank @@
+Normal rank
@@ Property / cites work @@
+Project Abstract: Logic Atlas and Integrator (LATIN)
+Normal rank
@@ Property / cites work @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings
+Normal rank
@@ Property / cites work @@
+A Foundational View on Integration Problems
@@ Property / cites work: A Foundational View on Integration Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+A scalable module system
@@ Property / cites work: A scalable module system / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Q3265664
@@ Property / cites work: Q3265664 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/mics/KohlhaseR12
@@ Property / DBLP publication ID: journals/mics/KohlhaseR12 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1948675