A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics (Q3453111): Difference between revisions

@@ Property / describes a project that uses @@
+MMT
@@ Property / describes a project that uses: MMT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OMDoc
@@ Property / describes a project that uses: OMDoc / 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/978-3-319-20615-8_9
+Normal rank
@@ Property / OpenAlex ID @@
+W816862344
@@ Property / OpenAlex ID: W816862344 / rank @@
+Normal rank
@@ Property / cites work @@
+Induced and Complete Multinets
@@ Property / cites work: Induced and Complete Multinets / rank @@
+Normal rank
@@ Property / cites work @@
+Realms: A Structure for Consolidating Knowledge about Mathematical Theories
+Normal rank
@@ Property / cites work @@
+A note on accelerated Turing machines
@@ Property / cites work: A note on accelerated Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+On model theory of covers of algebraically closed fields
+Normal rank
@@ Property / cites work @@
+A Search Engine for Mathematical Formulae
@@ Property / cites work: A Search Engine for Mathematical Formulae / rank @@
+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 @@
+The MMT API: A Generic MKM System
@@ Property / cites work: The MMT API: A Generic MKM System / rank @@
+Normal rank
@@ Property / cites work @@
+A scalable module system
@@ Property / cites work: A scalable module system / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental Group of n-sphere for n ≥ 2
@@ Property / cites work: Fundamental Group of n-sphere for n ≥ 2 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667036
@@ Property / cites work: Q5667036 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+conf/mkm/IancuK15
@@ Property / DBLP publication ID: conf/mkm/IancuK15 / rank @@
+Normal rank