Theorem proving with abstraction (Q1149799): 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(81)90015-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2025339139
@@ Property / OpenAlex ID: W2025339139 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q30052608
@@ Property / Wikidata QID: Q30052608 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-resolution theorem proving
@@ Property / cites work: Non-resolution theorem proving / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / 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 @@
+A paradigm for reasoning by analogy
@@ Property / cites work: A paradigm for reasoning by analogy / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633671
@@ Property / cites work: Q5633671 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619635
@@ Property / cites work: Q5619635 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3885237
@@ Property / cites work: Q3885237 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541351
@@ Property / cites work: Q5541351 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5562604
@@ Property / cites work: Q5562604 / rank @@
+Normal rank
@@ Property / cites work @@
+Planning in a hierarchy of abstraction spaces
@@ Property / cites work: Planning in a hierarchy of abstraction spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Theorem Proving With Renamable and Semantic Resolution
+Normal rank
@@ Property / cites work @@
+Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
+Normal rank