Lower bounds to the size of constant-depth propositional proofs (Q4292593): Difference between revisions

@@ Property / cites work @@
+Bounds for proof-search and speed-up in the predicate calculus
+Normal rank
@@ Property / cites work @@
+Resolution proofs of generalized pigeonhole principles
+Normal rank
@@ Property / cites work @@
+Provability of the pigeonhole principle and the existence of infinitely many primes
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory
@@ Property / cites work: Proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+The syntax and semantics of infinitary languages
@@ Property / cites work: The syntax and semantics of infinitary languages / rank @@
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank