A Non-clausal Connection Calculus (Q3010371): Difference between revisions

@@ Property / cites work @@
+Theorem Proving via General Matings
@@ Property / cites work: Theorem Proving via General Matings / rank @@
+Normal rank
@@ Property / cites work @@
+Liberalized variable splitting
@@ Property / cites work: Liberalized variable splitting / rank @@
+Normal rank
@@ Property / cites work @@
+Matings in matrices
@@ Property / cites work: Matings in matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692618
@@ Property / cites work: Q4692618 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751354
@@ Property / cites work: Q2751354 / rank @@
+Normal rank
@@ Property / cites work @@
+Linearity and regularity with negation normal form
+Normal rank
@@ Property / cites work @@
+Q4520768
@@ Property / cites work: Q4520768 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751380
@@ Property / cites work: Q2751380 / 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 @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+Restricting backtracking in connection calculi
@@ Property / cites work: Restricting backtracking in connection calculi / rank @@
+Normal rank
@@ Property / cites work @@
+IeanCOP: lean connection-based theorem proving
@@ Property / cites work: IeanCOP: lean connection-based theorem proving / rank @@
+Normal rank
@@ Property / cites work @@
+A structure-preserving clause form translation
@@ Property / cites work: A structure-preserving clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q4539627
@@ Property / cites work: Q4539627 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751374
@@ Property / cites work: Q2751374 / rank @@
+Normal rank