Matches in SemOpenAlex for { <https://semopenalex.org/work/W2115069836> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2115069836 endingPage "55" @default.
- W2115069836 startingPage "30" @default.
- W2115069836 abstract "This paper proves exponential separations between depth d-LK and depth (d+12)-LK for every d∈12N utilizing the order induction principle. As a consequence, we obtain an exponential separation between depth d-LK and depth (d+1)-LK for d∈N. We investigate the relationship between the sequence-size, tree-size and height of depth d-LK-derivations for d∈12N, and describe transformations between them. We define a general method to lift principles requiring exponential tree-size (d+12)-LK-refutations for d∈N to principles requiring exponential sequence-size d-LK-refutations, which will be described for the Ramsey principle and d=0. From this we also deduce width lower bounds for resolution refutations of the Ramsey principle." @default.
- W2115069836 created "2016-06-24" @default.
- W2115069836 creator A5067079243 @default.
- W2115069836 creator A5084524620 @default.
- W2115069836 date "2005-10-01" @default.
- W2115069836 modified "2023-09-27" @default.
- W2115069836 title "Separation results for the size of constant-depth propositional proofs" @default.
- W2115069836 cites W1999522767 @default.
- W2115069836 cites W2026967932 @default.
- W2115069836 cites W2029390834 @default.
- W2115069836 cites W2035926913 @default.
- W2115069836 cites W2044632231 @default.
- W2115069836 cites W2052942192 @default.
- W2115069836 cites W2114817374 @default.
- W2115069836 cites W2126362918 @default.
- W2115069836 cites W2133313069 @default.
- W2115069836 cites W2161149481 @default.
- W2115069836 cites W2167115661 @default.
- W2115069836 cites W2169713712 @default.
- W2115069836 cites W2323554188 @default.
- W2115069836 cites W2385171024 @default.
- W2115069836 cites W4213091458 @default.
- W2115069836 cites W2133705993 @default.
- W2115069836 doi "https://doi.org/10.1016/j.apal.2005.05.002" @default.
- W2115069836 hasPublicationYear "2005" @default.
- W2115069836 type Work @default.
- W2115069836 sameAs 2115069836 @default.
- W2115069836 citedByCount "16" @default.
- W2115069836 countsByYear W21150698362012 @default.
- W2115069836 countsByYear W21150698362013 @default.
- W2115069836 countsByYear W21150698362014 @default.
- W2115069836 countsByYear W21150698362015 @default.
- W2115069836 countsByYear W21150698362017 @default.
- W2115069836 countsByYear W21150698362019 @default.
- W2115069836 crossrefType "journal-article" @default.
- W2115069836 hasAuthorship W2115069836A5067079243 @default.
- W2115069836 hasAuthorship W2115069836A5084524620 @default.
- W2115069836 hasConcept C10138342 @default.
- W2115069836 hasConcept C108710211 @default.
- W2115069836 hasConcept C113174947 @default.
- W2115069836 hasConcept C114614502 @default.
- W2115069836 hasConcept C118615104 @default.
- W2115069836 hasConcept C124101348 @default.
- W2115069836 hasConcept C134306372 @default.
- W2115069836 hasConcept C138268822 @default.
- W2115069836 hasConcept C139002025 @default.
- W2115069836 hasConcept C151376022 @default.
- W2115069836 hasConcept C154945302 @default.
- W2115069836 hasConcept C162324750 @default.
- W2115069836 hasConcept C182306322 @default.
- W2115069836 hasConcept C199360897 @default.
- W2115069836 hasConcept C2524010 @default.
- W2115069836 hasConcept C2777027219 @default.
- W2115069836 hasConcept C2778112365 @default.
- W2115069836 hasConcept C33923547 @default.
- W2115069836 hasConcept C41008148 @default.
- W2115069836 hasConcept C54355233 @default.
- W2115069836 hasConcept C86803240 @default.
- W2115069836 hasConceptScore W2115069836C10138342 @default.
- W2115069836 hasConceptScore W2115069836C108710211 @default.
- W2115069836 hasConceptScore W2115069836C113174947 @default.
- W2115069836 hasConceptScore W2115069836C114614502 @default.
- W2115069836 hasConceptScore W2115069836C118615104 @default.
- W2115069836 hasConceptScore W2115069836C124101348 @default.
- W2115069836 hasConceptScore W2115069836C134306372 @default.
- W2115069836 hasConceptScore W2115069836C138268822 @default.
- W2115069836 hasConceptScore W2115069836C139002025 @default.
- W2115069836 hasConceptScore W2115069836C151376022 @default.
- W2115069836 hasConceptScore W2115069836C154945302 @default.
- W2115069836 hasConceptScore W2115069836C162324750 @default.
- W2115069836 hasConceptScore W2115069836C182306322 @default.
- W2115069836 hasConceptScore W2115069836C199360897 @default.
- W2115069836 hasConceptScore W2115069836C2524010 @default.
- W2115069836 hasConceptScore W2115069836C2777027219 @default.
- W2115069836 hasConceptScore W2115069836C2778112365 @default.
- W2115069836 hasConceptScore W2115069836C33923547 @default.
- W2115069836 hasConceptScore W2115069836C41008148 @default.
- W2115069836 hasConceptScore W2115069836C54355233 @default.
- W2115069836 hasConceptScore W2115069836C86803240 @default.
- W2115069836 hasIssue "1-2" @default.
- W2115069836 hasLocation W21150698361 @default.
- W2115069836 hasOpenAccess W2115069836 @default.
- W2115069836 hasPrimaryLocation W21150698361 @default.
- W2115069836 hasRelatedWork W128348713 @default.
- W2115069836 hasRelatedWork W1638972898 @default.
- W2115069836 hasRelatedWork W1999551182 @default.
- W2115069836 hasRelatedWork W2400565179 @default.
- W2115069836 hasRelatedWork W2407293324 @default.
- W2115069836 hasRelatedWork W2463107392 @default.
- W2115069836 hasRelatedWork W285322218 @default.
- W2115069836 hasRelatedWork W2963744284 @default.
- W2115069836 hasRelatedWork W4285592611 @default.
- W2115069836 hasRelatedWork W4293703254 @default.
- W2115069836 hasVolume "136" @default.
- W2115069836 isParatext "false" @default.
- W2115069836 isRetracted "false" @default.
- W2115069836 magId "2115069836" @default.
- W2115069836 workType "article" @default.