{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,10,6]]，“日期时间”：“2022-10-06T13:11:08Z”，“时间戳”：1665061868482}，“出版商位置”：“查姆”，“参考计数”：11，“出版者”：“斯普林格国际出版公司”，“isbn-type”：[{“值”：“9783319276526”，“类型”：”打印“}，{“值”：“9783319276533”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2015,1,1]]，“date-time”：“2015-01-01T00:00:00Z”，“timestamp”：1420070400000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\\/www.springer.com\/tdm”}][]，“published-print”：{“date-parts”：[2015年]]}，“DOI”：“10.1007\/978-3-319-27653-3_11”，“type”：“book-chapter”，“created”：{“date-parts”：[[2015,12,23]]，“date-time”：“2015-12-23T05:21:31Z”，“timestamp”：1450848091000}，“page”：”113-124“，”source“：”Crossref“，”is-referenced-by-count“：2，”title“：[”全共享多线程制表的批量评估“]，”前缀“：”10.1007“，“author”：[{“给定”：“米格尔”，“family”：“Areias”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Ricardo”：“Areias，M.，Rocha，R.：逻辑程序多线程表评估的高效可扩展内存分配器。摘自：并行和分布式系统国际会议，第636\u2013643页。IEEE Computer Society（2012）“，”DOI“：”10.1109\/ICPADS.2012.91“}，{”issue“：”4&5“，”key“：”11_CR2“，”DOI-asserted-by“：”publisher“，”first page“：“427”，”DOI:“10.1017\/S1471068412000117”，“volume”：“12”，“author”：“M Areias”，“year”：“2012”，“unstructured”：“Areias，M.，Rocha，R.：使用公共表空间实现多线程本地列表。J。理论与实践。逻辑程序。12（4&5），427\u2013443（2012）“，《新闻标题》：《理论与实践杂志》。逻辑程序。“}，{”key“：”11_CR3“，”doi-asserted-by“：”crossref“，”unstructured“：”Areias，M.，Rocha，R.：并发表的一种简单高效的无锁散列trie设计。In：《国际逻辑编程会议技术通信》（2014）“，”doi“：”10.1007\/s10766-014-0346-1“}”，{Areias，M.，Rocha，R.：并发表逻辑程序的无锁散列trie设计。国际J并行程序。1\u201321（2015）“，”DOI“：”10.1007\/s10766-014-0346-1“}，{“issue”：“1”，“key”：“11_CR5”，“DOI-asserted-by”：“publisher”，“first-page”：“20”，“DOI”：“10.1145\/227595.227597”，“volume”：”43“，“author”：“W Chen”，“year”：“1996”，“unstructured”：“Chen，W.，Warren，D.S.：表D评估一般逻辑程序的延迟。J.ACM 43（1），20 \u201374（1996）“，”journal-title“：”J.ACM“}，{“key”：“11_CR6”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”243“，“doi”：“10.1007\/3-540-61756-6_89”，“volume-title”：”编程语言：实现、逻辑和程序“，”author“：”J Freire“，”year“1996”，“unstructured”：“Freire，J.，Swift，T.，Warren，D.S.：超越深度优先：通过替代调度策略改进表格逻辑程序。收录人：Kuchen，H.，Swierstra，S.D.（编辑）PLILP 1996。LNCS，第1140卷，第243\u2013258页。Springer，Heidelberg（1996）“}，{“key”：“11_CR7”，“doi asserted by”：“crossref”，“nonstructured”：“Liang，S.，Fodor，P.，Wan，H.，Kifer，M.：OpenRuleBench:对规则引擎性能的分析。In：International World Wide Web Conference，pp.601\u2013610。ACM（2009）“，”DOI“：”10.1145\/1526709.1526790“}，{”key“：”11_CR8“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“206”，“DOI”：“10.1007\/978-3-540-89982-2_24”，“volume-title”：“逻辑编程”，“author”：“R Marques”，“year”：“2008”，“unstructured”：“Marques，R.，Swift，T.：正常程序的并行和局部评估。收录：Garcia de la Banda，M.，Pontelli，E.（编辑）ICLP 2008。LNCS，第5366卷，第206\u2013222页。Springer，Heidelberg（2008）“}，{”issue“：”1“，”key“：”11_CR9“，”doi-asserted-by“：”publisher“，”first page“：“31”，“doi”：“10.1016\/S0743-1066（98）10013-4”，“volume”：“38”，“author”：“IV Ramakrishnan”，“year”：“1999”，“unstructured”：“Ramakrishnan，I.V.，Rao，P.，Sagonas，K.，Swift，T.，Warren，D.S.：表逻辑程序的高效访问机制.J.公司。逻辑程序。38（1），31\u201354（1999）“，“期刊标题”：“J.逻辑程序。“}，{”issue“：”3“，”key“：”11_CR10“，”doi-asserted-by“：”publisher“，”first-page“：”586“，”doi“：”10.1145\/291889.291897“，”volume“：“20”，”author“：”K Sagnoas“，”year“：”1998“，”unstructured“：”Sagonas，K.，Swift，T.：用于固定阶分层逻辑程序表执行的抽象机。ACM Trans.Program.Lang.Syst.20（3），586\u2013634（1998）“，”journal-title“：”ACM事务处理。程序。语言系统。“}，{”key“：”11_CR11“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“331”，“doi”：“10.1007\/978-3-540-24599-5_23”，“volume-title”：“逻辑编程”，“author”：“J Wielemaker”，“year”：“2003”，“unstructured”：“Wielemake，J.：SWI-prolog中的本机抢占线程。in:Palamidessi，C.（ed.）ICLP 2003。LNCS，第2916卷，第331\u2013345页。Springer，Heidelberg（2003）“}]，“container-title”：[“计算机和信息科学中的通信”，“语言、应用和技术”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10.1007\/978-3-319-27653-3_11”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期-部分”：[[2022,5,30]]，“日期-时间”：“2022-05-30T13:35:31Z”，“时间戳”：1653917731000}，“分数”：1，“资源”：{-“主要”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3-319-27653-3_11”}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部分“：[2015年]]}，“ISBN”：[“9783319276526”，“97833276533”]，“references-count“：11，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-319-27653-3_11“，”关系“：{}，”ISSN“：[”1865-0929“，”1865-0.937“]，”ISSN-type“：[{”value“：”1865-0829“，“type”：“print”}，{“value”：”1865-10937“，”type“”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[2015]}}}