Large Formal Wikis: Issues and Solutions (Q5200113): Difference between revisions

@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+C-CoRN
@@ Property / describes a project that uses: C-CoRN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2763053546
@@ Property / OpenAlex ID: W2763053546 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56168714
@@ Property / Wikidata QID: Q56168714 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3209
@@ Property / arXiv ID: 1107.3209 / rank @@
+Normal rank
@@ Property / cites work @@
+Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar
+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 @@
+Information Retrieval and Rendering with MML Query
+Normal rank
@@ Property / cites work @@
+A Declarative Language for the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+Developing the Algebraic Hierarchy with Type Classes in Coq
+Normal rank
@@ Property / cites work @@
+Proviola: A Tool for Proof Re-animation
@@ Property / cites work: Proviola: A Tool for Proof Re-animation / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+A Wiki for Mizar: Motivation, Considerations, and Initial Prototype
+Normal rank
@@ Property / cites work @@
+Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
+Normal rank
@@ Property / DBLP publication ID @@
+conf/mkm/AlamaBMU11
@@ Property / DBLP publication ID: conf/mkm/AlamaBMU11 / rank @@
+Normal rank