Experiments in the heuristic use of past proof experience (Q4647545): Difference between revisions

@@ Property / describes a project that uses @@
+SCOTT
@@ Property / describes a project that uses: SCOTT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1865124669
@@ Property / OpenAlex ID: W1865124669 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributing equational theorem proving
@@ Property / cites work: Distributing equational theorem proving / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817655
@@ Property / cites work: Q3817655 / rank @@
+Normal rank
@@ Property / cites work @@
+Experiments in the heuristic use of past proof experience
+Normal rank
@@ Property / cites work @@
+Q5613169
@@ Property / cites work: Q5613169 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264737
@@ Property / cites work: Q4264737 / rank @@
+Normal rank
@@ Property / cites work @@
+Experiments in automatic learning for a multipurpose hueristic program
+Normal rank
@@ Property / cites work @@
+The TPTP problem library
@@ Property / cites work: The TPTP problem library / rank @@
+Normal rank
@@ Property / cites work @@
+Q3240239
@@ Property / cites work: Q3240239 / rank @@
+Normal rank
@@ Property / cites work @@
+Meeting the challenge of fifty years of logic
@@ Property / cites work: Meeting the challenge of fifty years of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Searching for circles of pure proofs
@@ Property / cites work: Searching for circles of pure proofs / rank @@
+Normal rank