An answer to an open problem of Urquhart (Q1129262): Difference between revisions

@@ Property / cites work @@
+Q4152212
@@ Property / cites work: Q4152212 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997615
@@ Property / cites work: Q3997615 / rank @@
+Normal rank
@@ Property / cites work @@
+On different structure-preserving translations to normal form
+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 @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685059
@@ Property / cites work: Q5685059 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of Gentzen systems for propositional logic
+Normal rank
@@ Property / cites work @@
+The Complexity of Propositional                                                   Proofs
@@ Property / cites work: The Complexity of Propositional Proofs / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(97)00140-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2085900785
@@ Property / OpenAlex ID: W2085900785 / rank @@
+Normal rank