FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2167115661> ?p ?o ?g. }

• W2167115661 abstract "The pigeonhole principle for n is the statement that there is no one-to-one function between a set of size n and a set of size n-1. This statement can be formulated as an unlimited-fan-in constant depth polynomial-size Boolean formula PHP/sub n/ in n(n-1) variables, PHP/sub n/ can be proved in the propositional calculus; that is, a sequence of Boolean formulas can be given so that each one is either an axiom of the propositional calculus or a consequence of some of the previous ones according to an inference rule of the propositional calculus, the last one being PHP/sub n/. The main result is that the pigeonhole principle cannot be proved in this way if the size of the proof (the total number or symbols of the formulas in the sequence) is polynomial in n and each formula is constant-depth (unlimited-fan-in), polynomial size and contains only the variables of PHP/sub n/.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
• W2167115661 created "2016-06-24" @default.
• W2167115661 creator A5063919492 @default.
• W2167115661 date "1988-01-01" @default.
• W2167115661 modified "2023-10-10" @default.
• W2167115661 title "The complexity of the pigeonhole principle" @default.
• W2167115661 cites W1717854044 @default.
• W2167115661 cites W1968584500 @default.
• W2167115661 cites W1988083342 @default.
• W2167115661 cites W2062912795 @default.
• W2167115661 cites W2069767473 @default.
• W2167115661 cites W2098022011 @default.
• W2167115661 doi "https://doi.org/10.1109/sfcs.1988.21951" @default.
• W2167115661 hasPublicationYear "1988" @default.
• W2167115661 type Work @default.
• W2167115661 sameAs 2167115661 @default.
• W2167115661 citedByCount "136" @default.
• W2167115661 countsByYear W21671156612012 @default.
• W2167115661 countsByYear W21671156612013 @default.
• W2167115661 countsByYear W21671156612014 @default.
• W2167115661 countsByYear W21671156612015 @default.
• W2167115661 countsByYear W21671156612017 @default.
• W2167115661 countsByYear W21671156612018 @default.
• W2167115661 countsByYear W21671156612019 @default.
• W2167115661 countsByYear W21671156612020 @default.
• W2167115661 countsByYear W21671156612021 @default.
• W2167115661 countsByYear W21671156612023 @default.
• W2167115661 crossrefType "proceedings-article" @default.
• W2167115661 hasAuthorship W2167115661A5063919492 @default.
• W2167115661 hasConcept C102993220 @default.
• W2167115661 hasConcept C114614502 @default.
• W2167115661 hasConcept C118615104 @default.
• W2167115661 hasConcept C134306372 @default.
• W2167115661 hasConcept C14036430 @default.
• W2167115661 hasConcept C14523651 @default.
• W2167115661 hasConcept C151797676 @default.
• W2167115661 hasConcept C153046414 @default.
• W2167115661 hasConcept C166374712 @default.
• W2167115661 hasConcept C167729594 @default.
• W2167115661 hasConcept C171988527 @default.
• W2167115661 hasConcept C177264268 @default.
• W2167115661 hasConcept C17744445 @default.
• W2167115661 hasConcept C187455244 @default.
• W2167115661 hasConcept C199360897 @default.
• W2167115661 hasConcept C199539241 @default.
• W2167115661 hasConcept C2524010 @default.
• W2167115661 hasConcept C2777026412 @default.
• W2167115661 hasConcept C2777027219 @default.
• W2167115661 hasConcept C2778112365 @default.
• W2167115661 hasConcept C33203268 @default.
• W2167115661 hasConcept C33923547 @default.
• W2167115661 hasConcept C41008148 @default.
• W2167115661 hasConcept C54355233 @default.
• W2167115661 hasConcept C69562738 @default.
• W2167115661 hasConcept C78458016 @default.
• W2167115661 hasConcept C80444323 @default.
• W2167115661 hasConcept C86803240 @default.
• W2167115661 hasConcept C90119067 @default.
• W2167115661 hasConceptScore W2167115661C102993220 @default.
• W2167115661 hasConceptScore W2167115661C114614502 @default.
• W2167115661 hasConceptScore W2167115661C118615104 @default.
• W2167115661 hasConceptScore W2167115661C134306372 @default.
• W2167115661 hasConceptScore W2167115661C14036430 @default.
• W2167115661 hasConceptScore W2167115661C14523651 @default.
• W2167115661 hasConceptScore W2167115661C151797676 @default.
• W2167115661 hasConceptScore W2167115661C153046414 @default.
• W2167115661 hasConceptScore W2167115661C166374712 @default.
• W2167115661 hasConceptScore W2167115661C167729594 @default.
• W2167115661 hasConceptScore W2167115661C171988527 @default.
• W2167115661 hasConceptScore W2167115661C177264268 @default.
• W2167115661 hasConceptScore W2167115661C17744445 @default.
• W2167115661 hasConceptScore W2167115661C187455244 @default.
• W2167115661 hasConceptScore W2167115661C199360897 @default.
• W2167115661 hasConceptScore W2167115661C199539241 @default.
• W2167115661 hasConceptScore W2167115661C2524010 @default.
• W2167115661 hasConceptScore W2167115661C2777026412 @default.
• W2167115661 hasConceptScore W2167115661C2777027219 @default.
• W2167115661 hasConceptScore W2167115661C2778112365 @default.
• W2167115661 hasConceptScore W2167115661C33203268 @default.
• W2167115661 hasConceptScore W2167115661C33923547 @default.
• W2167115661 hasConceptScore W2167115661C41008148 @default.
• W2167115661 hasConceptScore W2167115661C54355233 @default.
• W2167115661 hasConceptScore W2167115661C69562738 @default.
• W2167115661 hasConceptScore W2167115661C78458016 @default.
• W2167115661 hasConceptScore W2167115661C80444323 @default.
• W2167115661 hasConceptScore W2167115661C86803240 @default.
• W2167115661 hasConceptScore W2167115661C90119067 @default.
• W2167115661 hasLocation W21671156611 @default.
• W2167115661 hasOpenAccess W2167115661 @default.
• W2167115661 hasPrimaryLocation W21671156611 @default.
• W2167115661 hasRelatedWork W1974125095 @default.
• W2167115661 hasRelatedWork W1990248762 @default.
• W2167115661 hasRelatedWork W2025589336 @default.
• W2167115661 hasRelatedWork W2361715382 @default.
• W2167115661 hasRelatedWork W2367269751 @default.
• W2167115661 hasRelatedWork W2384278060 @default.
• W2167115661 hasRelatedWork W2393408796 @default.
• W2167115661 hasRelatedWork W2495379242 @default.
• W2167115661 hasRelatedWork W2531336559 @default.
• W2167115661 hasRelatedWork W2990043628 @default.

• next