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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2275250
@@ Property / full work available at URL: https://doi.org/10.2307/2275250 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2114817374
@@ Property / OpenAlex ID: W2114817374 / rank @@
+Normal rank
@@ 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