{“id”：“https://openalex.org/W2552825470“，”doi“：”https://doi.org/10.1145/2996796“，”title“：”有限树上二元逻辑的复杂性“，”display_name“：”在有限树上两元逻辑的复杂度“，”publication_year“：2016，”publiation_date“：”2016-11-11“，”ids“：{”openalex“：”https://openalex.org/W2552825470“，”doi“：”https://doi.org/10.1145/2996796“，”mag“：”2552825470“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2996796“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jounal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”https://ora.ox.ac.uk/objects/uuid:4a8207dd-6dad-4a13-a4cf-82ad51f6e822/files/mee3d642822867ef61197354a799d21fd“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5039613878“，”display_name“：”Saguy Benaim“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I40120149“，”display_name“：”牛津大学“，”ror“：”https://ror.org/052gg0110“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I40120149“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Saguy Benaim“，”raw _ afiliation_strings“：[“英国牛津大学，帕克斯路”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5037774973“，”display_name“：”Michael Benedikt“，”orcid“：”https://orcid.org/0000-0003-2964-0880}，“机构”：[{“id”：https://openalex.org/I40120149“，”display_name“：”牛津大学“，”ror“：”https://ror.org/052gg0110“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I40120149“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Michael Benedikt“，”raw_affiliation_strings“：[“英国牛津大学，帕克斯路”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5068443996“，”display_name“：”Witold Charatonik“，”orcid“：”https://orcid.org/0000-0001-7062-0385}，“机构”：[{“id”：https://openalex.org/I219388962“，”display_name“：”弗罗茨堡大学\u0142aw“，”ror“：”https://ror.org/00yae6e25“，”country_code“：”PL“，”type“：“教育”，”世系“：[”https://openalex.org/I219388962“]}]，”国家“：[”PL“]，”is_corresponding“：false，”raw_author_name“：”Witold Charatonik“，”raw _ afiliation_strings“：[“Wroc\u0142aw大学，Wroc\ u0142aw，波兰”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5090488658“，”display_name“：”Emanuel Kiero\u0144ski“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I219388962“，”display_name“：”Wroc\u0142aw大学“，”ror“：”https://ror.org/00yae6e25“，”country_code“：”PL“，”type“：“教育”，”世系“：[”https://openalex.org/I219388962“]}]，”国家“：[”PL“]，”is_corresponding“：false，”raw_author_name“：”Emanuel Kiero\u0144ski“，”raw _ afiliation_strings“：[“Wroc大学\u0142aw，Wroc\u0142 aw，波兰”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5051899958“，”display_name“：”Rastislav Lenhardt“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I40120149“，”display_name“：”牛津大学“，”ror“：”https://ror.org/052gg0110“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I40120149“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Rastislav Lenhardt“，”raw _ afiliation_strings“：[“牛津大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5004165473“，”display_name“：”Filip Mazowiecki“，”orcid“：”https://orcid.org/0000-0002-4535-6508}，“机构”：[{“id”：https://openalex.org/I73417466“，”display_name“：”考文垂大学“，”ror“：”https://ror.org/01tgmhj36“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I73417466“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Filip Mazowiecki“，”raw _affiliation_strings“：[“英国考文垂华沙大学”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5068165188“，”display_name“：”James Worrell“，”orcid“：”https://orcid.org/0000-0001-8151-2443}，“机构”：[{“id”：https://openalex.org/I40120149“，”display_name“：”牛津大学“，”ror“：”https://ror.org/052gg0110“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I40120149“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”James Worrell“，”raw _affiliation_strings“：[“英国牛津大学，帕克斯路”]}]“countries_distict_count”：2，”institutions_disticent_count“：3，”corresponding_author_ids“：[]，”correcponding_institution_ids，“cited_by_count“：8，”cited_by_percentile_year“：{“min”：86，“max”：87}，“biblio”：{卷：“17”，“issue”：“4”，“first_page”：“1”，“last_page”：“38”}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：”{“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“：”Physical Sciences“｝｝，”topics“：[｛”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/T10215“，”display_name“：”语义Web和本体开发“，”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.9991，”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.514314}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.506692}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.500358}]，”concepts“：[{”id“：”https://openalex.org/C2780213375，“wikidata”：https://www.wikidata.org/wiki/Q16340“，”display_name“：”XPath“，”level“：4，”score“：0.7841457}，{”id“：”https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”级别“：2，”分数“：0.7376217}，{”id“：”https://openalex.org/C78023250，“wikidata”：https://www.wikidata.org/wiki/Q657596“，”display_name“：”一元运算“，”level“：2，”score“：0.7313028}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.599497}，{”id“：”https://openalex.org/C2776235265，“wikidata”：https://www.wikidata.org/wiki/Q18392052“，”display_name“：”片段（逻辑）“，”级别“：2，”分数“：0.4936708}，{”id“：”https://openalex.org/C56049555，“wikidata”：https://www.wikidata.org/wiki/Q1276570“，”display_name“：”EXPTIME“，”level“：4，”score“：0.47770146}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416（网址：https://www.wikidata.org/wiki/Q121416）“，”display_name“：”离散数学“，”level“：1，”score“：0.47609556}，{”id“：”https://openalex.org/C197685441，“wikidata”：https://www.wikidata.org/wiki/Q500716“，”display_name“：”PSPACE“，”level“：3，”score“：0.37181333}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.35511398}，{”id“：”https://openalex.org/C179799912，“wikidata”：https://www.wikidata.org/wiki/Q205084“，”display_name“：”计算复杂性理论“，”level“：2，”score“：0.3392938}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.3274343｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.3096894}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.28546846}，{”id“：”https://openalex.org/C8797682，“wikidata”：https://www.wikidata.org/wiki/Q2115“，”display_name“：”XML“，”level“：2，”score“：0.14995271}，{”id“：”https://openalex.org/C55348073，“wikidata”：https://www.wikidata.org/wiki/Q595926“，”display_name“：”XML验证“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2996796“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://ora.ox.ac.uk/objects/uuid:4a8207dd-6dad-4a13-a4cf-82ad51f6e822“，”pdf_url“：”https://ora.ox.ac.uk/objects/uuid:4a8207dd-6dad-4a13-a4cf-82ad51f6e822/files/mee3d642822867ef61197354a799d21fd“，”源“：{”id“：”https://openalex.org/S4306402636“，”display_name“：”牛津大学研究档案馆（ORA）（牛津大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I40120149“，”“host_organization_name”：“牛津大学”，“host_ordanization_lineage”：[“https://openalex.org/I40120149“]，”host_organization_lineage_names“：[”牛津大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://ora.ox.ac.uk/objects/uuid:4a8207dd-6dad-4a13-a4cf-82ad51f6e822“，”pdf_url“：”https://ora.ox.ac.uk/objects/uuid:4a8207dd-6dad-4a13-a4cf-82ad51f6e822/files/mee3d642822867ef61197354a799d21fd“，”源“：{”id“：”https://openalex.org/S4306402636“，”display_name“：”牛津大学研究档案馆（ORA）（牛津大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I40120149“，”“host_organization_name”：“牛津大学”，“host_ordanization_lineage”：[“https://openalex.org/I40120149“]，”host_organization_lineage_names“：[”牛津大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”display_name“：”素质教育“，”id“：”https://metadata.un.org/sdg/4“，”得分“：0.51｝]，”拨款“：[｛”资助者“：”https://openalex.org/F4320322511“，”“funder_display_name”：“Narodowe Centrum Nauki”，“award_id”：“DEC-2011/03/B/ST6/00346，DEC-2013/09/B/ST6/01535，DEC-2011/103/B/ST3/00346和DEC-2013/09/N/ST6/01170”}]，“数据集”：[]，“版本”：[]，“referenced_works_count”：16，“referrenced_works”：[“”https://openalex.org/W1483892218“，”https://openalex.org/W1518197906“，”https://openalex.org/W1536964483“，”https://openalex.org/W1573061520网址“，”https://openalex.org/W1983524017“，”https://openalex.org/W1991981864“，”https://openalex.org/W1992955510“，”https://openalex.org/W1997160698“，”https://openalex.org/W2005612348“，”https://openalex.org/W2017018565“，”https://openalex.org/W2025535135“，”https://openalex.org/W2030359223“，”https://openalex.org/W2053455078“，”https://openalex.org/W2124580444“，”https://openalex.org/W2131159347“，”https://openalex.org/W26118888112“]，”related_works“：[”https://openalex.org/W85597501“，”https://openalex.org/W2743317844“，”https://openalex.org/W2594077579“，”https://openalex.org/W2147888141“，”https://openalex.org/W2041536784“，”https://openalex.org/W2040509999“，”https://openalex.org/W2020230082“，”https://openalex.org/W1978299898“，”https://openalex.org/W1536883094“，”https://openalex.org/W1486715727“]，”ngrams_url“：”https://api.openalex.org/works/W2552825470/ngrams网站“，”“abstract_inverted_index”：{“Verification”：[0]，“of”：[1,8,19,95106109120144155171175185193]，“properties”：[2]，“expressed”：[3]，“in”：[4,16173]，“the”：[5,50,6910716131135142183191]，“two-variable”：[6]，“fragment”：[7]，“first order”：[9]，“logic”：[10]，“FO”：[11,25,44,66,87,96110156176199]，“2”：[12,26,45,67,88,97111157163177200]，“已“：[13,68]，“已”：[14]，“已调查”：[15]，“a”：[17,75,90103152194]，“数字”：[18184]，“上下文”。“：[20]，”The“：[21]，”satisfailability“：[22,57,94197]，”problem“：[23]，”for“：[24,79,93181198]，”over“：[27,98202]，”任意“：[28]，”structures“：[29]，”is“：[30,46,58]，”known“：[31,47]，”to“：[32,48196]，”be“：[33]，”NEXPTIME-complete“，”：[34]，”with“：[35]，”可满足“：[36]，“公式”：[37]，“有”：[38]，“指数大小”：[39]，“模型”。“：[40121]，”Over“：[41,61]，”words“：[42]，”where“：[43]，”have“：[49]，”same“：[51,70]，”expressivity“：[52,71]，”as“：[53,72]，”uninay“：[54]，”temporal“：[55]，”logic“：[56]，”again“：59]，”NEXPTIME-complete。“：[60]，”有限“：[62203]，”标签“：[63]，”有序“：[64]，”树“：[65113]，”导航“：[73]，”XPath，“：[74]，”流行“：[76]，”查询“：[77]，”语言“：[78]，”XML“：[80]，”文档。“：[81]，”Prior“：[82]，”work“：[83101]，”on“：[84112115130146168]，”XPath“：[85]，”and“：[86114118141190]，”gives“：+89]，”2EXPTIME“：[91]，”bind“：[92]，”trees。“：[99147204]，”此“：[100]，”包含“：[102]，”综合“：[104]，”分析“：[105170]，”复杂性“：[108]，”大小“：[117192]，”深度“：[119]，”我们“：[122148]，”显示“：[123]，”那“：[124]，”不同“：[125]，”技术“：[126180]，”是“：[127137]，”必需“：[128]，”依赖“：[129]，”词汇“：[132]，”使用“：[133]，“是否”：[134]，“树”：[136]，“排名”：[138]，“或“：[139]，”unranked，“：[140]，”encoding“：[143]，”labels“：[145]，”alsor“：[149]，”look“：[150]，”at“：[151]，”natural“：[153]，”restriction“：%154]，”，“，”：[158]，“its”：[159]，“guard”：[160]，“version”：[161]，“GF”：[162]，“。“：[164]，”我们的“：[165]，”结果“：[166]，”依赖“：[167]，”an“：[169]，”类型“：[172]，”模型“：[174]，”公式“：[178]，”包括“：[179]，”控制“：[182]，”不同“：[186]，”子树，“：[187]，”深度“：[189]，”见证“：[195]，”句子“：[201]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W2552825470“，”counts_by_year“：[{“年”：2023，”cited_by_count“：2}，{“年份”：2022，”ciped_by_cunt“：1}，”{“年度”：2021，“cited_by_count”：1}.，{”年“：2020，”cited_by_count“，”创建日期“：”2016-11-30“}