Computerizing Mathematical Text with MathLang (Q2866734): Difference between revisions

@@ Property / describes a project that uses @@
+XPath
@@ Property / describes a project that uses: XPath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathLang
@@ Property / describes a project that uses: MathLang / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+XQuery
@@ Property / describes a project that uses: XQuery / 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.1016/j.entcs.2008.03.063
+Normal rank
@@ Property / OpenAlex ID @@
+W2132783187
@@ Property / OpenAlex ID: W2132783187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4664918
@@ Property / cites work: Q4664918 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3069645
@@ Property / cites work: Q3069645 / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3268374
@@ Property / cites work: Q3268374 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3589835
@@ Property / cites work: Q3589835 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3234138
@@ Property / cites work: Q3234138 / rank @@
+Normal rank
@@ Property / cites work @@
+A modern perspective on type theory. From its origins until today
+Normal rank
@@ Property / cites work @@
+Restoring Natural Language as a Computerised Mathematics Input Method
+Normal rank
@@ Property / cites work @@
+Narrative Structure of Mathematical Texts
@@ Property / cites work: Narrative Structure of Mathematical Texts / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847398
@@ Property / cites work: Q2847398 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+A refinement of de Bruijn's formal language of mathematics
+Normal rank
@@ Property / cites work @@
+Capturing Abstract Matrices from Paper
@@ Property / cites work: Capturing Abstract Matrices from Paper / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436195
@@ Property / cites work: Q4436195 / rank @@
+Normal rank
@@ Property / cites work @@
+Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
+Normal rank
@@ Property / cites work @@
+Q4187337
@@ Property / cites work: Q4187337 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3283891
@@ Property / cites work: Q3283891 / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank