{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,3,29]]，“日期时间”：“2022-03-29T17:25:04Z”，“时间戳”：1648574704342}，“引用-计数”：6，“发布者”：“开放发布协会”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”shortcontainer-title“：[“Electron.Proc.Theor.Comput.Sci.”，“EPTCS”]，“DOI”：“10.4204\/EPTCS.177.1”，“type”：“journal-article”，“created”：{“date-parts”：[[2015,3,15]]，“date-time”：“2015-03-15T02:57:24Z”，“timestamp”：1426388244000}，“page”：”1-9“source”：，“prefix”：“10.4204”，“volume”：“177”，“author”：[{“given”：“Rick”，“family”：“Statman”，“sequence”：“first”，“affiliation”：[}“name”：“Carnegie Mellon University”}]}]，“member”：“2720”，“published-online”：{“date-parts”：[[2015,3,17]]}，“reference”：[[{”key“10.1016\/S1571-0661（04）80487-0”，“doi-asserted-by”：”publisher“，“doi”：“10.1016”\/S1571-0661（04）80487-0“}，{“键”：“10.2307\/2273659”，“doi-asserted-by”：“publisher”，“doi”：“10.2307\/2273659”}，{“key”：“10.1017\/CBO9781139032636”，“doo-asserted-by”：”publisher“，”doi“：”10.1017\/CBO978113903 2636“}，”key“：”10.4230\/LIPIcs.CSL.2012.243“，”doi-assert-by“：”publider“，”doi“：“10.4230\/LIPIc.CSL.2012.243”}“key”：“10.1007\/978-3642-21691-6_15”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-21691-6_15”}，{“key”：“10.107\/9783-642-29485-3_16”，“doi-asserted-by”：“publisher”，“doi”：“101007\/9752-29485-3_16”}]，“container-title”：[“Electronic Proceedings in Theory Computer Science”]，“original title”：[]，“language”：“en”，“deposed”：{“date-parts”：[2015,3,20]]，“date-time”：“2015-03-20T02:38:22Z“，”时间戳“：1426819102000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/arxiv.org\/abs\/1503.04906”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2015,3,17]]}，'references-count“：6，”URL“：”http://\/dx.doi.org\/10.4204\/eptcs.177.1“，”relation“：{}，‘ISSN’：[”2075-2180“]，”ISSN-type“：[{”value“：”2075-2160“，”type“:”electronic“}]，”subject“：[]，”published“：{“日期部分”：[[2015,3,17]]}}