Detecting non-provable goals (Q5210774): Difference between revisions

@@ Property / describes a project that uses @@
+SETHEO
@@ Property / describes a project that uses: SETHEO / 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.1007/3-540-58156-1_16
+Normal rank
@@ Property / OpenAlex ID @@
+W1803345792
@@ Property / OpenAlex ID: W1803345792 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692618
@@ Property / cites work: Q4692618 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3833651
@@ Property / cites work: Q3833651 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264713
@@ Property / cites work: Q4264713 / rank @@
+Normal rank
@@ Property / cites work @@
+An analysis of loop checking mechanisms for logic programs
+Normal rank
@@ Property / cites work @@
+Detecting non-provable goals
@@ Property / cites work: Detecting non-provable goals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282502
@@ Property / cites work: Q4282502 / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of substitutions and unifications
@@ Property / cites work: Properties of substitutions and unifications / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution methods for the decision problem
@@ Property / cites work: Resolution methods for the decision problem / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability of the smallest binary program
@@ Property / cites work: Satisfiability of the smallest binary program / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving descriptions of possible values of program variables by means of abstract interpretation
+Normal rank
@@ Property / cites work @@
+SETHEO: A high-performance theorem prover
@@ Property / cites work: SETHEO: A high-performance theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical Theorem-Proving by Model Elimination
@@ Property / cites work: Mechanical Theorem-Proving by Model Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving with abstraction
@@ Property / cites work: Theorem proving with abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Controlling recursive inference
@@ Property / cites work: Controlling recursive inference / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5210774