The Mizar Mathematical Library in OMDoc: translation and applications (Q1945907): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-012-9271-4
@@ Property / DOI: 10.1007/s10817-012-9271-4 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+MMT
@@ Property / describes a project that uses: MMT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MPTP 0.2
@@ Property / describes a project that uses: MPTP 0.2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MoMM
@@ Property / describes a project that uses: MoMM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LATIN
@@ Property / describes a project that uses: LATIN / 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/s10817-012-9271-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2087589117
@@ Property / OpenAlex ID: W2087589117 / rank @@
+Normal rank
@@ Property / cites work @@
+Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5--10, 2010. Proceedings
+Normal rank
@@ Property / cites work @@
+On the Structure of Mizar Types
@@ Property / cites work: On the Structure of Mizar Types / rank @@
+Normal rank
@@ Property / cites work @@
+Information Retrieval and Rendering with MML Query
+Normal rank
@@ Property / cites work @@
+Project Abstract: Logic Atlas and Integrator (LATIN)
+Normal rank
@@ Property / cites work @@
+Q3075247
@@ Property / cites work: Q3075247 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Extending MKM Formats at the Statement Level
@@ Property / cites work: Extending MKM Formats at the Statement Level / rank @@
+Normal rank
@@ Property / cites work @@
+Formalising foundations of mathematics
@@ Property / cites work: Formalising foundations of mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+MathWebSearch 0.5: Scaling an Open Formula Search Engine
+Normal rank
@@ Property / cites work @@
+Towards MKM in the Large: Modular Representation and Scalable Software Architecture
+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 scalable module system
@@ Property / cites work: A scalable module system / rank @@
+Normal rank
@@ Property / cites work @@
+On equivalents of well-foundedness. An experiment in MIZAR
+Normal rank
@@ Property / cites work @@
+A Wiki for Mizar: Motivation, Considerations, and Initial Prototype
+Normal rank
@@ Property / cites work @@
+MPTP 0.2: Design, implementation, and initial experiments
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+ATP-based cross-verification of Mizar proofs: method, systems, and first experiments
+Normal rank
@@ Property / cites work @@
+Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
+Normal rank
@@ Property / DOI @@
+.1007/S10817-012-9271-4
@@ Property / DOI: 10.1007/S10817-012-9271-4 / rank @@
+Normal rank