{“id”：“https://openalex.org/W3147498698“，”doi“：”https://doi.org/10.1145/3517129“，”title“：”参数化消除距离复杂度到一阶逻辑属性“，”display_name“：”一阶逻辑性质消除距离参数化复杂度“，”publication_year“：2022，”publiation_date“：”2022-04-06“，”ids“：{”openalex“：”https://openalex.org/W3147498698“，”doi“：”https://doi.org/10.1145/3517129“，”mag“：”3147498698“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3517129“，”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“：”preprint“，”type_crossref“：“jointal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”https://hal.science/hal-03389854/document“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5075328697“，”display_name“：”Fedor V.Fomin“，”orcid“：”https://orcid.org/0000-0003-1955-4612}，“机构”：[{“id”：https://openalex.org/I4432739“，”display_name“：”卑尔根大学“，”ror“：”https://ror.org/03zga2b32“，”country_code“：”NO“，”type“：“教育”，”世系“：[”https://openalex.org/I4432739“]}]，”国家“：[”NO“]，”is_corresponding“：false，”raw_author_name“：”Fedor V.Fomin“，”raw _affiliation_strings“：[“挪威卑尔根大学信息学系”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5051709720“，”display_name“：”Petr A.Golovach“，”orcid“：”https://orcid.org/0000-0002-2619-2990}，“机构”：[{“id”：https://openalex.org/I44332739“，”display_name“：”卑尔根大学“，”ror“：”https://ror.org/03zga2b32“，”country_code“：”NO“，”type“：“教育”，”世系“：[”https://openalex.org/I4432739“]}]，”国家“：[”NO“]，”is_corresponding“：false，”raw_author_name“：”Petr A.Golovach“，”raw _ afiliation_strings“：[“挪威卑尔根卑尔根大学信息学系”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5085447779“，”display_name“：”Dimitrios M.Thilikos“，”orcid“：”https://orcid.org/0000-0003-0470-1800}，“机构”：[{“id”：https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}，{”id“：”https://openalex.org/I4210101743“，”display_name“：”蒙彼利埃信息、机器人和微电子实验室“，”ror“：”https://ror.org/013yean28“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I151295451","https://openalex.org/I19894307","https://openalex.org/I208215962","https://openalex.org/I2802056588","https://openalex.org/I4210101743","https://openalex.org/I4210159245“]}，{”id“：”https://openalex.org/I19894307“，”display_name“：”蒙彼利埃大学“，”ror“：”https://ror.org/051escj72“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I19894307","https://openalex.org/I2802056588“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Dimitrios M.Thilikos“，”raw _ afiliation_strings“：[“LIRMM，Univ Montpellier，CNRS，Montpellie，France”]}]“countries _ distinct_count”：2，“institutions _ disting_count“：4，”corresponding_author_ids“：[]，”correcponding_institution_ids c_payd“：空，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：1，”cited_by_percentile_year“：{”min“：67，”max“：76}，”biblio“：{“volume”：“23”，”issue“：”3“，”first_page“：”1“，”last_page“：“35”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10374“，”display_name“：”图论与算法“，”score“：0.9997，”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.9997，”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/T10720“，”display_name“：”组合优化与复杂性理论“，”score“：0.9982，”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.9955，”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/parameterized-complexity网站“，”display_name“：”参数化复杂性“，”score“：0.553492}，{”id“：”https://openalex.org/keywords/fixed参数算法“，”display_name“：”固定参数算法“，”score“：0.510179}]，”concepts“：[{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.7792992}，{”id“：”https://openalex.org/C165464430，“wikidata”：https://www.wikidata.org/wiki/Q1570441“，”display_name“：”参数化复杂性“，”level“：2，”score“：0.7121737}，{”id“：”https://openalex.org/C144791301，“wikidata”：https://www.wikidata.org/wiki/Q1548746“，”display_name“：”二阶逻辑“，”level“：4，”score“：0.63961715}，{”id“：”https://openalex.org/C34388435，“wikidata”：https://www.wikidata.org/wiki/Q2267362“，”display_name“：”绑定函数“，”level“：2，”score“：0.6299598}，{”id“：”https://openalex.org/C136979486，“wikidata”：https://www.wikidata.org/wiki/Q773483“，”display_name“：”存在量化“，”level“：2，”score“：0.58246946}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.56684554}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.5320953}，{”id“：”https://openalex.org/C132525143，“wikidata”：https://www.wikidata.org/wiki/Q141488“，”display_name“：”Graph“，”level“：2，”score“：0.4748842}，{”id“：”https://openalex.org/C32278780，“wikidata”：https://www.wikidata.org/wiki/Q1849020“，”display_name“：”量词消除“，”level“：2，”score“：0.42891163}，{”id“：”https://openalex.org/C182306322，“wikidata”：https://www.wikidata.org/wiki/Q1779371“，”display_name“：”Order（exchange）“，”level“：2，”score“：0.42861897}，{”id“：”https://openalex.org/C169896238，“wikidata”：https://www.wikidata.org/wiki/Q1644136“，”display_name“：”高阶逻辑“，”level“：3，”score“：0.08865225}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.07612848}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C10138342，“wikidata”：https://www.wikidata.org/wiki/Q43015“，”display_name“：”Finance“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”经济学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”Programming language“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：7，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3517129“，”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://hal.science/hal-03389854，“pdf_url”：https://hal.science/hal-03389854/document“，”source“：null，”license“：”other-oa“，”licence_id“：”https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://hal.science/hal-03389854v2/file/1204.02998.pdf，“pdf_url”：https://hal.science/hal-03389854v2/file/1204.02998.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/1204.02998，“pdf_url”：https://arxiv.org/pdf/2104.01998，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.science/hal-03389854v2/document，“pdf_url”：https://hal.science/hal-03389854v2/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-03389854/document（文件），“pdf_url”：https://hal.archives-ouvertes.fr/hal-03389854/document（文件），“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-03389854/file/1204.02998.pdf，“pdf_url”：https://hal.archives-ouvertes.fr/hal-03389854/file/1204.02998.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”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://hal.science/hal-03389854，“pdf_url”：https://hal.science/hal-03389854/document“，”source“：null，”license“：”other-oa“，”licence_id“：”https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1008748165","https://openalex.org/W1517036688","https://openalex.org/W1570425181","https://openalex.org/W1777447092","https://openalex.org/W1857705078","https://openalex.org/W1989783863","https://openalex.org/W2004181701","https://openalex.org/W203910365","https://openalex.org/W2052210031","https://openalex.org/W2055288944","https://openalex.org/W2066585576","https://openalex.org/W2083951446","https://openalex.org/W2099200602","https://openalex.org/W2116087731","https://openalex.org/W2128203754","https://openalex.org/W2471129545","https://openalex.org/W2914414140","https://openalex.org/W2937927637","https://openalex.org/W2963662357","https://openalex.org/W2964266750","https://openalex.org/W3014089325","https://openalex.org/W3114248331","https://openalex.org/W3139366516","https://openalex.org/W3162608353","https://openalex.org/W3166550250“]，”related_works“：[”https://openalex.org/W604148464","https://openalex.org/W4292614342","https://openalex.org/W3028074942","https://openalex.org/W2950293817","https://openalex.org/W2502556751","https://openalex.org/W2369611481","https://openalex.org/W2367367674","https://openalex.org/W2338270372","https://openalex.org/W2110257077","https://openalex.org/W1488995571“]，”ngrams_url“：”https://api.openalex.org/works/W3147498698/ngrams网站“，”“abstract_inverted_index”：{“The”：[0]，“exclumination”：[1,251205]，“distance”：[2121206]，“to”：[3,27125]，“some”：[4]，“target”：[5]，”graph“：[6,12,28,64124]，“property”：[7,65]，“P”：[8,66126]，“is”：[9,58112134207]，“a”：[10,6913123160165177]，“general”：[1178]，“modify”：[13]，“parameter”：[14]，“介绍”：[15]，“作者”：[16,40,68138147173]，“布利安“：[17]，”和“：[18,43]，”达瓦尔。“：[19]，”We“：[20，34169]，”initiate“：[21]，”the“：[22，36，47，59，83119]，”study“：[23]，”of“：[24，49，51，8212144156]，”distance“：[26]，”properties“：[29]，”expressable“：[30，67146]，”in“：[31]，”一阶“：[32，52115]，”logic“。“：[33]，”delimit“：[35]，”problem\u2019s“：[37]，”fixed-parameter“：[38135]，”tractability“：[39]，”identified“：[41]，”sufficient“：[42]，”necessary“：[44]，”conditions“：[45]，”on“：[46]，”structure“：[48]，”前缀“：[50]，”logic“：[53]，”formulas“。“：[54]，“我们的”：[55]，“主”：[56]，“结果”：[57]，“以下”：[60]，“元理论：”：[61]，“对于”：[62]，“每”：[63]，“第一个”：[70]，“顺序逻辑”：[71]，“公式”：[72]，“\\（”：[73,85109130139150195208]，“\varphi”：[74,87196]，“\ in”：[75197]，“s\Sigma”：[76151]，“_3”：[77152199]，“\\）”：[78107111132141153200211]，“，”：[79133201]，“that”：[80175]，“is”：[81]，“形式”：[84]，“开始{等式*}”：[86]，“=\\存在”：[88]，“x_1\\存在“：[89]，“x2\\cdots”：[90]，“\\存在（exists）”：[91100103]，“xr\\”：[92]，“\”：[93,99]，“所有”：[94,97]，“y_{1}\\forall”：[95]\\“：[98]，”z_1\\exists“：[101]，”z_2\\cdots“：/102]，”z_t~~“：[104]，”\\psi“：[105110]，”，\\end{等式*}“：[106]，”where“：%108]，”无量词“：[114]，“公式”，“：[116]，“检查”：[117]，“是否”：[118]，“确实”：[127180]，“否”：[128181]，“超出”：[129]，“k”：[131140]，“可控制”：[136]，“参数化”：[137]，“.”：[142]，“属性”：[143]，“图形”：[145]，“表达式”：[148184194]，“从”：[149]，“包括”：[154]，“正在”：[155]，“有界”：[157]166]，“学位”：[158]，“排除”：[159]，“禁止”：[161]，“子图”：[162]，“或”：[163]，“包含”：[164]，“支配”：[167]，“集合”：[168]，“补码”：[170]，“this”：[171]，“定理”：[172]，“显示”：[174]，“such”：[176]，“语句”：[179]，“保持”：[182]，“表示”：[183202]，“with”：[185]，“even”：[186]，“稍微”：[187]，“更多”：[188]，“表达”：[189]]，“prefix”：[190]，“structure:”：[191]，“There”：[192]，“are”：[193]，“\\Pi”：[198]，“which”：[203]，“computing”：[204]，“{\\sf”：[209]，“W}[2]”：[210]，“-hard”：[212]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=引用：W3147498698“，”counts_by_year“：[{”年“：2023，”引用_by_count“：1}]，”更新日期“：”2024-06-07T02:33:20.208084“，”创建日期“：“2021-04-13”}