{"_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": [{"nameIdentifier": "1733", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2016-11-07"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "SJ-10-2-093.pdf", "filesize": [{"value": "976.1 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 976100.0, "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"], "permalink_uri": "http://hdl.handle.net/10742/933", "pubdate": {"attribute_name": "公開日", "attribute_value": "2010-09-16"}, "publish_date": "2010-09-16", "publish_status": "0", "recid": "1313", "relation": {}, "relation_version_is_last": true, "title": ["シーケント計算に基づく証明系と法的推論への適用"], "weko_shared_id": -1}