{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,5]]，“日期时间”：“2022-04-05T00:17:19Z”，“时间戳”：1649117839093}，“引用-计数”：0，“发布者”：“IOS出版社”，“问题”：“1-2”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”short-container-title“：[”FI“]，”发布-打印“：{“date-parts”：[[2016,2,2]]}，“DOI”：“10.3233\/fi-2016-1303”，“type”：“journal-article”，“created”：{”date-part“：[[2016，2,8]]，“date-time”：“2016-02-08T12:25:14Z”，“timestamp”：1454934314000}，”page“：”51-71“，”source“：“Crossref”，“is-referenced-by-count”：0，“title”：[“检查算术可满足性的函数消除方法逻辑“]，”前缀“：“10.3233”，“卷”：“143”，“作者”：[{“给定”：“瓦伦蒂娜”，“家族”：“卡斯蒂格利奥尼”，“序列”：“第一”，“从属关系”：[]}，{“给出”：“拉格罗”，“家庭”：“Lanotte”，“sequence”：“additional”，“affiliation”：[]}，[given：“Simone”，“：[”基础信息学“]，“original-title”：[]，“link”：[{“URL”：“https:\/\/content.iospress.com/download？id=10.3233\/FI-2016-1303”，“content-type”：“unspecified”，“内容-版本”：“vor”，“intended-application”：“相似性检查”}，“存放”：{“date-parts”：[[2019,12,3]]，“日期-时间”：“2019-12-03T06:50:04Z”，“时间戳”：1575355804000}，”分数：1，“资源“：{“主”：{”URL“：“https:\/\/www.medra.org\/servlet\/aliasResolver？alias=iospress&doi=10.3233\/FI-2016-1303”}}，“副标题”：[]，“编辑器”：[{“给定”：“路德维克”，“家族”：“Czaja”，“序列”：“附加”，“从属关系”：[]}，{“已知”：“沃伊切赫”，“家庭”：“彭泽克”，”序列“附加”“，”family“：”Stencel“，”sequence“：”additional“，“附属关系”：[]｝]，“短标题”：[]，“已发布”：｛“日期部分”：[[2016,2,2]]｝，“参考文献计数”：0，“期刊问题”：｛“问题”：“1-2”｝，“URL”：“http:\/\/dx.doi.org/10.3233\/fi-2016-1303”，“关系”：｛｝，“ISSN”：[“0169-2968”，“1875-8681”]，“ISSN类型”：[｛“值”：“0169-2968”，“类型”：“打印”｝，｛“值”：“1875-8681”，“类型”：“电子”}]，“主题”：[]，“已发布”：{“日期部分”：[[2016,2,2]]}}