Matches in SemOpenAlex for { <https://semopenalex.org/work/W2487578841> ?p ?o ?g. }
- W2487578841 abstract "On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 – 19, 2008. This event brought together proof theorists from many parts of the world who have been acting as teachers, students and collaborators of Wolfram Pohlers and who have been shaping the field of proof theory over the years. The present volume collects papers by the speakers of the colloquium and workshop; and they produce a documentation of the state of the art of contemporary proof theory." @default.
- W2487578841 created "2016-08-23" @default.
- W2487578841 creator A5013788651 @default.
- W2487578841 date "2010-12-31" @default.
- W2487578841 modified "2023-09-24" @default.
- W2487578841 title "Ways of Proof Theory" @default.
- W2487578841 cites W122982323 @default.
- W2487578841 cites W126630044 @default.
- W2487578841 cites W1485356148 @default.
- W2487578841 cites W1495793844 @default.
- W2487578841 cites W1523016082 @default.
- W2487578841 cites W1530375570 @default.
- W2487578841 cites W1539604281 @default.
- W2487578841 cites W1543743138 @default.
- W2487578841 cites W1566235828 @default.
- W2487578841 cites W1572440476 @default.
- W2487578841 cites W1579429785 @default.
- W2487578841 cites W1585322774 @default.
- W2487578841 cites W1596667913 @default.
- W2487578841 cites W171417176 @default.
- W2487578841 cites W1965517429 @default.
- W2487578841 cites W1970069956 @default.
- W2487578841 cites W1983604941 @default.
- W2487578841 cites W198973586 @default.
- W2487578841 cites W1994332324 @default.
- W2487578841 cites W2002293839 @default.
- W2487578841 cites W2003295197 @default.
- W2487578841 cites W2003467926 @default.
- W2487578841 cites W2005302754 @default.
- W2487578841 cites W2007270285 @default.
- W2487578841 cites W2010855309 @default.
- W2487578841 cites W2012644590 @default.
- W2487578841 cites W2024534078 @default.
- W2487578841 cites W2036869460 @default.
- W2487578841 cites W2040749508 @default.
- W2487578841 cites W2041395883 @default.
- W2487578841 cites W2048052240 @default.
- W2487578841 cites W2050527500 @default.
- W2487578841 cites W2052942192 @default.
- W2487578841 cites W2065285281 @default.
- W2487578841 cites W2068743712 @default.
- W2487578841 cites W2078421228 @default.
- W2487578841 cites W2105266034 @default.
- W2487578841 cites W2108845204 @default.
- W2487578841 cites W2111203331 @default.
- W2487578841 cites W2113288428 @default.
- W2487578841 cites W2120878557 @default.
- W2487578841 cites W2124982781 @default.
- W2487578841 cites W2128026324 @default.
- W2487578841 cites W2144933141 @default.
- W2487578841 cites W2145828499 @default.
- W2487578841 cites W2155298667 @default.
- W2487578841 cites W2169108058 @default.
- W2487578841 cites W2169748287 @default.
- W2487578841 cites W25183180 @default.
- W2487578841 cites W2593702889 @default.
- W2487578841 cites W2610899059 @default.
- W2487578841 cites W2743117888 @default.
- W2487578841 cites W2906785358 @default.
- W2487578841 cites W3039529476 @default.
- W2487578841 cites W52340306 @default.
- W2487578841 cites W650101673 @default.
- W2487578841 cites W91887366 @default.
- W2487578841 doi "https://doi.org/10.1515/9783110324907" @default.
- W2487578841 hasPublicationYear "2010" @default.
- W2487578841 type Work @default.
- W2487578841 sameAs 2487578841 @default.
- W2487578841 citedByCount "3" @default.
- W2487578841 countsByYear W24875788412012 @default.
- W2487578841 countsByYear W24875788412014 @default.
- W2487578841 countsByYear W24875788412017 @default.
- W2487578841 crossrefType "book-chapter" @default.
- W2487578841 hasAuthorship W2487578841A5013788651 @default.
- W2487578841 hasConcept C111472728 @default.
- W2487578841 hasConcept C121332964 @default.
- W2487578841 hasConcept C138885662 @default.
- W2487578841 hasConcept C199360897 @default.
- W2487578841 hasConcept C202444582 @default.
- W2487578841 hasConcept C2779662365 @default.
- W2487578841 hasConcept C33923547 @default.
- W2487578841 hasConcept C41008148 @default.
- W2487578841 hasConcept C56666940 @default.
- W2487578841 hasConcept C62520636 @default.
- W2487578841 hasConcept C9652623 @default.
- W2487578841 hasConceptScore W2487578841C111472728 @default.
- W2487578841 hasConceptScore W2487578841C121332964 @default.
- W2487578841 hasConceptScore W2487578841C138885662 @default.
- W2487578841 hasConceptScore W2487578841C199360897 @default.
- W2487578841 hasConceptScore W2487578841C202444582 @default.
- W2487578841 hasConceptScore W2487578841C2779662365 @default.
- W2487578841 hasConceptScore W2487578841C33923547 @default.
- W2487578841 hasConceptScore W2487578841C41008148 @default.
- W2487578841 hasConceptScore W2487578841C56666940 @default.
- W2487578841 hasConceptScore W2487578841C62520636 @default.
- W2487578841 hasConceptScore W2487578841C9652623 @default.
- W2487578841 hasLocation W24875788411 @default.
- W2487578841 hasOpenAccess W2487578841 @default.
- W2487578841 hasPrimaryLocation W24875788411 @default.
- W2487578841 hasRelatedWork W1530101107 @default.
- W2487578841 hasRelatedWork W1586782953 @default.