{"created":"2021-03-01T06:14:25.275123+00:00","id":11526,"links":{},"metadata":{"_buckets":{"deposit":"def603e3-521e-4692-ba96-3aa1225130cc"},"_deposit":{"id":"11526","owners":[],"pid":{"revision_id":0,"type":"depid","value":"11526"},"status":"published"},"_oai":{"id":"oai:soar-ir.repo.nii.ac.jp:00011526","sets":["1162:1164:1167"]},"author_link":["35684"],"item_14_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2014-09-30","bibliographicIssueDateType":"Issued"}}]},"item_14_date_granted_8":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2014-09-30"}]},"item_14_degree_grantor_10":{"attribute_name":"学位授与機関","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_name":"信州大学(Shinshu university)"}],"subitem_degreegrantor_identifier":[{"subitem_degreegrantor_identifier_name":"13601","subitem_degreegrantor_identifier_scheme":"kakenhi"}]}]},"item_14_degree_name_9":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"博士（工学）"}]},"item_14_description_37":{"attribute_name":"資源タイプ（コンテンツの種類）","attribute_value_mlt":[{"subitem_description":"Thesis","subitem_description_type":"Other"}]},"item_14_description_5":{"attribute_name":"引用","attribute_value_mlt":[{"subitem_description":"PRATIMA KUMARI　SHAH . On the Formal Verification of Petri Net Properties using a Mechanized Proof Checker Approach （プルーフチェッカーシステムを用いたペトリネットの性質の形式的検証について）. 信州大学, 2014, 博士論文. 博士（工学）, 甲第616号, 平成26年9月30日授与.","subitem_description_type":"Other"}]},"item_14_dissertation_number_7":{"attribute_name":"学位授与番号","attribute_value_mlt":[{"subitem_dissertationnumber":"13601甲第616号"}]},"item_14_publisher_4":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"信州大学"}]},"item_14_text_11":{"attribute_name":"学位の区分","attribute_value_mlt":[{"subitem_text_value":"doctoral"}]},"item_14_text_12":{"attribute_name":"学位の分野","attribute_value_mlt":[{"subitem_text_value":"工学"}]},"item_14_text_13":{"attribute_name":"学位の報告番号","attribute_value_mlt":[{"subitem_text_value":"甲第616号"}]},"item_1627890986942":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_be7fb7dd8ff6fe43","subitem_version_type":"NA"}]},"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":"PRATIMA, KUMARI SHAH,","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2015-09-28"}],"displaytype":"detail","filename":"11ST254G_yoshi.pdf","filesize":[{"value":"102.8 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"内容の要旨","url":"https://soar-ir.repo.nii.ac.jp/record/11526/files/11ST254G_yoshi.pdf"},"version_id":"fb6e9ae5-1e04-4e0b-8c86-4e872194ddf2"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2015-09-28"}],"displaytype":"detail","filename":"11ST254G_shinsa.pdf","filesize":[{"value":"78.6 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"審査結果の要旨","url":"https://soar-ir.repo.nii.ac.jp/record/11526/files/11ST254G_shinsa.pdf"},"version_id":"963d5d61-3b0f-43ab-b62b-a9b3dc546be6"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2015-09-28"}],"displaytype":"detail","filename":"11ST254G_ronbun.pdf","filesize":[{"value":"757.8 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"博士論文の全文","objectType":"fulltext","url":"https://soar-ir.repo.nii.ac.jp/record/11526/files/11ST254G_ronbun.pdf"},"version_id":"31a16e3a-6dd7-49c3-8253-e1b6942977ab"}]},"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":"On the Formal Verification of Petri Net Properties using a Mechanized Proof Checker Approach （プルーフチェッカーシステムを用いたペトリネットの性質の形式的検証について）","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"On the Formal Verification of Petri Net Properties using a Mechanized Proof Checker Approach （プルーフチェッカーシステムを用いたペトリネットの性質の形式的検証について）","subitem_title_language":"en"}]},"item_type_id":"14","owner":"1","path":["1167"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2014-12-08"},"publish_date":"2014-12-08","publish_status":"0","recid":"11526","relation_version_is_last":true,"title":["On the Formal Verification of Petri Net Properties using a Mechanized Proof Checker Approach （プルーフチェッカーシステムを用いたペトリネットの性質の形式的検証について）"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-04-13T05:53:33.062219+00:00"}