{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2024,1,31]]，“日期-时间”：“2024-01-31T00:05:44Z”，“时间戳”：1706659544856}，“引用-计数”：0，“出版商”：“杜克大学出版社”，“问题”：“3”，“内容-域”:{“域”：[]，“交叉标记限制”：false}，”short-container-title“：[“圣母院J。形式逻辑“]，”published-print“：{”date-parts“：[[1975,7,1]]}，”DOI“：”10.1305\/ndjfl\/1093891791“，”type“：”journal-article“，”created“：”{“date-part”：[[2005,12,13]]，“date-time”：“2005-12-13T16:24:59Z”，“timestamp”：113449109000}，“source”：“Crossref”，“is-referenced-by-count”：4，“title”：[“$S_1\not=S0.9$.“]，”前缀“：”10.1215“，”卷“：”16“，”作者“：[{”给定“：”Roderic A.“，”family“：”Girle“，”sequence“：”first“，”affiliation“：[]}]，”member“：”73“，”containertitle“：[”Notre Dame Journal of Formal Logic“]，”original-title“:[]，”link“：[{”URL“：”https:\/\/projecteuclid.org\/journalArticle\/Download？urlid=10.1305\/ndjfl\/1093891791“，”content-type“：”unspecified“，”content-version“：”vor“，”预期应用程序“：”相似性检查“}”，“存放”：{“日期-部分”：[[2024,1,30]]，“日期-时间”：“2024-01-30T21:02:42Z”，“时间戳”：1706648562000}，“分数”：1，“资源”：{“主要”:{“URL”：“https:\/\/projecteuclid.org\/journals\/note-dame-journal-of-formal-logic\/volume-16\/issue-3\/S_1notS09\/10.1305\/ndjfl\/1093891791.full”}，“副标题”：[]，“短标题”：[]，“已发布”：{“date-parts“：[[1975,7,1]]}，”references-count“：0，”journal-issue“：{”issue“：“3”，”published-on-line“：{”date-part“：[[1975,7,1]]}}，“URL”：“http://\/dx.doi.org\/10.1305\/ndjfl\/1093891791”，“relationship”：{}，《ISSN》：[“0029-4527”]，“ISSN-type”：[{“value”：“0029-45027”，“键入“：”print“}]，“subject”：[]，“published”：{“date-parts”：[[1975,7,1]]}}}