{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,11]]，“日期-时间”：“2023-01-11T05:35:38Z”，“时间戳”：1673415338527}，“引用-计数”：0，“发布者”：“Elsevier BV”，“问题”：“1”，“许可证”：[{“开始”：{:“日期-零件”：[[1997,1,1]]，”日期-时间“：”199 7-01-01T00:00:00Z“，”时间戳“：852076800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：6041，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“符号计算杂志”]，“published-print”：{“date-parts”：[[1997,1]]}，”DOI“：”10.1006\/jsco.1996.0077“，”type“：”Journal-article“，”created“：{”date-part“：[[2002,10,7]]，”date-time“：”2002-10-07T11:30:58Z“，”timestamp“：1033990258000}”，“page”：“79-117”，“source”“：”Crossref“，“is-referenced-by-count”：7，“title”：[“使用树自动机解决约束替换下的统一问题”]，“prefix”：“10.1006”，“volume”：“23”，“author”：[{“给定”：“YUICHI”，“family”：“KAJI”、“sequence”：“first”、“affiliation”：[]}，{“given”：“卡萨米”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“78”，“container-title”：[“Journal of Symbolic Computation”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S07477196900772？httpAccept=text\/xml”，“content-type”：“text\/xml”，“content-version”：“vor”，“intended-application”：“”text-mining“}，{”URL“：“https:\/\/api.elsevier.com/content\/article\/PII:S07477196900772？httpAccept=text\/plain”，“content-type”：“text\/plan”，“内容-版本”：“vor”，“intended-application”：“文本-分钟”}]，“存放”：{“日期-部分”：[[2019,5,7]]，“日期-时间”：“2019-05-07T13:57:32Z”，“时间戳”：1557237452000}，“分数”：1，“资源”primary“：{”URL“：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S07477196900772”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1997，1]]}，”references-count“：0，”journal-issue“：{”issue“：”1“，”published-print“：”{“日期-部件”：[1997，1]}}“alternative-id”：[“S074717196900771”]，“URL”：“http://\/dx.doi.org\/10.1006\/jsco.1996.0077”，“关系”：{}，“ISSN”：[“0747-7171”]，“issn-type”：[{“value”：“0747.7171”，“type”:“print”}]，“subject”：[]，“published”：{“date-parts”：[[1997,1]]}}