{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,3,1]]，“日期-时间”：“2024-03-01T14:25:47Z”，“时间戳”：1709303147073}，“引用-计数”：34，“发布者”：“IEEE”，“许可证”：[{“开始”：{-“日期-零件”：[2021,6,29]]，”日期-时间“：”2021-06-29T00:00:00Z“，”timestamp“：1624924800000}，”content-version“：”stm-asf“，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-029”}，{“start”：{“date-parts”：[[2021,6,29]]，“date-time”：“2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“stm-asf”，“dellay-in-days”：0 content-domain“：{“domain”：[]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2021,6,29]]}，“DOI”：“10.1109\/lics52264.2021.9470575”，“type”：“proceedings-article”，“created”：{“date-parts”：[2021,7,7]]，“date-time”：“2021-07-07T20:14:07Z”，“timestamp”：1625688847000}，”source“Crossref”，“is-referenced-by-count”：3，“title”：[“Smash单体乘积理论“]，”前缀“：”10.1109“，”作者“：[{“given”：“Amar”，“family”：“Hadzihasanovic”，“sequence”：“first”，“affiliation”：[{name”：“塔林理工大学软件科学系，爱沙尼亚塔林”}]}]，“member”：“263”，“reference”：[}“key”：”ref33“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/BF00873990“}，{”key“：”ref32“，“doi-assert-by”：”publider“，”doi“”：“10.1007\/s10485-019-09586-6”}，{“key”：“ref31”，“doi-asserted-by”：“publisher”，“doi”：“10.107\/BFb0083082”}1278735“}，{”key“：”ref10“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0304-3975（93）90054-W“}，{“key”：“ref11”，“article-title”：“高等代数中的重写方法”，“author”：“guiraud”，“year”：“2019”，“journal-title“：“Thèse d'habilitationádiriger des recherches”}，“key“：“ref12”，“article-titel”：“纠缠的代数和组成的几何”，“作者”：“hadzihasanovic”，“年份”：“2017”，“日记标题”：“博士论文”}，{“key”：“ref13”，“article-title”：“弱高级类别中的图表集和重写”，“author”：“hadzihasanovic”，“year”：“2020”}，{”key“：”ref14“，“volume”：”558“，“author”：“gordon”，“year”：”1995“，“journal-title“：”三类的一致性“}，”{“key”：“ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/CBO9780511600579”}，{“键”：“参考16”，“doi-asserted-by”：“publisher”，“doi”：“10.1090\/conm\/431\/08270”}，{“key”：“ref17”，“doo-asserted-by”：”publisher“，”doi“：”10.1017\/is010008014jkt127“}，”{“key”：“ref18”，“首页”：“82”，“article-title”：“n-categories II的周期表：简并三类”，“volume”：”52“，“author”：“cheng”，“year”：“2011”“，”日志标题“：“Cahiers de Topologie et Géométrie Différetielle Catégoriques”}，{“key”：“ref19”，“article-title”：“The word problem for computads”，“author”：“makkai”，“year”：“2005”}、{“key”：“ref28”，“article-title”：“Associative n-categories”，“author”（作者）：“dorn”，“year”（年份）：“2018”，“journal title”（新闻标题）：“Ph D论文”}“：”publisher“，”doi“：“10.1145\/2933575.2934550”}，{“key”：“ref27”，“doi-asserted-by”：“crossref”，“first page”：：“99”，“doi”：“10.1006\/aima.1997.1649”，“article-title”：“单体二类和Hopf代数体”，“volume”：”129“，“author”：“street”，“year”：“1997”，“journal-title“：”Adv Math“}”，{”key“：”ref3“，”doi-assert-by“：”publisher“，”doi“：”10.1007\/978-3642-54830-7_23“}，{”key“：“ref6”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s10485-014-9369-4”}y“：”publisher“，”doi“：”10.1145\/3209108.3209128“}，{”key“：”ref7“，”doi-asserted-by“：“publisher”，“DOI”：“10.1016\/j.ic.2016.03.002”}，{“key”：“ref2”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1090\/S0002-9904-1965-11234-4“}”，{”key“：”ref9“，”DOI-assert-by“：”publisher DOI“：”10.1073\/pnas.50.5.869“}，{“key”：“ref20”，“author”：“riehl”，“year”：“2017”，“journal-title”：“语境中的范畴理论”}，{“key”：“ref22”，“首页”：“221”，“article-title”：“在与双代数相对应的PROP上”，“卷”：“43”，“作者”：“pirashvili”，“年份”：“2002”，“新闻标题”：“Cahiers de Topologie et Géométrie Différetielle Catégoriques”}，“作者”：“森林”，“年份”：“2018”，“期刊标题”：“第三届计算与推导形式结构国际会议（FSCD 2018）”}，{“密钥”：“参考文献24”，“卷”：“347”，“作者”：“boardman”，“年份”：“2006”，“期刊标题”：“拓扑空间上的同调不变代数结构”}，{“密钥”：“参考文献23”，“文章标题”：“泛代数和图解推理”，“author”：“baez”，“year”：“0”}，{“key”：“ref26”，“doi-asserted-by”：“publisher”，“doi”：“10.1007 \/978-3642-12821-9_4”}“名称”：“2021年第36届ACM \/IEEE年度计算机科学逻辑研讨会（LICS）”，“地点”：“意大利罗马”，“开始”：{“日期部分”：[[2021,6,29]]}，“结束”：{“日期部分“：[2021,7,2]}，”container-title“：[”2021年ACM \/IEEE第36届年度计算机科学逻辑学研讨会（LISS）“]，”原文标题“：[]，”链接“：[{”URL“：“http://\/xplorestaging.ieee.org\/ielx7\/9470497\/9470575.pdf？arnumber=9470575”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2022,8,2]，“date-time”：”2022-08-02T23:01:53Z“，“timestamp”：1659481313000}，“score”：1，“resource”“：{”primary“:{”URL“：“https:\/\/ieeexplore.iee.org\/document\/9470575\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2021,6,29]]}，”引用计数“：34，”URL“：”http://\/dx.doi.org\/10.1009\/lics52264.2021.9470575“，”关系“：{}”，“主题”：[[]，”已发布“：{”日期部分“：[2021,6,29]”6,29]]}}}