{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,12,31]]，“日期时间”：“2022-12-31T10:53:37Z”，“时间戳”：1672484017973}，“引用-计数”：16，“发布者”：“IEEE Compute.Soc”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器-时间“：[]”，“DOI“：”10.1109\/lics.1999.782577“，“type”：“proceedings article”，“created”：｛“date parts”：[[2003,1,20]]，“date time”：“2003-01-20T12:29:30Z”，“timestamp”：1043065770000｝，“source”：“Crossref”，“由count引用”：2，“title”：[“一些非常复杂的决策问题”]，“prefix”：“10.1109”，“author”：[｛“given”：“H.M.”，“family”：“Friedman”，“sequence”：“first”，“affiliation”：[]｝]，“member”：“263”，“reference”：[{“key”：“ref10”，“first-page”：“264”，“article-title”：“On a problem of formal logic”，“volume”：”30“，“author”：“pramsey”，“year”：“0”，“journal-title“：”Proc London Math Soc“}，{“密钥”：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0168-0072（93）90192-G”}，“key“：”ref12“，“卷”：“9”，“作者”：“玫瑰”，“年份”：“0”，“新闻标题”：“牛津逻辑指南”}，{“key”：“ref13”，“doi-asserted-by”：“publisher”，“doi”：“10.2307\/2272156”}“，”author“：”simpson“，”year“：”0“，”journal-title“：“数学逻辑中的二阶算术透视子系统”}，{“key”：“ref4”，“doi-asserted-by”：“publisher”，“doi”：“10.1090\/conm\/065\/891251”}plms\/s3-2.1.326“}，{“key”：“ref5”，“author”：“friedman”，“year”：“1999”，“journal-title”：“27 FiniteTrees/predictivity”}，{“key”：“ref8”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0022-0000（80）90027-6”}、{“密钥”：“ref7”，“doi-assertd-by”：“publisher”，“DI:”10.2307\/1993287“}”，{”key“：”ref2“，”doi-assert-by“：”publisher“，”doi“：”10.1016\/0168-0072（86）90052-7“}，{“键”：“参考1”，“卷”：“897”，“作者”：“buchholz”，“year”：“0”，“journal-title”：“数学课堂讲稿”}，{“key”：“ref9”，“article-title“：“关于良好拟序有限树”，“volume”：”59“，“author”：“mash-williams”，“year”：”0“，”journal-title“:”Proc Cambridge Phil Soc“}]，“event”：{“name”：“Proceedings.14th Symposium On Logic in Computer Science”，“location”：“Trento，Italy”，“缩写词”：“LICS-99”}，“container-title”：[“Proceedings.14th Symposium on Logic in Computer Science（Cat.No.PR00158）”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/6352\/100782577.pdf？arnumber=782577”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期”用法：[[2017,3,10]]，“日期时间”：“2017-03-10T14:17:13Z”，“时间戳”：1489155433000}，“分数”：1，“资源”：{“主要”：{“URL”：“http://\/ieeexplore.ieee.org\/document\/782577\/”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[null]]}，‘引用计数’：16，”URL“：”http://\/dx.doi.org \/10.109 \/lics.1999.782577“，”关系“：{}，”主题“：[]}}