{"created":"2021-03-01T06:00:24.609012+00:00","id":7952,"links":{},"metadata":{"_buckets":{"deposit":"254f06d4-f54e-41ea-8002-165618bb270f"},"_deposit":{"id":"7952","owners":[],"pid":{"revision_id":0,"type":"depid","value":"7952"},"status":"published"},"_oai":{"id":"oai:kitami-it.repo.nii.ac.jp:00007952","sets":["1:87"]},"author_link":["44889","41155","41156","41157","41158"],"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":"2013-11","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"11","bibliographicPageEnd":"4430","bibliographicPageStart":"4419","bibliographicVolumeNumber":"9","bibliographic_titles":[{"bibliographic_title":"International Journal of Innovative Computing, Information and Control"}]}]},"item_3_description_184":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"Equivalent Transformation (ET) rules can be used to construct correct se-\nquential and parallel programs, as they are inherently correct. One important method\nfor making ET rules uses logical formulas. Among logical formulas, unsatis able con-\njunctions of  nite atoms, each of which is represented by an atom set in this paper, are\nespecially useful for making many ET rules that are used for constructing efficient pro-\ngrams. This paper proposes a method of proving unsatis ability of an atom set based on\ncomputation by ET rules. The proposed method is recursive, in the sense that, during\nproving the given atom set, it may  nd a new atom set based on subset relation or in-\nductive structure. Since our proposed method incorporates search based on subset and\ninductive relations, it can be used to prove unsatis ability of various atom sets that can-\nnot be proven by conventional methods.","subitem_description_type":"Abstract"}]},"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 2013 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":[{}]},{"creatorNames":[{"creatorName":"Koike, Hidekatsu","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Mabuchi, Hiroshi","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":"2013.11_Proof of Unsatisfiability of Atom Sets based on Computation by Equivalent Transformation Rules.pdf","filesize":[{"value":"146.7 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"2013.11_Proof of Unsatisfiability of Atom Sets based on Computation by Equivalent Transformation Rules.pdf","url":"https://kitami-it.repo.nii.ac.jp/record/7952/files/2013.11_Proof of Unsatisfiability of Atom Sets based on Computation by Equivalent Transformation Rules.pdf"},"version_id":"eadc7e5a-29ca-48a6-936e-b9e3289eb7bf"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"Unsatisability","subitem_subject_scheme":"Other"},{"subitem_subject":"Proof","subitem_subject_scheme":"Other"},{"subitem_subject":"Equivalent transformation 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":"PROOF OF UNSATISFIABILITY OF ATOM SETS BASED ON COMPUTATION BY EQUIVALENT TRANSFORMATION RULES","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"PROOF OF UNSATISFIABILITY OF ATOM SETS BASED ON COMPUTATION BY EQUIVALENT TRANSFORMATION RULES","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":"7952","relation_version_is_last":true,"title":["PROOF OF UNSATISFIABILITY OF ATOM SETS BASED ON COMPUTATION BY EQUIVALENT TRANSFORMATION RULES"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2022-12-13T02:19:39.848244+00:00"}