{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,10,30]]，“日期-时间”：“2023-10-30T08:52:43Z”，“时间戳”：1698655963949}，“引用-计数”：12，“发布者”：“Elsevier BV”，“问题”：“2-3”，“许可证”：[{“开始”：{-“日期-零件”：[2005,3,1]]，2005-03-01T00:00:00Z“，“时间戳”：1109635200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,8,22]]，“date-time”：“2013-08-22T00:00Z”，“timestamp”：1377129600000}，“content-version”：“vor”，“delay-in-days”：3096，“URL“https:\\/www.elssevier.com/”开放访问\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Pure and Applied Logic年鉴”]，“published-print”：{“date-parts”：[[2005,3]]}，”DOI“：”10.1016\/j.apal.2004.09.001“，”type“：”journal-article“，”created“：{”date-part“：[[2004,11,3]]，”date-time“：”2004-11-03T12:09:41Z“，”timestamp“：1099483781000}”，“page”：“247-270”，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“Boolean代数的弱消元法”]，“prefix”：“10.1016”，“volume”：“132”，“author”：[{“given”：”Roman“，“family”：“Wencel”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“reference”：[[{”key“10.1016\/j.apal.2004.09.001_b1”，“series-tile”：“Model Theory”，《author》：“Chang”，“year”：“1990”}，{“密钥”：“10.1016\/j.apal.2004.09.001_b2”，“series-title”：“模型理论”，“author”：“Hodges”，“year”：“1993”}，{“key”：“10.106\/j-apal.2004.01_b3”，“doi-asserted-by”：“crossref”，《首页》：“169”，‘doi’：“10.116\/0168-0072（90）90033-X”，‘article-title’：“Omega-categity，relative category and coordination”，“volume”：46“，“作者”：“Hodges”，“年份”：“1990”，“期刊标题”：“Ann.Pure Appl.Logic”}，｛“key”：“10.1016\/j.apal.2004.09001_b4”，“文章标题”：“布尔代数手册”，“年份”：“1989”｝，｛“key”：“10.1016\/j.apal.2004.09001_b5”，“doi asserted by”：“crossref”，“首页”：“1821”，“doi”：“10.2307\/2694978”，“文章标题”：“布尔有序o-minimal结构中的可定义集.I”，“volume”：“66”，“author”：“Newelski”，“year”：“2001”，“journal-title”：“J.Symbolic Logic”}，{“key”：“10.1016\/J.apal.2004.09.001_b6”，“series-title”：”几何稳定性理论“，”author“：”Pillay“，”year“：”1996：“55”，“author”：“Tarski”，“year”：“1949”，“journal-title”：“Bull.AMS”}，{“key”：“10.1016\/j.apal.2004.09.001_b8”，“doi-asserted-by”：“crossref”，“first-page”：“447”，“doi”：“101305\/ndjfl\/1039118862”al-title“：”Notre Dame j.形式逻辑“}，{“key”：“10.1016\/j.apal.2004.09.001_b9”，“doi-asserted-by”：“crossref”，“first page”：“454”，“doi”：“10.106\/0021-8693（89）90211-1”，“article-title”：“无限置换群.I.共轭类的乘积”，“volume”：”120“，”author“：”Truss“，“year”：“1989”，“journal-title“：”j.Algebra“}，{”key“：”10.1016\/j.apal.2004.090_b10“，”doi-asserted-by“：”crossref“，“首页”：“494”，“DOI”：“10.1016\/0021-8693（89 10.2178\/jsl\/1190150291“，”文章标题“：“布尔序o-极小结构的小理论”，“volume”：“67”，“author”：“Wencel”，“year”：“2002”，“journal-title”：“J.符号逻辑”}，{“key”：”10.1016\/J.apal.2004.09.001_b12“，”doi-asserted-by“：”crossref“，”first page“：”35“，”doi“：”10.2178\/jsl\/1045861505“，”article-title“：”布尔序o-minimal结构中的可定义集II“，”volume“：“68”，“author”：“Wencel”，“year”：“2003”，“journal-title”：“J.Symbolic Logic”}]，“container-title“：[“Pure and Applied Logic年鉴”]，“original-title:[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S0168007204001216？httpAccept=text\/xml”，“content-type”：“text\/.xml”，“content-version”：“vor”“，”预期应用程序“：“文本挖掘”｝，｛“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S168007204001216？httpAccept=text\/plain”，“内容类型”：“text\/plain”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”｝]，“存放”：｛“日期部分”：[[2019,2,2]]，“日期时间”：“2019-02-02T07:20:49Z”，“时间戳”：1549092049000｝，“分数”：1，“资源”：｛“主要”：｛URL“：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S0168007204001216”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2005,3]]}，”references-count“：12，”journal-issue“：{”issue“：”2-3“，”published-print“：{“date-ports”：[2005,3]}}“alternative-id”：[“S016800724001216”]，“URL”：“http://\/dx.doi.org\/10.1016\/j.apal.2004.09.001”，“关系”：{}，“ISSN”：[“0168-0072”]，“ISSN-type”：[{“value”：“0168-20072”，“type”:“print”}]，“subject”：【】，“published”：{“date-parts”：【2005,3】}}