{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,12,30]]，“日期-时间”：“2022-12-30T07:30:27Z”，“时间戳”：1672385427349}，“引用-计数”：12，“发布者”：“爱思唯尔BV”，“问题”：“20”，“许可证”：[{“开始”：“日期-零件”：[[2011,10,1]]，-10-01T00:00:00Z“，”时间戳“：131742720000}，“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”：[[2011,10]]}，”DOI“：”10.1016\/j.ipl.2011.07.003“，”type“”：“journal-article”，“created”：{“date-parts”：[[2011,7,25]]，“date-time”：“2011-07-25T08:15:30Z”，“timestamp”：1311581730000}，“page”：“989-993”，“source”：”Crossref“，”is-referenced-by-count“：1，”title“：[“模块化实例化方案”]，“prefix”：“10.1016”，“volume“：”111“，”author“：[{”given“Mnacho”，“family”：“Echenim”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“尼古拉斯”，“家庭”：“Peltier”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“78”，“reference”：[{“issue”：“2”，“key”：“10.1016\/j.ipl.2011.07.003_br0010”，“doi-asserted-by”：“crossref”，“first page”：”153“，“doi”：“101016\/j.jsc.2009.03.003”，“article-title”：“man-sorted logic的可判定片段”，“volumes”：“45”，“author”：“Abadi”“，”年份“：”2010“，”新闻标题“：“符号计算杂志”}，{“key”：“10.1016\/j.ipl.2011.07.003_br0020”，“series-title”：《可满足性手册》，“首页”：“825”，“article-title”：“可满足模理论”，“卷”：“第185卷”，“作者”：“Barrett”，“年份”：“2009”}第“：”427页，“article-title”：“关于数组什么\u02bcs可判定？”，“volume”：“vol.3855”，“author”：“Bradley”，“year”：“2006”}，{“key”：”10.1016\/j.ipl.2011.07.003_br0040“，”series-title“：”SBMF“，”first page“：”23“，”article-title“：“满意模理论：开胃菜”，“卷”：“vol.5902”，“author”:“de Moura”，“年份”：“2009”}、{“”键“：“10.1016\/j.ipl.2011.07.003_br0050”，“doi-asserted-by”：“crossref”，“unstructured”：“M.Echenim，N.Peltier，可满足性模理论的实例化方案，自动推理杂志（2010），正在出版，http://\/dx.doi.org\/10.1007\/s10817-010-9200-3.”，“doi”：“10.1007\/s10817-010-92003”}，{“key”：“1016\/j.ipl.2011.07.003_br0060”，“series-title”：“第18届IEEE计算机科学逻辑研讨会”，“首页”：“55”，“article-title”：“基于实例化的定理证明的新方向”，“author”：“Ganzinger”，“year”：“2003”}，{“key”：”10.1016\/j.ipl.2011.07.003_br0070“，“series-title：“可满足性模理论中量化公式的完整实例化”，“卷”：“第5643卷”，“作者”：“葛”，“年份”：“2009”}，{“问题”：“3\u20134”，“关键”：“10.1016\/j.ipl.2011.07.003_br0080”，“doi-asserted-by”：“crossref”，“首页”：“231”，“doi”：“101007\/s10472-007-9078-x”，“article-title”：“数组理论扩展的决策程序”，“volume”：“50”，“author”：“Ghilardi”，“year”：“2007”，“journal-title”：“Annals of Mathematics and Artificial Intelligence”}，{“issue”：“3”，“key”：《10.1016\/j.ipl.2011.07.003_br0090》，“doi-asserted-by”：“crossref”，“first page”：”167“，“doi”：“10.1023\/A:1006376231563”，《article-title》：“有序语义超链接”，“volume”：“25”，“author”：“Plaisted”，“year”：“2000”，“journal-title”：“journal of Automated Reasoning”}，{“key”：”10.1016\/j.ipl.2011.07.003_br0100“，”series-title“：”CADE“，”first page“：”219“，”article-title“：“局部理论扩展中的层次推理”，“volume”:“vol.3632”，“author”“：”Sofrone-Stokkermans“，”year“2005”}，{“key”：“10.1016\/j.ipl.2011.07.003_br0110”，“series-title”：“组合系统的前沿”，“首页”：“103”，“article-title”：《Nelson\u2013Oppen组合程序的新正确性证明》，“volume”：《第三卷》，“author”：“Tinelli”，“year”：“1996”}，{“issue”：“3”，“key“10.1016”，“10.1016.07.003_br 0120”，“doi-asserted-by”：“crossref”，“首页”：“209”，“DOI”：“10.1007\\s10817-005-5204-9”，“文章标题”：“结合不可能无限的理论”，“卷”：“34”，“作者”：“Tinelli”，“年份”：“2005”，“期刊标题”：“自动推理期刊”}]，“容器标题”：[“信息处理信函”]，“原标题”：[]，“语言”：“en”，“链接”：[｛”URL：“https:\/\/api.elsevier.com/content\/article\/PII:S002001901100189X？httpAccept=text\.xml”，“content-type”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http:\/\-api.elsever.com\/content\/artracle\/PI:S002001 901100189x？httpAccess=text\/plain”，“内容类型”：“文本\/plaine”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,6,13]]，“date-time”：“2019-06-13T04:52:25Z”，“timestamp”：1560401545000}，“score”：1，“resource”：{“primary”：}“URL”：“https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S002001901100189X”}，”subtittle“：[]，“shorttitle”：[]parts“：[[2011,10]]}，“references-count”：12，“日志-问题”：{“问题”：“20”，“发布-打印”：{-“日期-部分”：[[2011,10]]}}，“替代id”：[“S002001901100189X”]，“URL”：“http://\/dx.doi.org\/10.1016\/j.ipl.2011.07.003”，“关系”：{}，”ISSN“：[”0020-0190“]，”ISSN-type“：[{”value“：”0020-01-90“，”type“:”print“}]，”主题“：[]，”已发布“：{“日期部分”：[[2011,10]]}}