Experiments with resolution-based theorem-proving algorithms (Q1165594): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0898-1221(82)90053-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2014291738
@@ Property / OpenAlex ID: W2014291738 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof Procedure Using Connection Graphs
@@ Property / cites work: A Proof Procedure Using Connection Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5663381
@@ Property / cites work: Q5663381 / rank @@
+Normal rank
@@ Property / cites work @@
+Problems and Experiments for and with Automated Theorem-Proving Programs
+Normal rank
@@ Property / cites work @@
+A Human Oriented Logic for Automatic Theorem-Proving
+Normal rank
@@ Property / cites work @@
+Q5609410
@@ Property / cites work: Q5609410 / rank @@
+Normal rank
@@ Property / cites work @@
+An Evaluation of an Implementation of Qualified Hyperresolution
+Normal rank