{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2024,3,28]]，“日期-时间”：“2024-03-28T05:18Z”，“时间戳”：1711603098284}，“参考-计数”：13，“出版商”：“工业与应用数学学会（SIAM）”，“问题”：“3”，“内容-域”:{“域”：[]，“交叉标记-限制”：false}，“short-container-title”：[“SIAM J.Compute.”]，“published-print”：{“date-parts”：[[1985,8]]}，“DOI”：“10.1137\/0214049”，“type”：“journal-article”，“created”：{“date-parts”：[[2005,2,24]]，“date-time”：“2005-02-24T06:25:35Z”，“timestamp”：110922633500}，”page“：”671-677“，”source“Crossref”，“is-referenced-by-count”：104，“标题”：[“函数和包含依赖的隐含问题不可判定”]，“前缀”：“10.1137”，“卷”：“14”，“作者”：[{“给定”：“Ashok K.”，“家族”：“Chandra”，“序列”：“第一”，“从属关系”：[]}，{“已知”：“Moshe Y.”，”家族“：“Vardi”，“sequence”：“additional”，“affiliation”：[]，“成员”：“351”，“引用”：[}“key”：“R1”，”第一页“：”580英寸，“volume-title”：“Information processing 74（Proc.IFIP Congress，Stockholm，1974）”，“author”：“Armstrong W.W.”，“year”：“1974”}，{“key”：“R2”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/320066.36”}“publisher”，“doi”：“10.1137\/0213006”}，{“key”：“R5”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0022-0000（84）90075-8”}，{“key”：“R6”，“first page”：”33“，“volume-title”：“Data-Base Systems”，“author”：“Codd E.F.”，”year“：”1972“}，“key“：”R7“，”doi-assert-by“：”publisher“，”doi“：”10.1145\/319587.319592“}“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0020-0190（83）90005-4”}，{“key”：“R9”，“doi-asserted-by”：“publisher”，“doi”：“10.2307\/2274101”}，{“key”：“R10”，“首页”：“25”，“volume”：”5“，“author”：“Gurevich Y.”，“year”：“1966”，“journal-title”：“Algebra i Logika Sem.”}“R15”，“doi-asserted-by”：“publisher”，“doi”：“10.2307\/2267170”}，{“key”：“R16”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0022-0000（84）90074-6”}]，“container-title”：[“SIAM Journal on Computing”]，“原始标题”：[]，“language”：“en”，“link”：[{“URL”：“http://\/epubs.SIAM.org\/doi\/pdf\/10.1137\/0214049”，“content-type”：“unspecified”，“内容版本”：“vor”，“intended-application”：“similarity”y-checking“}]”，“deposed”：{“date-parts”：[2017,1,29]]，“日期时间”：“2017-01-29T12:21:35Z”，“时间戳”：1485692495000}，“分数”：1，“资源”：{“主要”：{“URL”：“http://\/epubs.siam.org\/doi\/10.1137\/0214049”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[1985,8]]}，‘参考计数’：13，”日志发布“：“issue”：“3”，“published-print”：{“date-parts”：[[1985,8]]}}，“alternative-id”用法：[“10.1137\/0214049”]，“URL”：“http://\/dx.doi.org\/10.1137\/02114049”，“关系”：{}，“ISSN”：[“0097-5397”，“1095-7111”]，”ISSN-type“：[{”value“：”0097-5377“，”type“:”print“}，{”value“：”1095-7111'，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[1985,8]}}}