{“id”：“https://openalex.org/W2005100064“，”doi“：”https://doi.org/10.1006/jsco.1996.0059“，”title“：”Modular Higher Order Equational Preunified“，”display_name“：”模块化高阶方程预统一“，”publication_year“：1996，”publiation_date“：”1996-10-01“，”ids“：{”openalex“：”https://openalex.org/W2005100064“，”doi“：”https://doi.org/10.1006/jsco.1996.0059“，”mag“：”2005100064“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/jsco.1996.0059“，”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“：”hybrid“，”oa_url“：”https://doi.org/10.1006/jsco.1996.0059“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5049805285“，”display_name“：”Zhenyu Qian“，”orcid“：”https://orcid.org/0000-0002-3921-3818}，“机构”：[{“id”：https://openalex.org/I180437899“，”display_name“：”不来梅大学“，”ror“：”https://ror.org/04ers2y35“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I180437899“]｝]，”国家“：[”DE“]，”is_correresponsing“：false，”raw_author_name“：”钱振宇“，”raw_affiation_strings“：[”FB3 Informatik，Universit \u00e4t Bremen，Bremen，28359，Germany“]｝，｛”author_position“：”last“，”author“：｛”id“：”https://openalex.org/A5039679140“，”display_name“：”Kang Wang“，”orcid“：”https://orcid.org/0000-0002-3169-6034}，“机构”：[{“id”：https://openalex.org/I180437899“，”display_name“：”不来梅大学“，”ror“：”https://ror.org/04ers2y35“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I180437899“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Kang Wang“，”raw _affiliation_strings“：[“FB3 Informatik，University \u00e4t Bremen，Bremen；28359，Germany”]}]“countries_distict_count”：1，“institutions_distinact_count”：2，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：{“value”：2770，“货币”：“美元”，“value_usd“：2770，”provenance“：”doaj“}，”apc_payed“：{”value“：27700，”currency“：”usd“，”value_usd:2770，”province“：”doaj“{，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：2，”citected_by_percentile_year“：{”min“：65，”max“：69}，“biblio”：{“volume”：“22”，“issue”：“4”，“”first_page“：”401“，”last_page“：”424“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析与验证技术“，”score“：0.9985，”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.9985，”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.9952，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9912，“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.487338}]，”concepts“：[{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.79368216}，{”id“：”https://openalex.org/C96146094，“wikidata”：https://www.wikidata.org/wiki/Q609057“，”display_name“：”Unification“，”level“：2，”score“：0.7163911}，{”id“：”https://openalex.org/C165464430，“wikidata”：https://www.wikidata.org/wiki/Q1570441“，”display_name“：”参数化复杂性“，”level“：2，”score“：0.68994534}，{”id“：”https://openalex.org/C154564781，“wikidata”：https://www.wikidata.org/wiki/Q5384236“，”display_name“：”等式逻辑“，”level“：3，”score“：0.6422907}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.556578}，{”id“：”https://openalex.org/C101468663，“wikidata”：https://www.wikidata.org/wiki/Q1620158“，”display_name“：”模块化设计“，”level“：2，”score“：0.5377135}，{”id“：”https://openalex.org/C156103551，“wikidata”：https://www.wikidata.org/wiki/Q130998“，”display_name“：”等价关系“，”level“：2，”score“：0.5318185}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”display_name“：”字段上的代数“，”level“：2，”score“：0.4850001｝，｛”id“：”https://openalex.org/C182306322，“wikidata”：https://www.wikidata.org/wiki/Q1779371“，”display_name“：”Order（exchange）“，”level“：2，”score“：0.4638683}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.32022792}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.30030257}，{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.26873016}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.26001793}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.25241768｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.23735818}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.17312351}，{”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}，{”id“：”https://openalex.org/C10138342，“wikidata”：https://www.wikidata.org/wiki/Q43015“，”display_name“：”Finance“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”Economics“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/jsco.1996.0059“，”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.0059“，”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“：[]，”grants“：[]，”dataset“：[]，”versions“：[]，”referenced_works_count“：0，”referenced_works“：[]，”related_works“：[”https://openalex.org/W2886170","https://openalex.org/W2499765358","https://openalex.org/W2407231905","https://openalex.org/W2367630557","https://openalex.org/W2349728712","https://openalex.org/W2051058708","https://openalex.org/W185837290","https://openalex.org/W154868527","https://openalex.org/W147449402","https://openalex.org/W101666983“]，”ngrams_url“：”https://api.openalex.org/works/W2005100064/ngrams“，”“abstract_inverted_index”：{“预统一”：[0]，“的”：[1]，“简单”：[2]，“类型化”：[3]，“\u03bb-terms”：[4]，“with”：[5]，“尊重”：[6]，“to”：[7,65]，“the”：[8,72]，“等价”：[9]，“relation”：[10]，“induced”：[11]，“by”：[12,50]，“\u 03b1-，”：[13]，“\ u03b2-“：[14]，”和“：[15,17,28,48,68]，”\u03b7-conversion“：[16]，”an“：[18]，”任意“：[19]，”一阶“：[20,52]，”等式”：[21，53]，“理论”：[22]，“is”：[23，43，63]，“有用”：[24]，“in”：[25]，“高阶”：[26]，“证明”：[27]，“逻辑”：[29]，“编程”：[30]，“系统”。“：[31]，”In“：[32]，”this“：[33]，”paper“：[34]，”we“：35]，”present“：[36]，”a“：[37,51]，”procedure“：[38,55,62,74]，”for“：[39]，”suse“：[40]，”预统一“：[41]，”which“：[42]，”based“：[44]，”on“：[45]，”three“：%46]，”transformation“：[47]，”parameterized“：[49]，”unified“54]，“that”：[56,71]，“accounts”：[57]，“free”：[58]，“function”：[59]，“symbols”。“：[60]，”The“：[61]，”proved“：[64]，”be“：[66]，”sound“：[67]，”complete“，”：[69]，“provided”：[70]，”parametering“：[73]，”is“：[75]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2005100064“，”counts_by_year“：[]，”updated_date“：”2024-05-11T04:02:50.575115“，”created_dates“：”2016-06-24“}“