{“id”：“https://openalex.org/W2164661513“，”doi“：”https://doi.org/10.1017/s0960129501003425“，”title“：”Double-pushout graph transformation reviewed“，”display_name“：”Double-phushout graphic transformation-reased“，”publication_year“：2001，”publiation_date“：”2001-09-25“，”ids“：{”openalex“：”https://openalex.org/W2164661513“，”doi“：”https://doi.org/10.1017/s0960129501003425“，”mag“：”2164661513“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s0960129501003425“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”MSCS。计算机科学的数学结构/计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nully，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access’：{”is_oa“：false，”“oa_status”：“closed”，“oa_url”：空，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5066151118“，”display_name“：”Annegret Habel“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I129877168“，”display_name“：”卡尔·冯·奥斯西茨基大学\u00e4t奥尔登堡“，”ror“：”https://ror.org/033n9gh91“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I129877168“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Annegret Habel“，”raw _affiliation_strings“：[“University\u00e4t Oldenburg，Fachbereich Informatik，26111 Oldenbrg，Germany#TAB#”]，”从属关系“：[{”raw_affiliation_string“：”University\ u00e4 t Oldenpurg，Fachberich Information，26111 Ordenburg，Dermany#TAB#“，”institution_ids“：[“”https://openalex.org/I129877168“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5046711693“，”display_name“：”J\u00fcrgen M\u00fcller“，”orcid“：”https://orcid.org/0000-0002-2404-8004}，“机构”：[{“id”：https://openalex.org/I137377929“，”display_name“：”东苏塞克斯郡议会“，”ror“：”https://ror.org/0236s9n59“，”country_code“：”GB“，”type“：”government“，”沿袭“：[”https://openalex.org/I137377929“]｝]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”J\u00fcrgen M\u00fcller“，”raw_affiation_strings“：[”28 Chichester Road，Seaford，East Sussex BN25 2DL，United Kingdom#TAB#“]，”附属机构“：[｛”raw_affiation_strings“：”28 Chichester Road，Seaford，East Sussex BN25 2DL，United Kingdom#TAB#“，”institution_ids“：[”https://openalex.org/I137377929“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5043880052“，”display_name“：”Detlef Plump“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I52099693“，”display_name“：”约克大学“，”ror“：”https://ror.org/04m01e293“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I52099693“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Detlef Plump“，”raw _affiliation_strings“：[“约克大学，计算机科学系，约克YO10 5DD，英国”]，”affiliations“：[{”raw _affiliation_string“：”约克大学计算机科学系https://openalex.org/I52099693“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：3，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]“apc_list”：null，”apc_payed“：null”，“fwci”：6.404，”has_fulltext“：false，”cited_by_count“问题”：“5”，“first_page”：“637”，“last_page”：“688”}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9999，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9999，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”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.9964，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9942，“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/graph-transformation网站“，”display_name“：”Graph Transformation“，”score“：0.555221}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.501872}]，”concepts“：[{”id“：”https://openalex.org/C128107574，“wikidata”：https://www.wikidata.org/wiki/Q182003“，”display_name“：”注入函数“，”level“：2，”score“：0.83409554}，{”id“：”https://openalex.org/C137212723，“wikidata”：https://www.wikidata.org/wiki/Q1948412“，”display_name“：”Morphism“，”level“：2，”score“：0.75357735}，{”id“：”https://openalex.org/C558772884，“wikidata”：https://www.wikidata.org/wiki/Q1508564“，”display_name“：”Graph rewriting“，”level“：3，”score“：0.7422417}，{”id“：”https://openalex.org/C183778304，“wikidata”：https://www.wikidata.org/wiki/Q165474网址“，”display_name“：”交换属性“，”level“：2，”score“：0.5570675}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.531326｝，｛”id“：”https://openalex.org/C193702766，“wikidata”：https://www.wikidata.org/wiki/Q1414548“，”display_name“：”Concurrency“，”level“：2，”score“：0.500087}，{”id“：”https://openalex.org/C132525143，“wikidata”：https://www.wikidata.org/wiki/Q141488“，”display_name“：”Graph“，”level“：2，”score“：0.47541696}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.4535788}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.34958717}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”“display_name”“：”编程语言“，”级别“：1，”分数“：0.1171017}]，”网格“：[]，”位置“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s0960129501003425“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”MSCS。计算机科学的数学结构/计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：〔〕，“versions”：[〕，“referenced_works_count”：21，“referenced_works“：[”https://openalex.org/W110217058","https://openalex.org/W1483113404","https://openalex.org/W1501947878","https://openalex.org/W1508113248","https://openalex.org/W1512007370","https://openalex.org/W1523742478","https://openalex.org/W1574796876","https://openalex.org/W1583295953","https://openalex.org/W1670714099","https://openalex.org/W1829867068","https://openalex.org/W190356767","https://openalex.org/W1905682100","https://openalex.org/W1965970196","https://openalex.org/W1967230567","https://openalex.org/W1979101142","https://openalex.org/W2088027070","https://openalex.org/W2115199345","https://openalex.org/W2120995755","https://openalex.org/W2127455123","https://openalex.org/W2536118580","https://openalex.org/W3162628298“]，”related_works“：[”https://openalex.org/W4226528071","https://openalex.org/W3171842896","https://openalex.org/W2559087450","https://openalex.org/W2462006189","https://openalex.org/W2164661513","https://openalex.org/W2121615720","https://openalex.org/W2067387446","https://openalex.org/W1670714099","https://openalex.org/W1545926607","https://openalex.org/W1492424467“]，”ngrams_url“：”https://api.openalex.org/works/W2164661513/ngrams“，”“abstract_inverted_index”：{“In”：[0104]，“this”：[1,95]，“paper”：[2]，“we”：[3,29,73118]，“investive”：[4]，“and”：[5,25,62,86,92114121128]，“compare”：[6]，“four”：%7]，“variants”：[8]，“of”：[9,77]，“the”：[10,19,78,82,98107]，“double pushout”：[11]，“approach”：%12,2110]，“to”：[13]，“图形”：[14,56,65,69]，“转换”：[15]，“As”：[16]，“well”：[17]，“As”：[18]，“传统”：[20]，“with”：[22111]，“任意”：[23,38115]，“匹配”：[24,36,47113]，“内射”：[26,35,46112]，“右手”：[27,39116]，“语素”，“：[28117]，“考虑”：[30]，“三”：[31,79]，“变体”：[32,80]，“by”：[33,58,67124]，“使用”：[34]，“和/或”：[37]，“词素”：[40]，“in“：[41,51]，”规则。“：[42]，”我们“：[43]，”表演“：[44]，”那“：[45]，“提供”：[48]，“附加”：[49]，“表达”：[50]，“两个”：[52]，“方面：”：[53]，“用于”：[54,63,75106]，“生成”：[55]，“语言”：[57]，“语法”：[59]，“无”：[60]，“非终结”：[61]，“计算”：[64]，“函数”：[66]，“收敛”：[68]，“转换”：[70]，“系统”：[71]，“然后”：[72]，“澄清“：[74]，”每个“：[76]，”是否“：[81]，”众所周知“：[83]，“可交换性”，：[84]，“并行性”：[85]，“并发”：[87]，“定理”：[88]，“是”：[89]，“仍然”：[90]，“有效”：[91]，“\u2013”：[93100]，“其中”：[94]，“is”：[96]，“not”：[97]，“case”：[99]，“give”：[101]，“modified”：[102]，“results.”：[103]，“special”：[105]，“most”：[108]，“通用“：[109]，”建立“：[119]，”顺序“：[121227]，”并行“：[122129]，“可交换性”：[123]，“适当”：[125]，“加强”：[126]，“独立性”：%130]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W2164661513“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}，{”年份“：2023，”ciped_by_cunt“：4}，”{“年份”：2022，“cited_by_count”：5}，“{”年度“：2021，”cited_by_count“年份”：2016，“引用_ by_count”：3}，{“年份”:2015，“引用_by_counts”：4}，}“年份“：2014，”引用_ by-count“：4]，{“年份”：2013，“引用_ by_count”：3}，{”年份“：2012，”引用_ by-count“：8}]，”更新日期“：“2024-06-22T06:47:28.495780”，“创建日期”：“2016-06-24”}