Matches in SemOpenAlex for { <https://semopenalex.org/work/W1985834822> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1985834822 endingPage "77" @default.
- W1985834822 startingPage "67" @default.
- W1985834822 abstract "The bounded arithmetic theory S 2 is finitely axiomatized if and only if the polynomial hierarchy provably collapses. If T 2 i equals S 2 i + 1 then T 2 i is equal to S 2 and proves that the polynomial time hierarchy collapses to ∑ i + 3 p , and, in fact, to the Boolean hierarchy over ∑ i + 2 p and to ∑ i + 1 p / poly ." @default.
- W1985834822 created "2016-06-24" @default.
- W1985834822 creator A5067079243 @default.
- W1985834822 date "1995-09-01" @default.
- W1985834822 modified "2023-09-27" @default.
- W1985834822 title "Relating the bounded arithmetic and polynomial time hierarchies" @default.
- W1985834822 cites W1983604941 @default.
- W1985834822 cites W2011612028 @default.
- W1985834822 cites W2040404640 @default.
- W1985834822 cites W2071204190 @default.
- W1985834822 cites W2089546742 @default.
- W1985834822 cites W2128026324 @default.
- W1985834822 cites W2133313069 @default.
- W1985834822 cites W2167105569 @default.
- W1985834822 cites W3128894697 @default.
- W1985834822 cites W56285243 @default.
- W1985834822 doi "https://doi.org/10.1016/0168-0072(94)00057-a" @default.
- W1985834822 hasPublicationYear "1995" @default.
- W1985834822 type Work @default.
- W1985834822 sameAs 1985834822 @default.
- W1985834822 citedByCount "73" @default.
- W1985834822 countsByYear W19858348222012 @default.
- W1985834822 countsByYear W19858348222017 @default.
- W1985834822 countsByYear W19858348222019 @default.
- W1985834822 countsByYear W19858348222023 @default.
- W1985834822 crossrefType "journal-article" @default.
- W1985834822 hasAuthorship W1985834822A5067079243 @default.
- W1985834822 hasBestOaLocation W19858348221 @default.
- W1985834822 hasConcept C118615104 @default.
- W1985834822 hasConcept C134306372 @default.
- W1985834822 hasConcept C136119220 @default.
- W1985834822 hasConcept C202444582 @default.
- W1985834822 hasConcept C33923547 @default.
- W1985834822 hasConcept C34388435 @default.
- W1985834822 hasConcept C90119067 @default.
- W1985834822 hasConcept C94375191 @default.
- W1985834822 hasConceptScore W1985834822C118615104 @default.
- W1985834822 hasConceptScore W1985834822C134306372 @default.
- W1985834822 hasConceptScore W1985834822C136119220 @default.
- W1985834822 hasConceptScore W1985834822C202444582 @default.
- W1985834822 hasConceptScore W1985834822C33923547 @default.
- W1985834822 hasConceptScore W1985834822C34388435 @default.
- W1985834822 hasConceptScore W1985834822C90119067 @default.
- W1985834822 hasConceptScore W1985834822C94375191 @default.
- W1985834822 hasIssue "1-2" @default.
- W1985834822 hasLocation W19858348221 @default.
- W1985834822 hasOpenAccess W1985834822 @default.
- W1985834822 hasPrimaryLocation W19858348221 @default.
- W1985834822 hasRelatedWork W1577976412 @default.
- W1985834822 hasRelatedWork W1588849170 @default.
- W1985834822 hasRelatedWork W2000108234 @default.
- W1985834822 hasRelatedWork W2077122242 @default.
- W1985834822 hasRelatedWork W210554013 @default.
- W1985834822 hasRelatedWork W2170520833 @default.
- W1985834822 hasRelatedWork W3000087930 @default.
- W1985834822 hasRelatedWork W3013407674 @default.
- W1985834822 hasRelatedWork W3186548984 @default.
- W1985834822 hasRelatedWork W4241368207 @default.
- W1985834822 hasVolume "75" @default.
- W1985834822 isParatext "false" @default.
- W1985834822 isRetracted "false" @default.
- W1985834822 magId "1985834822" @default.
- W1985834822 workType "article" @default.