Matches in SemOpenAlex for { <https://semopenalex.org/work/W2062912795> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2062912795 endingPage "317" @default.
- W2062912795 startingPage "311" @default.
- W2062912795 abstract "We extend results of Haken to give an exponential lower bound on the size of resolution proofs for propositional formulas encoding a generalized pigeonhole principle. These propositional formulas express the fact that there is no one-one mapping from c·n objects to n objects when c >1. As a corollary, resolution proof systems do not p-simulate constant-formula-depth Frege proof systems." @default.
- W2062912795 created "2016-06-24" @default.
- W2062912795 creator A5067079243 @default.
- W2062912795 creator A5076140760 @default.
- W2062912795 date "1988-12-01" @default.
- W2062912795 modified "2023-09-24" @default.
- W2062912795 title "Resolution proofs of generalized pigeonhole principles" @default.
- W2062912795 cites W1968584500 @default.
- W2062912795 cites W1988083342 @default.
- W2062912795 cites W2038193643 @default.
- W2062912795 cites W2069767473 @default.
- W2062912795 cites W2098022011 @default.
- W2062912795 cites W2170605748 @default.
- W2062912795 doi "https://doi.org/10.1016/0304-3975(88)90072-2" @default.
- W2062912795 hasPublicationYear "1988" @default.
- W2062912795 type Work @default.
- W2062912795 sameAs 2062912795 @default.
- W2062912795 citedByCount "101" @default.
- W2062912795 countsByYear W20629127952013 @default.
- W2062912795 countsByYear W20629127952014 @default.
- W2062912795 countsByYear W20629127952015 @default.
- W2062912795 countsByYear W20629127952016 @default.
- W2062912795 countsByYear W20629127952017 @default.
- W2062912795 countsByYear W20629127952019 @default.
- W2062912795 crossrefType "journal-article" @default.
- W2062912795 hasAuthorship W2062912795A5067079243 @default.
- W2062912795 hasAuthorship W2062912795A5076140760 @default.
- W2062912795 hasConcept C102993220 @default.
- W2062912795 hasConcept C105605280 @default.
- W2062912795 hasConcept C108710211 @default.
- W2062912795 hasConcept C118615104 @default.
- W2062912795 hasConcept C138268822 @default.
- W2062912795 hasConcept C14523651 @default.
- W2062912795 hasConcept C154945302 @default.
- W2062912795 hasConcept C171988527 @default.
- W2062912795 hasConcept C199343813 @default.
- W2062912795 hasConcept C199360897 @default.
- W2062912795 hasConcept C2524010 @default.
- W2062912795 hasConcept C2777027219 @default.
- W2062912795 hasConcept C2777686260 @default.
- W2062912795 hasConcept C2780012671 @default.
- W2062912795 hasConcept C33203268 @default.
- W2062912795 hasConcept C33923547 @default.
- W2062912795 hasConcept C41008148 @default.
- W2062912795 hasConcept C71924100 @default.
- W2062912795 hasConcept C74640108 @default.
- W2062912795 hasConcept C80444323 @default.
- W2062912795 hasConceptScore W2062912795C102993220 @default.
- W2062912795 hasConceptScore W2062912795C105605280 @default.
- W2062912795 hasConceptScore W2062912795C108710211 @default.
- W2062912795 hasConceptScore W2062912795C118615104 @default.
- W2062912795 hasConceptScore W2062912795C138268822 @default.
- W2062912795 hasConceptScore W2062912795C14523651 @default.
- W2062912795 hasConceptScore W2062912795C154945302 @default.
- W2062912795 hasConceptScore W2062912795C171988527 @default.
- W2062912795 hasConceptScore W2062912795C199343813 @default.
- W2062912795 hasConceptScore W2062912795C199360897 @default.
- W2062912795 hasConceptScore W2062912795C2524010 @default.
- W2062912795 hasConceptScore W2062912795C2777027219 @default.
- W2062912795 hasConceptScore W2062912795C2777686260 @default.
- W2062912795 hasConceptScore W2062912795C2780012671 @default.
- W2062912795 hasConceptScore W2062912795C33203268 @default.
- W2062912795 hasConceptScore W2062912795C33923547 @default.
- W2062912795 hasConceptScore W2062912795C41008148 @default.
- W2062912795 hasConceptScore W2062912795C71924100 @default.
- W2062912795 hasConceptScore W2062912795C74640108 @default.
- W2062912795 hasConceptScore W2062912795C80444323 @default.
- W2062912795 hasIssue "3" @default.
- W2062912795 hasLocation W20629127951 @default.
- W2062912795 hasOpenAccess W2062912795 @default.
- W2062912795 hasPrimaryLocation W20629127951 @default.
- W2062912795 hasRelatedWork W1662675122 @default.
- W2062912795 hasRelatedWork W2039236516 @default.
- W2062912795 hasRelatedWork W2039982637 @default.
- W2062912795 hasRelatedWork W2062912795 @default.
- W2062912795 hasRelatedWork W2086871557 @default.
- W2062912795 hasRelatedWork W2153912760 @default.
- W2062912795 hasRelatedWork W2531336559 @default.
- W2062912795 hasRelatedWork W4318477445 @default.
- W2062912795 hasRelatedWork W4321153753 @default.
- W2062912795 hasRelatedWork W860315492 @default.
- W2062912795 hasVolume "62" @default.
- W2062912795 isParatext "false" @default.
- W2062912795 isRetracted "false" @default.
- W2062912795 magId "2062912795" @default.
- W2062912795 workType "article" @default.