A simplified problem reduction format (Q1170894): Difference between revisions

@@ Property / author @@
+David Alan Plaisted
@@ Property / author: David Alan Plaisted / 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.1016/0004-3702(82)90041-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2046511504
@@ Property / OpenAlex ID: W2046511504 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q29305654
@@ Property / Wikidata QID: Q29305654 / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting and reduction heuristics in automatic theorem proving
+Normal rank
@@ Property / cites work @@
+Non-resolution theorem proving
@@ Property / cites work: Non-resolution theorem proving / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Theorems with the Modification Method
@@ Property / cites work: Proving Theorems with the Modification Method / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5507983
@@ Property / cites work: Q5507983 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Unit Refutations and Horn Sets
@@ Property / cites work: Unit Refutations and Horn Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Linear resolution with selection function
@@ Property / cites work: Linear resolution with selection function / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619635
@@ Property / cites work: Q5619635 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+A Human Oriented Logic for Automatic Theorem-Proving
+Normal rank
@@ Property / cites work @@
+Q3885237
@@ Property / cites work: Q3885237 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving with abstraction
@@ Property / cites work: Theorem proving with abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+A Semantically Guided Deductive System for Automatic Theorem Proving
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Worst Case Exponential Lower Bounds for Input Resolution with Paramodulation
+Normal rank