{"created":"2023-06-20T15:10:19.608865+00:00","id":6471,"links":{},"metadata":{"_buckets":{"deposit":"3c54d81e-3147-45eb-adf3-cd3f37f06fa2"},"_deposit":{"created_by":3,"id":"6471","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"6471"},"status":"published"},"_oai":{"id":"oai:ynu.repo.nii.ac.jp:00006471","sets":["616:627:633"]},"author_link":["29286"],"item_6_biblio_info_8":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1967","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"2","bibliographicPageEnd":"43","bibliographicPageStart":"35","bibliographicVolumeNumber":"15","bibliographic_titles":[{"bibliographic_title":"Yokohama Mathematical Journal = 横濱市立大學紀要. D部門, 数学"}]}]},"item_6_description_17":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_6_publisher_35":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"Yokohama City University"}]},"item_6_source_id_11":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA0089285X","subitem_source_identifier_type":"NCID"}]},"item_6_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"00440523","subitem_source_identifier_type":"ISSN"}]},"item_6_text_4":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"Tel-Avio-City, Bialik"}]},"item_6_version_type_18":{"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":"Reichbach, Juliusz"}],"nameIdentifiers":[{"nameIdentifier":"29286","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-09-26"}],"displaytype":"detail","filename":"YMJ_15_N2_1967_035-043.pdf","filesize":[{"value":"807.5 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"YMJ_15_N2_1967_035-043.pdf","url":"https://ynu.repo.nii.ac.jp/record/6471/files/YMJ_15_N2_1967_035-043.pdf"},"version_id":"c48b7c02-17cd-4cd8-bbbb-24c7d7cef943"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"SOME METHODS OF FORMAL PROOFS II : Generalization of the satisfiability definition","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"SOME METHODS OF FORMAL PROOFS II : Generalization of the satisfiability definition"}]},"item_type_id":"6","owner":"3","path":["633"],"pubdate":{"attribute_name":"公開日","attribute_value":"2009-12-15"},"publish_date":"2009-12-15","publish_status":"0","recid":"6471","relation_version_is_last":true,"title":["SOME METHODS OF FORMAL PROOFS II : Generalization of the satisfiability definition"],"weko_creator_id":"3","weko_shared_id":3},"updated":"2023-06-20T18:57:35.707240+00:00"}