{“id”：“https://openalex.org/W2161948124“，”doi“：”https://doi.org/10.1016/j.ic.2009.02.013“，”title“：”树的上下文逻辑中的附加消除“，”display_name“：”树形的上下文逻辑的附加消除”，“publication_year”：2009，“publiction_date”：“2009-12-06”，“ids”：{“openalex”：“https://openalex.org/W2161948124“，”doi“：”https://doi.org/10.1016/j.ic.2009.02.013“，”mag“：”2161948124“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.ic.2009.02.013“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”Information and Computation“，”issn_l“：”0890-5401“，”issn“：[”0890-5401“，”1090-2651“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”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.1016/j.ic.2009.02.013“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5055733288“，”display_name“：”Cristiano Calcagno“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Cristano Calcagno“，”raw _affiliation_strings“：【】，”affiliations“：〔〕}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5063687513“，”display_name“：”Thomas Dinsdale-Young“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Thomas-Dinsdale-Young“，“raw_affiliation_strings”：[]“，”affiliations“：]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5047951273“，”display_name“：”Philippa Gardner“，”orcid“：”https://orcid.org/0000-0002-4187-0585“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Philippa Gardner“，”raw _ afiliation_strings“：[]]，”附属机构“：[]}]，”机构评估“：[]，“countries _ distinct_count”：0，“机构区分计数”：0，“货币”：“美元”，“value_usd“：2630，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：0.67，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：9，”citation_normalized_percentile“：{”value“：0.789021，”is_in_top_1_percent“：false，”is.in_top_10_percennt“：false}，“cited_by_percentile_year”：{“min”：83，“max”：84}，lio“：{”volume“：”208“，”issue“：”5“，”first_page“：”474“，”last_page“：”499“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9976，”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/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9976，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9968，“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.9957，”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/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.553166}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.540086}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.522442}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.51825}，{”id“：”https://openalex.org/keywords/addunct网站“，”display_name“：”Adjunct“，”score“：0.5163899}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.51266}]，”concepts“：[{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.7097573}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.56848925}，{”id“：”https://openalex.org/C2777056012，“wikidata”：https://www.wikidata.org/wiki/Q1975444网址“，”display_name“：”Adjunct“，”level“：2，”score“：0.5163899}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.41692924}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.33230853}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.32084394}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.06915754}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”display_name“：”古生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.ic.2009.02.013“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”Information and Computation“，”issn_l“：”0890-5401“，”issn“：[”0890-5401“，”1090-2651“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”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.1016/j.ic.2009.02.013“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”Information and Computation“，”issn_l“：”0890-5401“，”issn“：[”0890-5401“，”1090-2651“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”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“：[]，”datasets“：]，”versions“：[https://openalex.org/W1503633287","https://openalex.org/W1608869910","https://openalex.org/W1974265510","https://openalex.org/W1981382949","https://openalex.org/W1982754912","https://openalex.org/W2008132476","https://openalex.org/W2097980898","https://openalex.org/W2137628566","https://openalex.org/W2166612569","https://openalex.org/W2167998587","https://openalex.org/W2913236170","https://openalex.org/W57066809“]，”related_works“：[”https://openalex.org/W4243252198","https://openalex.org/W4235530921","https://openalex.org/W3137189469","https://openalex.org/W2740990710","https://openalex.org/W2382501300","https://openalex.org/W2135396778","https://openalex.org/W2118300983","https://openalex.org/W2112962394","https://openalex.org/W2109507516","https://openalex.org/W1527862632“]，”abstract_inverted_index“：{”We“：[0]，”study“：[1]，”addition-elimination“：[2]，”results“：[3,12,31,44]，”for“：[4,15,32,45]，”Context“：[5,38,47]，”Logic“：[6,17]，”applied“：[7]，“to”：[8,27]，”trees“：[9]，”following“：[10]，”previous“：[11]，”by“：[13]，”Lozes“：%14]，”Separation“：[16]，“and”：[18]，“Ambient”：[19]，“Logic.”：[20,39,48]，“In”：[21]，“fact，”：[22]，“it”：[23]，“是“：[24]，”不是“：[25]，”可能“：[26]，”证明“：[28,42]，”这样“：[29]，”消除“：[30]，”该“：[33]，”原始“：[34]，”单孔“：[35]，”公式“：[36]，”of“：[37]，”替代“：[40]，”我们“：[41]，”our“：[43]，”多孔“：[46]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2161948124“，”counts_by_year“：[{”year“:2023，”cited_by_count“：1}，{”year“：2022，”cited_by_count”：1}，{“year”：2021，”citecd_by_count“：1}，”{“year”：2020，”citesd_by_count“:3}，“year“:2014，”citted_by-count“:1}，“，”创建日期“：”2016-06-24“}