{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2023,1,22]]，“日期-时间”：“2023-01-22T11:28:53Z”，“时间戳”：1674386933606}，“出版商位置”：“美国纽约州纽约市”，“引用-计数”：23，“出版者”：“ACM”，“资助者”：[{“DOI”：“10.13039\/501100002848”，“名称”：“Comisi\u00f3n Nacional de Investigaci\u000f3n Cient\u00edfica y Tecnol\u00f3gica”，“doi-asserted-by”：“publisher”}，{“name”：“Millennium Nucleus Center for SemanticWeb Research”，“award”：[“NC120004”]}]，“content-domain”：{“domain”:[“dl.acm.org”]，“crossmark-restriction”：true}，“shortcontainer-title”：[]，“published-print”：{“date-parts”“：[[2014,7,14]]}，”内政部“：“10.1145\/2603088.2603122”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2014,7,28]]，“date-time”：“2014-07-28T13:21:45Z”，“timestamp”：14065537000}，“update-policy”：”http://\/dx.doi.org\/10.1145\/crossmark-policy“，”source“Crossref”，“is-referenced-by-count”：3，“title”：[“带有理关系的图形逻辑”]，“前缀“：”10.1145“，”作者“：[{“given”：“Pablo”，“family”：“Barcel\u00f3”，“sequence”：“first”，“affiliation”：[{“name”：“University of Chile”}]}，{“fixed”：“Bablo”“：[{”key“：”e_1_3_2_1_1_1“，”doi-asserted-by“：”publisher“，“DOI”：“10.1016\/S0747-7171（89）80056-2”}，{“key”：“e_1_3_2_1_2_1”，“DOI-asserted-by”：“publisher”，”DOI“：”10.1145\/132432.1322433“}，”{“密钥”：“e_1_3_1_1”、“DOI-sserted-by“：”publisher有理关系的逻辑。计算机科学中的逻辑方法9（3）“，”作者“：“Barcel\u00f3 P.”，“year”：“2013年”，“unstructured”：“P.Barcel\u 00f3，D.Figueira，L.Libkin.有理关系的图形逻辑.计算机科学中的逻辑方法9（3），2013年.P.Barsel\u 00f 3，D.Figueira：“publisher”，“DOI”：“10.1145\/2389241.2389250”}，{“key”：“e_1_3_2_1_6_1”，”DOI-asserted-by“：”publisher“，”DOI“：”10.1007\/978-3663-09367-1“}，”{“密钥”：“e_1_3_2_1_7_1”、“DOI-assert-by”：“publicher”，”DOI:“10.1007\/778-3642-31265-6_11”}by“：”publisher“，”DOI“：”10.1016\/j.jcss.2013.11.002“}，{”key“：”e_1_3_2_1_9_1“，“first page”：“176”，“volume-title”：“Principles of Knowledge Representation and Reasoning（KR）”，“author”：“Calvanes D.”，“unstructured”：“D.Calvanese，G.de Giacomo，M.Lenzerini，M.Y.Vardi.带反转的连接正则路径查询的包含。《知识表示与推理原理》（KR。Calvanee、G.de Giacomo、M.Lenzerini和M.Y.Vardi。包含带反转的连接正则路径查询。在《知识表示与推理原理》（KR）中，第176-185页e_1_3_2_1_11_1”，“doi由”断言：“publisher”，“doi”：“10.1145\/3871.38749”}，{“key”：“e_1_3_2_12_1”，“doi由”断言：“publisher”，“doi”：“10.1016\/j.ic.2005.04.0002”}，{“key”：“e_1_3_2_1_13_1”，“doi由”断言：“publisher”，“doi”：“10.1016\/0021-8693（69）90107-0”}，{“key”：“e_1_3_2_14_1”，“首页“：”109“，”卷标题“：”子词和无幂词不能用单词等式表示。《信息学基础》，38（1），“作者”：“Ilie L.”，“年份”：“1999”，“非结构化”：“L.Ilie。子词和无功词不能用单词方程式来表达。《信息基础》，38（1），第109-118页，1999年。L.伊利。子词和无幂词不能用单词等式表示。《基础信息学》，38（1），第109-118页，1999年。“}，{”key“：”e_1_3_2_15_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/337244.337255”}，“key”：“e_1_ 3_2_1_16_1”，“doi-assert-by”：“publisher”，”doi“：”10.1109\/SFCS.1977.16“}”，{title“：”国际自动化、语言和编程学术讨论会（ICALP）“，”author“：”Lentin A.“，”year“：”1972“，”unstructured“：”A.Lentin。自由幺半群中的方程。1972年国际自动化、语言和编程学术讨论会（ICALP），第67-85页。A.列宁。自由幺半群中的方程。在1972年国际自动化、语言和程序设计学术讨论会（ICALP）第67-85页。_1_20_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/990308.990312“}，{“key”：“e_1_3_2_1_21_1”，“首页”：“235”，“volume-title”：“2013年俄罗斯国际计算机科学研讨会（CSR）”，“author”：“Rizzi R”，“unstructured”：“R.Rizzi，S.Vialette。关于识别洗牌积的正方形单词。俄罗斯国际计算机科技研讨会（CSS）2013年第235-245页。R.Rizzi和S.Vialette。识别洗牌产品的正方形单词。2013年俄罗斯国际计算机科学研讨会（CSR）第235-245页。“}，{”key“：”e_1_3_2_1_22_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/800070.802186“}”，{“key”：“e_1_ 3_2_1_2 3_1”，“doi-assert-by”：“publisher”，”doi:“10.1145\/22066869.2206879”}]，”event“：{”name“：”CSL-LICS’14：第二十届EACSL计算机科学逻辑年会联席会议”，“地点”：“奥地利维也纳”，“缩写”：“CSL-LICS'14”，“赞助商”：[“SIGLOG ACM逻辑和计算特别兴趣小组”，“EACSL欧洲计算机科学逻辑协会”，“IEEE-CS\\DATC IEEE计算机学会”，“SIGACT ACM算法和计算理论特别兴趣小组“]}，“container-title”：[“第二十届EACSL计算机科学逻辑年会（CSL）和第二十届ACM/IEEE计算机科学逻辑研讨会（LICS）联席会议记录”]，“原文标题”：[]，“链接”：[{“URL”：“https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2603088.2603122“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,1,8]]，”date-time“：“2023-01-08T19:04:18Z”，”timestamp“：1673204658000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/2603088.2603122“}}，”副标题“：[”单词组合的作用“]，”短标题“：[]，”已发布“：{”日期部分“：[[2014,7,14]]}，“引用计数”：23，“alternative-id”：[”10.1145\/26038.26031122“，”10.1145\/2603088“]，“URL”：“http://\/dx.doi.org\/10.1145 \/26030.88.26031622“，”关系“：{}，”主题“：[]，”发布“：{”date-parts“：[[2014,7,14]]}，”assertion“：[{”value“：”2014-07-14“，”order“：2，”name“：”published“，”label“：”published“，”group“：{”name“:”publication_history“，”标签“：”publication history“}}]}