Realms: A Structure for Consolidating Knowledge about Mathematical Theories (Q5495928): Difference between revisions

@@ Property / cites work @@
+High-Level Theories
@@ Property / cites work: High-Level Theories / rank @@
+Normal rank
@@ Property / cites work @@
+MathScheme: Project Description
@@ Property / cites work: MathScheme: Project Description / rank @@
+Normal rank
@@ Property / cites work @@
+Theory Presentation Combinators
@@ Property / cites work: Theory Presentation Combinators / rank @@
+Normal rank
@@ Property / cites work @@
+Biform Theories in Chiron
@@ Property / cites work: Biform Theories in Chiron / rank @@
+Normal rank
@@ Property / cites work @@
+Q3342725
@@ Property / cites work: Q3342725 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards MKM in the Large: Modular Representation and Scalable Software Architecture
+Normal rank
@@ Property / cites work @@
+Q3156508
@@ Property / cites work: Q3156508 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of Lawvere theory
@@ Property / cites work: Notions of Lawvere theory / rank @@
+Normal rank
@@ Property / cites work @@
+A scalable module system
@@ Property / cites work: A scalable module system / rank @@
+Normal rank