\(\Pi\)-representation: A clause representation for parallel search (Q1216192): Difference between revisions

@@ 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(75)90005-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2021453179
@@ Property / OpenAlex ID: W2021453179 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer proofs of limit theorems
@@ Property / cites work: Computer proofs of limit theorems / rank @@
+Normal rank
@@ Property / cites work @@
+The Specialization of Programs by Theorem Proving
@@ Property / cites work: The Specialization of Programs by Theorem Proving / rank @@
+Normal rank
@@ Property / cites work @@
+REF-ARF: A system for solving problems stated as procedures
+Normal rank
@@ Property / cites work @@
+Q5649989
@@ Property / cites work: Q5649989 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5623241
@@ Property / cites work: Q5623241 / rank @@
+Normal rank
@@ Property / cites work @@
+Extracting information from resolution proof trees
+Normal rank
@@ Property / cites work @@
+MRPPS?An interactive refutation proof procedure system for question-answering
+Normal rank
@@ Property / cites work @@
+The \(Q^*\) algorithm - a search strategy for a deductive question-answering system
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank