｛“状态”：“确定”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2022,4,2]]，“日期时间”：“2022-04-02T05:25:43Z”，“时间戳”：1648877143234｝，“引用计数”：0，“发布者”：“爱思唯尔BV”，“发布”：“1”，“许可证”：[｛“开始”：｛“日期部分”：[[1996,7,1]，“日期时间”：“1996-07-01T00:00:00Z”，“时间戳”：836179200000}中，“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”：6225，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“符号计算杂志”]，“published-print”：{“date-parts”：[[1996,7]]}，”DOI“：”10.1006\/jsco.1996.0041“，”type“：”Journal-article“，”created“：{”date-part“：[[2002,9,18]]，”date-time“：”2002-09-18T18:57:36Z“，”timestamp“：1032375456000}”，“page”：“49-82”，“source”“：”Crossref“，“is-referenced-by-count”：1，“title”：[“AC Complement Problems:Satisfility and Negation Elimination”]，“prefix”：“10.1006”，“volume”：“22”，“author”：[{“给定”：“MARIBEL”，“family”：“FERN\u00c1NDEZ”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“container-title”：“Journal of Symbolic Computation”]，”original-title“：[]，“language”：“en”，“link”：[}“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0747717196900413？httpAccept=text\.xml”，“content-type”：“text\/xml”，“内容-版本”：“vor”，“intended-application”：“文本-分钟”}，{“URL”：“http:\/\-api.elsever.com/content\/article \/PII:S074717196900412？httpAccess=text\/plain”离子“：”vor“，“intended-application”：“text-mining”}]，“deposted”：{“date-parts”：[[2019,5,9]]，“date-time”：“2019-05-09T06:25:45Z”，“timestamp”：1557383145000}，“score”：1，“resource”：{primary“：{”URL“https:\\/linkinghub.elsevier.com\/retrieve\/pii\/S07477196900413”}，”subtitle“：[]，”shorttitle“：[]，“issued”：{“date-parts”：[[1996,7]]}，“references-count”：0，“日志-问题”：{“问题”：“1”，“发布-打印”：{“日期-部分”：[[1996,7]]}}，“替代id”：[“S074717196900413”]，“URL”：“http://\/dx.doi.org\/10.1006\/jsco.1996.0041”，“关系”：{}，”ISSN“：[”0747-7171“]，”ISSN-type“：[{”value“：”0747.7171“，”type“:”print“}]，“主题”：[]，“发布”：{“日期部分”：[[1996,7]]}}