{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T22:29:04Z”，“时间戳”：1725488944897}，“出版商位置”：“柏林，海德堡”，“参考计数”：10，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“9783839”540439318“}，{”类型“：“electronic”，“value”：“9783540456209”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2002]]}，”DOI“：”10.1007\/3-540-45620-1_25“，”type“：”book-chipter“，”created“：”{“date-part”：[2007,8,12]，“date-time”：“2007-08-12T03:18:26Z“，”时间戳“：1186888706000}，”页面“：”290-294“，“source”：“Crossref”，“is-referenced-by-count”：2，“title”：[“AutoBayes\/CC\u2014结合程序合成与自动代码认证\u2014系统描述\u2014”]，“prefix”：“10.1007”，”author“：[{”given“：”Michael“，”family“：”Whalen“，”sequence“：”first“，”affiliation“：[]}，{”given“:”Johann“，“family”：“Schumann”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Bernd”，“family”：“Fischer”，“sequence”：“additional”，“affaliation”:[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2002,7,4]]}；“reference”：[{“key”：”25_CR1“，“unstructured”：“CASC-JC定理证明竞争。http://www.cs.miams.edu \/~tptp \/CASC\/JC，2001.”}，{“key”：“25_CR2”，“unstructured”：“B.Fischer和J。舒曼。AutoBayes：从统计模型生成数据分析程序的系统。JFP，将于2002年发布。预打印可在http://\/ase.arc.nasa.gov\/peopes\/fischer\/papers.html上获得。“}，{”key“：”25_CR3“，”unstructured“：”T.Kaiser，B.Fischer，and W.Struckmann.\u201cMOPS:验证VDM-SL\u201d中指定的Modula-2程序。Proc.第四次系统设计和验证车间工具，pp.163\u2013167，2000。Bibel和P.H.Schmitt（编辑），《自动扣除2014A应用基础》，第三卷，第105页，2013134。1998.“，”DOI“：”10.1007\/978-94-017-0437-3_5“}，{”key“：”25_CR5“，”DOI-asserted-by“：”publisher“，”first page“：“237”，“DOI”：“10.1023\/A:1005808119103”，“volume”：“18”，“author”：“M.Moser”，“year”：“1997”，“unstructured”：“M Moser，O.Ibens，R.Letz，J.Steinbach，C.Goller，J.Schumann，and K。迈尔。\u201c模型消除校准器SETHEO和E-SETHEO\u201d。JAR，18:237\u20132461997。“，“journal-title”：“JAR”}，{“key”：“25_CR6”，“doi-asserted-by”：“crossref”，“unstructured”：“G.C.Necula.\u201cProof-Carrying Code\u201d.Proc.24th POPL，pp.106\u2013119。1997.“，”DOI“：”10.1145\/263699.263712“}，{”key“：”25_CR7“，”unstructured“：”PolySpace Technologies.http://www.PolySpace.com，2002.“}”，{“key”：“25_CR8”，“DOI-asserted-by”：“crossref”，“unstructure”：“S.Schulz.\u201cSystem Abstract:E 0.3\u201d.Proc.16th CADE，LNAI 1421，pp.297\u2013301。1999.“，”DOI“：”10.1007\/3-540-48660-7_27“}，{“key”：“25_CR9”，“DOI-asserted-by”：“crossref”，“unstructured”：“G.Stenz和A.Wolf.\u201cE-SETHEO:并行定理证明程序的设计、配置和使用\u201d.第12届澳大利亚人工智能联合会议，LNAI 1747，pp.231\u2013243。1999.“，”DOI“：”10.1007\/3-540-46695-9_20“}，{“key”：“25_CR10”，“DOI-asserted-by”：“crossref”，“unstructured”：“C.Weidenbach，B.Gaede，and G.Rock.\u201cSpass and Flotter version 0.42\u201d。Proc.13th CADE，LNAI 1104，pp.141\u2013145。1996.“，”DOI“：”10.1007\/3-540-61511-3_75“}]，”container-title“：[”计算机科学课堂讲稿“，”自动演绎\u2014CADE-18“]，”原始标题“：[]，”链接“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/3-540.45620-1_25“，”内容类型“：”未指定“，”content-version“：”vor“，”intended-application“：”相似性检查“}]，“deposited”：｛“日期部分”：[[2019,5,1]]，“日期时间”：“2019-05-01TT19:56:08Z”，“时间戳”：1556740568000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/3-5440-45620-1_25”｝，“副标题”：[]，“短标题”：[]，“发布”：｛“日期部分”：[[2002]]｝，“国际标准图书编号”：[“9783540439318”，“9783540456209”]，“引用次数”：10，“URL”：“http://\/dx.doi.org\/10.1007\/3-540-45620-1_25“，”关系“：{}，”ISSN“：[”0302-9743“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}]，”主题“：[]，”发布“：{”日期部分“：[2002]]}}}