Matches in SemOpenAlex for { <https://semopenalex.org/work/W2971377778> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2971377778 abstract "The Cook-Reckhow 1979 paper defined the area of research we now call Proof Complexity. There were earlier papers which contributed to the subject as we understand it today, the most significant being Tseitin's 1968 paper, but none of them introduced general notions that would allow to make an explicit and universal link between lengths-of-proofs problems and computational complexity theory. In this note we shall highlight three particular definitions from the paper: of proof systems, p-simulations and the pigeonhole principle formula, and discuss their role in defining the field. We will also mention some related developments and open problems." @default.
- W2971377778 created "2019-09-12" @default.
- W2971377778 creator A5069803587 @default.
- W2971377778 date "2019-09-09" @default.
- W2971377778 modified "2023-09-27" @default.
- W2971377778 title "The Cook-Reckhow definition." @default.
- W2971377778 cites W1484028102 @default.
- W2971377778 cites W1542523297 @default.
- W2971377778 cites W1543891730 @default.
- W2971377778 cites W1607926272 @default.
- W2971377778 cites W1968584500 @default.
- W2971377778 cites W1973037977 @default.
- W2971377778 cites W1975548675 @default.
- W2971377778 cites W1975810242 @default.
- W2971377778 cites W1988083342 @default.
- W2971377778 cites W2026967932 @default.
- W2971377778 cites W2029390834 @default.
- W2971377778 cites W2036265926 @default.
- W2971377778 cites W2040404640 @default.
- W2971377778 cites W2069767473 @default.
- W2971377778 cites W2085335923 @default.
- W2971377778 cites W2093396771 @default.
- W2971377778 cites W2116335551 @default.
- W2971377778 cites W2125894854 @default.
- W2971377778 cites W2166026605 @default.
- W2971377778 cites W2167115661 @default.
- W2971377778 cites W2169713712 @default.
- W2971377778 cites W2169748287 @default.
- W2971377778 cites W2170605748 @default.
- W2971377778 cites W2171353564 @default.
- W2971377778 cites W2275166338 @default.
- W2971377778 cites W2397548896 @default.
- W2971377778 hasPublicationYear "2019" @default.
- W2971377778 type Work @default.
- W2971377778 sameAs 2971377778 @default.
- W2971377778 citedByCount "0" @default.
- W2971377778 crossrefType "posted-content" @default.
- W2971377778 hasAuthorship W2971377778A5069803587 @default.
- W2971377778 hasConcept C108710211 @default.
- W2971377778 hasConcept C118615104 @default.
- W2971377778 hasConcept C144237770 @default.
- W2971377778 hasConcept C161191863 @default.
- W2971377778 hasConcept C171988527 @default.
- W2971377778 hasConcept C199343813 @default.
- W2971377778 hasConcept C202444582 @default.
- W2971377778 hasConcept C2524010 @default.
- W2971377778 hasConcept C2777686260 @default.
- W2971377778 hasConcept C2777855551 @default.
- W2971377778 hasConcept C33923547 @default.
- W2971377778 hasConcept C41008148 @default.
- W2971377778 hasConcept C71924100 @default.
- W2971377778 hasConcept C9652623 @default.
- W2971377778 hasConceptScore W2971377778C108710211 @default.
- W2971377778 hasConceptScore W2971377778C118615104 @default.
- W2971377778 hasConceptScore W2971377778C144237770 @default.
- W2971377778 hasConceptScore W2971377778C161191863 @default.
- W2971377778 hasConceptScore W2971377778C171988527 @default.
- W2971377778 hasConceptScore W2971377778C199343813 @default.
- W2971377778 hasConceptScore W2971377778C202444582 @default.
- W2971377778 hasConceptScore W2971377778C2524010 @default.
- W2971377778 hasConceptScore W2971377778C2777686260 @default.
- W2971377778 hasConceptScore W2971377778C2777855551 @default.
- W2971377778 hasConceptScore W2971377778C33923547 @default.
- W2971377778 hasConceptScore W2971377778C41008148 @default.
- W2971377778 hasConceptScore W2971377778C71924100 @default.
- W2971377778 hasConceptScore W2971377778C9652623 @default.
- W2971377778 hasLocation W29713777781 @default.
- W2971377778 hasOpenAccess W2971377778 @default.
- W2971377778 hasPrimaryLocation W29713777781 @default.
- W2971377778 hasRelatedWork W1597904065 @default.
- W2971377778 hasRelatedWork W193179742 @default.
- W2971377778 hasRelatedWork W1979296850 @default.
- W2971377778 hasRelatedWork W1994584977 @default.
- W2971377778 hasRelatedWork W2026944800 @default.
- W2971377778 hasRelatedWork W2054738961 @default.
- W2971377778 hasRelatedWork W207233110 @default.
- W2971377778 hasRelatedWork W2158740663 @default.
- W2971377778 hasRelatedWork W2226362667 @default.
- W2971377778 hasRelatedWork W2327098766 @default.
- W2971377778 hasRelatedWork W2483670083 @default.
- W2971377778 hasRelatedWork W2486424090 @default.
- W2971377778 hasRelatedWork W2741375304 @default.
- W2971377778 hasRelatedWork W284869481 @default.
- W2971377778 hasRelatedWork W2951107549 @default.
- W2971377778 hasRelatedWork W2992010867 @default.
- W2971377778 hasRelatedWork W29977382 @default.
- W2971377778 hasRelatedWork W3160099363 @default.
- W2971377778 hasRelatedWork W366326041 @default.
- W2971377778 hasRelatedWork W643812077 @default.
- W2971377778 isParatext "false" @default.
- W2971377778 isRetracted "false" @default.
- W2971377778 magId "2971377778" @default.
- W2971377778 workType "article" @default.