{“id”：“https://openalex.org/W2001532324“，”doi“：”https://doi.org/10.1016/j.tcs.2012.08.030“，”title“：”From diagrammatic confluence to modularity“，”display_name“：”从图汇流到模块化“，”publication_year“：2012，”publiation_date“：”2012-12-01“，”ids“：{”openalex“：”https://openalex.org/W2001532324“，”doi“：”https://doi.org/10.1016/j.tcs.2012.08.030“，”mag“：”2001532324“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2012.08.030“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1016/j.tcs.2012.08.030“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5004958754“，”display_name“：”Jean-Pierre Jouannaud“，”orcid“：”https://orcid.org/0000-0003-4790-9927}，“机构”：[{“id”：https://openalex.org/I4210145666“，”display_name“：”嵌入式系统（美国）“，”ror“：”https://ror.org/04742eh45“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I4210145666“]｝]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“：”Jean-Pierre Jouannaud“，”raw_affiation_strings“：[”嵌入式系统的正式方法“]，”affiliations“：[｛”raw_affiation_string“：”嵌入式系统的正式方法“，”institution_ids“：[”https://openalex.org/I4210145666“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5000257041“，”display_name“：”刘嘉祥“，”兽人“：”https://orcid.org/0000-0002-6725-8167}，“机构”：[{“id”：https://openalex.org/I4210145666“，”display_name“：”嵌入式系统（美国）“，”ror“：”https://ror.org/04742eh45“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I4210145666“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”刘嘉祥“，”raw_affiliation_strings“：[“嵌入式系统的形式化方法”]，”从属关系“：[{”raw_affiliation_string“：”嵌入式系统的形式方法“，”institution_ids“：[https://openalex.org/I4210145666“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：{“value”：2690，“currency”：“USD”，“value_USD”：2680，“provenance”：“doaj”}，“apc _payd”：null，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count）：6，”cited_by_percentile_year“：{“最小值”：84，“最大值”：85}，”biblio“：{”volume“：”464“，”issue“：null，”first_page“：”20“，”last_page“：“34”}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：”{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9995，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9995，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9696，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9621，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/combinatorics-on-words（https://openalex.org/keywords/combinatorics-on-words组合词）“，”display_name“：”单词组合学“，”score“：0.483507}]，”concepts“：[{”id“：”https://openalex.org/C77906462，“wikidata”：https://www.wikidata.org/wiki/Q1140902“，”display_name“：”Confluence“，”level“：2，”score“：0.9837266}，{”id“：”https://openalex.org/C54732982，“wikidata”：https://www.wikidata.org/wiki/Q1415345“，”display_name“：”Modulo“，”level“：2，”score“：0.8725954｝，｛”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.8690224}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.7843142}，{”id“：”https://openalex.org/C2779478453，“wikidata”：https://www.wikidata.org/wiki/Q6889748“，”display_name“：”模块化（生物学）“，”level“：2，”score“：0.64935565}，{”id“：”https://openalex.org/C25343380，“wikidata”：https://www.wikidata.org/wiki/Q277521“，”display_name“：”关系（数据库）“，”级别“：2，”分数“：0.61253804}，{”id“：”https://openalex.org/C106624574，“wikidata”：https://www.wikidata.org/wiki/Q5270387“，”display_name“：”图解推理“，”level“：2，”score“：0.4869922}，{”id“：”https://openalex.org/C2780841128，“wikidata”：https://www.wikidata.org/wiki/Q5073781“，”display_name“：”表征（材料科学）“，”level“：2，”score“：0.41605872}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.4054076｝，｛”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.28964674}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.150588}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.10144034}，{”id“：”https://openalex.org/C192562407，“wikidata”：https://www.wikidata.org/wiki/Q228736“，”display_name“：”材料科学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C171250308，“wikidata”：https://www.wikidata.org/wiki/Q11468“，”display_name“：”Nanotechnology“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C77088390，“wikidata”：https://www.wikidata.org/wiki/Q8513“，”display_name“：”数据库“，”级别“：1，”分数“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C54355233，“wikidata”：https://www.wikidata.org/wiki/Q7162“，”display_name“：”Genetics“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2012.08.030“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：false，”landing_page_url“：”https://hal.inia.fr/hal-00730272“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://inria.hal.science/hal-00730272“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1016/j.tcs.2012.08.030“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”display_name“：”体面劳动与经济增长“，”id“：”https://metadata.un.org/sdg/8“，”score“：0.42}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：13，”referrenced_works“：【”https://openalex.org/W1997816727","https://openalex.org/W2031948276","https://openalex.org/W2040263743","https://openalex.org/W2042924775","https://openalex.org/W2043314428","https://openalex.org/W2045722392网址","https://openalex.org/W2056016391","https://openalex.org/W2056239109","https://openalex.org/W2107965579","https://openalex.org/W2148870725","https://openalex.org/W2323378191","https://openalex.org/W3102392708","https://openalex.org/W46056243“]，”related_works“：[”https://openalex.org/W4312716460","https://openalex.org/W4206221271","https://openalex.org/W3172487478","https://openalex.org/W2504157767网址","https://openalex.org/W2491573813","https://openalex.org/W2475418661","https://openalex.org/W2463026518","https://openalex.org/W1761458962","https://openalex.org/W1515515243","https://openalex.org/W1504820687“]，”ngrams_url“：”https://api.openalex.org/works/W2001532324/ngrams“，”“abstract_inverted_index”：{“This”：[0,89]，“paper”：[1]，“builds”：[2]，“on”：[3]，“a”：[4,14,35,61]，“basic”：[5]，“concept”：[6]，“of”：[7,13,32,34,41,65,80]，“rewriting”：[8,16,36,75]，“theory”：[9]，“that”：[10,53]，“characterizes”：[11]，“colleuence”：[12,33]，“binary”：[15]，“关系”，：[17]，“Klop\u2019s”：[18]，“共最终”：[19,54,94,97]，“派生。”：[20]，“共尾词“：[21]，“派生词”：[22,55,95]，“是”：[23]，“使用过”：[24,58]，“由”：[25,92]，“van”：[26105]，“Oostrom”：[27]，“到”：[28,59,74,96103108]，“获得”：[29]，“另一个”：[30]，“表征”：[31]，“关系”：[37]，“通过”：[38]，“the”：[39,78109]，“存在”：[40]，“递减”：[42]，“图表”：[43]，“for”：[44]，“all”：[45]，“local”：[46]，“peaks”。“：[47]，”In“：[48]，”this“：[49]，”paper“：[50]，”we“：-51]，”show“：[52]，”can“：[56]，”be“：[57]，”give“：[60]，”new“，”：[62]，“简明”：[63]，“证明”：[64]，“富山\u2019s”：[66]，“庆祝”：[67]，“模块性”：[68]，“定理”：[69]，“和”：[70]，“它的”：[71]，“最近”：[72]，“扩展”：[73]，“模”：[76110]，“In”：[77,86101]，“case”：[79]，“强相干”：[81]，“系统，“：[82]，”an“：[83]，”假设“：[84]，”讨论“：[85]，”深度“：[87]，”此处。“：[88]，”is“：[90]，”done“：[91]，”generalizing“：[93]，”streams“：[98]，”allowing“：[99]，”us“：[100]，”turn“：[102]，”泛化“：[104]，”Oostrom\u2019s“：[106]，”result“：[107]，”case“。“：[111]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2001532324”，“counts_by_year”：[｛“year”：2024，“cited_by_count”：1｝，｛“year”：2022，“cited_by_count”：1｝，｛“year”：2021，“cited_by_count”：1｝，｛“year”：2015，“cited_by_count”：1｝，｛“year”：2014，“cited_by_count”：1｝，｛“year”：2013，“cited_by_count”：1｝]，“updated_date”：“2024-06-17T18:26:33.664776”，“created_date”：“2016-06-06 24英寸}