{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,8,2]，“日期-时间”：“2023-08-02T11:18:28Z”，“时间戳”：1690975108666}，“引用-计数”：17，“出版商”：“IEEE”，“许可证”：[{“开始”：}“日期-部分”：[2021,6,29]]，“日期时间”：”2021-06-29T00:00:00Z“，”timestamp“：1624924800000}，”content-version“：”vor“，“delay-in-days”：0，“URL”：“https:\/\/ieeexplore.iee.org\/Xplorehelp\/downloads\/license-information\/Crown.html”}，{“start”：{“date-parts”：[[2021,6,29]]，“date-time”：“2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“stm-asf”，“delay-in-days“：0，”URL“https:\\/doi.org\/10.1 5223\/policy-029“}，{“开始”：{“日期部分”：[[2021,6,29]]，“date-time”：“2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-037”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”published-print“：{”date-parts“：[2021,6,29]]}，“doi”：“10.1109\/lics52264.2021.9470662”，“类型”：“procesdings-article”，“created”：{“date-parts”：[[2021,7,7]]，“date-time”：“2021-07-07T20:14:07Z”，“timestamp”：1625688847000}，“source”：“Crossref”，“is-referenced-by-count”：2，“title”：[“Fixed-Points for Quantitative Equantitational Logics”]，“prefix”：“10.1109”，”author“：[{”given“given”：”Radu“，“family”：“Mardare”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Prakash”，“family”：“Panangaden”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Gordon”，“faily”：”Plotkin“，”sequence“：”additional“，”affiliation:[]}]，“member”：“263”，“reference”：[{“key”：”ref10“，”doi-asserted-by“：”publisher“，“doi”：“10.2168 \/LMCS-3（4:8）2007”}，“key“：”ref11“，”“first page“：“154”，”article-ti tle“：”Scott归纳和等式证明“，”卷“：“1”，“author”：“esik”，“year”：“1995”，“journal-title”：“ENTCS”}，{“key”：“ref12”，“doi-asserted-by”：“crossref”，”author“：”puterman“，”year“：”1994“，”journal-title“：”Markov决策过程离散随机动态规划“，”doi“：”10.1002\/9780470316887 N.1998.712192“}，{“键”：“参考14”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-319-89366-2_17”}，{“key”：“ref15”，“doi-asserted-by”：”publisher“，”doi“：”10.4064\/fm-3-133-181“}，”{“key”：”ref16“，”doi-assert-by“：”publiser“，“doi:”10.1017\/S0305004100074338“}”，{”key“：”ref17“，”article-title“：”基于抽样的强化学习算法”，“author”：“amotila”，“year”：“2020”，“journal-title”：“国际人工智能与统计会议”}，{“key”：“ref4”，“author”：“bakker”，“年份”：“1971”，“日记标题”：“递归过程”}、{“key”：”ref3“，“article-title“：”程序理论“，”author“：”scott“，”year“0”，“journal-ttitle”：”IBM研讨会“}，“key“：”ref6“，”首页“：”30“，“article-title”：“范畴不动点算子的完备公理”，“author”：“simpson”，“year”：“2000”，“journal-tittle”：“IEEE第十五届计算机科学逻辑研讨会（LICS 2000）论文集”}，{“key”：”ref5“，”author“：”kleene“，”year“：”1952“，”journal-Tittle“：”Metamatherics“}，”{“密钥”：“ref8”，“doi-asserted-by”：“publisher”，“DOI”：“10.1007\/9781-4471-0865-8”}，{“key”：“ref7”，“article-title”：“迭代理论”，“author”：“bloom”，“year”：“1993”，“journal title”：《EATCS理论计算机科学专著》}：“publisher”，“DOI”：“10.1145\/2933575.2934518”}，{“key”：“ref9”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS.2006.18”}]，“event”：{“name”：“2021年第36届ACM \/IEEE计算机科学逻辑研讨会（LICS）”，“location”：“Rome，Italy”，“start”：{“date-parts”：[2021,6,29]}，“end”：{date-parts:[2021,7,2]]}}，“集装箱标签”：[“2021年第36届ACM\/IEEE年度计算机科学逻辑研讨会（LICS）”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx7\/9470497\/9470662.pdf？arnumber=9470662”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2023,]1,3]]，“date-time”：“2023-01-03T07:32:10Z”，“timestamp”：1672731130000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/9470662\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2021,6,29]]}，‘references-count’：17，”URL“http://\/dx.doi”org\/10.109\/lics52264.2021.9470662“，”关系“：{}，”主题“：[]，”发布“：{“日期部分”：[[2021,6,29]]}}