{"created":"2023-05-15T12:33:44.490635+00:00","id":1768,"links":{},"metadata":{"_buckets":{"deposit":"ceefa587-b461-4d7d-8cd4-04c43d801389"},"_deposit":{"created_by":3,"id":"1768","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"1768"},"status":"published"},"_oai":{"id":"oai:nitech.repo.nii.ac.jp:00001768","sets":["342:354"]},"author_link":["4662","4663","4661","4866"],"item_9_alternative_title_1":{"attribute_name":"その他（別言語等）のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"A Program for Checking the Validities of Formulas in the First Order Predicate Calculus"}]},"item_9_biblio_info_5":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1981-03-31","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"96","bibliographicPageStart":"91","bibliographicVolumeNumber":"32","bibliographic_titles":[{"bibliographic_title":"名古屋工業大學學報"}]}]},"item_9_description_11":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_9_full_name_4":{"attribute_name":"著者別名","attribute_value_mlt":[{"nameIdentifiers":[{"nameIdentifier":"4661","nameIdentifierScheme":"WEKO"}],"names":[{"name":"Oshiba, Takeshi"}]}]},"item_9_publisher_6":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"名古屋工業大学"}]},"item_9_source_id_7":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"03693171","subitem_source_identifier_type":"ISSN"}]},"item_9_source_id_8":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00179603","subitem_source_identifier_type":"NCID"}]},"item_9_version_type_9":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"大芝, 猛"},{"creatorName":"オオシバ, タケシ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"永田, 周郎"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"宮脇, 誠"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"舟橋, 栄"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-12-06"}],"displaytype":"detail","filename":"bnit1981_091.pdf","filesize":[{"value":"426.9 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"本文_fulltext","url":"https://nitech.repo.nii.ac.jp/record/1768/files/bnit1981_091.pdf"},"version_id":"338fac0d-88c8-4671-8cc6-8488e0cdad03"}]},"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":"エルブランの定理にもとずく1階述語論理の論理式の妥当性検証プログラムの1つについて","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"エルブランの定理にもとずく1階述語論理の論理式の妥当性検証プログラムの1つについて"}]},"item_type_id":"9","owner":"3","path":["354"],"pubdate":{"attribute_name":"公開日","attribute_value":"2010-06-25"},"publish_date":"2010-06-25","publish_status":"0","recid":"1768","relation_version_is_last":true,"title":["エルブランの定理にもとずく1階述語論理の論理式の妥当性検証プログラムの1つについて"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2023-05-15T14:28:37.683576+00:00"}