{"created":"2021-03-01T06:00:24.670763+00:00","id":7953,"links":{},"metadata":{"_buckets":{"deposit":"c6542741-e7c0-4fbd-8e31-d24ce9c60e94"},"_deposit":{"id":"7953","owners":[],"pid":{"revision_id":0,"type":"depid","value":"7953"},"status":"published"},"_oai":{"id":"oai:kitami-it.repo.nii.ac.jp:00007953","sets":["1:87"]},"author_link":["44889","41160","41161"],"item_1646810750418":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_3_biblio_info_186":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2014-12","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"6","bibliographicPageEnd":"2009","bibliographicPageStart":"1999","bibliographicVolumeNumber":"10","bibliographic_titles":[{"bibliographic_title":"International Journal of Innovative Computing, Information and Control"}]}]},"item_3_full_name_183":{"attribute_name":"著者別名","attribute_value_mlt":[{"nameIdentifiers":[{"nameIdentifier":"44889","nameIdentifierScheme":"WEKO"},{"nameIdentifier":"50636587","nameIdentifierScheme":"KAKEN","nameIdentifierURI":"https://nrid.nii.ac.jp/ja/nrid/1000050636587 "}],"names":[{"name":"三浦, 克宜","nameLang":"ja"}]}]},"item_3_link_221":{"attribute_name":"関連サイト","attribute_value_mlt":[{"subitem_link_url":"http://www.ijicic.org/contents.htm"}]},"item_3_publisher_212":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"ICIC International"}]},"item_3_rights_192":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"c 2014 ICIC International"}]},"item_3_select_195":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"publisher"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right_uri":"open access"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Miura, Katsunori","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Akama, Kiyoshi","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-11-22"}],"displaytype":"detail","filename":"2014.12_ET-based Bidirectional Search for proving Formulas in the Class ES.pdf","filesize":[{"value":"256.0 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"2014.12_ET-based Bidirectional Search for proving Formulas in the Class ES.pdf","url":"https://kitami-it.repo.nii.ac.jp/record/7953/files/2014.12_ET-based Bidirectional Search for proving Formulas in the Class ES.pdf"},"version_id":"854a2379-54f3-498f-a554-836d1036ec03"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"Logical equivalence","subitem_subject_scheme":"Other"},{"subitem_subject":"Bidirectional search","subitem_subject_scheme":"Other"},{"subitem_subject":"Correctness","subitem_subject_scheme":"Other"},{"subitem_subject":"ET rule","subitem_subject_scheme":"Other"},{"subitem_subject":"Induction","subitem_subject_scheme":"Other"}]},"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":"ET-Based Bidirectional Search for Proving Formulas in the Class ES","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"ET-Based Bidirectional Search for Proving Formulas in the Class ES","subitem_title_language":"en"}]},"item_type_id":"3","owner":"1","path":["87"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2015-09-03"},"publish_date":"2015-09-03","publish_status":"0","recid":"7953","relation_version_is_last":true,"title":["ET-Based Bidirectional Search for Proving Formulas in the Class ES"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2022-12-13T02:19:42.118962+00:00"}