MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics (Q865631): Difference between revisions

@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / 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.1016/j.jal.2005.10.004
+Normal rank
@@ Property / OpenAlex ID @@
+W1972647229
@@ Property / OpenAlex ID: W1972647229 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413887
@@ Property / cites work: Q4413887 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief History of Natural Deduction
@@ Property / cites work: A Brief History of Natural Deduction / rank @@
+Normal rank
@@ Property / cites work @@
+On equivalents of well-foundedness. An experiment in MIZAR
+Normal rank
@@ Property / cites work @@
+Q3150301
@@ Property / cites work: Q3150301 / rank @@
+Normal rank
@@ Property / cites work @@
+MPTP-motivation, implementation, first experiments
+Normal rank