{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,3,29]]，“日期-时间”：“2022-03-29T18:14:40Z”，“时间戳”：1648577680108}，“参考-计数”：0，“出版商”：“Springer Science and Business Media LLC”，“问题”：“1”，“许可证”：[{“开始”：{“日期-零件”：[2000,9,1]]，”日期-时间“：“2000-09-01T00:00:00Z”，“timestamp”：967766400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”STTT“]，”published-print“：{”date-parts“：[[2000,9]]}”，“DOI”：“10.1007\/pl00010809”，“type”：“journ”al-article“，”created“：{”date-parts“：[[2006,2,17]]，”date-time“：“2006-02-17T15:50:07Z”，“时间戳”：1140191407000}，“页面”：“78-92”，“来源”：“Crossref”，“is-referenced-by-count”：1，“标题”：[“机械化结果验证：工业应用”]，“前缀”：“10.1007”，《卷》：“3”，“作者”：[{“给定”：“Paolo”，“家族”：“Traverso”，《序列》：“第一”，“从属关系”：[]}，{“已知”：“Piergiorgio”，“家庭”：“贝托利”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“container-title”：[“International Journal on Software Tools for Technology Transfer”]，“原始标题”：[]，“language”：“en”，“link”：[{“URL”：“http://link.springer.com/content\/pdf\/10007\/PL00010809.pdf”，“content-type”：“application\/pdf”、“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://\/link.springer.com/article\/10.1007\/PL00010809\/fulltext.html”，“content-type”：“text\/html”，“内容-版本”：“vor”，“intended-application”：“文本-分钟”}d-应用程序“：“相似性检查”}]，“存放”：{“日期部分”：[[2019,5,23]]，“日期时间”：“2019-05-23T02:01:37Z”，“时间戳”：1558576897000}，“分数”：1，“资源”：{-“主要”：{-URL”：“http://link.springer.com\/10.1007\/PL00010809”}}，“references-count”：0，“journal-issue”：{“issue”：“1”，“published-print”：{“date-parts”：[[2000,9]]}，“alternative-id”：[“00030078.10009”]，“URL”：“http://\/dx.doi.org\/10.1007\/pl00010809”，“relation”：{}，”ISSN“：[”1433-2779“]，”ISSN-type“：[{”value“：”1433-21779“，”type“:”print“}]，“subject”：[]，“publish”：{“date-ports”：[2000，9]]}}