{"created":"2021-03-01T06:57:31.344855+00:00","id":19848,"links":{},"metadata":{"_buckets":{"deposit":"402fed7b-9002-4f67-9aa3-6b86b0b8a964"},"_deposit":{"created_by":188,"id":"19848","owners":[188],"pid":{"revision_id":0,"type":"depid","value":"19848"},"status":"published"},"_oai":{"id":"oai:tsukuba.repo.nii.ac.jp:00019848","sets":["117:478","3:62:5598:1128"]},"author_link":["123"],"item_1644910766877":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_5_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1983","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"1","bibliographicPageEnd":"316","bibliographicPageStart":"305","bibliographicVolumeNumber":"19","bibliographic_titles":[{"bibliographic_title":"Publications of the Research Institute for Mathematical Sciences","bibliographic_titleLang":"en"}]}]},"item_5_publisher_27":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"京都大学数理解析研究所","subitem_publisher_language":"ja"}]},"item_5_source_id_7":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0034-5318","subitem_source_identifier_type":"PISSN"}]},"item_5_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA00796798","subitem_source_identifier_type":"NCID"}]},"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":"西村, 泰一","creatorNameLang":"ja"},{"creatorName":"ニシムラ, ヒロカズ","creatorNameLang":"ja-Kana"},{"creatorName":"NISHIMURA, Hirokazu","creatorNameLang":"en"}],"nameIdentifiers":[{},{},{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2013-12-24"}],"displaytype":"detail","filename":"RIMS_19-1.pdf","filesize":[{"value":"892.2 kB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://tsukuba.repo.nii.ac.jp/record/19848/files/RIMS_19-1.pdf"},"version_id":"796efc30-2f8f-441b-9deb-5a68faf38c83"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"A Cut-Free Sequential System for the Propositional Modal Logic of Finite Chains","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"A Cut-Free Sequential System for the Propositional Modal Logic of Finite Chains","subitem_title_language":"en"}]},"item_type_id":"5","owner":"188","path":["478","1128"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2010-07-14"},"publish_date":"2010-07-14","publish_status":"0","recid":"19848","relation_version_is_last":true,"title":["A Cut-Free Sequential System for the Propositional Modal Logic of Finite Chains"],"weko_creator_id":"188","weko_shared_id":-1},"updated":"2024-03-15T00:06:57.220296+00:00"}