A Programmer’s Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description) (Q5049030): Difference between revisions

@@ Property / cites work @@
+Q2729065
@@ Property / cites work: Q2729065 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4398334
@@ Property / cites work: Q4398334 / rank @@
+Normal rank
@@ Property / cites work @@
+Large theory reasoning with SUMO at CASC
@@ Property / cites work: Large theory reasoning with SUMO at CASC / rank @@
+Normal rank
@@ Property / cites work @@
+Faster, higher, stronger: E 2.3
@@ Property / cites work: Faster, higher, stronger: E 2.3 / rank @@
+Normal rank
@@ Property / cites work @@
+MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics
+Normal rank
@@ Property / cites work @@
+ATP and presentation service for Mizar formalizations
+Normal rank