{“id”：“https://openalex.org/W2008871143“，”doi“：”https://doi.org/10.1016/0304-3975（89）90131-x“，”title“：”On the Knuth-Bendix completion for concurrent process“，”display_name“：”On the Knutch-Bendix completion for concurlent processes“，“publication_year”：1989，“publiation_date”：“1989-08-01”，“ids”：{“openalex”：“https://openalex.org/W2008871143“，”doi“：”https://doi.org/10.1016/0304-3975（89）90131-x“，”mag“：”2008871143“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0304-3975（89）90131-x“，”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“：”期刊文章“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1016/0304-3975（89）90131-x“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5054093863“，”display_name“：”Volker Diekert“，”orcid“：”https://orcid.org/0000-0002-5994-3762“}，”机构“：[]，”国家“：[[]，”is_corresponding“：true，”raw_author_name“：”Volker Diekert“，”raw_affiliation_strings“：[]，“从属关系”：[]}]，“countries_distiction_count”：0，“institutions_disticent_count“：0，”corresponding_author_ids“：[”https://openalex.org/A5054093863“]，”“corresponding_institution_ids”：[]，“apc_list”：{“value”：2690，“currency”：“USD”，“value_USD”：26900，“provenance”：“doaj”}，“apc _ paid”：null，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：3，“cited_by_percentile_year”：{“min”：69，“max”：72}，”“biblio”：{-“volume”：”“66”，“issue”：“2”，“first_page”：“117”，“last_page”：“136”}，“is_retracted”：falseis_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9999，”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/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9999，”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/T10126“，”display_name“：”程序分析与验证技术“，”score“：0.9982，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9966，”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/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.477987}]，”concepts“：[{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.6722758}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.42162484}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”算术“，”level“：1，”score“：0.38690892}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.34181377}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0304-3975（89）90131-x“，”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}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0304-3975（89）90131-x“，”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“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1532229212","https://openalex.org/W1576513528","https://openalex.org/W1969380902","https://openalex.org/W1979101142","https://openalex.org/W1997017650","https://openalex.org/W2001280748","https://openalex.org/W2061936609","https://openalex.org/W2062170505","https://openalex.org/W2070333917","https://openalex.org/W2072390086","https://openalex.org/W2073165419","https://openalex.org/W2094424432","https://openalex.org/W2099954293","https://openalex.org/W2284233206","https://openalex.org/W2316437449","https://openalex.org/W3139868220","https://openalex.org/W33714751","https://openalex.org/W4232306982","https://openalex.org/W4233685614","https://openalex.org/W4237916620“]，”related_works“：[”https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W3002753104","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2077600819","https://openalex.org/W2061531152","https://openalex.org/W2007980826","https://openalex.org/W1979597421","https://openalex.org/W1587224694“]，”ngrams_url“：”https://api.openalex.org/works/W2008871143/ngrams“，”“abstract_inverted_index”：{“We”：[0,26,92]，“consider”：[1]，“critical”：[2,40,61]，“pairs”：[3]，“for”：[4]，“replacement”：[5,54,82]，“systems”：[6,33,55,75]，“over”：[7]，“free”：[8,71]，“partial”：[9]，“communive”：[10,78]，“monoids”：[11]，“This”：[12,63]，“is”：%13,65]，“done”“：[14]，”in“：[15,68]，”order“：[16]，”to“：[17,23]，”apply“：[18]，”the“：[19,69]，”Knuth-Bendix“：[20]，“完成”：[21]，“过程”：[22]，“并发”：[24]，“过程。“：[25]，”will“：[27,93]，”see“：[28]，”that“：[29,51]，”there“：[30]，”are“：[31]，”one-rule“：[32]，”which“：[34]，”have“：[35,56]，”no“：[36]，”finited“：[37,52,58]，”set“：[38,59]，”of“：[39,60,73,80,96]，”pairs。“：[41,62]，”因此“：[42]，”我们“：[43]，”开发“：[44]，”a“：[45,57]，”充足“：[46]，”（和“：[47,88]，”可计算）“：[48]，”条件“：[49,64]，”这样“：[50]，”跟踪“：[53]，”始终“：[66]，”满足“：[67]，”纯粹“：[70,77]，”大小写“：[72,79]，”半星期四“：[74]，”或“：[76]，“向量”：[81]，“系统”。“：[83]，”In“：[84]，”fact“：[85]，”it“：[86]，”generalizes“：[87]，”unifies）“：[89]，”both“：[90]，”cases。“：[91]，”give“：[94]，”examples“：[95]，”how“：[97]，”one“：[98]，”can“：[99]，”use“：[100]，”this“：[101]，”generalization“。“：[102]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2008871143”，“counts_by_year”：[｛“year”：2019，“cited_by_count”：1｝]，“updated_date”：“2024-06-17T18:27:01.215293”，“created_date”：“2016-06-24”｝