{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,4,11]]，“日期-时间”：“2023-04-11T20:40:26Z”，“时间戳”：1681245626935}，“参考-计数”：0，“出版商”：“通信科学指导中心（CCSD）”，“许可证”：[{“开始”：{“日期-零件”：[2006,10,18]]，”日期-时间“：”2006-10-18T00:00:00Z“，“timestamp”：1161129600000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/arxiv.org\/licenses\/assumed-1991-2003”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”abstract“：”<i> H<\/i>是理论的扩展&#946-通过标识所有关闭的不可解项进行转换<i> H<\/i>&#969；是该理论在&#969-rule\n（和&#946；-conversion）。H.Barendregt的一个长期猜想陈述了H的可证明方程；表单\n&#928<sub>1整套。在这里我们证明了这个猜想<\/jats:p>“，”DOI“：”10.2168\/lmcs-2（4:5）2006“，”type“：”journal-article“，”created“：{”date-parts“：[[2006,11,23]]，”date-time“：”2006-11-23T09:29:09Z“，”timestamp“：1164274149000}，”source“：“Crossref”，“is-referenced-by-count”：2，”title“：[”Sensible lambda-Theories上Barendregt问题的解决方案“]，”prefix“：”10.46298“，”volume“：“第2卷第4期”，“author“：[{”given“：”Benedetto“，”family“：”Intrigila“，”sequence“：”first“，”affiliation“：[]}，”given:“Richard”，“family”：“Statman”，“sequence”：“additional”，“affiliation:[]}]，”member“：”25203“，”published-online“：，“链接”：[{“URL”：“https:\/\/lmcs.episciences.org\/2241\/pdf“，“content-type”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\//lmcs.episciences.org\/2241 \/pdfs”，“内容类型”：“unspecified”，“content-version“：”vor“，”intended-application“：”相似性检查“}”，”存放“：{“日期段”：[2023,4,11]]，“日期时间”：“2023-04-11T20:20:29Z“，”timestamp“：1681243829000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/lmcs.episciences.org\/2241”}}，“subtitle”：[]，“short title”：[]，“issued”：{“date-parts”：[[2006,10,18]]}，《references-count》：0，“URL”:“http://\/dx.doi.org\/10.2168\/lmcs-2（4:5）2006“，”关系“：{”is-same-as“：[{”id-type“：”arxiv“，”id“：”cs\/0609080“，”断言者：“subject”｝，｛“id type”：“doi”，“id”：“10.44850\/arXiv.cs\/0609080”，“断言者”：“subject”｝]｝，“ISSN”：[“1860-5974”]，“ISSN type”：[｛“value”：“1860-5974”，“type”：“electronic”｝]，“subject”：[]，“published”：｛“date parts”：[[2006,10,18]]｝｝