Proofs as schemas and their heuristic use (Q1583854): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1006/jsco.1999.0349
+Normal rank
@@ Property / OpenAlex ID @@
+W1996578474
@@ Property / OpenAlex ID: W1996578474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355888
@@ Property / cites work: Q4355888 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning domain knowledge to improve theorem proving
+Normal rank
@@ Property / cites work @@
+Recording and analysing knowledge-based distributed deduction processes
+Normal rank
@@ Property / cites work @@
+Experiments in the heuristic use of past proof experience
+Normal rank
@@ Property / cites work @@
+Progress in artificial intelligence. 8th Portuguese conference, EPIA '97, Coimbra, Portugal, October 6--9, 1997. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4230753
@@ Property / cites work: Q4230753 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613169
@@ Property / cites work: Q5613169 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255507
@@ Property / cites work: Q4255507 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4327735
@@ Property / cites work: Q4327735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002491
@@ Property / cites work: Q4002491 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4271960
@@ Property / cites work: Q4271960 / rank @@
+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 @@
+Using hints to increase the effectiveness of an automated reasoning program: Case studies
+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