{“id”：“https://openalex.org/W1505707098“，”doi“：”https://doi.org/10.1007/978-3-642-20920-8_2“，”title“：”Unification in Logic“，”display_name“：”Unification on Logic“、”publication_year“：2011，”publication_date“：”2011-01-01“，”ids“：{”openalex“：”https://openalex.org/W1505707098“，”doi“：”https://doi.org/10.1007/978-3-642-20920-8_2“，”mag“：”1505707098“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-642-20920-8_2，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-642-20920-82.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”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”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007/978-3-642-20920-82.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5087051979“，”display_name“：”Rosalie Iemhoff“，”orcid“：”https://orcid.org/0000-0001-9975-9604}，“机构”：[{“id”：https://openalex.org/I193662353“，”display_name“：”乌得勒支大学“，”ror“：”https://ror.org/04pp8hn57“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I193662353“]}]，”国家“：[”NL“]，”is_corresponding“：true，”raw_author_name“：”Rosalie Iemhoff“，”raw _ afiliation_strings“：[“荷兰乌得勒支大学哲学系”]，”affiliations“：[{”raw _affiliation_string“：”荷兰乌得勒支大学哲学部“，”institution_ids“：[https://openalex.org/I193662353“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5087051979“]，”对应的机构ID“：[”https://openalex.org/I193662353“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：0，”cited_by_percentile_year“:{”min:0，“max”：69}，“biblio”：{“volume”：null、“issue”：nul，“first_page”：“2”“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.8365，”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.8365，”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.7956，”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/modal-logics网站“，”display_name“：”模态逻辑“，”score“：0.522518}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.505767}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.500196}]，”concepts“：[{”id“：”https://openalex.org/C96146094，“wikidata”：https://www.wikidata.org/wiki/Q609057“，”display_name“：”Unification“，”level“：2，”score“：0.7716948}，{”id“：”https://openalex.org/C191222856，“wikidata”：https://www.wikidata.org/wiki/Q655328“，”display_name“：”格式正确的公式“，”level“：5，”score“：0.64164317｝，｛”id“：”https://openalex.org/C69562738，“wikidata”：https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.63707644}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.5746946}，{”id“：”https://openalex.org/C86602344，“wikidata”：https://www.wikidata.org/wiki/Q7667918“，”display_name“：”T-范数模糊逻辑“，”level“：5，”score“：0.55561817}，{”id“：”https://openalex.org/C14523651，“wikidata”：https://www.wikidata.org/wiki/Q3492863“，”display_name“：”命题变量“，”level“：4，”score“：0.53544784}，{”id“：”https://openalex.org/C33203268，“wikidata”：https://www.wikidata.org/wiki/Q5361594“，”display_name“：”中间逻辑“，”level“：3，”score“：0.5275357}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.48838657}，{”id“：”https://openalex.org/C11191006，“wikidata”：https://www.wikidata.org/wiki/Q2663311“，”display_name“：”辅助功能关系“，”level“：4，”score“：0.48779395}，{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”“display_name”“：”属性（哲学）“，”级别“：2，”分数“：0.48043323}，{”id“：”https://openalex.org/C32241873，“wikidata”：https://www.wikidata.org/wiki/Q236975“，”display_name“：”经典逻辑“，”level“：2，”score“：0.47997928}，{”id“：”https://openalex.org/C27508121，“wikidata”：https://www.wikidata.org/wiki/Q210841“，”display_name“：”模态逻辑“，”level“：3，”score“：0.47126293}，{”id“：”https://openalex.org/C3746660，“wikidata”：https://www.wikidata.org/wiki/Q1068763“，”display_name“：”推理规则“，”level“：2，”score“：0.47119522}，{”id“：”https://openalex.org/C114092440，“wikidata”：https://www.wikidata.org/wiki/Q840226“，”display_name“：”普通模态逻辑“，”level“：4，”score“：0.4692794}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.44905216}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.44829512}，{”id“：”https://openalex.org/C2778220771，“wikidata”：https://www.wikidata.org/wiki/Q1522579“，”display_name“：”替换（逻辑）“，”level“：2，”score“：0.44552696}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.44495007}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3081018}，{”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.26283556}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.22904798｝，｛”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.211834436｝，｛”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.20400769}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.14057723｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.12121105}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.113764554}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.08317351}，{”id“：”https://openalex.org/C58166，“wikidata”：https://www.wikidata.org/wiki/Q224821“，”display_name“：”模糊逻辑“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C5263885，“wikidata”：https://www.wikidata.org/wiki/Q1967302“，”display_name“：”成员函数“，”level“：4，”score“：0.0}，{”id“：”https://openalex.org/C42011625，“wikidata”：https://www.wikidata.org/wiki/Q1055058“，”display_name“：”模糊集“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C188027245，“wikidata”：https://www.wikidata.org/wiki/Q750446“，”display_name“：”聚合物化学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-642-20920-8_2，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-642-20920-82.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”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”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”best_oa_location“：{”is_oa“：true”，“landing_page_url”：“https://doi.org/10.1007/978-3-642-20920-8_2，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-642-20920-82.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”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”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”display_name“：”减少不平等“，”id“：”https://metadata.un.org/sdg/10“，”score“：0.41}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：0，”referrenced_works“：]，”related_work斯“：[”https://openalex.org/W4377031878","https://openalex.org/W4285322719","https://openalex.org/W4281905789","https://openalex.org/W4238564440","https://openalex.org/W3148603535","https://openalex.org/W3122667086","https://openalex.org/W3044232991","https://openalex.org/W2949968785","https://openalex.org/W2441642482","https://openalex.org/W2156897951“]，”ngrams_url“：”https://api.openalex.org/works/W1505707098/ngrams“，”abstract_inverted_index“：{”There“：[0]，”are“：[1]，”many“：[2,91]，”problems“：[3]，”in“：[4,10,53,82]，”mathematics“：[5]，”that“：[6,15,24,72116]，”can“：[7]，”be“：[8]，”cast“：[9]，”terms“：[11]，”of“：[12,18,35,40,77113120127]，”unified“：[13]，”意为“：[14]，”a“：[16,22,32,42,45,49,64,70,78,98110]，“解决方案”：[17]，“问题”：[19,38,54121]，“是“：[21,44,69109123]，“替换”：[23,46]，“标识”：[25]，“两个”：[26]，“术语”，：[27]，“要么”：[28]，“字面上”：[29]，“或”：[30]，“反对”：[31]，“背景”：[33]，“理论”：[34]，“等价。“：[36]，”In“：[37,56102]，”context“：[39]，”logics“：[41104]，”unifier“：[43,71119]，”under“：[47]，”which“：[48,68]，”formula“：[00107122]，”变为“：[51]，”derivable“：[52]，”逻辑。“：[55]，”经典“：[57]，”命题“：[58,95]，”逻辑“：[59]，”全部“：[60,74]，”可统一“：[61]，”公式“：[62]，”有“：[63,86]，”大多数“：[65]，”一般“：[66,83]，”统一者“：[67]，”生成“：[73]，”其他“：[75118]，”联合者“：[%6114]，”计算公式。“：[79]，”非经典“：[80]，”逻辑“：[81,96]，”做“：[84]，”不是“：[85]，”这个“：[87]，”有用“：[88]，”属性，“：[89]，”但是“：[90]，”模态“：[92]，”和“：[93]，”中间“：[94]，”满足“：[97]，”稍微“：[99]，”较弱“：[100]，”特性。“：[101]，”these“：[103]，”for“：[105]，”every“：[106]，”there“：[108]，”finite“：[111]，”set“：[112]，”such“：[115]，”any“：[117]，”generated“：[124]，”by“：[125]，”one“：[126]，”they。“：[128]｝，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1505707098“，”counts_by_year“：[]，”updated_date“：”2024-06-15T16:17:31.001785“，”created_date“：”2016-06-24“｝