{“id”：“https://openalex.org/W1503633287“，”doi“：”https://doi.org/10.1007/978-3-540-76637-7_17“，”title“：“树的上下文逻辑中的附加消除”，”display_name“：”树的上下文逻辑学中的附加排除“，”publication_year“：2007，”publiation_date“：”2007-11-20“，”ids“：{”openalex“：”https://openalex.org/W1503633287“，”doi“：”https://doi.org/10.1007/978-3-540-76637-7_17“，”mag“：”1503633287“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-76637-7_17“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：fald，”host_organization“：”https://openalex.org/P431031965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“电子书平台”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”http://spiral.imperial.ac.uk/bitstream/10044/1/33266/2/Calcagno2010Adjunct.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5055733288“，”display_name“：”Cristiano Calcagno“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]｝]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Cristiano Calcagno“，”raw_affiation_strings“：[”英国伦敦帝国理工学院计算系“]，”附属机构“：[｛”raw_affiation_string“：”英国伦敦帝国理工学院计算系“，”institution_ids“：[”https://openalex.org/I47508984“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5063687513“，”display_name“：”Thomas Dinsdale-Young“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”countries“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Thomas Dinsdale-Young“，”raw _ afiliation_strings“：【”英国伦敦帝国理工学院计算系“】，”affiliations“：[{”raw _affiliation_strong“：”英国伦敦皇家学院计算系”，“institution_ids”：【”https://openalex.org/I47508984“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5047951273“，”display_name“：”Philippa Gardner“，”orcid“：”https://orcid.org/0000-0002-4187-0585}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Philippa Gardner“，”raw _ afiliation_strings“：[“英国伦敦帝国理工学院计算系”]，”affiliations“：[{”raw_ afiliation _string“：”英国伦敦帝国学院计算系https://openalex.org/I47508984“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：null，”apc_payed“：null”，“has_fulltext”：false，“cited_by_count）：4，”cited_by百分位_year“：{”最小值：79，“最大值”：80}，“biblio”：{“volume”：null，“issue”：null，“first_page”：“255”，“last_page”：“270”}，“is_retracted”：falseis_paratext“：false，”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.9963，“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.9949，”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“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.554044}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.541629}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.524202}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.522227}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.51368}]，”concepts“：[{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.69164014}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5264593}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.39410532}，{”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“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-76637-7_17“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：fald，”host_organization“：”https://openalex.org/P431031965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“电子书平台”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/1044/1/33266，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/33266/2/Calcagno2010Adjunct.pdf，“源”：{“id”：https://openalex.org/S4306401396“，”display_name“：”Spiral（伦敦帝国理工学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I47508984“，”“host_organization_name”：“伦敦帝国理工学院”，“host_ordanization_lineage”：[“https://openalex.org/I47508984“]，”host_organization_lineage_names“：[”伦敦帝国理工学院“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”http://hdl.handle.net/1044/1/33266，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/33266/2/Calcagno2010Adjunct.pdf，“源”：{“id”：https://openalex.org/S4306401396“，”display_name“：”Spiral（伦敦帝国理工学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I47508984“，”“host_organization_name”：“伦敦帝国理工学院”，“host_ordanization_lineage”：[“https://openalex.org/I47508984“]，”host_organization_lineage_names“：[”伦敦帝国理工学院“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1608869910","https://openalex.org/W2008132476","https://openalex.org/W2561675875","https://openalex.org/W57066809“]，”related_works“：[”https://openalex.org/W2748952813","https://openalex.org/W2530322880","https://openalex.org/W2478288626","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2001405890","https://openalex.org/W1596801655“]，”ngrams_url“：”https://api.openalex.org/works/W1503633287/ngrams“，”“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]，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:W1503633287“，”counts_by_year“：[{“年份”：2016，”cited_by_count“：1}，{“年度”：2012，”cited_by_count”：2}]，”updated_date“：”2024-06-16T05:12.607267“，”created_date:“2016-06-24”}