{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2022,3,31]]，“日期-时间”：“2022-03-31T17:47:20Z”，“时间戳”：1648748840441}，“引用-计数”：0，“出版商”：“牛津大学出版社（OUP）”，“问题”：“3”，“内容-域”:{“域”：[]，“交叉标记限制”：false}，”short-container-ti tle“：[“J Logic Computation”]，“published-print”：{“date-parts”：[[1993]]}，“DOI”：“10.1093\/logcom\/3.3.227”，“type”：“journal-article”，“created”：{-“date-parts”：[[2007,1,4]]，“date-time”：“2007-01-04T16:44:54Z”，“timestamp”：1167929094000}，”page“227-229”，“source”：”Crossref“，”is-referenced-by-count“：0，”title“：[”实践推理本科学位“]，“prefix”：“10.1093”，“volume”：“3”，”author“：[{”given“：”R.A.“，”family“：”KOWALSKI“，”sequence“：”first“，”affiliation“：[]}]，”member“：”286“，”container-title“：[”Journal of Logic and Calculation“]，”original-tittle“：[]，”language“：”en“，”link“：[{”URL“：”http://\\ademicial.oup.com\/logcom\/article-pdf\/3\/227 \/3027777\/3-3-227.pdf“，”内容类型“：”未指定“，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2017,8,23]]，“date-time”：“2017-08-23T09:57:24Z”，“timestamp”：1503482244000}，“score”：1，“resource”：{“primary”：“URL”：“https:\/\/cademicial.oup.com\/logcom\/article-lookup\/doi\/10.10093\/logcom/3.3.227”}}}，“副标题”：[]，“短标题”：[]，“已发布”用法：{“date-parts”：[[1993]]}，“references-count”：0，“journal-issue”：{”issue“：”3“，”published-print“：{（日期-部件）：[[1999]]}}，”URL“：”http://\/dx.doi.org\/10.1093\/logcom\/3.3.227“，”relation“：{}，‘ISSN’：[”0955-792X“，”1465-363X“]，”ISSN-type“：[{”value“0955-792 X”，“type”：“打印”}，{“值”：“1465-363X”，“类型”：“电子”}]，“主题”：[]，“发布”：{“日期部分”:[[1993]]}}}