{“id”：“https://openalex.org/W4205298752“，”doi“：”https://doi.org/10.1007/978-3-030-93100-1_9“，”title“：”依赖逻辑复杂度的参数化视图“，”display_name“：”依存逻辑复杂度参数化视图”，“publication_year”：2021，“publiation_date”：“2021-12-15”，“ids”：{“openalex”：“https://openalex.org/W4205298752“，”doi“：”https://doi.org/10.1007/978-3-030-93100-1_9“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-93100-1_9“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：https://helda.helsinki.fi/bitstream/10138/338066/1/paper.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5069777444“，”display_name“：”Juha Kontinen“，”orcid“：”https://orcid.org/0000-0003-0115-5154“｝，”机构“：[｛”id“：”https://openalex.org/I1323065761“，”display_name“：”芬兰统计局“，”ror“：”https://ror.org/01n1rg855“，”country_code“：”FI“，”type“：“other”，”世系“：[”https://openalex.org/I1323065761“]}，{”id“：”https://openalex.org/I133731052“，”display_name“：”赫尔辛基大学“，”ror“：”https://ror.org/040af2s02“，”country_code“：”FI“，”type“：“教育”，”世系“：[”https://openalex.org/I133731052“]}]，”countries“：[”FI“]，”is_corresponding“：false，”raw_author_name“：”Juha Kontine“，”raw _affiliation_strings“：【”芬兰赫尔辛基大学数学与统计系“】，”affiliations“：[{”raw _affiliation_string“：”芬兰赫尔辛基大学数学和统计系“，”institution_ids“：[“https://openalex.org/I1323065761","https://openalex.org/I133731052“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5025571978“，”display_name“：”Arne Meier“，”orcid“：”https://orcid.org/0000-0002-8061-5376“｝，”机构“：[｛”id“：”https://openalex.org/I114112103“，”display_name“：”汉诺威莱布尼茨大学“，”ror“：”https://ror.org/0304hq317“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I114112103“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Arne Meier“，”raw _affiliation_strings“：[“德国汉诺威莱布尼茨大学理论信息研究所”]，“附属机构”：[{”raw _affiliation_string“：”德国汉诺华莱布尼兹大学理论信息学院”机构ID“：[”https://openalex.org/I114112103“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5011855160“，”display_name“：”Yasir Mahmood“，”orcid“：”https://orcid.org/0000-0002-5651-5391“｝，”机构“：[｛”id“：”https://openalex.org/I114112103“，”display_name“：”汉诺威莱布尼茨大学“，”ror“：”https://ror.org/0304hq317“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I114112103“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Yasir Mahmood“，”raw _ afiliation_strings“：[“德国汉诺威莱布尼茨大学理论信息研究所”]，“附属机构”：[{”raw _affiliation_string“：”德国汉诺华莱布尼兹大学理论信息学院”机构ID“：[”https://openalex.org/I114112103“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：2，”institutions_disticent_count”：3，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：0.0，“has_fulltext”：false，“cited_by_ count“：0，”引用规范化百分比“：{”value“：0.0，”is_in_top_1_percent“：false，”is-in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：0，”max“：58}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：“125”，“last_page”：“142”}https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9989，“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.9989，“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.9987，”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/T10374“，”display_name“：”图论与算法“，”score“：0.9951，”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/arity网站“，”display_name“：”Arity“，”score“：0.74976236}，{”id“：”https://openalex.org/keywords/descriptive-complexity-theory网站“，”display_name“：”描述性复杂性理论“，”score“：0.6843353｝，｛”id“：”https://openalex.org/keywords/parameterized-complexity网站“，”display_name“：”参数化复杂性“，”score“：0.629869}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.601404}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.545013}，{”id“：”https://openalex.org/keywords/state-complexity网站“，”display_name“：”状态复杂性“，”score“：0.540833}，{”id“：”https://openalex.org/keywords/constraint-satisfaction-problems“，”display_name“：”约束满足问题“，”score“：0.517807}，{”id“：”https://openalex.org/keywords/decision-tree-model（https://openalex.org/keywords/decision-tree-model）“，”display_name“：”决策树模型“，”score“：0.48539862}，{”id“：”https://openalex.org/keywords/tree网站“，”display_name“：”树（集合论）“，”score“：0.41426837}]，”concepts“：[{”id“：”https://openalex.org/C165464430，“wikidata”：https://www.wikidata.org/wiki/Q1570441“，”display_name“：”参数化复杂性“，”level“：2，”score“：0.917662}，{”id“：”https://openalex.org/C110546421，“wikidata”：https://www.wikidata.org/wiki/Q1315869“，”display_name“：”Arity“，”level“：2，”score“：0.74976236}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6909095}，{”id“：”https://openalex.org/C133142742，“wikidata”：https://www.wikidata.org/wiki/Q1200755“，”display_name“：”描述性复杂性理论“，”level“：3，”score“：0.6843353}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5884134}，{”id“：”https://openalex.org/C179799912，“wikidata”：https://www.wikidata.org/wiki/Q205084“，”display_name“：”计算复杂性理论“，”level“：2，”score“：0.5524511}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.5114831}，{”id“：”https://openalex.org/C56289965，“wikidata”：https://www.wikidata.org/wiki/Q5249246“，”display_name“：”决策树模型“，”level“：3，”score“：0.48539862}，{”id“：”https://openalex.org/C311688，“wikidata”：https://www.wikidata.org/wiki/Q2393193“，”display_name“：”时间复杂性“，”level“：2，”score“：0.4346818}，{”id“：”https://openalex.org/C113174947，“wikidata”：https://www.wikidata.org/wiki/Q2859736“，”display_name“：”树（集合论）“，”level“：2，”score“：0.41426837}，{”id“：”https://openalex.org/C132525143，“wikidata”：https://www.wikidata.org/wiki/Q141488“，”display_name“：”Graph“，”level“：2，”score“：0.411536}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.41092712}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.32532984}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.25155056}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.16085935}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.15929005}，{”id“：”https://openalex.org/C84525736，“wikidata”：https://www.wikidata.org/wiki/Q831366“，”display_name“：”决策树“，”level“：2，”score“：0.09641883}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-93100-1_9“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/10138/338066，“pdf_url”：https://helda.helsinki.fi/bitstream/10138/338066/1/paper.pdf，“源”：{“id”：https://openalex.org/S4306401476“，”display_name“：”Helda（赫尔辛基大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I133731052“，”“host_organization_name”：“赫尔辛基大学”，“host_organization_lineage”：[“https://openalex.org/I133731052“]，”host_organization_lineage_names“：[”赫尔辛基大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/2109.09342，“pdf_url”：https://arxiv.org/pdf/2109.09342，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”http://hdl.handle.net/10138/338066，“pdf_url”：https://helda.helsinki.fi/bitstream/10138/338066/1/paper.pdf，“源”：{“id”：https://openalex.org/S4306401476“，”display_name“：”赫尔达（赫尔辛基大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I133731052“，”“host_organization_name”：“赫尔辛基大学”，“host_organization_lineage”：[“https://openalex.org/I133731052“]，”host_organization_lineage_names“：[”赫尔辛基大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/10“，”score“：0.41，”display_name“：”Reduced不等式“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：22，”referrenced_works“：[”https://openalex.org/W1482215821","https://openalex.org/W1489366126","https://openalex.org/W1570425181","https://openalex.org/W1926269500","https://openalex.org/W1991388620","https://openalex.org/W2002722727","https://openalex.org/W2003216212","https://openalex.org/W2034690236","https://openalex.org/W2044535619","https://openalex.org/W2079986269","https://openalex.org/W2085550081","https://openalex.org/W2116087731","https://openalex.org/W2124132452","https://openalex.org/W2169393469","https://openalex.org/W2608649399","https://openalex.org/W2914617426","https://openalex.org/W2963674548","https://openalex.org/W2964051209","https://openalex.org/W3003548459","https://openalex.org/W3103522412","https://openalex.org/W4244088669","https://openalex.org/W57966795“]，”related_works“：[”https://openalex.org/W4286970061","https://openalex.org/W4205298752","https://openalex.org/W3200143297","https://openalex.org/W3098927428","https://openalex.org/W2565115296","https://openalex.org/W2024402979","https://openalex.org/W1988772559","https://openalex.org/W1834737061","https://openalex.org/W1539117866","https://openalex.org/W1524939943“]，”abstract_inverted_index“：{”In“：[0]，”this“：[1,36]，”paper“：[2]，”we“：[3,95]，”调查“：[4]，”the“：[5,21,39,48,51,55,58,61,64,75,86,98101110118]，”parameterated“：[6,76]，”复杂性“：[7,77,99]，”of“：[8,23,31,41,50,54,60,66,74,78,85100109117]，”model“：[9,79111]，”checking“：[10,80112]，”for“：[11,35]，”Dependence“：[12]，”Logic“：[13]，”which“：[14]，”是“：[15]，”a“：[16,29,71,83]，”well“：[17]，”studed“：[18]，”logic“：[19]，”in“：[20]，”area“：[22]，”Team“：[24]，”Semantics。“：[25]，“我们”：[26,69]，“开始”：[27]，“with”：[28]，“list”：[30]，“nine”：[32]，“immediate”：[33]，“parameterations”：[34]，“problem”：[37]，“即：”：[38]，“number”：[40]，“disjunctions”：[42]，“（即：[43]，“splits）/（free）”：[44]，“variables/universal”：[45]，“quantifiers”：[46]，“formula-size，”“：[47]，”树宽“：[49]，”盖夫曼“：[52]，”图形“：[53]，”输入“：[56]，”结构，“：[57]，”大小“：[59]，”宇宙/团队“：[62]，”和“：[63,81,90106]，”arity“：[65]，”依赖性“：[67]，”原子。“：[68]，”当前“：[70]，”综合“：[72]，”图片“：[73]，”获得“：[82]，”除法“：[84]，”问题“：[87113]，”进入“：[88]，”可控制“：[89]，”各种“：[91]，”难处理“：[92]，”度。“：[93]，“此外，”：[94]，“也”：[96]，“考虑”：[97]，“最多”：[102]，“重要”：[103]，“变体”：[104]，“（数据”：[105]，“表达式”：[107]，“复杂性）”：[108]，“by”：[114]，“fixing”：[115]，“parts”：[116]，“input。“：[119]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4205298752“，”counts_by_year“：[]，”updated_date“：”2024-09-17T22:37:37.320673“，”created_date:“2022-01-25”}“