｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2023,9,4]]，“日期-时间”：“2023-09-04T23:10:10Z”，“时间戳”：1693869010463｝，“引用计数”：0，“发布者”：“施普林格科学与商业媒体有限责任公司”，“问题”：“4”，“许可证”：[｛“开始”：｛“日期部分”：[[1989,12,1]，“日期-时间”：“1989-12-01T00:00:00Z”，“timestamp”：628473600000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”J Autom Reasoning“]，”published-print“：{”date-parts“：[[1989,12]}”，“DOI”：“10.1007\/bf00243133”，”type：“journal-article”，“created”：{“date-parts”：[2004,9,17]]，“date-time”：“2004-09-17T18:25:34Z”，“timestamp”：1095445534000}，“source”：“Crossref”，“is-referenced-by-count”：27，“title”：[“机械验证的语言实现”]，“prefix”：“10.1007”，”volume“：”5“author”：[{“given”：”JStrother“，”family“：”Moore“，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“container”蒂尔”：[“Journal of Automated Reasoning”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/BF00243133.pdf”，“content-type”：“application\/pdf”，“内容类型”：“text\/html”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://\/link.springer.com/content\/pdf\/10007\/BF00243133”，“content-type”：“unspecified”，“content-version“：”vor“，”intended-application“：”similarity-checking“}]，“deposed”：{“date-parts”：[2019,4,3]]，“date-time”：”2019-04-03T10:44:41Z“，“时间戳”：1554288281000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/BF00243133”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{-“date-parts”：[[1989,12]]}，”references-count“：0，”journal-issue“：{”issue“：”4“，”published-print“：{-”date-part“：[[1899,12]}}”，“alternative-id”：[“BF”00243133“]，”URL“：”http://\/dx.doi.org\/10.1007\/BF00243133”，“关系”：{}，“ISSN”：[“0168-7433”，“1573-0670”]，“ISSN-type”：[{“value”：“0168-8433”