{"created":"2023-06-26T10:47:12.566193+00:00","id":1313,"links":{},"metadata":{"_buckets":{"deposit":"663f058a-cd4c-46c3-971c-fe7356eb0f30"},"_deposit":{"created_by":3,"id":"1313","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"1313"},"status":"published"},"_oai":{"id":"oai:sgul.repo.nii.ac.jp:00001313","sets":[]},"author_link":["1733","1734"],"item_4_alternative_title_19":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"A Theorem Prover Based on Sequent Calculus and Its Application to Legal Reasoning"}]},"item_4_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2001-03","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"2","bibliographicPageEnd":"106","bibliographicPageStart":"93","bibliographicVolumeNumber":"10","bibliographic_titles":[{"bibliographic_title":"社会情報 = Social Information"}]}]},"item_4_description_40":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"subitem_description":"Bulletin","subitem_description_type":"Other"}]},"item_4_full_name_3":{"attribute_name":"著者別名","attribute_value_mlt":[{"nameIdentifiers":[{"nameIdentifier":"1734","nameIdentifierScheme":"WEKO"}],"names":[{"name":"Nagata, Hiroyasu"}]}]},"item_4_publisher_33":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"札幌学院大学社会情報学部"}]},"item_4_source_id_8":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0917-673X","subitem_source_identifier_type":"ISSN"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"長田, 博泰"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-11-07"}],"displaytype":"detail","filename":"SJ-10-2-093.pdf","filesize":[{"value":"976.1 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"SJ-10-2-093.pdf","url":"https://sgul.repo.nii.ac.jp/record/1313/files/SJ-10-2-093.pdf"},"version_id":"70499bb0-72d5-4316-9af2-8af42f5752b2"}]},"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":"シーケント計算に基づく証明系と法的推論への適用","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"シーケント計算に基づく証明系と法的推論への適用"}]},"item_type_id":"4","owner":"3","path":["122"],"pubdate":{"attribute_name":"公開日","attribute_value":"2010-09-16"},"publish_date":"2010-09-16","publish_status":"0","recid":"1313","relation_version_is_last":true,"title":["シーケント計算に基づく証明系と法的推論への適用"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2023-07-27T02:03:09.382902+00:00"}