{“id”：“https://openalex.org/W2009780609“，”doi“：”https://doi.org/10.1016/j.entcs.2006.04.020“，”title“：”Local Reasoning About Tree Update“，”display_name“：”本地推理关于树更新“，”publication_year“：2006，”publiation_date“：”2006-05-01“，”ids“：{”openalex“：”https://openalex.org/W2009780609“，”doi“：”https://doi.org/10.1016/j.entcs.2006.04.020“，”mag“：”2009780609“｝，”language“：”en“，”primary_location“：｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2006.04.020“，”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.2006.04.020“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5052030545“，”display_name“：”Uri Zarfaty“，”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“：”Uri Zarfaty“，”raw _affiliation_strings“：[“英国伦敦帝国理工学院计算系”]，“附属机构”：[{”raw _affiliation_string“：”计算系；英国伦敦帝国学院；“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_affiation_strings“：[”伦敦帝国理工学院计算机系；英国伦敦“]，”附属机构“：[{”raw_affiation_string“：”伦敦帝国理工学院计算机系；英国伦敦“，”institution_ids“：[”https://openalex.org/I47508984“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：null，”fwci“：1.053，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count：6，”citation_normalized_percentile“：{”value“：0.714743，”is_in_top_1_percent“：false，”is_in_top_10_percent“：false}，”cited_by_percentile_year“：{”min“：78，”max“：79}，“biblio”：{“volume”：“158”，“issue”：null，“first_page”：“399”，“last_page”：”424“}，‘is_retracted’：false，“is_paratext”：falsehttps://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/T10317“，”“display_name”：“数据流管理系统和技术”，“score”：0.9993，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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.9993，”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/heap“，”display_name“：”堆（数据结构）“，”score“：0.59679943}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.567871}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.567167}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.566074}，{”id“：”https://openalex.org/keywords/constraint-logic-programming（https://openalex.org/keywords/constraint-logic-programming）“，”display_name“：”约束逻辑编程“，”score“：0.538551}，{”id“：”https://openalex.org/keywords/tree网站“，”display_name“：”树（集合论）“，”score“：0.52608097}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.513414}]，”concepts“：[{”id“：”https://openalex.org/C173856430，“wikidata”：https://www.wikidata.org/wiki/Q3257964“，”display_name“：”分离逻辑“，”level“：2，”score“：0.72526056}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7232741}，{”id“：”https://openalex.org/C134757568，“wikidata”：https://www.wikidata.org/wiki/Q274089“，”display_name“：”堆（数据结构）“，”level“：2，”score“：0.59679943}，{”id“：”https://openalex.org/C113174947，“wikidata”：https://www.wikidata.org/wiki/Q2859736“，”display_name“：”树（集合论）“，”level“：2，”score“：0.52608097}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.44018066}，{”id“：”https://openalex.org/C163797641，“wikidata”：https://www.wikidata.org/wiki/Q2067937网址“，”display_name“：”树结构“，”level“：3，”score“：0.41200745}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.40278387}，{”id“：”https://openalex.org/C162319229，“wikidata”：https://www.wikidata.org/wiki/Q175263“，”display_name“：”数据结构“，”level“：2，”score“：0.23489547}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.17009458}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”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.2006.04.020“，”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.2006.04.020“，”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，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”sustainable_development_goals“：[]，”grants“：[]，”dataset“：[]，”version“：[]，”referenced_works_count“：18，”referenced_works“：[”https://openalex.org/W1495368328","https://openalex.org/W1497818511","https://openalex.org/W1524658540","https://openalex.org/W1535627680","https://openalex.org/W1608869910","https://openalex.org/W1953089651","https://openalex.org/W1974265510","https://openalex.org/W1981382949","https://openalex.org/W1982169430","https://openalex.org/W2008132476","https://openalex.org/W2137628566","https://openalex.org/W2167998587","https://openalex.org/W2294548604","https://openalex.org/W3004968422","https://openalex.org/W358323184","https://openalex.org/W4233546248","https://openalex.org/W4243994983","https://openalex.org/W4298303640“]，”related_works“：[”https://openalex.org/W4296607663","https://openalex.org/W4290679430","https://openalex.org/W4287240968","https://openalex.org/W4283582377","https://openalex.org/W3102946249","https://openalex.org/W2950271872","https://openalex.org/W2594835963","https://openalex.org/W2165970356","https://openalex.org/W2093885745","https://openalex.org/W1481101394“]，”abstract_inverted_index“：{”Separation“：[0]，”Logic“：[1,4,25]，”and“：[2,14]，”Context“：[3,24]，”have“：[5]，”been“：[6]，”used“：[7]，”to“：[8]，”reason“：[9]，”local“：[10]，”about“：[11]，”heap“：[12]，”update“：[13,35]，”simple“：[15]，“tree”：[16]，“update.”：[17]，“We“：[18]，”研究“：[19]，”局部“：[20,30]，”推理“：[21]，”基于“：[22]，”关于“：[23]，”对于“：[26]，”a“：[27]，”more“：[28]，”realitical“，：[29]，”tree-update“：[31]，”language“：[32]，”which“：[33,47]，”combines“：[34]，”commands“：[36]，”with“：[3]，”queries。“：[38]，”此“：[39]，”组合“：[40]，”结果“：[41]，”in“：[42]，”更新“：[43]，”at“：[44]，”multiple“：[45]，”locations，“：[46]，”显着“：[48]，”影响“：[49]，”the“：[50,53]，”复杂性“：[51]，”of“：[52]，”推理。“：[54]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2009780609“，”counts_by_year“：[{”年“：2013，”cited_by_count“：1}]，”更新日期“：”2024-09-12T22:50:29.064645“，”创建日期“：“2016-06-24”}