{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2022,3,30]]，“日期-时间”：“2022-03-30T12:23:09Z”，“时间戳”：1648642989343}，“引用-计数”：0，“发布者”：“IOS出版社”，“问题”：“1-3”，“内容-域”：{“域”：[]，“交叉标记限制”：false}，”短容器-时间“：[“FI”]，“published-print”：{“date-parts”：[[2019,10,18]]}，“DOI”：“10.3233\/fi-2019-1864”，“type”：“journal-article”，“created”：{（日期-部件）：[[20109,10,23]]，“date-time”：“2019-10-23T15:14:53Z”，“timestamp”：1571843693000}，”page“：”307-324“，”source“Crossref”，“is-referenced-by-count”：0，“title”：[“Simple SubTypes of Intersection Types”]，“prefix”：“10.3233”，“卷”：“170”，“作者”：[{“given”：“Rick”，“family”：“Statman”，“sequence”：“first”，“affiliation”：[{“name”：“卡内基梅隆大学数学科学系，匹兹堡，PA 15213，美国。rs31@andrew.cmu.edu。“｝]｝]，”成员“：”7437“，”容器标题“：[”基础信息学“]，”原始标题“：[]，”链接“：[｛”URL“：”https:\/\/content.iospress.com\/download？id=10.3233\/FI-2019-1864“，”内容类型“：”未指定“，”内容版本“：”vor“，”预期应用程序“：”相似性检查“｝]，”存放“：｛”日期部分“：[[2019,12,3]]，”日期时间“：”2019-12-03T07:53:34Z“，”timestamp“：1575359614000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/www.medra.org\/servlet\/aliasResolver？alias=iospress&doi=10.3233\/FI-2019-1864”}}，“subtittle”：[]，“editor”：[{“given”：“Thorsten”，“family”：“Altenkirch”，“sequence”：“additional”，“affiliation”：[]}，{“given”:Aleksy“，”family“：“Schubert”，“序列“：”附加“，”从属“：[]}]，”短标题“：[]，”发布“：{”日期部分“：[[2019,10,18]]}，”引用计数“：0，”日志发布“：}”问题“：“1-3”}，“URL”：“http://\/dx.doi.org\/10.3233\/fi-2019-1864”，“关系”：{}，‘ISSN’：[“0169-2968”，“1875-8681”]，‘ISSN-type’：[{”值“：”0169-29968“，”类型“：”打印“}，{”value“：”1875-8681“，”type“：”electronic“}]，”subject“：[]，”published“：{”日期部分“：[[2019,10,18]}}}