{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,1,30]]，“日期-时间”：“2024-01-30T21:40:09Z”，“时间戳”：1706650809338}，“引用-计数”：0，“出版商”：“杜克大学出版社”，“问题”：“4”，“内容-域”：{“域”：[]，“交叉标记限制”：false}，”short-container-title“：[“圣母院J。形式逻辑“]，”published-print“：{”date-parts“：[[1986,10,1]]}，”DOI“：”10.1305\/ndjfl\/1093636768“，”type“：”journal-article“，”created“：{”date-parts“：[[2005,12,13]]，”date-time“：”2005-12-13T10:18:38Z“，”timestamp“：1134469118000}，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“经典命题演算的G\u00f6del-Mal'cev定理的一个新变体及其对我论文的修正：“模态逻辑${\\rmS}_5$的必要性连接词是元逻辑的”。“]，”prefix“：”10.1215“，”volume“：”27“，”author“：[｛”given“：”Zdzis\u0142aw“，”family“：”Dywan“，”sequence“：”first“，”affiliation“：[]｝]，”member“：”73“，”container title“：[”Notre Dame Journal of Formal Logic“]，”original title“：[]，”link“：[｛”URL“：”https:\/\/project欧几里得.org/journalArticle\/下载？urlid=10.1305\/ndjfl\/10933636768“，”content“类型“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2024,1,30]]，”date-time“：”2024-01-30T21:09:19Z“，”timestamp“：1706648959000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-27\/issue-4\/A-new-variant-of-the-G%c3%b6del-Malcev-theorem-for-the\/10.10305\/ndjfl\/1093636768.full“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[1986,10,1]]}，“references-count”：0，“journal-issue”：{“issue”：“4”，“在线发布”：{“日期部分”：[[1986,10,1]]}}，“URL”：“http://\/dx.doi.org\/10.10305\/ndjfl\/1093636768”，“关系”：{}，“ISSN”：[“0029-4527”]，“ISSN-type”：[{“值”：“0029-45027”，“类型”：“打印”}]，“主题”：[]，“已发布”：{“日期部分”：[[1986,10,1]]}}}