Matches in SemOpenAlex for { <https://semopenalex.org/work/W2188987066> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2188987066 endingPage "940" @default.
- W2188987066 startingPage "921" @default.
- W2188987066 created "2016-06-24" @default.
- W2188987066 creator A5075111018 @default.
- W2188987066 date "2015-10-13" @default.
- W2188987066 modified "2023-10-14" @default.
- W2188987066 title "Normalization proof for Peano Arithmetic" @default.
- W2188987066 cites W1634878621 @default.
- W2188987066 cites W1969948478 @default.
- W2188987066 cites W2057428959 @default.
- W2188987066 cites W2346016356 @default.
- W2188987066 doi "https://doi.org/10.1007/s00153-015-0450-y" @default.
- W2188987066 hasPublicationYear "2015" @default.
- W2188987066 type Work @default.
- W2188987066 sameAs 2188987066 @default.
- W2188987066 citedByCount "0" @default.
- W2188987066 crossrefType "journal-article" @default.
- W2188987066 hasAuthorship W2188987066A5075111018 @default.
- W2188987066 hasConcept C105605280 @default.
- W2188987066 hasConcept C108710211 @default.
- W2188987066 hasConcept C118615104 @default.
- W2188987066 hasConcept C125773388 @default.
- W2188987066 hasConcept C135754263 @default.
- W2188987066 hasConcept C136119220 @default.
- W2188987066 hasConcept C136886441 @default.
- W2188987066 hasConcept C138885662 @default.
- W2188987066 hasConcept C144024400 @default.
- W2188987066 hasConcept C153107464 @default.
- W2188987066 hasConcept C167729594 @default.
- W2188987066 hasConcept C19165224 @default.
- W2188987066 hasConcept C195653647 @default.
- W2188987066 hasConcept C199343813 @default.
- W2188987066 hasConcept C202444582 @default.
- W2188987066 hasConcept C2318724 @default.
- W2188987066 hasConcept C2524010 @default.
- W2188987066 hasConcept C2777685122 @default.
- W2188987066 hasConcept C2777686260 @default.
- W2188987066 hasConcept C33923547 @default.
- W2188987066 hasConcept C41895202 @default.
- W2188987066 hasConcept C62073222 @default.
- W2188987066 hasConcept C71924100 @default.
- W2188987066 hasConcept C94375191 @default.
- W2188987066 hasConcept C97489613 @default.
- W2188987066 hasConceptScore W2188987066C105605280 @default.
- W2188987066 hasConceptScore W2188987066C108710211 @default.
- W2188987066 hasConceptScore W2188987066C118615104 @default.
- W2188987066 hasConceptScore W2188987066C125773388 @default.
- W2188987066 hasConceptScore W2188987066C135754263 @default.
- W2188987066 hasConceptScore W2188987066C136119220 @default.
- W2188987066 hasConceptScore W2188987066C136886441 @default.
- W2188987066 hasConceptScore W2188987066C138885662 @default.
- W2188987066 hasConceptScore W2188987066C144024400 @default.
- W2188987066 hasConceptScore W2188987066C153107464 @default.
- W2188987066 hasConceptScore W2188987066C167729594 @default.
- W2188987066 hasConceptScore W2188987066C19165224 @default.
- W2188987066 hasConceptScore W2188987066C195653647 @default.
- W2188987066 hasConceptScore W2188987066C199343813 @default.
- W2188987066 hasConceptScore W2188987066C202444582 @default.
- W2188987066 hasConceptScore W2188987066C2318724 @default.
- W2188987066 hasConceptScore W2188987066C2524010 @default.
- W2188987066 hasConceptScore W2188987066C2777685122 @default.
- W2188987066 hasConceptScore W2188987066C2777686260 @default.
- W2188987066 hasConceptScore W2188987066C33923547 @default.
- W2188987066 hasConceptScore W2188987066C41895202 @default.
- W2188987066 hasConceptScore W2188987066C62073222 @default.
- W2188987066 hasConceptScore W2188987066C71924100 @default.
- W2188987066 hasConceptScore W2188987066C94375191 @default.
- W2188987066 hasConceptScore W2188987066C97489613 @default.
- W2188987066 hasFunder F4320310086 @default.
- W2188987066 hasFunder F4320335061 @default.
- W2188987066 hasIssue "7-8" @default.
- W2188987066 hasLocation W21889870661 @default.
- W2188987066 hasOpenAccess W2188987066 @default.
- W2188987066 hasPrimaryLocation W21889870661 @default.
- W2188987066 hasRelatedWork W107224311 @default.
- W2188987066 hasRelatedWork W2068595239 @default.
- W2188987066 hasRelatedWork W2188987066 @default.
- W2188987066 hasRelatedWork W2463991046 @default.
- W2188987066 hasRelatedWork W2599938050 @default.
- W2188987066 hasRelatedWork W2770391921 @default.
- W2188987066 hasRelatedWork W2771528016 @default.
- W2188987066 hasRelatedWork W2953934790 @default.
- W2188987066 hasRelatedWork W4210480840 @default.
- W2188987066 hasRelatedWork W4297816441 @default.
- W2188987066 hasVolume "54" @default.
- W2188987066 isParatext "false" @default.
- W2188987066 isRetracted "false" @default.
- W2188987066 magId "2188987066" @default.
- W2188987066 workType "article" @default.