{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,1,30]]，“日期-时间”：“2024-01-30T21:40:10Z”，“时间戳”：1706650810765}，“引用-计数”：0，“出版商”：“杜克大学出版社”，“问题”：“2”，“内容-域”：{“域”：[]，“交叉标记限制”：false}，”短容器-时间“：[“圣母院J。形式逻辑“]，”published-print“：{”date-parts“：[[1986,4,1]]}，”DOI“：”10.1305\/ndjfl\/1093636613“，”type“：”journal-article“，”created“：”{”data-parts”：[[2005,12,13]]，“date-time”：“2005-12-13T10:08:17Z”，“timestamp”：1134468497000}，“source”：“Crossref”，“is-referenced-by-count”：6，“title”：[“可实现性下的可分计算性.“]”，“前缀”：“10.1215”，“卷”：“27“，”author“：[{”given“：”Charles“，”family“：”McCarty“，”sequence“：”first“，”affiliation“：[]}]，”member“：”73“，”container-title“：[”Notre Dame Journal of Formal Logic“]，”original-title”：[]，”link“：[}”URL“https:\/\/projecteuclid.org\/journalArticle\/Download？urlid=10.1305\/ndjfl\/1093636613“，”content-type“：”unspecified“，”content-vers离子“：”vor“，”intended-application“：”相似性检查“}]，”存放“：{”日期部分“：[2024,1,30]]，”日期时间“：”2024-01-30T21:09:04Z“，”时间戳“：1706648944000}“，”分数“：1，”资源“：”主要“：”{“URL”：“https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-27\/issue-2\/Subcountability-under-realizability\/10.10305\/ndjfl\/10936613.full“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[1986,4,1]]}，“references-count”：0，“journal-issue”：{“issue”：“2”，”published-on-line“：{”date-ports“：[[1986,4,1]]}}，“URL”：“http:\/\/dx.doi.org\/10.10305\/ndjfl\/1093636613“，”关系“：{}，”ISSN“：[”0029-4527“]，”ISSN-type“：[{”value“：”0029-4.527“，”type“:”print“}]，”主题“：[]，”发布“：{”日期部分“：[[1986,4,1]]}}}