{"created":"2021-03-01T06:23:09.267934+00:00","id":15931,"links":{},"metadata":{"_buckets":{"deposit":"b2b80f14-7132-4442-8044-e7180cc3e92f"},"_deposit":{"id":"15931","owners":[],"pid":{"revision_id":0,"type":"depid","value":"15931"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00015931","sets":["312:651:734"]},"author_link":["48131","48132"],"item_12_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2012-03-26","bibliographicIssueDateType":"Issued"}}]},"item_12_date_granted_64":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2012-03-26"}]},"item_12_degree_grantor_62":{"attribute_name":"学位授与機関","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_language":"ja","subitem_degreegrantor_name":"名古屋大学"},{"subitem_degreegrantor_language":"en","subitem_degreegrantor_name":"Nagoya University"}],"subitem_degreegrantor_identifier":[{"subitem_degreegrantor_identifier_name":"13901","subitem_degreegrantor_identifier_scheme":"kakenhi"}]}]},"item_12_degree_name_61":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"博士(情報科学)","subitem_degreename_language":"ja"}]},"item_12_description_5":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"名古屋大学博士学位論文 学位の種類 : 博士(情報科学)(課程) 学位授与年月日:平成24年3月26日","subitem_description_language":"ja","subitem_description_type":"Other"}]},"item_12_dissertation_number_65":{"attribute_name":"学位授与番号","attribute_value_mlt":[{"subitem_dissertationnumber":"甲第9690号"}]},"item_12_identifier_60":{"attribute_name":"URI","attribute_value_mlt":[{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2237/17961"}]},"item_12_select_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"publisher"}]},"item_12_text_63":{"attribute_name":"学位授与年度","attribute_value_mlt":[{"subitem_text_value":"2011"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Kojima, Yoshiharu","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"48131","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"小島, 芳治","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"48132","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-20"}],"displaytype":"detail","filename":"k9690.pdf","filesize":[{"value":"654.3 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"k9690.pdf","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/15931/files/k9690.pdf"},"version_id":"0e9d9ff1-dfcb-49a1-bd99-52a0b124972f"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"doctoral thesis","resourceuri":"http://purl.org/coar/resource_type/c_db06"}]},"item_title":"Decidability of Reachability for Term Rewriting with Reduction Strategies","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Decidability of Reachability for Term Rewriting with Reduction Strategies","subitem_title_language":"en"}]},"item_type_id":"12","owner":"1","path":["734"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2013-05-10"},"publish_date":"2013-05-10","publish_status":"0","recid":"15931","relation_version_is_last":true,"title":["Decidability of Reachability for Term Rewriting with Reduction Strategies"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T04:03:33.754084+00:00"}