{"created":"2023-07-27T07:57:03.927388+00:00","id":17306,"links":{},"metadata":{"_buckets":{"deposit":"17b9e0a1-9333-43c9-a8ab-42449d8e3584"},"_deposit":{"created_by":3,"id":"17306","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"17306"},"status":"published"},"_oai":{"id":"oai:waseda.repo.nii.ac.jp:00017306","sets":["128:1595"]},"author_link":["28102","28101","28103","28062"],"item_10001_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1992-01","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"487","bibliographicPageStart":"480","bibliographicVolumeNumber":"Volume ii","bibliographic_titles":[{"bibliographic_title":"System Sciences, 1992. Proceedings of the Twenty-Fifth Hawaii International Conference on"}]}]},"item_10001_description_42":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"subitem_description":"text","subitem_description_type":"Other"}]},"item_10001_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"Institute of Electrical and Electronic Engineers"}]},"item_10001_relation_43":{"attribute_name":"シリーズ","attribute_value_mlt":[{"subitem_relation_name":[{"subitem_relation_name_text":"IEEE CNF"}]}]},"item_10001_rights_15":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"Copyright: Institute of Electrical and Electronic Engineers (IEEE)"}]},"item_10001_subject_21":{"attribute_name":"日本十進分類法","attribute_value_mlt":[{"subitem_subject":"007.6","subitem_subject_scheme":"NDC"}]},"item_10001_subject_33":{"attribute_name":"米国議会図書館件名標目","attribute_value_mlt":[{"subitem_subject":"Systems engineering--Congresses","subitem_subject_scheme":"LCSH"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Ono, K."}],"nameIdentifiers":[{"nameIdentifier":"28101","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Kawano, S."}],"nameIdentifiers":[{"nameIdentifier":"28102","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Fukazawa, Yoshiaki"}],"nameIdentifiers":[{"nameIdentifier":"28062","nameIdentifierScheme":"WEKO"},{"nameIdentifier":"1000020165252","nameIdentifierScheme":"NRID","nameIdentifierURI":"https://nrid.nii.ac.jp/ja/nrid/1000020165252"}]},{"creatorNames":[{"creatorName":"Kadokura, T."}],"nameIdentifiers":[{"nameIdentifier":"28103","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-11-25"}],"displaytype":"detail","filename":"00183262.pdf","filesize":[{"value":"498.3 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"00183262.pdf","url":"https://waseda.repo.nii.ac.jp/record/17306/files/00183262.pdf"},"version_id":"cf1848d4-d57e-464f-89ad-8e3effe16ae0"}]},"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":"A resolution method from predicate logic specification into executable code","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"A resolution method from predicate logic specification into executable code","subitem_title_language":"en"}]},"item_type_id":"10001","owner":"3","path":["1595"],"pubdate":{"attribute_name":"公開日","attribute_value":"2008-04-23"},"publish_date":"2008-04-23","publish_status":"0","recid":"17306","relation_version_is_last":true,"title":["A resolution method from predicate logic specification into executable code"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2023-11-09T06:03:03.483463+00:00"}