WEKO3
アイテム
{"_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": ["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_3_subject_196": {"attribute_name": "日本十進分類法", "attribute_value_mlt": [{"subitem_subject": "007", "subitem_subject_scheme": "NDC"}]}, "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": [{"nameIdentifier": "41160", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Akama, Kiyoshi", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "41161", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-11-22"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "2014.12_ET-based Bidirectional Search for proving Formulas in the Class ES.pdf", "filesize": [{"value": "256.0 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 256000.0, "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"], "permalink_uri": "https://kitami-it.repo.nii.ac.jp/records/7953", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2015-09-03"}, "publish_date": "2015-09-03", "publish_status": "0", "recid": "7953", "relation": {}, "relation_version_is_last": true, "title": ["ET-Based Bidirectional Search for Proving Formulas in the Class ES"], "weko_shared_id": -1}
ET-Based Bidirectional Search for Proving Formulas in the Class ES
https://kitami-it.repo.nii.ac.jp/records/7953
https://kitami-it.repo.nii.ac.jp/records/7953a87326d7-1235-45ef-8cd8-ac6c9b3250d2
名前 / ファイル | ライセンス | アクション |
---|---|---|
2014.12_ET-based Bidirectional Search for proving Formulas in the Class ES.pdf (256.0 kB)
|
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2015-09-03 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | ET-Based Bidirectional Search for Proving Formulas in the Class ES | |||||
言語 | ||||||
言語 | eng | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Logical equivalence | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Bidirectional search | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Correctness | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | ET rule | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Induction | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_6501 | |||||
タイプ | journal article | |||||
アクセス権 | ||||||
アクセス権URI | open access | |||||
著者 |
Miura, Katsunori
× Miura, Katsunori× Akama, Kiyoshi |
|||||
著者別名 | ||||||
姓名 | 三浦, 克宜 | |||||
言語 | ja | |||||
書誌情報 |
International Journal of Innovative Computing, Information and Control 巻 10, 号 6, p. 1999-2009, 発行日 2014-12 |
|||||
権利 | ||||||
権利情報 | c 2014 ICIC International | |||||
出版者 | ||||||
出版者 | ICIC International | |||||
関連サイト | ||||||
URL | http://www.ijicic.org/contents.htm | |||||
著者版フラグ | ||||||
値 | publisher | |||||
出版タイプ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 |