Matches in SemOpenAlex for { <https://semopenalex.org/work/W2593237543> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2593237543 startingPage "71" @default.
- W2593237543 abstract "We establish unconditionally that for every integer $k geq 1$ there is a language $L in mbox{P}$ such that it is consistent with Cook's theory PV that $L notin Size(n^k)$. Our argument is non-constructive and does not provide an explicit description of this language." @default.
- W2593237543 created "2017-03-16" @default.
- W2593237543 creator A5069803587 @default.
- W2593237543 creator A5086921168 @default.
- W2593237543 date "2016-01-01" @default.
- W2593237543 modified "2023-09-26" @default.
- W2593237543 title "Unprovability of circuit upper bounds in Cook's theory PV." @default.
- W2593237543 hasPublicationYear "2016" @default.
- W2593237543 type Work @default.
- W2593237543 sameAs 2593237543 @default.
- W2593237543 citedByCount "0" @default.
- W2593237543 crossrefType "journal-article" @default.
- W2593237543 hasAuthorship W2593237543A5069803587 @default.
- W2593237543 hasAuthorship W2593237543A5086921168 @default.
- W2593237543 hasConcept C111919701 @default.
- W2593237543 hasConcept C114614502 @default.
- W2593237543 hasConcept C118615104 @default.
- W2593237543 hasConcept C134306372 @default.
- W2593237543 hasConcept C185592680 @default.
- W2593237543 hasConcept C199360897 @default.
- W2593237543 hasConcept C202444582 @default.
- W2593237543 hasConcept C202854965 @default.
- W2593237543 hasConcept C2778701210 @default.
- W2593237543 hasConcept C33923547 @default.
- W2593237543 hasConcept C41008148 @default.
- W2593237543 hasConcept C55493867 @default.
- W2593237543 hasConcept C77553402 @default.
- W2593237543 hasConcept C97137487 @default.
- W2593237543 hasConcept C98045186 @default.
- W2593237543 hasConcept C98184364 @default.
- W2593237543 hasConceptScore W2593237543C111919701 @default.
- W2593237543 hasConceptScore W2593237543C114614502 @default.
- W2593237543 hasConceptScore W2593237543C118615104 @default.
- W2593237543 hasConceptScore W2593237543C134306372 @default.
- W2593237543 hasConceptScore W2593237543C185592680 @default.
- W2593237543 hasConceptScore W2593237543C199360897 @default.
- W2593237543 hasConceptScore W2593237543C202444582 @default.
- W2593237543 hasConceptScore W2593237543C202854965 @default.
- W2593237543 hasConceptScore W2593237543C2778701210 @default.
- W2593237543 hasConceptScore W2593237543C33923547 @default.
- W2593237543 hasConceptScore W2593237543C41008148 @default.
- W2593237543 hasConceptScore W2593237543C55493867 @default.
- W2593237543 hasConceptScore W2593237543C77553402 @default.
- W2593237543 hasConceptScore W2593237543C97137487 @default.
- W2593237543 hasConceptScore W2593237543C98045186 @default.
- W2593237543 hasConceptScore W2593237543C98184364 @default.
- W2593237543 hasLocation W25932375431 @default.
- W2593237543 hasOpenAccess W2593237543 @default.
- W2593237543 hasPrimaryLocation W25932375431 @default.
- W2593237543 hasRelatedWork W1572290526 @default.
- W2593237543 hasRelatedWork W2044021971 @default.
- W2593237543 hasRelatedWork W2045745231 @default.
- W2593237543 hasRelatedWork W2067596507 @default.
- W2593237543 hasRelatedWork W2079068382 @default.
- W2593237543 hasRelatedWork W2106792056 @default.
- W2593237543 hasRelatedWork W2126482858 @default.
- W2593237543 hasRelatedWork W2150418456 @default.
- W2593237543 hasRelatedWork W2512180691 @default.
- W2593237543 hasRelatedWork W2767976260 @default.
- W2593237543 hasRelatedWork W2772039263 @default.
- W2593237543 hasRelatedWork W2805223051 @default.
- W2593237543 hasRelatedWork W2947353914 @default.
- W2593237543 hasRelatedWork W2949804206 @default.
- W2593237543 hasRelatedWork W2951794268 @default.
- W2593237543 hasRelatedWork W3127217102 @default.
- W2593237543 hasRelatedWork W3128613656 @default.
- W2593237543 hasRelatedWork W3152990700 @default.
- W2593237543 hasRelatedWork W73004332 @default.
- W2593237543 hasRelatedWork W2183083419 @default.
- W2593237543 hasVolume "23" @default.
- W2593237543 isParatext "false" @default.
- W2593237543 isRetracted "false" @default.
- W2593237543 magId "2593237543" @default.
- W2593237543 workType "article" @default.