A man-machine theorem-proving system (Q1845619): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0004-3702(74)90009-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2028714117
@@ Property / OpenAlex ID: W2028714117 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624685
@@ Property / cites work: Q5624685 / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting and reduction heuristics in automatic theorem proving
+Normal rank
@@ Property / cites work @@
+Computer proofs of limit theorems
@@ Property / cites work: Computer proofs of limit theorems / rank @@
+Normal rank
@@ Property / cites work @@
+The utility of independent subgoals in theorem proving
+Normal rank
@@ Property / cites work @@
+Semi-Automated Mathematics
@@ Property / cites work: Semi-Automated Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226265
@@ Property / cites work: Q3226265 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519616
@@ Property / cites work: Q5519616 / rank @@
+Normal rank
@@ Property / cites work @@
+A Human Oriented Logic for Automatic Theorem-Proving
+Normal rank
@@ Property / cites work @@
+Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets
+Normal rank