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

@@ Property / Wikidata QID @@
+Q114267040
@@ Property / Wikidata QID: Q114267040 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1904397