{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[2022,4,1]]，“日期-时间”：“2022-04-01T13:32:54Z”，“时间戳”：1648819974791}，“引用-计数”：0，“发布者”：“IOS出版社”，“问题”：“3”，“内容-域”:{“域”：[]，“交叉标记限制”：false}，”短容器-时间“：[“AIC”]，“published-print”用法：{“date-parts”：[[2018,5,17]]}，“DOI”：“10.3233\/aic-180765”，“type”：“journal-article”，“created”：{（日期-部件）：[[2018.4,24]]，“date-time”：“2018-04-24T18:29:09Z”，“timestamp”：1524594549000}，”page“：”235-236“，”source“Crossref”，“is-referenced-by-count”：0，“title”：[“自动化特刊前言\u00a0”推理“]，”前缀“：”10.3233“，”卷“：”31“，“author”：[{“given”：“Pascal”，“family”：“Fontaine”，“sequence”：“first”，“affiliation”：[}“name”：“University\u00e9 de Lorraine，CNRS，Inria，LORIA，France。电子邮件：\u00a0帕斯卡尔.Fontaine@inria.fr“}]}，{”given“：”Cezary“，”family“：”Kaliszyk“，”sequence“：”additional“，”affiliation“：[{”name“：”Institute f\u00fcr Informatik，University of Innsbruck，Austria。电子邮件：\u00a0cezary.kaliszyk@uibk.ac.at“}]}，{”given“：”Stephan“，”family“：”Schulz“，”sequence“：”additional“，”affiliation“：[{”name“：”Fakult\u00e4t Technik，DHBW Stuttgart，Germany。电子邮件：\u00a0stephan.schulz@dhbw-suttgart.de“}]}，{”given“：”Josef“，”family“：”Urban“，”sequence“：”additional“，”affiliation“：[{”name“：”CIIRC，捷克布拉格捷克工业大学。电子邮件：\u00a0Josef.Urban@gmail.com“}]}]，”成员“：”7437“，”容器-title“：[”AI Communications“]，”原始标题“：[]，”链接“：[{”URL“：”https:\/\/content.iospress.com/download？id=10.3233\/AIC-180765“，”内容类型“：”未指定“，”content-version“：”vor“，”intended-application“：”相似性检查“}]，“存放”：{“日期段”：[2019,11,29]]，”日期时间“：”2019-11-29T22:50:33Z“，”timestamp“：1575067833000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/www.medra.org\/servlet\/aliasResolver？alias=iospress&doi=10.3233\/AIC-180765”}}，“subtittle”：[]，“editor”：[{“given”：“Pascal”，“family”：“Fontaine”，“sequence”：“additional”，“affiliation”：[]}，{“fixed”：“Cezary”，“家族”：“Kaliszyk”，“序列“：”附加“，”从属“：[]}，{”给定“：”Stephan”，“family”：“Schulz”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“Josef”，“family”：“Urban”，“sequence”：“additional”，“affiliation”：[]｝，“short title”：[]，“issued”：｛“date parts”：[[2018,5,17]｝，“references count”：0，“journal issue”：｛“issue”：“3”｝，“URL”：“http:\/\/dx.doi.org/10.3233\/aic-180765”，“relationship”：｛｝，“ISSN”：[“1875-8452”，“0921-7126”]，“issn-type“：[{”value“：“1875-8452”，“type”：“electronic”}，{”value“：“0921-7126”，“type”：“print”}]，“subject”：[]，“published”：{”date-parts“：[[2018,5,17]]}}}