{"created":"2023-05-15T12:33:41.011230+00:00","id":1705,"links":{},"metadata":{"_buckets":{"deposit":"37186c7a-3665-4f02-ad5a-a8d39e9fbbaf"},"_deposit":{"created_by":91,"id":"1705","owners":[91],"pid":{"revision_id":0,"type":"depid","value":"1705"},"status":"published"},"_oai":{"id":"oai:nitech.repo.nii.ac.jp:00001705","sets":["342:350"]},"author_link":["4661","4662","4663"],"item_9_biblio_info_5":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1985-03-31","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"112","bibliographicPageStart":"109","bibliographicVolumeNumber":"36","bibliographic_titles":[{"bibliographic_title":"名古屋工業大學學報","bibliographic_titleLang":"ja"}]}]},"item_9_publisher_6":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"名古屋工業大学","subitem_publisher_language":"ja"}]},"item_9_source_id_7":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0369-3171","subitem_source_identifier_type":"PISSN"}]},"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":"大芝, 猛","creatorNameLang":"ja"},{"creatorName":"オオシバ, タケシ","creatorNameLang":"ja-Kana"},{"creatorName":"Oshiba, Takeshi","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"4661","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"永田, 周郎","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"4662","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"舟橋, 栄","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"4663","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-12-06"}],"displaytype":"detail","filename":"bnit1985_109.pdf","filesize":[{"value":"317.9 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"本文_fulltext","objectType":"fulltext","url":"https://nitech.repo.nii.ac.jp/record/1705/files/bnit1985_109.pdf"},"version_id":"5b59df21-6ae0-4af0-a3d7-1ed3bd0e42e7"}]},"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階述語論理の妥当性検証手続","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"付随式を用いる1階述語論理の妥当性検証手続","subitem_title_language":"ja"},{"subitem_title":"A Procedure for Checking Validities of Formulas by Using Adjoint Formulas","subitem_title_language":"en"}]},"item_type_id":"9","owner":"91","path":["350"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2010-07-21"},"publish_date":"2010-07-21","publish_status":"0","recid":"1705","relation_version_is_last":true,"title":["付随式を用いる1階述語論理の妥当性検証手続"],"weko_creator_id":"91","weko_shared_id":-1},"updated":"2025-02-06T00:52:11.488784+00:00"}