A relevance restriction strategy for automated deduction (Q814429): Difference between revisions

@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723420
@@ Property / cites work: Q2723420 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive unit hyperresolution tableaux and their application to minimal model generation
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263169
@@ Property / cites work: Q4263169 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539623
@@ Property / cites work: Q4539623 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical Theorem-Proving by Model Elimination
@@ Property / cites work: Mechanical Theorem-Proving by Model Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+SATCHMORE: SATCHMO with RElevancy
@@ Property / cites work: SATCHMORE: SATCHMO with RElevancy / rank @@
+Normal rank
@@ Property / cites work @@
+SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy
+Normal rank
@@ Property / cites work @@
+Q3821629
@@ Property / cites work: Q3821629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846259
@@ Property / cites work: Q4846259 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249902
@@ Property / cites work: Q4249902 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving with abstraction
@@ Property / cites work: Theorem proving with abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Ordered semantic hyper-linking
@@ Property / cites work: Ordered semantic hyper-linking / rank @@
+Normal rank
@@ Property / cites work @@
+Generating relevant models
@@ Property / cites work: Generating relevant models / rank @@
+Normal rank
@@ Property / cites work @@
+Q2702602
@@ Property / cites work: Q2702602 / rank @@
+Normal rank
@@ Property / cites work @@
+Duality for goal-driven query processing in disjunctive deductive databases
+Normal rank