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

@@ Property / describes a project that uses @@
+MMT
@@ Property / describes a project that uses: MMT / 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-030-23220-7_9
+Normal rank
@@ Property / OpenAlex ID @@
+W2955069101
@@ Property / OpenAlex ID: W2955069101 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2185893