{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,1]]，“日期时间”：“2022-04-01T02:37:04Z”，“时间戳”：1648780624418}，“引用计数”：17，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“发布发布者”：{“日期部分”：[[2011,11]]}，“DOI”：“10.1109\/hase.2011.28”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2012,1,6]]，“date-time”：“2012-01-06T19:39:38Z”，“timestamp”：1325878778000}，“source”：”Crossref“，”is-referenced-by-count“：0，”title“：[”验证面向规范的XML约束的统一方法“]，”前缀“：”10.1109“，“author”：[{“给定”：“Yongxin”，“家庭”：“赵”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Zheng”，“family”：“Wang”，”sequence“：”additional“，”affiliance“：[]{”given“：”Hao“，”family“：”Xiao“，“se序列”：“additional”，“从属关系”：[]}，“givent”：“Jing”，：“附加”，“从属关系”：[]}，{“给定”：“吉峰”、“家族”：“何”、“序列”：“附加”、“隶属关系”：[]｝、｛“给定”：“会标”、“家族”：“朱”、“序列”：“附加”、“隶属关系”：[]｝、“成员”：“263”、“参考”：[｛“密钥”：“17”、“doi断言者”：“出版者”、“doi”：“10.1109\/SOSE.2008.36”｝、｛“密钥”：“15”、“作者”：“奎因”、“年份”：“1982”、“期刊标题”：“逻辑方法”｝，｛“键”：“16”，“doi由”：“publisher”断言，“doi”：“10.1145\/37551.175554”}，｛“key”：“13”，“doi由”：“publisher”断言，“doi”：“10.1145\/33168.335217”}，｛“key”：“14”，“doi由”：“publisher”断言，“doi”：“10.1109\/ICDE.1995.380386”}，｛“key”：“11”，“doi由”：“publisher”断言，“doi”：“10.1007\/978-3-642-18690-5_1”}，｛“key”：“12”，“doi断言者”：“publisher”，“doi”：“10.1007 \/978-3-540-49382-2_12”}，{“key”：“3”，“doi-asserted-by”：“publisher”，“doi”：“10.1006 \/1-84628-152-0_24”}，“author”：“hors”，“year”：“0”，“journal-title”：“文档对象模型（DOM）第3级核心规范”}，{“key”：“7”，“author”：“ebbinghaus”，“year”：“1999”，“journal-title”：“Finite Model Theory”}：“chawathe”，“year”：“1994”，“journal-title”：“IPSJ”}，{“key”：“4”，“doi-asserted-by”：“crossref”，“first-pages”：“271”，“doi”：“10.1145 \/10403050328”，“article-title“：“上下文逻辑和树更新”，“author”：“calagno”，“年份”：“2005”，“日记标题”：“第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集POPL'05”}“”：“9”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/371920.371979”}，{“key”：“8”，“首页”：“805”，“article-title”：“Xml约束：规范、分析和应用”，“author”：“fan”，“year”：“2005”，“journal-title“：”DEXA Workshops“}]，“event”：{“name”：“2011 IEEE第13届高保证系统工程国际研讨会（HASE）”，“location”：“Boca Raton，FL，USA”，“start”：{“date-parts”：[[2011,11,10]]}，“end”：{-“date-parts”：[[2011,11,12]]}}，”container-title“：[”2011 IEEE第13届高保证系统工程国际研讨会“]，“original-title”：[]，“link”：[{“URL”：“http://\explorestaging.IEEE.org\/ielx5\/6113112\/61133852\/061138871.pdf？arnumber=6113871”，“content-type”：“未指定”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2017,6,20]]，“date-time”：“2017-06-20T12:23:33Z”，“timestamp”：1497961413000}，“score”：1，“resource”：{primary“URL”：“http://ieeexplore.iee.org\/document\/6113871\/”}}，”subtitle“：[]，“shorttitle”：[]，“已发布”：{“日期部分”：[[2011,11]]}，“references-count”：17，“URL”：“http://\/dx.doi.org\/10.109\/hase.2011.28”，“relation”：{}，“subject”：[]，“published”：{“date-parts”：[2011,11]]}}}