｛“id”：“https://openalex.org/W1591447482“，”doi“：”https://doi.org/10.1007/978-3-662-46681-0_59“，”title“：”WS1S的嵌套反链“，”display_name“：”WS1S的嵌套反链“，”publication_year“：2015，”publication_date“：”2015-01-01“，”ids“：｛”openalex“：”https://openalex.org/W1591447482“，”doi“：”https://doi.org/10.1007/978-3-662-46681-0_59“，”mag“：”1591447482“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-662-46681-0_59，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-662-46681-0_59.pdf“，”源“：{”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/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oa_url“：”https://link.springer.com/content/pdf/10.1007%2F978-3-662-46681-0_59.pdf“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5061449142“，”display_name“：”Tom\u00e1\u0161 Fiedor“，”orcid“：”https://orcid.org/0009-0009-2596-9399“｝，”机构“：[｛”id“：”https://openalex.org/I60587646“，”display_name“：”布尔诺理工大学“，”ror“：”https://ror.org/03613d656“，”country_code“：”CZ“，”type“：“教育”，”世系“：[”https://openalex.org/I60587646“]}]，”国家“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”Tom\u00e1\u0161 Fiedor“，”raw_affiliation_strings“：[“IT4创新中心，FIT，Brno University of Technology，Brno，Czech\u00a0 Republic”]，“afliations”：[{“raw_affilition_string”：“捷克共和国布尔诺市布尔诺科技大学FIT IT4创新中心“，“institution_ids”：[“https://openalex.org/I60587646“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5059358773“，”display_name“：”Luk\u00e1\u0161 Hol\u00edk“，”orcid“：”https://orcid.org/0000-0001-6957-1651“｝，”机构“：[｛”id“：”https://openalex.org/I60587646“，”display_name“：”布尔诺理工大学“，”ror“：”https://ror.org/03613d656“，”country_code“：”CZ“，”type“：“教育”，”世系“：[”https://openalex.org/I60587646“]}]，”国家“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”Luk\u00e1\u0161 Hol\u00edk“，”raw _ afiliation_strings“：[“IT4创新中心，FIT，Brno University of Technology，Brno，Czech \u00a0 Republic”]，“从属关系”：[{“raw_affiliation_string”：“捷克共和国布尔诺市布尔诺科技大学FIT IT4创新中心“，“institution_ids”：[“https://openalex.org/I60587646“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5063557188“，”display_name“：”Ond\u0159ej Leng\u00e1l“，”orcid“：”https://orcid.org/0000-0002-3038-5875“｝，”机构“：[｛”id“：”https://openalex.org/I60587646“，”display_name“：”布尔诺理工大学“，”ror“：”https://ror.org/03613d656“，”country_code“：”CZ“，”type“：”教育“，”血统“：[”https://openalex.org/I60587646“]}]，”国家“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”Ond\u0159ej Leng\u00e1“，”raw _ afiliation_strings“：[“IT4创新中心，FIT，Brno University of Technology，Brno，Czech \u00a0 Republic”]，“afiliations”：[{“raw_affiliation_strong”：“捷克共和国布尔诺市布尔诺科技大学FIT IT4创新中心“，“institution_ids”：[“https://openalex.org/I60587646“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5005128087“，”display_name“：”Tom\u00e1\u0161 Vojnar“，”orcid“：”https://orcid.org/0000-0002-2746-8792“｝，”机构“：[｛”id“：”https://openalex.org/I60587646“，”display_name“：”布尔诺理工大学“，”ror“：”https://ror.org/03613d656“，”country_code“：”CZ“，”type“：“教育”，”世系“：[”https://openalex.org/I60587646“]}]，”国家“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”Tom\u00e1\u0161 Vojnar“，”raw _ affiliation_strings“：[“IT4创新中心，FIT，Brno University of Technology，Brno，Czech \u00a0 Republic”]，“affiliation”：[{“raw _ ffiliation_string”：“捷克共和国布尔诺市布尔诺科技大学FIT IT4创新中心“，“institution_ids”：[“https://openalex.org/I60587646“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：2.655，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_b y_count“：9，”cited_by_percentile_year“：{”min“：87，”max“：88｝，”biblio“：｛”volume“：null，”issue“：null，”first_page“：”658“，”last_page“：”674“｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9994，“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.9994，“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9973，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”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.9969，“subfield”：{“id”：“https://openalex.org/subfields/s702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/automated-testing网站“，”display_name“：”自动测试“，”score“：0.495053}]，”concepts“：[{”id“：”https://openalex.org/C136134351，“wikidata”：https://www.wikidata.org/wiki/Q431937“，”display_name“：”Antichain“，”level“：3，”score“：0.904632}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.69514}，{”id“：”https://openalex.org/C176181172，“wikidata”：https://www.wikidata.org/wiki/Q3490301“，”display_name“：”非确定性算法“，”level“：2，”score“：0.6493033}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.570221}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.45296338}，{”id“：”https://openalex.org/C177148314，“wikidata”：https://www.wikidata.org/wiki/Q170084网址“，”display_name“：”Generalization“，”level“：2，”score“：0.43734825}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3994691}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.34066468}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.27892995}，{”id“：”https://openalex.org/C180645754，“wikidata”：https://www.wikidata.org/wiki/Q474715“，”display_name“：”部分有序集“，”level“：2，”score“：0.13215715}，{”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.1007/978-3-662-46681-0_59，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-662-46681-0_59.pdf“，”源“：{”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/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”best_oa_location“：{”is_oa“：true”，“landing_page_url”：“https://doi.org/10.1007/978-3-662-46681-0_59，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-662-46681-0_59.pdf“，”源“：{”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/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“，”score“：0.84}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：18，”referrenced_works“：]”https://openalex.org/W1482190611","https://openalex.org/W1497805930","https://openalex.org/W1520431822","https://openalex.org/W1540068003","https://openalex.org/W1543741569","https://openalex.org/W1562049750","https://openalex.org/W1602317429","https://openalex.org/W1685060813","https://openalex.org/W1731774687","https://openalex.org/W1818793721","https://openalex.org/W1910824881","https://openalex.org/W195774605","https://openalex.org/W2007281030","https://openalex.org/W2045388381","https://openalex.org/W2065248162","https://openalex.org/W2147650421","https://openalex.org/W342816535","https://openalex.org/W4238367836“]，”related_works“：[”https://openalex.org/W4246843255","https://openalex.org/W2928599599","https://openalex.org/W2170634995网址","https://openalex.org/W2082036845","https://openalex.org/W2065333210","https://openalex.org/W2060032524","https://openalex.org/W2053233145","https://openalex.org/W2047255619","https://openalex.org/W1529656707","https://openalex.org/W1519761499“]，”ngrams_url“：”https://api.openalex.org/works/W1591447482/ngrams网站“，”“abstract_inverted_index”：{“We”：[0131]，“propose”：[1]，“a”：[2,62,87,95112116]，“novel”：[3]，“approach”：[4,22]，“for”：[5,54,79127]，“copping”：[6]，“with”：%7,48]，“alternative”：+8]，“quantitation”：[9]，“as”：[10]，“the”：[11,26,40,59,68,83,91101108119123]，“main”：[12]，“source”：[13]，“的”：[14,17,61,75,82,90118145]，“非元素”：[15]，“复杂性”：[16]，“决定”：[18]，“WS1S”：[19,29]，“公式。”：[20]，“我们的”：[21,64]，“是”：[23]，“适用”：[24]，“在”：[25]，“最先进”：[27]，“基于自动机”：[28]，《决定》：[30,42]，“过程”：[31,43]，“实现”：[32]，“例如”：[33]，“in”：[34,38,58137]，“MONA.”：[35]，“the”：[36]，“方式”：[37]，“其中”：[39,93]，“标准”：[41]，“过程”：[44]，“量词”：[45]，“涉及”：[46]，“确定”：[47]，“其”：[49]，“最坏”：[50]，“案例”：[51]，“指数”：[52]，“复杂性”：[53]，“每”：[55]，“量词”：[56]，“交替”：[57]，“前缀”：[60]，“公式”：[63,84]，“算法”：[65]，“避免”：[66]，“构建”：[67]，“确定性”：[69]，“自动机\u2014替代”：[70]，“it”：[71]，“constructs”：[72]，“only”：[73]，“these”：[74]，“他们”：[76]，“状态”：[77]，“需要”：[78]，“（dis）证明”：[80]，“有效性”：[81]，“它”：[85]，“使用”：[86]，“符号”：[88]，“表示”：[89]，“州”：[92]，“有”：[94132]，“深层”：[96]，“嵌套”：[97113]，“结构”：[98]，“词根”：[99]，“源”：[100]，“重复”：[102]，“隐含”：[103]，“子集”：[104]，“构造”，：[105]，“和”：[106]，“修剪”：[107]，“搜索”：[109]，“空间”：[110]，“by”：[1112142]，“包含”：[114]，“关系”：[115]，“泛化”：[117]，“一”：[120]，“使用”：[121]，“所谓的”：[124]，“反链”：[125]，“算法”：[126]，“处理”：[128]，“不确定性”：[129]，“自动机”：[130]，“获得”：[133]，“鼓励”：[134]，“实验”：[135]，结果，“：[136]，”一些“：[138]，”病例“：[139]，“跑赢大市”：[140]，“MONA”：[141]，“多个”：[143]，“订单”：[144]，“幅度”：[146]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W1591447482“，”counts_by_year“：[{“年份”：2021，”cited_by_count“：1}，{“年度”：2019，”ciped_by_cunt“：3}，”{“年”：2018，“cited_by_count”：1}，{”年“：2017，”cited_by_count