{“id”：“https://openalex.org/W2560729599“，”doi“：”https://doi.org/10.1007/978-3-540-73228-0_1“，”title“：”On a Logical Foundation for Explicit Substitutions“，”display_name“：”An a Logistic Foundation for Expiclicit Subsitutions”，“publication_year”：2007，“publiation_date”：“2007-01-01”，“ids”：{“openalex”：“https://openalex.org/W2560729599“，”doi“：”https://doi.org/10.1007/978-3-540-73228-0_1“，”mag“：”2560729599“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-73228-0_1，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-73228-0_1.pdf“，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”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%2F978-3-540-73228-0_1.pdf“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5021476649“，”display_name“：”Frank Pfenning“，”orcid“：”https://orcid.org/0000-0002-8279-5817“｝，”机构“：[｛”id“：”https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74973139“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”Frank Pfenning“，”raw_affiliation_strings“：[“卡内基梅隆大学计算机科学系”]，”affiliations“：[{”raw_affiliation_string“：”卡内基梅隆大学计算机系”，“institution_ids”：[“https://openalex.org/I74973139“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5021476649“]，”对应的机构ID“：[”https://openalex.org/I74973139“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：0.0，”has_fulltext“：false，”cited_by_count“：3，”citation_normalized_percentile“：{“value”：0.462638，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：fales}，“cited_by_percentile_year”：{“min”：74，“max”：76}，“biblio”：{“volume”：空，“issue”：空first_page“：”1“，”last_page“：”1}“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析与验证技术“，”score“：0.9999，”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.9999，”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.9971，”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.9969，”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/foundation网站“，”display_name“：”基础（证据）“，”分数“：0.7522619}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.549404}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.54235}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.51886}，{”id“：”https://openalex.org/关键字/替换“，”display_name“：”替换（逻辑）“，”score“：0.5095256}，{”id“：”https://openalex.org/keywords/epsitemic-logic（https://openalex.org/关键词/认知逻辑）“，”display_name“：”认识逻辑“，”score“：0.503517}，{”id“：”https://openalex.org/keywords/logical-framework网站“，”display_name“：”逻辑框架“，”score“：0.46288866}]，”概念“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8111549}，{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.76208985}，{”id“：”https://openalex.org/C2780966255，“wikidata”：https://www.wikidata.org/wiki/Q5474306“，”display_name“：”基础（证据）“，”等级“：2，”分数“：0.7522619}，{”id“：”https://openalex.org/C2778220771，“wikidata”：https://www.wikidata.org/wiki/Q1522579“，”display_name“：”替换（逻辑）“，”level“：2，”score“：0.5095256}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4741984}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.46426773}，{”id“：”https://openalex.org/C20693621，“wikidata”：https://www.wikidata.org/wiki/Q6667502“，”display_name“：”逻辑框架“，”level“：2，”score“：0.46288866}，{”id“：”https://openalex.org/C188147891，“wikidata”：https://www.wikidata.org/wiki/Q147638网址“，”display_name“：”认知科学“，”level“：1，”score“：0.36283824}，{”id“：”https://openalex.org/C166957645，“wikidata”：https://www.wikidata.org/wiki/Q23498“，”display_name“：”考古学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C95457728，“wikidata”：https://www.wikidata.org/wiki/Q309“，”display_name“：”History“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C15744967，“wikidata”：https://www.wikidata.org/wiki/Q9418“，”display_name“：”心理学“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-73228-0_1，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-73228-0_1.pdf“，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”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-540-73228-0_1，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-73228-0_1.pdf“，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”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“：[]，”grants“：[%]，”datasets“：[/]，”versions“：[]]，”referenced_works_count“：4，”https://openalex.org/W1487717359","https://openalex.org/W1529760921","https://openalex.org/W1990204174","https://openalex.org/W4236324644“]，”related_works“：[”https://openalex.org/W8727156","https://openalex.org/W4309804347","https://openalex.org/W258845353590","https://openalex.org/W2168276503","https://openalex.org/W2139396251","https://openalex.org/W2120204135","https://openalex.org/W1796293478","https://openalex.org/W174435416","https://openalex.org/W1577544887","https://openalex.org/W1573537275“]，”abstract_inverted_index“：{“传统上”：[0]，”calculi“：[1]，”of“：[2,20]，”explicit“：[3]，”substitution“：[4]，”[1]“：[5]，”have“：[6]，”been“：[7,27]，”conceived“：[8]，”as“：[9]，”an“：[10]，”implementation“：[11]，”technology“：[12]，”for“：[13,32]，”\u03b2-reduction“：[14]，“and“：[15,36]，”研究“：[16]，”使用“：[17]，”该“：[18,38]，”工具“：[19]，”重写“：[21]，”理论。“：[22]，”此“：[23]，”计算“：[24]，”视图“：[25]，”有“：[26]，”极端“：[28]，”成果“：[29]，”（参见“：[30]，”[2]“：[31]，”a“：[33,45]，”最近“：[34]，”调查）“：[35]，”提出“：[37]，”问题“：[39]，”如果“：[40]，”那里“：[41]，”可能“：[42]，”也“：[43]，”be“：[44]，”more“：[46]，”抽象“：[47]，”潜在“：[48]，”逻辑“：[49]，”基础。“：[50]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W2560729599“，”counts_by_year“：[{”年“：2024，”引用_by_count“：1}]，”更新日期“：”2024-09-24T09:27:26.521243“，”创建日期“：“2016-12-16”}