Matches in SemOpenAlex for { <https://semopenalex.org/work/W640414911> ?p ?o ?g. }
Showing items 1 to 31 of
31
with 100 items per page.
- W640414911 endingPage "58" @default.
- W640414911 startingPage "39" @default.
- W640414911 created "2016-06-24" @default.
- W640414911 creator A5052704196 @default.
- W640414911 creator A5056618682 @default.
- W640414911 date "2013-04-01" @default.
- W640414911 modified "2023-09-24" @default.
- W640414911 title "A Simplified Characterisation of Provably Computable Functions of the System ID₁ of Inductive Definitions (Extended Abstract) (証明論と複雑性 : RIMS共同研究報告集)" @default.
- W640414911 hasPublicationYear "2013" @default.
- W640414911 type Work @default.
- W640414911 sameAs 640414911 @default.
- W640414911 citedByCount "0" @default.
- W640414911 crossrefType "journal-article" @default.
- W640414911 hasAuthorship W640414911A5052704196 @default.
- W640414911 hasAuthorship W640414911A5056618682 @default.
- W640414911 hasConcept C11413529 @default.
- W640414911 hasConcept C41008148 @default.
- W640414911 hasConcept C54271186 @default.
- W640414911 hasConcept C80444323 @default.
- W640414911 hasConceptScore W640414911C11413529 @default.
- W640414911 hasConceptScore W640414911C41008148 @default.
- W640414911 hasConceptScore W640414911C54271186 @default.
- W640414911 hasConceptScore W640414911C80444323 @default.
- W640414911 hasLocation W6404149111 @default.
- W640414911 hasOpenAccess W640414911 @default.
- W640414911 hasPrimaryLocation W6404149111 @default.
- W640414911 hasVolume "1832" @default.
- W640414911 isParatext "false" @default.
- W640414911 isRetracted "false" @default.
- W640414911 magId "640414911" @default.
- W640414911 workType "article" @default.