{“id”：“https://openalex.org/W2090626768“，”doi“：”https://doi.org/10.1137/0212“，”title“：”关于证明重写系统的统一终止和限制性终止“，”display_name“：”关于证明重写系统的统一终止和限制性终止“，”publication_year“：1983，”publication_date“：”1983-02-01“，”ids“：｛”openalex“：”https://openalex.org/W2090626768“，”doi“：”https://doi.org/10.1137/0212“，”mag“：”2090626768“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1137/0212“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S153560523“，”display_name“：”SIAM Journal on Computing“，”issn_l“：”0097-5397“，”isn“：[”0097-50397“、”1095-7111“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320508“，”“host_organization_name”：“工业与应用数学学会”，“host_ordanization_lineage”：[“https://openalex.org/P4310320508“]，”host_organization_lineage_names“：[”工业与应用数学学会“]，”type“：”journal“}，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：”journal article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5007282049“，”display_name“：”John V.Guttag“，”orcid“：”https://orcid.org/0000-0003-0992-0906“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：J.V.Guttag”，“raw_affiliation_strings”：[]，“affiliations”：[]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5003856856“，”display_name“：”Deepak Kapur“，”orcid“：”https://orcid.org/0000-0003-2464-2895“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”D.Kapur“，”raw_affiliation_strings“：[]，“从属关系”：[]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5046039594“，”display_name“：”David R.Musser“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”D.R.Mussier“，”raw _affiliation_strings“：]，“affiliations”：[]}]，“institutions_assertions”：[】，“countries_distiction_count”：0，“corresponding_author_ids”：[），“correcondition_institution_id”ds“：[]，”apc_list“：null，”apc_payed“：nul，”fwci“：5.981，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：54，”citation_normalized_percentile“：{”value“：0.955565，”is_in_top_1_percent“：false，”is.in_top_10_percennt“：true}，”cited_by_percentile_year“：{“min”：94，“max”：95}，“biblio”：{“volume”：“12”，“issue”：“1”，“first_page”：“189”，“last_page”：“214”}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9984，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.9984，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.9393，“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/T13523“，”display_name“：”数学信息检索与搜索“，”score“：0.9325，”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/equivalence-relation（https://openalex.org/keywords/equivalence-relation）“，”display_name“：”等价关系“，”score“：0.6206692}，{”id“：”https://openalex.org/keywords/confluence网站“，”display_name“：”Confluence“，”score“：0.5863968}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.500087}，{”id“：”https://openalex.org/keywords/finite-set“，”display_name“：”有限集“，”score“：0.4410299}]，”concepts“：[{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.8659235}，{”id“：”https://openalex.org/C167729594，“wikidata”：https://www.wikidata.org/wiki/Q17736“，”display_name“：”Axiom“，”level“：2，”score“：0.7347915}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.71435505}，{”id“：”https://openalex.org/C156103551，“wikidata”：https://www.wikidata.org/wiki/Q130998网址“，”display_name“：”等价关系“，”level“：2，”score“：0.6206692}，{”id“：”https://openalex.org/C77906462，“wikidata”：https://www.wikidata.org/wiki/Q1140902“，”display_name“：”Confluence“，”level“：2，”score“：0.5863968}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.55265784}，{”id“：”https://openalex.org/C25343380，“wikidata”：https://www.wikidata.org/wiki/Q277521“，”display_name“：”关系（数据库）“，”级别“：2，”分数“：0.51814926}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.4429577}，{”id“：”https://openalex.org/C162392398，“wikidata”：https://www.wikidata.org/wiki/Q272404“，”display_name“：”有限集“，”level“：2，”score“：0.4410299｝，｛”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.39549232}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.34000415}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.33870527}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.28884506}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”等级“：0，”分数“：0.15738684}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.07052496}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C77088390，“wikidata”：https://www.wikidata.org/wiki/Q8513“，”display_name“：”Database“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1137/0212“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S153560523“，”display_name“：”SIAM Journal on Computing“，”issn_l“：”0097-5397“，”isn“：[”0097-50397“、”1095-7111“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320508“，”“host_organization_name”：“工业与应用数学学会”，“host_ordanization_lineage”：[“https://openalex.org/P4310320508“]，”host_organization_lineage_names“：[”工业和应用数学学会“]，“type”：“journal”}，“license”：null，“licence_id”：null'，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[{“display_name”：“和平、正义和强大的制度”，“score”：0.61，“id”：“https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：8，”referrenced_works“：【”https://openalex.org/W1481059806","https://openalex.org/W1598625331","https://openalex.org/W1979101142","https://openalex.org/W2015874281","https://openalex.org/W2056016391","https://openalex.org/W2057602126","https://openalex.org/W2507006525","https://openalex.org/W4861723“]，”related_works“：[”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/W1569493237","https://openalex.org/W1515515243","https://openalex.org/W1504820687“]，”abstract_inverted_index“：{”In“：[0186]，”mechanical“：[1]，”定理“：[2]，”证明“：[3]，”特别是“：[4]，”In“：[5]，”证明”：[6,97117174]，”属性“：[7,72]，”of“：[8,22,27,46,73,96105116173183205211]，”代数“：[9]，”指定“：[10]，”数据“：[11]，”类型“：[12]，”we“：[13]，“频繁”：[14]，“需要”：[15]，“a”：[16,23,44,56,85200209]，“决定“：[17]，“过程”：[18]，“for”：[19196]，“the”：[20,42,65,68102106124168181189]，“theory”：[21]，“given”：[24]，“finited”：[25129]，“set”：[26,45]，“equations”：[28]，（公理）。“：[29]，”A“：[30113164]，”通用“：[31]，”方法“：[32109]，”to“：[33,37,39,5510139167199]，”this“：[34203]，”problem“：[35]，”is“：[36,88120127155176]，”try“：[38]，”derive“：[40]，”from“：[41]，”axioms“：[43,66]，”rewrite“：[47,54107]，”rules“：[48,76]，”that“：[49,61,87]123159]，“are”：[50,62,77134151]，“\”canonical，“”：[51]，“即”：[52]，“they”：[53,83]，“规范“：[57,78]，”形式“：[58]，”全部“：[59]，”术语“：[60138197]，”相等“：[63]，”（根据“：[64]，”和“：[67,70,80,91170178]，”等价“：[69]，”替换“：[71]，”等式）。“：[74]，“重写”：[75]，“if”：[79,82149]，“only”：[81135148193]，“determine”：[84]，“relation”：[86126]，“both”：[89]，“confluent”：[90]，“uniformally”：[92]，“terminating”。“：[93]，”The“：[94]，”difficture“：[95]，”uniform“：[98118]，”termination“：[99119154195]，”has“：[100208]，”been“：[101]，”major“：[103]，”defect“：[104]，”rule“：[108]，“decimining”：[111]，”equations。“：[112]，”新“：[114]，”方法“：[115165172191]，”提议。“：[121]，”假设“：[122]，”重写“：[125]，”全局“：[128]，”（对于“：[130]，”任意“：[131]，”术语“：[132]，”there“：[133150]，”有限“：[136]，”多“：[137]，”which“：[140]，”it“：[141]，”can“：[142146162]，”be“：[143]，”rewriten“，”：[144]，”非终结“：[145]，”发生“：[147]，”循环。“：[152]，”统一“：[153]，”证明“：[156]，”通过“：[157]，”显示“：[158]，”否“：[160]，”循环“：[161]，”发生。“：[163]，”related“：[166]，”Knuth“：[169]，”Bendix“：[171]，”confluence“：[175]，”developed“：[177]，”use“：[179]，”as“：[180]，”basis“：[182]，”such“：[184]，”proof。“：[185]，”大多数“：[187]，”案例“：[188]，”提议“：[190]，”将“：[192]，”证明“：[194]，”向上“：[198]，”确定“：[201]，”大小；“：[202]，”种类“：[204]，”限制“：[206]，”终止“：[207]，”编号“：[210]，”应用程序。“：[212]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2090626768“，”“counts_by_year”：[{“年份”：2024，”“cited_by_count”：2}，{“年度”：2023，”“cited_by_cunt”：1}，”“年份”“：2020，”“cited_by-count”“：1}，”“：2012，”cited_by_count“：1}]，“updated_date”：“2024-09-14T18:15:24.905400”，“创建日期”：“2016-06-24"}