{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,11,26]]，“日期-时间”：“2023-11-26T23:32:02Z”，“时间戳”：1701041522995}，“引用-计数”：7，“发布者”：“爱思唯尔BV”，“问题”：“2”，“许可证”：[{“开始”:{“日期-零件”：[[1992,5,1]]，2-05-01T00:00:00Z“，”时间戳“：70467840000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[“Information Processing Letters”]，“published-print”：{“date-parts”：[[1992,5]}，”DOI“：”10.1016\/0020-0190（92）90093-b“，“type”：“journal-article”，“created”：{“日期部分”：[2002,7,26]]，“日期时间”：“2002-07-26T03:38:59Z”，“时间戳”：1027654739000}，“页面”：“77-80”，“源”：“Crossref”，“is-referenced-by-count”：8，“标题”：[“线性函数应用程序的批检查”]，“前缀”：“10.1016”，“卷”：“42”，“作者”：[{“给定”：“Ronitt”，“系列”：“Rubinfeld”，“序列”：“first”，“从属关系“：[]}]，”成员“：“78”，“reference”：[｛“key”：“10.1016\/000-0190（92）90093-B_BIB1”，“doi asserted by”：“crossref”，“unstructured”：“M.Blum，Designing programs to check their work，Comm.ACM，Submitted.”，“doi”：“10.1145\/7307.73015”｝，｛“key”：“10.1016\/000-0190（92）90093-B_BIB2”，“doi asserted by”：“crossref”，“doi”：“10.1109\/SFCS.1991.1885352”，“文章标题”：“检查记忆的正确性”，“作者”：“Blum”，“年份”：“1991”，“期刊标题”：“Proc.32nd IEEE Symp.on Foundations of Computer Science”｝，｛“key”：“10.1016\/000-0190（92）90093-B_BIB3”，“文章标题”：“程序正确性检查和检查其工作的程序设计”，“作者”：“Blum”，“年份”：“1989”，“期刊标题”：“Proc.21st ACM Symp.on Theory of Computing”}，{“key”：“10.1016\/0020-0190（92）90093-B_BIB4”，“article-title”：“Self-testing\/correcting with applications to numerical problems”，“author”：“Blum”，“year”：“1990”，“journal-title“：”ICSI Tech.Rept.TR-90-041蒂尔”：“程序正确性：可以测试吗？”，“author”：“Blum”，“year”：“1988”}，{“key”：“10.1016\/0020-0190（92）90093-B_BIB6”，“unstructured”：“A.Fiat和M.Naor，通过Moni-Naor进行个人通信”}、{“key”：”10.1016\/0020-0190-90093-B_BAB7“，”首页“：”57“，”文章标题“：”快速概率算法“，”卷“：”74“，”“author:”Freivalds“，“年”：“1979”}]，“容器-时间”：[“信息处理信件”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:00201909290093B？httpAccept=text\/xml”，“内容类型”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“网址”：“https:\/\/api.elsevier.com/content\/article\/PII:00201909290093B？httpAccept=text\/plain”，“content-type”：“text\/plan”，“内容-版本”：“vor”，“intended-application”：“文本-分钟”}]，“存放”：{“日期-部分”：[[2019,4,13]]，“日期-时间”：“2019-04-13T08:27:16Z”，“时间戳”：1555144036000}，“分数”：1，“资源”：{primary：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/00201909290093B”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1992,5]]}，”references-count“：7，”journal-issue“：{”issue“：”2“，”published-print“：{“date-ports”：[[1992,5]}}“alternative-id”：[“002001909290093B”]，“URL”：“http://\/dx.doi.org\/10.1016\/0020-0190（92）90093-b”，“关系”：{}，“ISSN”：[“0020-0190”]，“issn-type”：[{“value”：“0020-01-90”，“type”:“print”}]，“subject”：[]，“published”：{“date-parts”：[[1992,5]]}}}