{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T19:26:27Z”，“时间戳”：1725477987124}，“出版商位置”：“柏林，海德堡”，“参考计数”：7，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 642355059“}，{”类型“：”电子“，“value”：“9783642355066”}]，“license”：[{“start”：{“date-parts”：[[2012,1,1]]，“date-time”：“2012-01-01T00:00:00Z”，“timestamp”：132537600000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]container-title“：[]，”published-print“：{”date-parts“：[[2012]]}，“DOI”：“10.1007\/978-3-642-35506-6_6”，“type”：“book-chipter”，“created”：{“date-parts”：[[2012,12,3]]，“date-time”：“2012-12-03T00:00:54Z”，“timestamp”：1354492854000}，“page”：：“50-59”，“source”：”Crossref“，“is-referenced-by-count”：3，“title”：[“Logical Prior Probability”]，“prefix”：“101007”，“author”：[{“given”：“family”：“Demski”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“6_CR1”，“doi-asserted-by”：“crossref”，”非结构化“：“Boolos，G.，Burgess，J.P.，Jeffrey，R.C.：可计算性和逻辑。剑桥大学出版社（2007）”，“doi”：“10.1017\/CBO9780511804076”}，{“key”：”6_CR2“，”首页“：”1“，”卷“：”147“，”作者：“M.Dinneen”，“年份”：“1992年”，“非结构化”：“Dinneen，M.，Brewster，T.，Faber，V.：对涂鸦猜想的计算攻击：新的反例和证明。离散数学\u00a0147，1\u20133（1992）”，“期刊标题”：“离散数学”}，{“问题”：“1951”，“密钥”：“6_CR3”，“doi-asserted-by”：“publisher”，“首页”：“97”，“doi”：“10.1023\/B:同步.000000 29944.9988.a7”，“卷”：“140”，“author”：“H.Gaifman”，“year”：“2004”，“unstructured”：“Gaifman，H.：用有限的资源进行推理并为算术语句分配概率。Synthese\u00a0140（1951），97\u2013119（2004）”，“journal-title”：“Synthese”}，{“issue”：“3”，“key”：“6_CR4”，“doi-asserted-by”：“publisher”，“first page”：”269“，“doi”：“10.1016\/0004-3702（84）90016-X“”，“volume”：“23”，“author”：“D.Lenat”，“year”：“1984”，“unstructured”：“Lenat，D.，Brown，J.：为什么am和eurisko看起来有效。人工智能\u00a023（3），269\u2013294（1984）”，“journal-title”：“人工智能”}，{“key”：：“Li，M.，Vit\u00e1nyi，P.：Kolmogorov复杂性及其应用简介，第2版。计算机科学研究生论文。Springer（1997）”，“DOI”：“10.1007\/9781-4757-2606-0”}，{“issue”：“4”，“key”：“6_CR6”，“DOI-asserted-by”：“publisher”，“first page”：”587“，“DOI:”10.1142\/S012905412001291“，”volume：“13”，“author”：“J.Schmidhuber”，“年”：“2002”，“非结构化”：“Schmidhuber，J.：广义Kolmogorov复杂性和极限可计算的不可数通用测度的层次结构。国际计算机科学基础杂志\u00a013（4），587\u2013612（2002）”，“期刊标题”：“国际计算机科学基础杂志”}，｛“问题”：“2”，“密钥”：“6_CR7”，“doi-asserted-by”：“publisher”，“first page”：“111”，“doi”：“10.1305\/ndjfl\/1082637807”，“volume”：”44“，“author”：“B.Weatherson”，“year”：“2003”，“unstructured”：“Weathersen，B.：从经典到直觉主义概率。《圣母院形式逻辑杂志》\u00a044（2），111\u2013123（2003）”，“Journal-title”：“《圣母院士形式逻辑杂志”}]，“container-title”：[“计算机科学课堂讲稿”，“人工智能”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-35506-6_6”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期段”：[[2019,5,19]]，“日期时间”：“2019-05-19T21:32:38Z”，“时间戳”：1558301558000}，“分数”：1，“资源”：{“主要”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3642-3506-6_6”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2012]}，‘ISBN’：[”9783642355059“，”978364 2355059 5066“]，“references-count”：7，“URL”：“http://\/dx.doi.org\/10.1007\/978-3642-35506-6_6”，“关系”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“类型”：“打印”，“值”：“0302-7743”}，{“种类”：“电子”，“数值”：“1611-33049”}]，“主题”：[]，“发布”：{“日期段”：[2012]]}}}}