｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2024,7,12]]，“date time”：“2024-07-12T05:06:15Z”，“timestamp”：1720760775349｝，“reference count”：1，“publisher”：“Elsevier BV”，“license”：[｛“start”：｛“date parts”：[[2017,8,1]]，“date time”：“2017-08-01T00:00:00Z”，“timestamp”：1501545600000｝，“内容版本“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2021,8,1]]，“date-time”：“2021-08-01T00:00:00Z”，“timestamp”：162777600000}，“content-version”：“vor”，“delay-in-days”：1461，“URL”：“http://\/www.elsevier.com\/open-access//用户许可证\/1.0\/“}]，”内容域“：{”域“：[”elsevier.com“，“sciencedirect.com”]，“crossmark-restriction”：true}，“short-container-title”：[“程序设计中的逻辑和代数方法杂志”]，”published-print“：{“date-parts”：[[2017,8]]}，”DOI“：”10.1016\/j.jlamp.2017.05004“，”type“：”Journal-article“，”created“：{“date-ports”：[2017,6,11]]，”date-time“：”2017-06-11T17:45:13Z“，”timestamp“：1497203113000}，“第页”：“1”，“update-policy”：“http://\/dx.doi.org\/10.1016\/elsevier_cm_policy“，”source“：“Crossref”，“is-referenced-by-count”：0，“special_numbering”：“C”，“title”：[“Guest editors'foreword”]，“prefix”：“10.1016”，“volumer”：“90”，“author”：[{“give”：“Dominic”，“family”：“Orchard”，“sequence”：“first”，“affiliation”：[]}，{“给定“：”Nobuko“，”family“：”Yoshida“，”sequence“：“additional”，“affiliation”：[]}]，“member”：“78”，“reference”：[{“key”：“10.1016\/j.jlamp.2017.05.004_br0010”，“series-title”：“第九届并发与通信软件编程语言方法研讨会论文集”，“volume”：《vol.211》，“year”：“2016”}]，《container-title》：[“程序设计中的逻辑和代数方法杂志”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S2352220817300883？httpAccept=text\/xml”，“content-type”：“text\/.xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S2352220817300883？httpAccept=text\/plain”，“content-type”：“text\/plan”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2021,8,1]]，“date-time”：”2021-08-01T01:37:23Z“，”timestamp“：1627781843000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S2352220817300883”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2017,8]]}，”references-count“：1，”alternative-id“：[”S23522208173000883“]，“URL”：“http://\/dx.doi.org\/101016\/j.jlamp.2017.05.004”，“relation”：{}，“ISSN”：[“2352-2208”]，“ISSN-type”：[{“value”：“2352-2202”，“type”:“print”}]，“subject”：[]，“published”：{“date-parts”：[[2017,8]]}，“assertion”：[{“value”：“Elsevier”，“name”：“publisher”，“label”：“This article is maintained by”}，{“value”：“Guest editors’foreword”，”name“：”articletle“，”label“：”article Title“}：“https:\/\/doi.org\/10.1016\/j.jlamp.2017.05.004”，“name”：“articlelink”，“label”：“CrossRef doi link to publisher maintained version”}，{“value”：“simple-article”，“name:”content_type“，”label“：”content-type“}，”value“：”\u00a9 2017由Elsevier Inc.发布“，”name“：”copyright“，”标签“：”版权“}]}