Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic (Q4358049): Difference between revisions

← Older edit

@@ 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/2275541
@@ Property / full work available at URL: https://doi.org/10.2307/2275541 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2044632231
@@ Property / OpenAlex ID: W2044632231 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q106785017
@@ Property / Wikidata QID: Q106785017 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4735163
@@ Property / cites work: Q4735163 / rank @@
+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 complexity of explicit definitions
@@ Property / cites work: The complexity of explicit definitions / rank @@
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Linear reasoning. A new form of the Herbrand-Gentzen theorem
+Normal rank
@@ Property / cites work @@
+On the complexity of cutting-plane proofs
@@ Property / cites work: On the complexity of cutting-plane proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Every Prime Has a Succinct Certificate
@@ Property / cites work: Every Prime Has a Succinct Certificate / rank @@
+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 @@
+On the scheme of induction for bounded arithmetic formulas
+Normal rank
@@ Property / cites work @@
+The monotone circuit complexity of Boolean functions
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity
+Normal rank
@@ Property / cites work @@
+A lower bound for the complexity of Craig's interpolants in sentential logic
+Normal rank
@@ Property / cites work @@
+On induction-free provability
@@ Property / cites work: On induction-free provability / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified propositional calculi and fragments of bounded arithmetic
+Normal rank
@@ Property / Recommended article @@
+Q4856172
@@ Property / Recommended article: Q4856172 / rank @@
+Normal rank
@@ Property / Recommended article: Q4856172 / qualifier @@
+Similarity Score: 0.86614114Amount 0.86614114
Unit 1
-Amount
+.86614114
 Unit
@@ Property / Recommended article: Q4856172 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4850552
@@ Property / Recommended article: Q4850552 / rank @@
+Normal rank
@@ Property / Recommended article: Q4850552 / qualifier @@
+Similarity Score: 0.85882246Amount 0.85882246
Unit 1
-Amount
+.85882246
 Unit
@@ Property / Recommended article: Q4850552 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4357061
@@ Property / Recommended article: Q4357061 / rank @@
+Normal rank
@@ Property / Recommended article: Q4357061 / qualifier @@
+Similarity Score: 0.85556066Amount 0.85556066
Unit 1
-Amount
+.85556066
 Unit
@@ Property / Recommended article: Q4357061 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Witnessing functions in bounded arithmetic and search problems
+Normal rank
+Similarity Score: 0.8507113Amount 0.8507113
Unit 1
-Amount
+.8507113
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4818823
@@ Property / Recommended article: Q4818823 / rank @@
+Normal rank
@@ Property / Recommended article: Q4818823 / qualifier @@
+Similarity Score: 0.82817847Amount 0.82817847
Unit 1
-Amount
+.82817847
 Unit
@@ Property / Recommended article: Q4818823 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4263835
@@ Property / Recommended article: Q4263835 / rank @@
+Normal rank
@@ Property / Recommended article: Q4263835 / qualifier @@
+Similarity Score: 0.81822217Amount 0.81822217
Unit 1
-Amount
+.81822217
 Unit
@@ Property / Recommended article: Q4263835 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q5874190
@@ Property / Recommended article: Q5874190 / rank @@
+Normal rank
@@ Property / Recommended article: Q5874190 / qualifier @@
+Similarity Score: 0.8116934Amount 0.8116934
Unit 1
-Amount
+.8116934
 Unit
@@ Property / Recommended article: Q5874190 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4893137
@@ Property / Recommended article: Q4893137 / rank @@
+Normal rank
@@ Property / Recommended article: Q4893137 / qualifier @@
+Similarity Score: 0.8114482Amount 0.8114482
Unit 1
-Amount
+.8114482
 Unit
@@ Property / Recommended article: Q4893137 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+On the complexity of arithmetical interpretations of modal formulae
+Normal rank
+Similarity Score: 0.8084678Amount 0.8084678
Unit 1
-Amount
+.8084678
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q5465359
@@ Property / Recommended article: Q5465359 / rank @@
+Normal rank
@@ Property / Recommended article: Q5465359 / qualifier @@
+Similarity Score: 0.8035556Amount 0.8035556
Unit 1
-Amount
+.8035556
 Unit
@@ Property / Recommended article: Q5465359 / qualifier @@
+Recommender Run: Recommender Run 2

Latest revision as of 20:13, 27 January 2025

scientific article; zbMATH DE number 1067264

Language	Label	Description	Also known as
English	Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic	scientific article; zbMATH DE number 1067264