Matches in SemOpenAlex for { <https://semopenalex.org/work/W647163724> ?p ?o ?g. }
Showing items 1 to 23 of
23
with 100 items per page.
- W647163724 startingPage "515" @default.
- W647163724 created "2016-06-24" @default.
- W647163724 creator A5081935709 @default.
- W647163724 date "1977-05-15" @default.
- W647163724 modified "2023-09-25" @default.
- W647163724 title "77-17 プログラムの正当性証明入門" @default.
- W647163724 hasPublicationYear "1977" @default.
- W647163724 type Work @default.
- W647163724 sameAs 647163724 @default.
- W647163724 citedByCount "0" @default.
- W647163724 crossrefType "journal-article" @default.
- W647163724 hasAuthorship W647163724A5081935709 @default.
- W647163724 hasConcept C41008148 @default.
- W647163724 hasConceptScore W647163724C41008148 @default.
- W647163724 hasIssue "5" @default.
- W647163724 hasLocation W6471637241 @default.
- W647163724 hasOpenAccess W647163724 @default.
- W647163724 hasPrimaryLocation W6471637241 @default.
- W647163724 hasVolume "18" @default.
- W647163724 isParatext "false" @default.
- W647163724 isRetracted "false" @default.
- W647163724 magId "647163724" @default.
- W647163724 workType "article" @default.