{"_buckets": {"deposit": "afb95b0a-a5dc-4060-9768-0285f12cf12a"}, "_deposit": {"id": "2005736", "owners": [1], "pid": {"revision_id": 0, "type": "depid", "value": "2005736"}, "status": "published"}, "_oai": {"id": "oai:repository.dl.itc.u-tokyo.ac.jp:02005736", "sets": []}, "author_link": [], "item_4_biblio_info_7": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2000", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "67", "bibliographicPageStart": "55", "bibliographicVolumeNumber": "47", "bibliographic_titles": [{"bibliographic_title": "Journal of the School of Engineering, the University of Tokyo = \u6771\u4eac\u5927\u5b66\u5de5\u5b66\u90e8\u30fb\u5de5\u5b66\u7cfb\u7814\u7a76\u79d1\u7d00\u8981"}]}]}, "item_4_publisher_20": {"attribute_name": "\u51fa\u7248\u8005", "attribute_value_mlt": [{"subitem_publisher": "School of Engineering, the University of Tokyo", "subitem_publisher_language": "en"}]}, "item_4_source_id_10": {"attribute_name": "\u66f8\u8a8c\u30ec\u30b3\u30fc\u30c9ID", "attribute_value_mlt": [{"subitem_source_identifier": "AA11279517", "subitem_source_identifier_type": "NCID"}]}, "item_4_source_id_8": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "13442929", "subitem_source_identifier_type": "PISSN"}]}, "item_creator": {"attribute_name": "\u8457\u8005", "attribute_type": "creator", "attribute_value_mlt": [{"creatorAffiliations": [{"affiliationNames": [{"affiliationName": "The University of Tokyo", "affiliationNameLang": "en"}]}], "creatorNames": [{"creatorName": "FUJITA, Masahiro", "creatorNameLang": "en"}, {"creatorName": "\u85e4\u7530, \u660c\u5b8f", "creatorNameLang": "ja"}]}]}, "item_files": {"attribute_name": "\u30d5\u30a1\u30a4\u30eb\u60c5\u5831", "attribute_type": "file", "attribute_value_mlt": [{"date": [{"dateType": "Available", "dateValue": "2022-10-20"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "JFEUT_B_47_55-67_2000.pdf", "filesize": [{"value": "3.3 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 3300000.0, "url": {"objectType": "fulltext", "url": "https://repository.dl.itc.u-tokyo.ac.jp/record/2005736/files/JFEUT_B_47_55-67_2000.pdf"}, "version_id": "31594bbe-5859-4d72-83f7-b551cea7b3ba"}]}, "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": "departmental bulletin paper", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "Formal Verification Based on Recurrence Equations and Equivalence Checking", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "Formal Verification Based on Recurrence Equations and Equivalence Checking", "subitem_title_language": "en"}]}, "item_type_id": "4", "owner": "1", "path": ["6/1665016641499", "9/504/1665016686408"], "permalink_uri": "http://hdl.handle.net/2261/0002005736", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2022-10-20"}, "publish_date": "2022-10-20", "publish_status": "0", "recid": "2005736", "relation": {}, "relation_version_is_last": true, "title": ["Formal Verification Based on Recurrence Equations and Equivalence Checking"], "weko_shared_id": -1}