{"created":"2021-03-01T06:56:12.537160+00:00","id":18706,"links":{},"metadata":{"_buckets":{"deposit":"4cd484cb-ac51-4208-8688-a1932ab1090d"},"_deposit":{"created_by":188,"id":"18706","owners":[188],"pid":{"revision_id":0,"type":"depid","value":"18706"},"status":"published"},"_oai":{"id":"oai:tsukuba.repo.nii.ac.jp:00018706","sets":["3:2658:1179"]},"author_link":["67445","67446"],"item_11_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2006","bibliographicIssueDateType":"Issued"},"bibliographic_titles":[{"bibliographic_title":"2006年度CSテクニカルレポート・システム開発型研究プロジェクト特集号","bibliographic_titleLang":"ja"}]}]},"item_11_description_5":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"魅力ある大学院教育イニシアティブ：実践IT力を備えた高度情報学人材育成プログラム","subitem_description_language":"ja","subitem_description_type":"Other"}]},"item_11_publisher_27":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"筑波大学","subitem_publisher_language":"ja"}]},"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":"Andrade, Jefferson Oliveira","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Yonezawa, Takuo","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2013-12-20"}],"displaytype":"detail","filename":"2006_04Andrade.pdf","filesize":[{"value":"300.2 kB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://tsukuba.repo.nii.ac.jp/record/18706/files/2006_04Andrade.pdf"},"version_id":"7906ce51-5893-45d9-91cf-5d5b4d7e40c7"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"technical report","resourceuri":"http://purl.org/coar/resource_type/c_18gh"}]},"item_title":"Multi-Valued Bounded Model Checking","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Multi-Valued Bounded Model Checking","subitem_title_language":"en"}]},"item_type_id":"11","owner":"188","path":["1179"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2010-03-03"},"publish_date":"2010-03-03","publish_status":"0","recid":"18706","relation_version_is_last":true,"title":["Multi-Valued Bounded Model Checking"],"weko_creator_id":"188","weko_shared_id":-1},"updated":"2024-03-21T04:14:00.460938+00:00"}