Man-machine theorem proving in graph theory (Q1104124): Difference between revisions

@@ Property / cites work @@
+Q3921280
@@ Property / cites work: Q3921280 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3672040
@@ Property / cites work: Q3672040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3684166
@@ Property / cites work: Q3684166 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3315555
@@ Property / cites work: Q3315555 / rank @@
+Normal rank
@@ Property / cites work @@
+A man-machine theorem-proving system
@@ Property / cites work: A man-machine theorem-proving system / 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 @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880315
@@ Property / cites work: Q3880315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3662642
@@ Property / cites work: Q3662642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3332284
@@ Property / cites work: Q3332284 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3709920
@@ Property / cites work: Q3709920 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving with abstraction
@@ Property / cites work: Theorem proving with abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Graph equations for line graphs and total graphs
@@ Property / cites work: Graph equations for line graphs and total graphs / rank @@
+Normal rank