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

@@ Property / author @@
+Dragos Cvetković
@@ Property / author: Dragos Cvetković / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AFFIRM
@@ Property / describes a project that uses: AFFIRM / 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(88)90030-6
+Normal rank
@@ Property / OpenAlex ID @@
+W1965876066
@@ Property / OpenAlex ID: W1965876066 / rank @@
+Normal rank
@@ 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