Structuring theories with implicit morphisms (Q2185893): Difference between revisions

@@ Property / cites work @@
+Q2722016
@@ Property / cites work: Q2722016 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222853
@@ Property / cites work: Q4222853 / rank @@
+Normal rank
@@ Property / cites work @@
+Realms: A Structure for Consolidating Knowledge about Mathematical Theories
+Normal rank
@@ Property / cites work @@
+MathScheme: Project Description
@@ Property / cites work: MathScheme: Project Description / rank @@
+Normal rank
@@ Property / cites work @@
+Project Abstract: Logic Atlas and Integrator (LATIN)
+Normal rank
@@ Property / cites work @@
+IMPS: An interactive mathematical proof system
@@ Property / cites work: IMPS: An interactive mathematical proof system / rank @@
+Normal rank
@@ Property / cites work @@
+Theories as types
@@ Property / cites work: Theories as types / rank @@
+Normal rank
@@ Property / cites work @@
+How to identify, translate and combine logics?
@@ Property / cites work: How to identify, translate and combine logics? / rank @@
+Normal rank
@@ Property / cites work @@
+A scalable module system
@@ Property / cites work: A scalable module system / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666260
@@ Property / cites work: Q3666260 / rank @@
+Normal rank