｛“id”：“https://openalex.org/W1502451498“，”doi“：”https://doi.org/10.1007/3-540-54317-1_88“，”title“：“自动等式推理在多值逻辑中的应用”，”display_name“：”自动等式逻辑在多值逻辑学中的应用“，”publication_year“：1991，”publiation_date“：”1991-01-01“，”ids“：{”openalex“：”https://openalex.org/W1502451498“，”doi“：”https://doi.org/10.1007/3-540-54317-1_88“，”mag“：”1502451498“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-54317-1_88“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”issn“：[”0302-9743“，”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer Science+Business Media“]，”type“：”图书系列“}，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”图书章节“，”type_crossref“：”图书章节“，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url“：null”，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5025857046“，”display_name“：”Siva Anantharaman“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I12449238“，”display_name“：”Universit\u00e9 d'Orl\u00e9ans“，”ror“：”https://ror.org/014zrew76“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I12449238“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Siva Anantharaman“，”raw _ afiliation_strings“：[“University \u00e9 D'Orleans”]，”affiliations“：[{”raw_ afiliation _string“：”University \ u00e8 D'Orlians“，”institution_ids“：]”https://openalex.org/I12449238“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5082604888“，”display_name“：”Maria Paola Bonacina“，”orcid“：”https://orcid.org/0000-0001-9104-2692}，“机构”：[{“id”：https://openalex.org/I59553526“，”display_name“：”石溪大学“，”ror“：”https://ror.org/05qghxh33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I59553526“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Maria Paola Bonacina“，”raw_affiliation_strings“：[“纽约州立大学石溪分校”]，”affiliations“：[{”raw_affiliation_string“：”纽约州立大学石溪分校”，“institution_ids”：[“https://openalex.org/I59553526“]}]}]，”countries_distinact_count“：2，”institutions_disticant_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：null，”has_fulltext“：false，”cited_by_count _年份：{“最小”：71，“最大”：74}，“书目”：{volume“：null，”issue“：nul，”first_page“：”155“，”last_page“：”161“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9909，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9909，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9689，”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/T11063“，”display_name“：”粗糙集理论与应用“，”score“：0.9515，”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/description-logics网站“，”display_name“：”Description Logics“，”score“：0.49339}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5476181}，{”id“：”https://openalex.org/C195344581，“wikidata”：https://www.wikidata.org/wiki/Q2555318“，”display_name“：”自动推理“，”level“：2，”score“：0.50501376}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.49352133}，{”id“：”https://openalex.org/C154564781，“wikidata”：https://www.wikidata.org/wiki/Q5384236“，”display_name“：”等式逻辑“，”level“：3，”score“：0.4501422}，{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.13111964}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-54317-1_88“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”issn“：[”0302-9743“，”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：4，“referenced_works“：[”https://openalex.org/W1519073978","https://openalex.org/W1538336754","https://openalex.org/W2024390796","https://openalex.org/W2024973091“]，”related_works“：[”https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W237267753","https://openalex.org/W2358668433","https://openalex.org/W2001405890","https://openalex.org/W1991226929","https://openalex.org/W15652953","https://openalex.org/W1502451498“]，”ngrams_url“：”https://api.openalex.org/works/W1502451498/ngrams“，”“abstract_inverted_index”：{“In”：[0]，“this”：[1]，“paper”：[2,82]，“we”：[3]，“present”：[4]，“a”：[5]，“new”：[6,60102]，“set”：[7,37103]，“of”：[8,10,18,35,38,78104]，“公理”：[9,61]，“an”：[11]，“代数”：[12]，“自然”：[13]，“for”：[14,29,6,61]5,73]，“the”：[15,30,52,75,91,97109]，“many-valued”：[16,92]，“logic”：[17]，“Lukasiewicz”：[19]，“These”：[20,59]，“是“：[22]，”类似“：[23]，”到“：[24,51100]，”那些“：[25,41]，”给定“：[26,42]，”由“：[27,43,49]，”J.Xiang“：[28]，”布尔“：[31]，”代数。“：[32]，“The”：[33]，“equivalence”：[34]，“our”：[3]101]，“with”：%40]，“Lukasiewicz”：[44]，“hisels”：[45]，“is”：[46,83]，“proved”：[47]，“mechanical”：[48]，“restoring”：[50]，“Automatic”：[53]，“UKB based”：[P4]，“Equational”：[55]，“Thermine”：[56]，“Provider”：[57]，“SBR3.”：[58]112]，“可以”：[62]，“是”：[63]，“有用”：[64]，“进一步”：[66]，“等式”：[67110]，“推理”：[68]，“in”：[69]，“such”：[70]，“logics”：[71]，“or”：[72]，“interpreting”：[74]，“\u2018equality”：[76]，“symbol \u2019”：[77]，“linear”：[79]，“逻辑。”：[80,93]，“This”：[81]，“organized”：[84]，“as”：[85]，“following。”：+86]，“Section”：[87,94106]，“1”：[88]，“presents”：[89108]，“briefly”：[90]，“2”：[95]，“表示”：[96]，“证明步骤”：[98]，“领先”：[99]，“公理”：[105]，“3”：[107]，“证明人”：[111]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W1502451498”，“counts_by_year”：[｛“year”：2022，“cited_by_count”：1｝，｛“year”：2013，“cited_by_count”：1｝]，“updated_date”：“2024-06-23T18:24:55.935018”，“created_date”：“2016-06-24”｝