{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,10,26]]，“日期-时间”：“2023-10-26T05:40:47Z”，“时间戳”：1698298847529}，“引用-计数”：5，“发布者”：“威利”，“问题”：“1”，“许可证”：[{“开始”：{:“日期-零件”：[2006,11,13]]，”日期-时间“：”2006-11-13T00:00:00Z“，”时间戳“：116337600000}，“content-version”：“vor”，“delay-in-days”：5064，“URL”：“http://\/onlinelibrary.wiley.com/termsAndConditions#vor”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[“数学逻辑Qtrly”]，“published-print”：{“date-parts”：[[1993,1]]}，”abstract“：”摘要<\/jats:title>我们证明了判定正规形式的有限闭项集是否是基的问题是递归不可解的。关于单元素集的限制问题仍然是递归无法解决的。MSC:03B40，03D35.<\/jats:p>“，”DOI“：”10.1002\/malq.19930390120“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,6,3]]，”date-time“：”2007-06-03T01:23:22Z“，”timestamp“：1180833802000}“，”page“：“178-180”，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“u03bb\u中的基本决策问题2010微积分“]，”前缀“：”10.1002“，”卷“：”39“，”author“：[{”given“：”Benedetto“，”family“：”Intrigila“，”sequence“：”first“，”affiliation“：[]}]，”member“：”311“，”published-online“：{”date-parts“：[[2006,11,13]]}，”reference“：[}”key“：“e_1_2_2_2”，“volume-title”：“Lambda Calculus”，“author”：“Barendregt H.P.”，“年份”：“1984”}，{“key”：“e_ 2_1_3_2”，“卷时间”：“递归函数理论与有效可计算性”，“作者”：“Rogers H.”，“年份”：“1967”}，{“key”：“e_1_1_4_2”，“unstructured”：“Sacchetti G.Introduzione alla programmazione funzionale.1990年罗马大学硕士论文。”}。组合子的正常变体。研究报告编号89\u201361卡内基梅隆大学数学系1989年10月。“}，{”key“：”e_1_1_6_2“，”unstructured“：”Statman R.关于将词转换为组合词：基本问题。摘自：Proceedings IEEE Symposium\u2018Logic In Computer Science\u2019 Boston1986 pp.378\u2013382。“}]，”container-title“：[”数学逻辑季刊“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.wiley.com/onlinelibrary\/tdm\/v1\/articles \/10.1002%2Fmalq.19930390120“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”text-mining“}，”URL“:”https:\\/onlinelibrary.wiley-com/doi\/pdf\/10.10002 \/malq.19930390120“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}”，“deposed”：{“date-parts”：[[2023,10,25]]，“date-time”：“2023-10-25T20:58:32Z”，“timestamp”：1698267512000}，“score”：1，“resource”：{primary“：{”URL“https:\//onlinelibrary.wiley.com\/doi\/10.1002\/malq.19930390120”}}，“副标题”：[]，“短标题”：[]，“发布“：{“date-parts”：[[1993,1]]}，“references-count”：5，“journal-issue”：{”issue“：”1“，”published-print“：{“date-ports”：[1993,1]}}，”alternative-id“：[”10.1002\/malq.19930390120“]，”URL“：”http://\/dx.doi.org\/101002\/malq.103039012“，”archive“：[“Portico”]，“relation”：{}，N“：[”0942-5616“，”1521-3870“]，”ISSN-type“：[{”value“：”09425516“，”type“:”print“}，｛“value”：“1521-3870”，“type”：“electronic”｝]，“subject”：[]，“published”：｛“date parts”：[[1993,1]]｝｝