{“id”：“https://openalex.org/W2029632316“，”doi“：”https://doi.org/10.1016/j.ic.2006.10.006“，”title“：”图形逻辑的表现性和复杂性“，”display_name“：”图逻辑的表现力和复杂性”，“publication_year”：2007，“publiation_date”：“2007-03-01”，“ids”：{“openalex”：“https://openalex.org/W2029632316“，”doi“：”https://doi.org/10.1016/j.ic.2006.10.006“，”mag“：”2029632316“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.ic.2006.10.006“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”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”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”http://spiral.imperial.ac.uk/bitstream/10044/1/95507/2/DTR04-3.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5080843415“，”display_name“：”Anuj Dawar“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I241749“，”display_name“：”剑桥大学“，”ror“：”https://ror.org/013meh722“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I241749“]｝]，”国家“：[”GB“]，”is_correresponsing“：false，”raw_author_name“：”Anuj Dawar“，”raw_affiation_strings“：[”剑桥大学计算机实验室，剑桥，英国“]，”附属机构“：[｛”raw_affiation_string“：”剑桥大学计算机实验室，剑桥，英国“，”institution_ids“：[”https://openalex.org/I241749“]}]}，{”author_position“：”middle“，”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“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5023086477“，”display_name“：”Giorgio Ghelli“，”orcid“：”https://orcid.org/0000-0002-0596-6395}，“机构”：[{“id”：https://openalex.org/I108290504“，”display_name“：”比萨大学“，”ror“：”https://ror.org/03ad39j10“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I108290504“]}]，”国家“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”Giorgio Ghelli“，”raw _ afiliation_strings“：[“意大利比萨比萨大学信息学院”]，“affiliations”：[{“raw_affiliation_string”：“意大利比萨比萨比撒大学信息学院学院”，“institution_ids”：[”https://openalex.org/I108290504“]}]}]，”countries_disticont_count“：2，”institutions_disticent_count”：3，”corresponding_author_ids“：[”https://openalex.org/A5023086477“]，”对应的机构ID“：[”https://openalex.org/I108290504“]，”apc_list“：{”value“：2630，”currency“：”USD“，”value_USD“：2620，”provenance“：”doaj“}，”apc _payed“：”{“value”：2630、”current“：”美元“，”value_USD”：2640，“provenance”：“doaj”}，“has_fulltext”：false，“cited_by_count”：33，“cited_by_percentile_year”：{“min”：92，“max”：93}、“biblio”：{“volume”：“205”，“问题”：“3”，“first_page”：“263”，”last_page“：”310“}，”is_retracted“：false，“is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9992，”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.9992，”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.9991，”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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9983，“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/非单调推理“，”display_name“：”非单调推理“，”score“：0.537347}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.531083}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.512153}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.510785}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”Separation Logic“，”score“：0.504748}]，”concepts“：[{”id“：”https://openalex.org/C168773036网址，“wikidata”：https://www.wikidata.org/wiki/Q264164“，”display_name“：”递归（计算机科学）“，”level“：2，”score“：0.7319045}，{”id“：”https://openalex.org/C197685441，“wikidata”：https://www.wikidata.org/wiki/Q500716“，”display_name“：”PSPACE“，”level“：3，”score“：0.6755211}，{”id“：”https://openalex.org/C195818886，“wikidata”：https://www.wikidata.org/wiki/Q5421724“，”display_name“：”表达能力“，”level“：2，”score“：0.6304485}，{”id“：”https://openalex.org/C133142742，“wikidata”：https://www.wikidata.org/wiki/Q1200755“，”display_name“：”描述性复杂性理论“，”level“：3，”score“：0.61630905}，{”id“：”https://openalex.org/C39637292，“wikidata”：https://www.wikidata.org/wiki/Q908207“，”display_name“：”复杂性类“，”level“：3，”score“：0.578217}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.5127705｝，｛”id“：”https://openalex.org/C124656256，“wikidata”：https://www.wikidata.org/wiki/Q6897882“，”display_name“：”一元谓词演算“，”level“：4，”score“：0.5016234}，{”id“：”https://openalex.org/C9986523，“wikidata”：https://www.wikidata.org/wiki/Q1570472“，”display_name“：”基本递归函数“，”level“：2，”score“：0.43549892}，{”id“：”https://openalex.org/C122806257，“wikidata”：https://www.wikidata.org/wiki/Q1063380“，”display_name“：”PH“，”level“：5，”score“：0.42969134}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.42872432}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.41672155}，{”id“：”https://openalex.org/C151376022，“wikidata”：https://www.wikidata.org/wiki/Q168698“，”display_name“：”指数函数“，”level“：2，”score“：0.4160803}，{”id“：”https://openalex.org/C33203268，“wikidata”：https://www.wikidata.org/wiki/Q5361594“，”display_name“：”中间逻辑“，”level“：3，”score“：0.41251886}，{”id“：”https://openalex.org/C179799912，“wikidata”：https://www.wikidata.org/wiki/Q205084“，”display_name“：”计算复杂性理论“，”level“：2，”score“：0.35533744}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.35421446}，{”id“：”https://openalex.org/C311688，“wikidata”：https://www.wikidata.org/wiki/Q2393193“，”display_name“：”时间复杂度“，”级别“：2，”分数“：0.3040794｝，｛”id“：”https://openalex.org/C169896238，“wikidata”：https://www.wikidata.org/wiki/Q1644136“，”display_name“：”高阶逻辑“，”level“：3，”score“：0.29288435}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.28461057}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.23362967}，{”id“：”https://openalex.org/C92043244，“wikidata”：https://www.wikidata.org/wiki/Q7269023“，”display_name“：”量子复杂性理论“，”level“：4，”score“：0.11676428}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C84114770，“wikidata”：https://www.wikidata.org/wiki/Q46344“，”display_name“：”Quantum“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C169699857，“wikidata”：https://www.wikidata.org/wiki/Q2122243“，”display_name“：”Quantum information“，”level“：3，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.ic.2006.10.006“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”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”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/1044/1/95507，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/95507/2/DTR04-3.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/95507，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/95507/2/DTR04-3.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/W1486095773“，”https://openalex.org/W1489482702“，”https://openalex.org/W1495368328“，”https://openalex.org/W1513218800“，”https://openalex.org/W1563892973“，”https://openalex.org/W2012841134“，”https://openalex.org/W2031315747“，”https://openalex.org/W2052432706“，”https://openalex.org/W2065251436“，”https://openalex.org/W2087404611“，”https://openalex.org/W2125252697“，”https://openalex.org/W2143011759“，”https://openalex.org/W2167998587“，”https://openalex.org/W2569646339“，”https://openalex.org/W4205178514“，”https://openalex.org/W4213009134“，”https://openalex.org/W4238852117“，”https://openalex.org/W4255551208“]，”related_works“：[”https://openalex.org/W4294266235“，”https://openalex.org/W2327776271“，”https://openalex.org/W2165522055“，”https://openalex.org/W2121683501“，”https://openalex.org/W2029632316“，”https://openalex.org/W2006786362“，”https://openalex.org/W1982758739“，”https://openalex.org/W1583470866“，”https://openalex.org/W1520700928“，”https://openalex.org/W1504200807“]，”ngrams_url“：”https://api.openalex.org/works/W2029632316/ngrams网站“，”“abstract_inverted_index”：{“We”：[0,39,66,79]，“investive”：[1]，“the”：[2,27,44,46,62,68,72,76,84,90104120]，“complexity”：[3,70143146]，“and”：[4,23,25,49,52,71,86,99112144]，“expressiver”：[5,73129]，“power”：[6,74130]，“of”：[7,43,61,75,89,96]，“a”：[8,58]，“spatial”：[9,37]，“logic”“：[10,16,47,91]，”for“：[11,36]，”reasoning“：[12]，”about“：[13]，”图。“：[14]，”This“：[15]，”was“：[17]，”previous“：18]，”introduced“：[19]，”by“：[20]，”Cardelli“，”：[21]，”Gardner“：[22]，”Ghelli“：[24]，“provides”：[26]，“simple”：[28]，“setting”：[29]，“in”：[30]，“which”：[31]，“to”：[32,93110136149]，“explore”：[33]，“suke”：[34]，“results”“：[35]，”逻辑。“：[38]，”研究“：[40,67]，”多个“：[41]，”形式“：[42]，”逻辑：“：[45]，”有“：[48,53125]，”没有“：[50,82]，”递归，“：[51,83127]，”任意“：[54]，”an“：[55]，”指数“：[56,87]，”或“：[57]，”线性“：[59,85]，”版本“：[60]，”基本“：[63]，”组合“：[64]，”运算符。“：[65]，”组合“：[69142]，”四”：[77]，“组合。“：[78]，”证明“：[80]，”那，“：[81]，”版本“：[88106122]，”对应“：[92]，”重要“：[94]，”片段“：[95]，”一阶“：[97]，”（FO）“：[98]，”单数“：[100]，”二阶“：[101]，”；“：[103]，“两个”：[105121]，“是”：[107123134]，“实际上”：[108]，“等价”：[109]，“FO”：[111]，“MSO”：[113]，“on”：[114]，“图形”：[115]，“表示”：[116]，“字符串。“：[117]，”“然而，”“：[118]，”当“：[119]，”丰富“：[124]，”\u03bc-style“：[126]，”他们的“：[128141]，”是“：[131]，”急剧“：[132]，”增加。Both“：[133]，“able”：[135]，“express”：[137]，“PSPACE-complete”：[138]，“problems”，“：[139]，“while”：[140]，“data”：%145]，“still”：[147]，“allee”：[148]，“PSPACE”。“：[150]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2029632316”，“counts_by_year”：[｛“year”：2023，“cited_by_count”：3｝，｛“year”：2021，“cited_by_count”：1｝，｛“year”：2020，“cited_by_count”：2｝，｛“year”：2019，“cited_by_count”：1｝，｛“year”：2017，“cited_by_count”：1｝，｛“year”：2016，“cited_by_count”：1｝，｛“year”：2015，“cited_by_count”：4｝，｛“year”：2014，“cited_by_count”_count“：2｝，｛”年份“：2013，”引用_计数“：1｝，｛”年份“：2012，”引用_计数“：6｝]，“updated_date”：“2024-06-14T16:51:33.282343”，“创建日期”：“2016-06-24”}