Searching for circles of pure proofs (Q1904397): Difference between revisions

@@ Property / cites work @@
+A shortest single axiom for the classical equivalential calculus
+Normal rank
@@ Property / cites work @@
+Condensed detachment as a rule of inference
@@ Property / cites work: Condensed detachment as a rule of inference / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity and related enhancements for automated theorem-proving programs
+Normal rank
@@ Property / cites work @@
+Q4264737
@@ Property / cites work: Q4264737 / rank @@
+Normal rank
@@ Property / cites work @@
+A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
+Normal rank
@@ Property / cites work @@
+Q3994754
@@ Property / cites work: Q3994754 / 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 @@
+Q4296171
@@ Property / cites work: Q4296171 / rank @@
+Normal rank