\(\mathcal I\)-SATCHMORE: An improvement of \(\mathcal A\)-SATCHMORE (Q1429427): Difference between revisions

@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SATCHMO
@@ Property / describes a project that uses: SATCHMO / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3821629
@@ Property / cites work: Q3821629 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating relevant models
@@ Property / cites work: Generating relevant models / rank @@
+Normal rank
@@ Property / cites work @@
+SATCHMORE: SATCHMO with RElevancy
@@ Property / cites work: SATCHMORE: SATCHMO with RElevancy / rank @@
+Normal rank
@@ Property / cites work @@
+Positive unit hyperresolution tableaux and their application to minimal model generation
+Normal rank
@@ Property / cites work @@
+Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction
+Normal rank
@@ Property / cites work @@
+An efficient strategy for non-Horn deductive databases
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Schubert's steamroller problem: Formulations and solutions
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02948883
+Normal rank
@@ Property / OpenAlex ID @@
+W1994501213
@@ Property / OpenAlex ID: W1994501213 / rank @@
+Normal rank