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

@@ Property / describes a project that uses @@
+WordNet
@@ Property / describes a project that uses: WordNet / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Proof General
@@ Property / describes a project that uses: Proof General / 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-030-51054-1_31
+Normal rank
@@ Property / OpenAlex ID @@
+W3038854970
@@ Property / OpenAlex ID: W3038854970 / rank @@
+Normal rank
@@ 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