Splitting and reduction heuristics in automatic theorem proving (Q2547495): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting and reduction heuristics in automatic theorem proving
+Normal rank
@@ Property / cites work @@
+Q5624683
@@ Property / cites work: Q5624683 / rank @@
+Normal rank
@@ Property / cites work @@
+A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
+Normal rank
@@ Property / cites work @@
+Q5569442
@@ Property / cites work: Q5569442 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3257866
@@ Property / cites work: Q3257866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616174
@@ Property / cites work: Q5616174 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086772
@@ Property / cites work: Q3086772 / rank @@
+Normal rank
@@ Property / cites work @@
+Experiments with a heuristic theorem-proving program for predicate calculus with equality
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0004-3702(71)90004-x
+Normal rank
@@ Property / OpenAlex ID @@
+W1996158986
@@ Property / OpenAlex ID: W1996158986 / rank @@
+Normal rank