{“id”：“https://openalex.org/W2165268511“，”doi“：”https://doi.org/10.1006/jsco.1996.0054“，”title“：“单边分配与乘法单位理论中统一性的判定”，”display_name“：”单面分配与乘数单位理论中的统一性“，”publication_year“：1996，”publitation_date“：”1996-03-01“，”ids“：{”openalex“：”https://openalex.org/W2165268511“，”doi“：”https://doi.org/10.1006/jsco.1996.0054“，”mag“：”2165268511“｝，”language“：”en“，”primary_location“：｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/jsco.1996.0054“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算杂志“，”issn_l“：”0747-7171“，”isn“：[”07477771“，”1095-855X“]，”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“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1006/jsco.1996.0054“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5012278873“，”display_name“：”Li Wang“，”orcid“：”https://orcid.org/0000-0002-1825-0097}，“机构”：[{“id”：https://openalex.org/I114090438“，”display_name“：”法兰克福歌德大学“，”ror“：”https://ror.org/04cvxnb49“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I114090438“]}]，”国家“：[”DE“]，”is_corresponding“：true，”raw_author_name“：”Manfred Schmidt-Schau\u00df“，”raw _ afiliation_strings“：[“Fachbereich Informatik，Johann Wolfgang Goethe-Universit \u00e4t，Postfach 11 19 32，Frankfurt，D-60054，Germany”]，“affiliations”：[{“raw_affiliation_string”：“Fachbereich Informatik，Johann Wolfgang Goethe University\u00e4t，Postfach 11 19 32，法兰克福，D-60054，德国“，”机构ID“：[”https://openalex.org/I114090438“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5012278873“]，”对应的机构ID“：[”https://openalex.org/I114090438“]，”apc_list“：{”value“：2770，”currency“：”USD“，”value_USD“：27700，”provenance“：”doaj“}，”apc _pay“：null，”fwci“：1.664，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：8，”cited_by_percentile_year“：{”min“：78，”max“：79}，“biblio”：{“volume”：“22”，“issue”：“3”，”first_p年龄“：”315“，”last_page“：”344“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9994，“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.9994，“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.9981，”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/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9981，”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/非单调推理“，”display_name“：”非单调推理“，”score“：0.518756}，{”id“：”https://openalex.org/keywords/combinatics-on-words网站“，”display_name“：”单词组合学“，”score“：0.515599}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”Constraint Logic Programming“，”score“：0.502605｝]，”concepts“：[｛”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.91336775}，{”id“：”https://openalex.org/C96146094，“wikidata”：https://www.wikidata.org/wiki/Q609057“，”display_name“：”Unification“，”level“：2，”score“：0.8620805}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.8359493}，{”id“：”https://openalex.org/C138390121，“wikidata”：https://www.wikidata.org/wiki/Q5283219“，”display_name“：”Distributive“，”level“：3，”score“：0.73104995}，{”id“：”https://openalex.org/C42747912，“wikidata”：https://www.wikidata.org/wiki/Q1048447“，”display_name“：”乘法函数“，”level“：2，”score“：0.65319926}，{”id“：”https://openalex.org/C157486923，“wikidata”：https://www.wikidata.org/wiki/Q1376436“，”display_name“：”String（physical）“，”level“：2，”score“：0.5643379}，{”id“：”https://openalex.org/C2778029271，“wikidata”：https://www.wikidata.org/wiki/Q5421931“，”display_name“：”扩展（谓词逻辑）“，”level“：2，”score“：0.47559202}，{”id“：”https://openalex.org/C122637931，“wikidata”：https://www.wikidata.org/wiki/Q118084“，”display_name“：”Unit（ring theory）“，”level“：2，”score“：0.41335782}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.41133717}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.25767314}，{”id“：”https://openalex.org/C11821877，“wikidata”：https://www.wikidata.org/wiki/Q187959“，”display_name“：”Distributive属性“，”level“：2，”score“：0.1143519}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.101370394}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.059966326}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.059913576}，{”id“：”https://openalex.org/C37914503，“wikidata”：https://www.wikidata.org/wiki/Q156495“，”display_name“：”数学物理“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C145420912，“wikidata”：https://www.wikidata.org/wiki/Q853077“，”display_name“：”数学教育“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/jsco.1996.0054“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算杂志“，”issn_l“：”0747-7171“，”isn“：[”07477771“，”1095-855X“]，”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.1006/jsco.1996.0054“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算杂志“，”issn_l“：”0747-7171“，”isn“：[”07477771“，”1095-855X“]，”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“：[{”score“：0.76，”display_name“：”和平、正义和强大的制度“，”id“：”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：18，”referrenced_works“：【”https://openalex.org/W1484865830","https://openalex.org/W1502428252","https://openalex.org/W1541144667","https://openalex.org/W1604010699","https://openalex.org/W1912847932","https://openalex.org/W1963980691","https://openalex.org/W1993370765","https://openalex.org/W2004193076","https://openalex.org/W2040248778","https://openalex.org/W2074213277","https://openalex.org/W2107308446","https://openalex.org/W2123995178","https://openalex.org/W2137167369","https://openalex.org/W2149257851","https://openalex.org/W2155542437","https://openalex.org/W2158942489","https://openalex.org/W2340102009","https://openalex.org/W2914314632“]，”related_works“：[”https://openalex.org/W324647241","https://openalex.org/W2981614836","https://openalex.org/W2566029784","https://openalex.org/W2498892212","https://openalex.org/W2160250760","https://openalex.org/W1981828430","https://openalex.org/W1583400373","https://openalex.org/W153224469","https://openalex.org/W1424724424","https://openalex.org/W1223318389“]，”ngrams_url“：”https://api.openalex.org/works/W2165268511/ngrams网站“，”“abstract_inverted_index”：{“Unification”：[0]，“in”：[1]，“the”：[2,46]，“equational”：[3]，“theory”：[4]，“of”：[5]，“one-sided”：[6]，“distributivity”：[7]，“and”：[8]，“a”：[9,20,26]，“multipative”：[10]，“unit”：[11]，“is”：[12,19]，“show”：[13,38]，“to”：[14,39]，“be”：[15,40]，“可判定”：[16]，“the”：[17]，“algorithm”：[18,28,48]，“non-determinative”：[21]，“one”：[22]，“that“：[23]，”finally“：[24]，”uses“：[25]，”decision“：[27,47]，”for“：[29,49]，”string“：[30,50]，”unified“：[31,51]，”problems“：[32]，”with“：[33]，”constant“：[34]，”restrictions“：[35]，”which“：[36]，”was“：[3]7，”dedictable“：[41]，”by“：[42,52]，”K.“：[43]，”Schulz“：[44]，“延伸”：[45]，“马卡宁。“：[53]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2165268511“，”counts_by_year“：[]，”updated_date“：”2024-06-20T09:03:59.221396“，”created_dates“：”2016-06-24“}“