{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,3,29]]，“日期时间”：“2022-03-29T10:36:10Z”，“时间戳”：1648550170330}，“引用-计数”：16，“发布者”：“IEEE Compute.Soc.Press”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器-时间“：[]”，“内政部“：“10.1109 \/sct.1992.215405”，“type”：“procesdings-article”，“created”：{“date-parts”：[2003,1,2]，“date-time”：“2003-01-02T09:33:59Z”，“timestamp”：1041500039000}，“source”：”Crossref“，“is-referenced-by-count”：2，“title”：[“平均依赖性和随机预言符”]，“prefix”：“10.109”，“author”：[{“给定”：“S.A.”，“family”：“Kurtz”，“sequence”：“first”，“affiliation”：[]}，{“given”：“S.R.”，“family”：“Mahaney”，“sequence”：“additional”，“affiliation”：[]}by“：”publisher“，”doi“：”10.1016\/0304-3975（93）90256-S“}，｛“key”：“ref12”，“doi asserted by”：“publisher”，“doi”：“10.1109\/SFCS.1988.21916”｝，｛“key”：“ref13”，“doi asserted by”：“crossref”，“author”：“oxtoby”，“year”：“1980”，“journal title”：“Measure and Category”，“doi”：“10.1007\/978-1-4684-9339-9”｝，｛“key”：“ref14”，“author”：“rogers”，“year”：“1987”，“journal title”：“递归函数理论与有效可计算性”}，{“key”：“ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0022-0000（85）90040-6”}、{“key”：”ref16“，“doo-asserted-by”：”publisher“，”doi“：”10.1109\/SFCS.1985.49“}，”{“key”：“ref4”，“author”：“chor”，“year”：“1990”，“journal-title”：“随机预言假设为假”}{“键”：“参考3”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0022-0000（89）90033-0”}，{“key”：“ref6”，“doo-asserted-by”：”publisher“，”doi“：”10.1007\/BF01744431“}，“key“：”ref5“，”author“：”dudley“，”year“1989”，“journal-title”：“Real Analysis”}、{“key”：”ref8“，”doi-assert-by“：”publister“，”doi“：“10.1109\/SCT.1989.41808”}，{“key”：“ref7”，“author”：“hopcroft”，“year”：“1979”，“journal-title”：“自动机理论语言与计算导论”}，{“key”：“ref2”，“doi-asserted-by”：“publisher”，“doi”：“10.1137\/0210008”}83）80023-0“}]，“事件”：{“名称”：“[1992]复杂性理论会议第七届年度结构”，“地点”：“美国马萨诸塞州波士顿”}，“容器-时间”：[“[1992]复杂性理论会议的第七届年结构会议记录”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx2\/430\/00215405.pdf？arnumber=215405”，“内容-类型”：“未指定”，“content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2017,6,15]]，”date-time“：”2017-06-15T13:10:01Z“，”timestamp“：1497532201000}，”score“：1，”resource“：{primary”：{“URL”：“http://\ieeexplore.iee.org\/document\/215405\/”}}，“subtitle”：[]，“shorttitle”：[]，“发出“：{“date-parts”：[[null]]}，”references-count“：16，”URL“：”http://\/dx.doi.org\/10.109\/sct.1992.215405“，”关系“：{}，”主题“：[]}}