{"created":"2023-06-20T13:21:10.612855+00:00","id":517,"links":{},"metadata":{"_buckets":{"deposit":"c751a45b-100a-42e0-a8bd-8f10156807d5"},"_deposit":{"created_by":29,"id":"517","owners":[29],"pid":{"revision_id":0,"type":"depid","value":"517"},"status":"published"},"_oai":{"id":"oai:hannan-u.repo.nii.ac.jp:00000517","sets":["15"]},"author_link":["278"],"item_1_biblio_info_14":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1990-03","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"4","bibliographicPageEnd":"58","bibliographicPageStart":"48","bibliographic_titles":[{"bibliographic_title":"情報科学研究","bibliographic_titleLang":"ja"},{"bibliographic_title":"Information science","bibliographic_titleLang":"en"}]}]},"item_1_creator_6":{"attribute_name":"著者名(日)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"和泉, 孔二","creatorNameLang":"ja"},{"creatorName":"イズミ, コウジ","creatorNameLang":"ja-Kana"},{"creatorName":"IZUMI, Koji","creatorNameLang":"en"}],"familyNames":[{"familyName":"和泉","familyNameLang":"ja"},{"familyName":"イズミ","familyNameLang":"ja-Kana"},{"familyName":"IZUMI","familyNameLang":"en"}],"givenNames":[{"givenName":"孔二","givenNameLang":"ja"},{"givenName":"コウジ","givenNameLang":"ja-Kana"},{"givenName":"Koji","givenNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"278","nameIdentifierScheme":"WEKO"}]}]},"item_1_description_1":{"attribute_name":"ページ属性","attribute_value_mlt":[{"subitem_description":"P(論文)","subitem_description_language":"ja","subitem_description_type":"Other"}]},"item_1_source_id_13":{"attribute_name":"雑誌書誌ID","attribute_value_mlt":[{"subitem_source_identifier":"AN10070338","subitem_source_identifier_type":"NCID"}]},"item_1_text_2":{"attribute_name":"記事種別(日)","attribute_value_mlt":[{"subitem_text_language":"ja","subitem_text_value":"論文"}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2015-10-05"}],"displaytype":"detail","filename":"古典述語論理計算LKの拡張とその応用.pdf","filesize":[{"value":"1.7 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"古典述語論理計算LKの拡張とその応用","url":"https://hannan-u.repo.nii.ac.jp/record/517/files/古典述語論理計算LKの拡張とその応用.pdf"},"version_id":"11a20075-d4cc-436d-852c-6486d6261731"}]},"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":"古典述語論理計算LKの拡張とその応用","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"古典述語論理計算LKの拡張とその応用","subitem_title_language":"ja"}]},"item_type_id":"1","owner":"29","path":["15"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2015-10-01"},"publish_date":"2015-10-01","publish_status":"0","recid":"517","relation_version_is_last":true,"title":["古典述語論理計算LKの拡張とその応用"],"weko_creator_id":"29","weko_shared_id":-1},"updated":"2025-03-27T01:00:17.483456+00:00"}