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

@@ 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