{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,12,9]]，“日期时间”：“2023-12-09T09:44:15Z”，“时间戳”：1702115055030}，“出版商位置”：“柏林，海德堡”，“参考计数”：15，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{“值”：“9783540232421”，“类型”：“打印”}，{“值”：“9783540302278”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2004]]}，”DOI“：”10.1007\/978-3-540-30227-8_53“，”type“：”book-capter“，”created“：”{“date-part”：[2010,9,19]]，“date-time”：“2010-09-19T01:34:52Z“，”时间戳“：1284860092000}，”页面“：”641-653“，“source”：“Crossref”，“is-referenced-by-count”：29，“title”：[“组合分类理论的决策程序”]，“prefix”：“10.1007”，”author“：[{”given“：”Cesare“，”family“：”Tinelli“，”sequence“：”first“，”affiliation“：[]}，{”fixed“：”Calogero G.“，“family”：“Zarba”，“sequence”：“additional”，“affiliance”：[]2]，“member”：“297”，“reference”：[{“key”：“53_CR1”，“非结构化”：“Detlefs，D.，Nelson，G.，Saxe，J.B.：Simplify:程序检查的定理证明器。技术报告HPL-2\u20133-148，HP Laboratories，Palo Alto，CA（2003）”}，{“key”：“53_CR2”，“非结构”：“Ganesh，V.，Berezin，S.，Tinelli，C.，Dill，D.：具有重叠签名的许多分类理论的组合结果。斯坦福大学计算机科学系技术报告（2004）”}，{“key”：“53_CR3”，“series-title”：“理论计算机科学中的电子笔记”，“volume-title”：《一阶定理证明》，“author”：“S。Ghilardi”，“年份”：“2003年”，“非结构化”：“Ghilarti，S.：量词消除和校准器集成。在：Dahn，I.，Vigneron，L.（编辑）一阶定理证明。《理论计算机科学电子笔记》，第\u00a086.1卷，Elsevier，Amsterdam（2003）“}，{“key”：“53_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Ghilardi，S.：组合约束可满足性中的模型理论方法。自动推理杂志（2004）（即将出版）”，“doi”：“10.1007”doi-asserted-by“：”publisher“，”first page“：”173“，“doi”：“10.1016\/0304-3975（92）90302-V”，“volume”：“105”，“author”：“J.A.Goguen”，“year”：“1992”，“unstructured”：“Goguen，J.A.，Meseguer，J.：有序代数I：多重继承、重载、异常和部分运算的等式推导。理论计算机科学\u00a0105（2），173\u2013217（1992）“，“期刊标题”：“理论计算机科学”}，{“key”：“53_CR6”，“series-title”：“计算机科学讲义”，“volume-title”：《国际自动推理联合会议》，“author”：“F.Maric”，“year”：“2004”，“unstructured”：“Maric，F.，Jani\u010di\u0107，P.：ARGO-LIB：决策程序的通用平台。参加：国际自动推理联合会议。LNCS，Springer，Heidelberg（2004）“}，{”key“：”53_CR7“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”first-page“：”18“，”doi“：”10.1007\/3-540-64299-4_26“，”volume-title“：“代数发展技术的最新趋势”，”author“：”J.Meseguer“，”year“：”1998“，”unstructured“：”Meseguer，J.：成员代数是方程规范的逻辑框架。In:Parisi-Presecce，F.（编辑）WADT 1997。LNCS，第u00a01376卷，第18\u201361页。Springer，Heidelberg（1998）“}，{”issue“：”2“，”key“：”53_CR8“，”doi-asserted-by“：”publisher“，”first-page“：”245“，”doi“：”10.1145\/357073.357079“，”volume“：“1”，”author“：”G.Nelson“，”year“：”1979“，”unstructured“：”Nelson，G.，Oppen，D.C.：通过合作决策程序简化。《美国计算机学会编程语言与系统学报》\u00a01（2），245\u2013257（1979）“，”journal-title“：”ACM Transactions on Programming Languages and Systems“}，{“key”：“53_CR9”，“series-title”：“Computer Science课堂讲稿”，“doi-asserted-by”：“publisher”，“first-page”：“500”，“doi”：“10.1007\/3-540-45657-0_40”，“volume-title”：”Computer Aided Verification“，”author“A.Stump”，“year”：“2002”，“unstructured”：“”Stump，A.，Barrett，C.W.，Dill，D.L.：CVC：一个合作的有效性检查器。收录：Brinksma，E.，Larsen，K.G.（编辑）CAV 2002。LNCS，第u00a02404卷，第500\u2013504页。Springer，Heidelberg（2002）“}，{”issue“：“1”，”key“：“53_CR10”，”doi-asserted-by“：”publisher“，”first page“：”1“，”doi“：”10.1023\/A:1022587501759“，”volume“：：”30“，”author“：”C.Tinelli“，“year”：“2003”，“unstructured”：“Tineli，C.：背景推理者通过残数共享在理论推理中的合作。自动推理杂志\u00a030（1），1\u201331（2003）“，”journal-title“：”journal of Automated Reasoning“}，{“key”：“53_CR11”，“series-title”：“Applied Logic series”，“doi-asserted-by”：“crossref”，“first page”：《103》，“doi”：“10.1007\/97-009-0349-4_5”，“volume-title”：《组合系统的前沿》，“author”：“C.Tinelli”，《年份》：“1996”，“非结构化”：“Tinelli，C.，Harandi，M.T.：Nelson-Oppen组合过程的新正确性证明。收录：Baader，F.，Schulz，K.U.（编辑）《组合系统的前沿》。《应用逻辑系列》，第u00a03卷，第103\u2013120页。Kluwer，Dordrecht（1996）“}，{”issue“：”1“，”key“：”53_CR12“，”doi-asserted-by“：”publisher“，”first page“：“291”，“doi”：“10.1016\/S0304-3975（01）00332-2”，“volume”：“290”，“author”：“C.Tinelli”，”year“：”2003“，”unstructured“：”Tinelli，C.，Ringeisesen，C.：非不相交理论的并集和可满足性过程的组合。理论计算机科学\u00a0290（1），291\u2013353（2003）“，”期刊标题“：”理论计算机科学“}，{“key”：“53_CR13”，“doi-asserted-by”：“crossref”，“unstructured”：“Tinelli，C.，Zarba，C.G.：分类理论的组合决策程序。技术报告04-01，爱荷华大学（2004）”，“doi”：“10.1007\/978-3-540-30227-8_53”}，}“key“：”53_CR14“，”unstructured“：”Zarba，C.G.：C-tableaux。技术报告RR-5229，INRIA（2004）“}，{“key”：“53_CR15”，“unstructured”：“Zarba，C.G.:The Combination Problem in Automated Reasoning.PhD论文，斯坦福大学（2004）”}]，“container-title”：[“人工智能中的逻辑”，“计算机科学中的课堂笔记”]，“original-title“：[]，“link”：[{“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-540-30227-8_53.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2020,11,19]]，”date-time“：“2020-11-19T04:51:00Z”，”timestamp“：1605761460000}，”score“1，”resource“：”{“primary”：{“URL”：“http:\/\/link.springer.com/10.1007\/978-3-540-30227-8_53“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2004]]}，“ISBN”：[“9783540232421”，”9783540302278“]，”引用计数“：15，”URL“http://\/dx.doi.org\/10007\/978-340-30228-8_53”，“关系”：{}，：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”value“：“1611-3349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2004]]}}