{"created":"2021-03-01T06:21:28.368039+00:00","id":18414,"links":{},"metadata":{"_buckets":{"deposit":"1dad53d2-d428-4dae-a3d6-8631b2bca852"},"_deposit":{"id":"18414","owners":[],"pid":{"revision_id":0,"type":"depid","value":"18414"},"status":"published"},"_oai":{"id":"oai:soar-ir.repo.nii.ac.jp:00018414","sets":["1221:1222"]},"author_link":["51285","51286","51287"],"item_1628147817048":{"attribute_name":"\u51fa\u7248\u30bf\u30a4\u30d7","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_6_biblio_info_6":{"attribute_name":"\u66f8\u8a8c\u60c5\u5831","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2011-03","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"1","bibliographicPageEnd":"64","bibliographicPageStart":"61","bibliographicVolumeNumber":"19","bibliographic_titles":[{"bibliographic_title":"Formalized Mathematics"}]}]},"item_6_description_30":{"attribute_name":"\u8cc7\u6e90\u30bf\u30a4\u30d7\uff08\u30b3\u30f3\u30c6\u30f3\u30c4\u306e\u7a2e\u985e\uff09","attribute_value_mlt":[{"subitem_description":"Article","subitem_description_type":"Other"}]},"item_6_description_5":{"attribute_name":"\u5f15\u7528","attribute_value_mlt":[{"subitem_description":"Formalized Mathematics. 19(1): 61-64 (2011)","subitem_description_type":"Other"}]},"item_6_link_3":{"attribute_name":"\u4fe1\u5dde\u5927\u5b66\u7814\u7a76\u8005\u7dcf\u89a7\u3078\u306e\u30ea\u30f3\u30af","attribute_value_mlt":[{"subitem_link_text":"Okazaki, Hiroyuki","subitem_link_url":"http://soar-rd.shinshu-u.ac.jp/profile/ja.geDNbpkh.html"},{"subitem_link_text":"Shidama, Yasunari","subitem_link_url":"http://soar-rd.shinshu-u.ac.jp/profile/ja.OeceZVkh.html"}]},"item_6_publisher_4":{"attribute_name":"\u51fa\u7248\u8005","attribute_value_mlt":[{"subitem_publisher":"De Gruyter Open"}]},"item_6_relation_48":{"attribute_name":"DOI","attribute_value_mlt":[{"subitem_relation_name":[{"subitem_relation_name_text":"10.2478/v10037-011-0010-9"}],"subitem_relation_type_id":{"subitem_relation_type_id_text":"https://doi.org/10.2478/v10037-011-0010-9","subitem_relation_type_select":"DOI"}}]},"item_6_rights_62":{"attribute_name":"\u6a29\u5229","attribute_value_mlt":[{"subitem_rights":"\u00a9 2011 University of Bia\u0142ystok"}]},"item_6_source_id_35":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1898-9934","subitem_source_identifier_type":"ISSN"}]},"item_creator":{"attribute_name":"\u8457\u8005","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Futa, Yuichi"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Okazaki, Hiroyuki"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Shidama, Yasunari"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"\u30d5\u30a1\u30a4\u30eb\u60c5\u5831","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-09-14"}],"displaytype":"detail","filename":"[Formalized Mathematics] Formalization of Integral Linear Space.pdf","filesize":[{"value":"258.8 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"[Formalized Mathematics] Formalization of Integral Linear Space.pdf","url":"https://soar-ir.repo.nii.ac.jp/record/18414/files/[Formalized Mathematics] Formalization of Integral Linear Space.pdf"},"version_id":"db00f50b-d7d3-4925-9bf6-410f6ca98ef1"}]},"item_language":{"attribute_name":"\u8a00\u8a9e","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"\u8cc7\u6e90\u30bf\u30a4\u30d7","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Formalization of Integral Linear Space","item_titles":{"attribute_name":"\u30bf\u30a4\u30c8\u30eb","attribute_value_mlt":[{"subitem_title":"Formalization of Integral Linear Space","subitem_title_language":"en"}]},"item_type_id":"6","owner":"1","path":["1221/1222"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2016-09-14"},"publish_date":"2016-09-14","publish_status":"0","recid":"18414","relation_version_is_last":true,"title":["Formalization of Integral Linear Space"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2021-10-12T00:42:29.210632+00:00"}