{“id”：“https://openalex.org/W2046363825“，”doi“：”https://doi.org/10.1016/j.entcs.2010.08.012“，”title“：”Bunched Logic的统一显示证明理论“，”Display_name“：”A Unified Display Proof Theory for Bunched逻辑“，”publication_year“：2010，”publitation_date“：”2010-09-01“，”ids“：{”openalex“：”https://openalex.org/W2046363825“，”doi“：”https://doi.org/10.1016/j.entcs.2010.08.012“，”mag“：”2046363825“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2010.08.012“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”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”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：真，“oa_status”：“gold”，“oa_url”：“”https://doi.org/10.1016/j.entcs.2010.08.012“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5025368137“，”display_name“：”J G.Brotherston“，”orcid“：”https://orcid.org/0000-0002-7536-4496}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”James Brotherston“，”raw _ afiliation_strings“：[“英国伦敦帝国理工学院计算系”]，”affiliations“：[{”raw _affiliation_strong“：”英国伦敦帝国学院计算系。“，”institution_ids“：]”https://openalex.org/I47508984“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5025368137“]，”对应的机构ID“：[”https://openalex.org/I47508984“]，”apc_list“：null，”apc _ paid“：nul，”fwci“：2.819，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：18，”citation_normalized_percentile“：{”value“：0.899443，”is_in_top_1_percent“：false，”is_ in_top_ 10_percennt“：false}，”citected_by_percentile_year“：{”min“：88，”max“：89}，“biblio”：{“volume”：“265“，”issue“：null，”first_page“：”197“，”last_page“：”211“}，”is_retracted“：false，”is_paratext“：fase，”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.9987，”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.9973，“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/sequent（https://openalex.org/keywords/sequent）“，”display_name“：”Sequent“，”score“：0.8185645}，{”id“：”https://openalex.org/keywords/strustructure-proof-theory“，”display_name“：”结构证明理论“，”score“：0.7615057｝，｛”id“：”https://openalex.org/keywords/cut-elimination-ehreature（https://openalex.org/关键词/切割-限制定理）“，”display_name“：”Cut-elimination定理“，”score“：0.71380675}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.558318}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.554129}，{”id“：”https://openalex.org/keywords/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.539538｝，｛”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.527306}，{”id“：”https://openalex.org/keywords/temporal-logic（https://openalex.org/keywords/temporal-logic）“，”display_name“：”时态逻辑“，”score“：0.518995}]，”concepts“：[{”id“：”https://openalex.org/C89421646，“wikidata”：https://www.wikidata.org/wiki/Q843632“，”display_name“：”Sequent“，”level“：2，”score“：0.8185645}，{”id“：”https://openalex.org/C65880906，“wikidata”：https://www.wikidata.org/wiki/Q1771121“，”display_name“：”序列演算“，”level“：3，”score“：0.8077588}，{”id“：”https://openalex.org/C195653647，“wikidata”：https://www.wikidata.org/wiki/Q7625047“，”display_name“：”结构证明理论“，”level“：4，”score“：0.7615057}，{”id“：”https://openalex.org/C111404639，“wikidata”：https://www.wikidata.org/wiki/Q376166“，”display_name“：”Cut-elimination定理“，”level“：4，”score“：0.71380675}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.66215885}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.59319806}，{”id“：”https://openalex.org/C6489637，“wikidata”：https://www.wikidata.org/wiki/Q7250002“，”display_name“：”证明演算“，”level“：3，”score“：0.55929685}，{”id“：”https://openalex.org/C62073222，“wikidata”：https://www.wikidata.org/wiki/Q1572108“，”display_name“：”自然演绎“，”level“：2，”score“：0.53567845}，{”id“：”https://openalex.org/C2318724，“wikidata”：https://www.wikidata.org/wiki/Q852732网址“，”display_name“：”证明理论“，”level“：3，”score“：0.42728984}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.4219293}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.37072963}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3677265}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3343292}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.21266255}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538（网址：https://www.wikidata.org/wiki/Q11538）“，”display_name“：”数学证明“，”level“：2，”score“：0.16538146}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.068101496}，{”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}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2010.08.012“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”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”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1016/j.entcs.2010.08.012“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-661“]，”is_oa“：true，”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”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，“datasets”：【】https://openalex.org/W1517890215","https://openalex.org/W1591716390","https://openalex.org/W1714661887","https://openalex.org/W1967623108","https://openalex.org/W1974265510","https://openalex.org/W1982754912","https://openalex.org/W2008132476","https://openalex.org/W2009732936","https://openalex.org/W2010987503","https://openalex.org/W2013050211","https://openalex.org/W2013474929","https://openalex.org/W2022673252","https://openalex.org/W2046869259","https://openalex.org/W2053154567","https://openalex.org/W2075644848","https://openalex.org/W2103222205","https://openalex.org/W2118698129","https://openalex.org/W2129275778","https://openalex.org/W2137628566","https://openalex.org/W2138559037","https://openalex.org/W2164916433","https://openalex.org/W2165815681","https://openalex.org/W2240891936","https://openalex.org/W2911315820","https://openalex.org/W4248156396","https://openalex.org/W4248244173","https://openalex.org/W4253826011","https://openalex.org/W4256027310","https://openalex.org/W620828109“]，”related_works“：[”https://openalex.org/W2891688494","https://openalex.org/W2793983771","https://openalex.org/W2584381231","https://openalex.org/W2513857873","https://openalex.org/W2351433375","https://openalex.org/W2137780954","https://openalex.org/W2058338325","https://openalex.org/W2009791150","https://openalex.org/W1562648369","https://openalex.org/W1479042755“]，”abstract_inverted_index“：{”We“：[0,39]，”formulate“：[1]，”a“：[2,52]，”统一“：[3]，”显示“：[4,18,56]，”微积分“：[5,45]，”证明“：[6]，”理论“：[7]，”for“：[8,20,46,64]，”the“：[9,42,65]，”four“：[10]，”principal“：[11]，”varies“：[12,67]，”of“：[13,54,68]，”bunched“：[14,69]，“逻辑”：[15,70]，“by”：[16]，“组合”：[17]，“计算”：[19,25,63]，“它们的”：[21,36]组件“：[22]，”逻辑。“：[23]，”我们的“：[24]，”满足“：[26]，”删减，“：[27]，”和“：[28,31,58]，”是“：[29]，”声音“：[30]，”完成“：[32]，”有“：[33]，”尊重“：[34]，”到“：[35,74]，”标准“：[37,43]，”演示。“：[38]，”show“：[40]，”that“：[41,60]，”sequent“：[44,62]，”BI“：[47]，”can“：[48]，”be“：[49]，”sene“：[50]，”as“：[51]，”reformulation“：[53]，”its“：[55]，”calculation“：[57]，”argumer“：[59]，”analogical“：[61]，”other“：66]，”sike“：[71]，”very“：/72]，”impossible“：[73]，“存在。“：[75]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2046363825“，”“counts_by_year”：[{“年份”：2021，”“cited_by_count”：2}，{“年度”：2019，”“cited_by_cunt”：1}，}“年份“：2018，”：2013，“cited_by_count”：5}，{“年份”：2012，“ciped_by_cunt”：1}]，“updated_date”：“2024-09-09T11:55:03.402357“，”创建日期“：”2016-06-24“}