{"created":"2023-05-15T13:52:32.798647+00:00","id":7914,"links":{},"metadata":{"_buckets":{"deposit":"0b283224-764e-4279-b633-8885de7c0b1c"},"_deposit":{"created_by":1,"id":"7914","owners":[1],"pid":{"revision_id":0,"type":"depid","value":"7914"},"status":"published"},"_oai":{"id":"oai:omu.repo.nii.ac.jp:00007914","sets":["1432:1433:1493:1526","2062:130"]},"author_link":["18637","18638"],"item_2_alternative_title_20":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"The method of Cut Elimination (3)"}]},"item_2_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1989-10-30","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"100","bibliographicPageStart":"93","bibliographicVolumeNumber":"23","bibliographic_titles":[{"bibliographic_title":"大阪府立工業高等専門学校研究紀要"}]}]},"item_2_description_16":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_2_description_41":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"subitem_description":"Article","subitem_description_type":"Other"}]},"item_2_description_6":{"attribute_name":"引用","attribute_value_mlt":[{"subitem_description":"大阪府立工業高等専門学校研究紀要, 1989, 23, p.93-100","subitem_description_type":"Other"}]},"item_2_full_name_3":{"attribute_name":"著者別名","attribute_value_mlt":[{"nameIdentifiers":[{"nameIdentifier":"18638","nameIdentifierScheme":"WEKO"}],"names":[{"name":"Miyama, Toru"}]}]},"item_2_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.24729/00007907","subitem_identifier_reg_type":"JaLC"}]},"item_2_publisher_34":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"大阪府立工業高等専門学校"}]},"item_2_source_id_8":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0387-365X","subitem_source_identifier_type":"ISSN"}]},"item_2_version_type_17":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"深山, 徹"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-07-31"}],"displaytype":"detail","filename":"2013700358.pdf","filesize":[{"value":"521.3 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"2013700358.pdf","url":"https://omu.repo.nii.ac.jp/record/7914/files/2013700358.pdf"},"version_id":"69160024-3ff4-4099-8ad1-1f46b827cac5"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"Consistency of set theory","subitem_subject_scheme":"Other"},{"subitem_subject":"Cut elimination in a logical system of Gentzen-type","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Cut Eliminationの方法 (3)","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Cut Eliminationの方法 (3)"}]},"item_type_id":"2","owner":"1","path":["130","1526"],"pubdate":{"attribute_name":"公開日","attribute_value":"2013-11-21"},"publish_date":"2013-11-21","publish_status":"0","recid":"7914","relation_version_is_last":true,"title":["Cut Eliminationの方法 (3)"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-05-15T18:22:54.542070+00:00"}