Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors (Q5505520): Difference between revisions

@@ Property / author @@
-Marc Oliver Wagner
@@ Property / author: Marc Oliver Wagner / rank @@
-Normal rank
@@ Property / author @@
+Marc Oliver Wagner
@@ Property / author: Marc Oliver Wagner / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TeXmacs
@@ Property / describes a project that uses: TeXmacs / 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 @@
+Isar
@@ Property / describes a project that uses: Isar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MAYA
@@ Property / describes a project that uses: MAYA / 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-540-85110-3_34
+Normal rank
@@ Property / OpenAlex ID @@
+W1488706998
@@ Property / OpenAlex ID: W1488706998 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesizing Proof Planning Methods and Ω-Ants Agents from Mathematical Knowledge
+Normal rank
@@ Property / cites work @@
+Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems
+Normal rank
@@ Property / cites work @@
+A Formal Correspondence Between OMDoc with Alternative Proofs and the ${\overline{\lambda}\mu\tilde{\mu}}$ -Calculus
+Normal rank
@@ Property / cites work @@
+Q2764077
@@ Property / cites work: Q2764077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428312
@@ Property / cites work: Q4428312 / rank @@
+Normal rank
@@ Property / cites work @@
+The Layers of Logiweb
@@ Property / cites work: The Layers of Logiweb / rank @@
+Normal rank
@@ Property / cites work @@
+Spurious Disambiguation Error Detection
@@ Property / cites work: Spurious Disambiguation Error Detection / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5505520