{“id”：“https://openalex.org/W2098036931“，”doi“：”https://doi.org/10.1109/sfcs.1977.9“，”title“：”Conflunt reducations:“抽象属性和术语重写系统的应用”，“display_name”：“Conflunt-reducation:抽象属性和应用到术语重写系统”，“publication_year”：1977，“publiction_date”：“1977-09-01”，“ids”：{“openalex”：“https://openalex.org/W2098036931“，”doi“：”https://doi.org/10.1109/sfcs.1977.9“，”mag“：”2098036931“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/sfcs.1977.9“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5060619322“，”display_name“：”G\u00e9rard Huet“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1326498283“，”display_name“：”法国计算机科学与自动化研究所“，”ror“：”https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}]，”countries“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”Gerard Huet“，”raw _affiliation_strings“：【”Domaine de Voluceau，IRIA-LABORIA，Rocquencourt，France“】}]，“countries_distiction_count”：1，“institutions_disticent_count“：1，”corresponding_author_ids“：[“https://openalex.org/A5060619322“]，”对应的机构ID“：[”https://openalex.org/I1326498283“]，”apc_list“：null，”apc _ paid“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：39，”cited_by_percentile_year“：{”min“：93，”max“：94}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：null}，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9962，”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/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9947，”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/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.52831}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.508153}]，”concepts“：[{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.88384867}，{”id“：”https://openalex.org/C77906462，“wikidata”：https://www.wikidata.org/wiki/Q1140902“，”display_name“：”Confluence“，”level“：2，”score“：0.88253534｝，｛”id“：”https://openalex.org/C54732982，“wikidata”：https://www.wikidata.org/wiki/Q1415345“，”display_name“：”Modulo“，”level“：2，”score“：0.8199582}，{”id“：”https://openalex.org/C167729594，“wikidata”：https://www.wikidata.org/wiki/Q17736“，”display_name“：”Axiom“，”level“：2，”score“：0.68812346}，{”id“：”https://openalex.org/C73301696，“wikidata”：https://www.wikidata.org/wiki/Q5469984“，”display_name“：”形式主义（音乐）“，”level“：3，”score“：0.6303108}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.52915055}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.49609527}，{”id“：”https://openalex.org/C61797465，“wikidata”：https://www.wikidata.org/wiki/Q1188986“，”display_name“：”Term（time）“，”level“：2，”score“：0.4804232}，{”id“：”https://openalex.org/C156103551，“wikidata”：https://www.wikidata.org/wiki/Q130998“，”display_name“：”等价关系“，”level“：2，”score“：0.4633207}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.4544963}，{”id“：”https://openalex.org/C65180967，“wikidata”：https://www.wikidata.org/wiki/Q130901“，”display_name“：”二进制关系“，”level“：2，”score“：0.45195335}，{”id“：”https://openalex.org/C11335779，“wikidata”：https://www.wikidata.org/wiki/Q3454686“，”display_name“：”Reduction（mathematics）“，”level“：2，”score“：0.42746162}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.38228333}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.33708015}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.33225054}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.31433064}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.20254698}，{”id“：”https://openalex.org/C142362112，“wikidata”：https://www.wikidata.org/wiki/Q735“，”display_name“：”Art“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C558565934，“wikidata”：https://www.wikidata.org/wiki/Q2743“，”display_name“：”Musical“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：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/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C153349607，“wikidata”：https://www.wikidata.org/wiki/Q36649“，”display_name“：”视觉艺术“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/sfcs.1977.9“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：11，“referrenced_works”：[”https://openalex.org/W1555194567","https://openalex.org/W2001547003","https://openalex.org/W2033278487","https://openalex.org/W2056239109","https://openalex.org/W206239768","https://openalex.org/W2100738443","https://openalex.org/W2293235079","https://openalex.org/W2323378191","https://openalex.org/W2507006525","https://openalex.org/W4255686418","https://openalex.org/W88748147“]，”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/W2098036931/ngrams网站“，”“abstract_inverted_index”：{“This”：[0]，“paper”：[1]，“gives”：[2,21]，“new”：[3,87]，“results，”：[4]，“and”：[5,38,78,80]，“presents”：[6]，“old”：%7]，“ones”：[8]，“in”：[9,42]，“a”：[10,30,43,49,72]，“unified”：[11,44]，“formalism，”：[12]，“converting”：[13]，“concern”“：[14]，”定理“：[15]，”for“：[16,29,89110]，”重写“：[17]，”系统“：[18]，”部分“：[19,63]，”1“：[20]，”抽象“：[22]，”合流“：[23,90]，”属性“：[24]，”依赖“：[25]，”单独“：[26]，”on“：[27,59,69]，”公理“：[28]，”二进制“：[31]，”关系“：[32]，”调用“：[33]，”约简。“：[34]，”结果“：[35，75]，”of“：[36，48，57，71，91，97113]，”纽曼“：[37]，”其他“：[39]，”are“：[40，82]，”presentated“：[41]，”形式主义。“：[45]，”系统“：[46]，”使用“：[47]，”强大“：[50]，”归纳“：[51]，”原则“：[52]，”允许“：[53]，”to“：[54,84]，”泛化“：[55]，”结果“：[56,96106]，”Sethi“：[58]，”约简“：[60]，”模“：[61]，”等价。“：[62]，”2“：[64]，”关注点“：[65]，”简化“：[66]，”系统“：[67]，”操作“：[68]，”术语“：[70]，”一阶“：[73]，”逻辑。“：[74]，”by“：[76]，”Rosen“：[77]，”Knuth“：[79]，”Bendix“：[81]，”extended“：[83]，”give“：[85]，”severse“：[86]，”criteria“：[88]，”these“：[92105]，”systems“：[93]，”using“：[94]，”the“：[95111]，”part“：[98]，”1.“：[99]，”It“：[100]，”is“：[101]，”thern“：[102]，“显示”：[103]，“如何”：[104]，“产量”：[107]，“效率”：[108]，“方法”：[109]，“机械化”：[112]，“等式”：[114]，“理论。“：[115]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2098036931“，”counts_by_year“：[]，”updated_date“：”2024-05-15T22:23:17.111683“，”创建日期“：”2016-06-24“}