{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,3,29]]，“日期-时间”：“2022-03-29T19:34:21Z”，“时间戳”：1648582461863}，“引用-计数”：9，“发布者”：“爱思唯尔BV”，“问题”：“1”，“许可证”：[{“开始”：{:“日期-零件”：[[2003,5,1]]，”日期-时间“：”2003-2003 05-01T00:00:00Z“，”时间戳“：1051747200000}，“内容版本”：“tdm”，“延迟天数”：0，“URL”：“https://www.elsevier.com/tdm\/userlicense\/1.0\/”｝，｛“开始”：｛“日期部分”：[[2013,7,29]，“日期时间”：“2013-07-29T00:00:00Z”，“时间戳”：1375056000000｝，“内容版本”：“vor”，“延迟天数”：3742，“URL”：“http:\/\/ccreativecommons.org/licenses\/by nc nd\/3.0\/”｝]，“内容域“：｛”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“date-parts”：[[2003,5]]}，”DOI“：”10.1016\/s1571-0661（04）80653-4“，”type“：”journal-article“，”created“：{”date-part“：[2004,9,29]]，“date-time”：“2004-09-29T16:47:47Z”，“timestamp”：1096476467000}“page”：“619”-75“，“源”：“Crossref”，“is-referenced-by-count”：2，“title”：[“On leaf permutative theorys and occurrence permutation groups”]，“prefix”：“10.1016”，“volume”：“86”，“author”：[{“given”：”Thierry“，”family“：”Boy de la Tour“，”sequence“：”first“，”affiliation“：[]}，{“given”“Mnacho”，”faily“Echenim”，“sequence”：“additional”，“afliation”：[]2]，“member”：“78”，“参考”：[{“key”：“10.1016\/S1571-0661（04）80653-4_NEWBIB1”，“doi-asserted-by”：“crossref”，“first page”：”223“，”doi“：”10.1023\/A:100643952242“，”article-title“：”等式推理中置换的通用算法“，”volume“：”26“，”author“：”Avenhaus“，”year“：”2001“，”journal-title”：“journal of Automated Reasoning”}，{“issue”：“3”，“key“：”10.1016\/S1571-0661（04）80653-4_NEWBIB2“，“doi-asserted-by”：“crossref”，“first page”：“628”，“doi”：“10.1137\/0209047”，“article-title”：“随机图同构”，“卷”：“9”，“作者”：“L\u00e1szl\u00f3”，“年份”：“1980”，“日记标题”：“SIAM journal of Computing”}，{“键”：“1016\/S1571-0661（04）80653-4-NEWBIB3”，ted-by“：”crossref“，”unstructured“：”他们的旅行男孩。SEM中对称启发式的注释。安德烈·沃伦科夫（Andrei Voronkov），编辑，《CADE-18会议录》，《人工智能讲义2392》，第181\u2013194页，丹麦哥本哈根，2002年7月。斯普林格·弗拉格。“，”DOI“：”10.1007\/3-540-45620-1_16“}，{“key”：“10.1016\/S1571-0661（04）80653-4_NEWBIB4”，“series-title”：“置换群的基本算法”，“author”：“Butler”，“year”：“1991”}，“key“：”101016\/S1571-0661加里”，“年份”：“1979”}，{“key”：“10.1016\/S1571-0661（04）80653-4_NEWBIB6”，“series-title”：“群理论算法与图同构”，“author”：“Hoffmann”，“year”：“1981”}，{”issue“：”4\u20135“，”key“：”10.1016\\S1571-0661 S0747-7171（08）80103-4“，”文章标题“：“基于分区的置换群算法，I：理论与算法”，“卷”：“12”，“作者”：“Leon”，“年份”：“1991”，“期刊标题”：“符号计算杂志”}，{“关键字”：“10.1016\/S1571-0661（04）80653-4_NEWBIB8”，“首页”：“273”，“文章标题”：《等式推理与术语重写系统》，“卷“：“1”，“作家”：“Plaisted”，“年”：“1993”，“journal-title”：“人工智能和逻辑编程中的逻辑手册”}，{“key”：“10.1016\/S1571-0661（04）80653-4_NEWBIB9”，“series-title”：《理论计算机科学的宝藏》，“author”：“Uwe”，“year”：“1998”}]，“container-title“：[理论计算机科学中的电子笔记]，“original-title:[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066104806534？httpAccept=text\.xml”，“content-type”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http:\/\-api.elsever.com\/content\/artracle\/PI:S157106 6104806534-httpAccepte=text\/plain”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,2,3]]，“date-time”：“2019-02-03T10:53:08Z”，“timestamp”：1549191188000}，“score”：1，“resource”：{“primary”：{:“URL”：“https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104806534”}}，”副标题：[]，“shorttitle”：[]date-parts“：[[2003,5]]}，”references-count“：9，“日志-问题”：{“问题”：“1”，“发布-打印”：{“日期-部分”：[[2003,5]]}}，“替代id”：[“S1571066104806534”]，“URL”：“http://\/dx.doi.org\/10.1016\/s1571-0661（04）80653-4”，“关系”：{}，”ISSN“：[”1571-0681“]，”ISSN-type“：[{”value“：”1571-661“，”type“打印”}]，“主题”：[]，“发布”：{“日期部分”：[[2003,5]]}}}