{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,6,7]]，“日期-时间”：“2024-06-07T12:04:27Z”，“时间戳”：1717761867166}，“引用-计数”：7，“发布者”：“爱思唯尔BV”，“问题”：“3”，“许可证”：[{“开始”：{-date-parts“：[[1978,6,1]]，”日期-时间“：”1978-06-01T00:00:00Z“，“时间戳”：265507200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：12830，“URL“https:\\/www.else vier.com.\/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Journal of Computer and System Sciences”]，“published-print”：{“date-parts”：[[1978,6]]}，”DOI“：”10.1016\/0022-0000（78）90021-1“，”type“：”Journal-article“，”created“：{”date-part“：[[2003,12,4]]，”date-time“：”2003-12-04T07:01:00Z“，”timestamp“：1070521260000}，‘page’：“323-332”，“source”：“Crossref”，“is-referenced-by-count”：103，“title”：[“Presburger算术复杂性的222pn上界”]，“prefix”：“10.1016”，“volume”：“16”，“author”：[{“给定”：“Derek C.”，“family”：“Oppen”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“reference”：[}“key”：”10.1016\/0022-0000（78）90021-1_BIB1“，”series-title“Proc.Amer”.数学.社会学“，”第一页“：“299”，“article-title”：“线性丢番图方程正积分解的界”，“author”：“Borosh”，“year”：“1976”}，{“key”：“10.1016\/0022-0000（78）90021-1_BIB2”，“first page”：”91“，“artice-title“：”不用乘法的算术证明定理“，”volume“：”7“，”author“：”Cooper“，”year“：”1972“，”journal title“：“Machine Intelligence”}，{“key”：“10.1016\/0022-0000（78）90021-1_BIB3”，“article-title”：“有序实加法一阶理论的决策程序”，“volume”：”33“，“author”：“Ferrante”，“year”：“1973”}，{“key”：《10.1016\/0022-000（78）900021-1_BIB4》，“series-title”：《实计算过程复杂性研讨会论文集》：“Presburger算法的超指数复杂度”，“author”：“Fischer”，“year”：“1973”}，{“key”：“10.1016\/0022-0000（78）90021-1_BIB5”，“series-title”：“弱一元二阶后继理论不是初等递归”，“author”:“Meyer”，“year”：”1972“}”，{（key）：“10.12016\/022-0000（78）900021-1_BIB6”，“article-title”：“\u00dcber die Vollstandiggeit eines gewissen Systems der Arithmetik ganzer Zahlen，in welchen die Addition als einzige Operation hervortritt”，“author”：“Presburgbr”，“year”：“1929”，“journal title”：“Comptes-Rendus du ler Congres des Math\u00e9maticiens des Pays Slavs”}，{“key”：“10.1016\/0022-0000（78）90021-1_BIB7”，“unstructured”：“M。拉宾，私人通信。1972.“}]，”container-title“：[”Journal of Computer and System Sciences“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:0022000078900211？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0022000078900211？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,2,16]]，“date-time”：“2019-02-16T08:28:09Z”，“timestamp”：1550305689000}，“score”：1，“resource”：{primary“：{”URL“https:\\/linkinghub.elsevier.com\/retrieve\/pi\/00220000 78900211“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[1978,6]]}，”引用计数“：7，”日志发布“：}”问题“：“3”，”发布-打印”：{“日期部分”：[[1988,6]}}，“alternative-id”：[“0022000078900211”]，“URL”：“http://\/dx.doi.org\/101016\/0022-0000（78）90021-1”，“关系”：{}，（ISSN）：[”0022-0000“]，“ISSN-type”：[{“value”：“0022-0000”，“type”:“print”}]，“subject”：[]，“已发布”：｛“日期部分”：[[1978,6]]｝｝