{“id”：“https://openalex.org/W2794005610网址“，”doi“：”https://doi.org/10.1016/j.ic.2016.07.007“，”title“：”可视下推模块化游戏“，”display_name“：”可视化下推模块式游戏“，“publication_year”：2017，“publitation_date”：“2017-04-01”，“ids”：{“openalex”：“https://openalex.org/W2794005610网址“，”doi“：”https://doi.org/10.1016/j.ic.2016.07.007“，”mag“：”2794005610“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.ic.2016.07.007“，”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，”is_core“：true，”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“：”发行商特定oa“，”license_id“：”https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1016/j.ic-2016.07.007“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5053887728“，”display_name“：”Ilaria De Crescenzo“，”orcid“：null}“，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”I.De Crescenzo“https://openalex.org/A5078894561“，”display_name“：”Salvatore La Torre“，”orcid“：”https://orcid.org/0000-0002-4978-4307“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”S.La Torre“，”raw _ afiliation_strings“：[]，“affiliations”：[]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5016093552“，”display_name“：”Yaron Velner“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Y.Velner”，“raw_affiliation_strings”：[]、“affiliations”：[]}]，“countries_distiction_count”：0，“institutions_distect_count“：0，”corresponding_author_ids“：[】，”correcponding_institation_ids“值”：2630，“货币”：USD“，”value_USD“：2630，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：0.0，”has_fulltext“：false，”cited_by_count“：0，”citation_normalized_percentile“：nul，”cited_by_percentile_year“：{”min“：0”max“：65}，“biblio”：{“volume”：“253”，“issue”：null、“first_page”：“204”，“last_page”：”223“}”，”is_retract ed“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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.9998，“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.9994，“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9983，“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/keywords/pushdown-automaton网站“，”display_name“：”下推自动机“，”score“：0.83701915}，{”id“：”https://openalex.org/keywords/nondeterministic-algorithm“，”display_name“：”非确定性算法“，”score“：0.70459104}，{”id“：”https://openalex.org/keywords/undeditable-problem“，”display_name“：”无法确定问题“，”score“：0.6207467}，{”id“：”https://openalex.org/keywords/embedded-pushdown-automaton“，”display_name“：”嵌入式下推自动机“，”score“：0.5363198}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.512429}，{”id“：”https://openalex.org/keywords/detentistic-pushdown-automaton“，”display_name“：”确定性下推自动机“，”score“：0.41059124}]，”concepts“：[{”id“：”https://openalex.org/C77944639，“wikidata”：https://www.wikidata.org/wiki/Q751443“，”display_name“：”下推自动机“，”level“：3，”score“：0.83701915}，{”id“：”https://openalex.org/C176181172，“wikidata”：https://www.wikidata.org/wiki/Q3490301“，”display_name“：”非确定性算法“，”level“：2，”score“：0.70459104}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6943816}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.638688}，{”id“：”https://openalex.org/C192034797，“wikidata”：https://www.wikidata.org/wiki/Q3502995“，”display_name“：”无法确定问题“，”level“：3，”score“：0.6207467}，{”id“：”https://openalex.org/C168773036网址，“wikidata”：https://www.wikidata.org/wiki/Q264164“，”display_name“：”递归（计算机科学）“，”level“：2，”score“：0.56436414｝，｛”id“：”https://openalex.org/C101468663，“wikidata”：https://www.wikidata.org/wiki/Q1620158“，”display_name“：”模块化设计“，”level“：2，”score“：0.5431534｝，｛”id“：”https://openalex.org/C27034413，“wikidata”：https://www.wikidata.org/wiki/Q5370010“，”display_name“：”嵌入式下推自动机“，”level“：5，”score“：0.5363198}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.52426696}，{”id“：”https://openalex.org/C11335779，“wikidata”：https://www.wikidata.org/wiki/Q3454686“，”display_name“：”Reduction（mathematics）“，”level“：2，”score“：0.50073385}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.46514785}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”Finite-state machine“，”level“：2，”score“：0.44865108}，{”id“：”https://openalex.org/C74919329，“wikidata”：https://www.wikidata.org/wiki/Q378713“，”display_name“：”确定性下推自动机“，”level“：5，”score“：0.41059124}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.40682632}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.34506541}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.33273417}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.25684384}，{”id“：”https://openalex.org/C158008952，“wikidata”：https://www.wikidata.org/wiki/Q617295“，”display_name“：”非确定性有限自动机“，”level“：4，”score“：0.17883173}，{”id“：”https://openalex.org/C116248031，“wikidata”：https://www.wikidata.org/wiki/Q214526“，”display_name“：”自动机理论“，”level“：3，”score“：0.1648967}，{”id“：”https://openalex.org/C97212296，“wikidata”：https://www.wikidata.org/wiki/Q338047“，”display_name“：”上下文无关语法“，”level“：3，”score“：0.109708995}，{”id“：”https://openalex.org/C186644900，“wikidata”：https://www.wikidata.org/wiki/Q194152“，”display_name“：”Parsing“，”level“：2，”score“：0.0836007}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C134083981，“wikidata”：https://www.wikidata.org/wiki/Q1754022“，”display_name“：”树邻接语法“，”level“：4，”score“：0.0｝]，”mesh“：[]，”locations_count“：2，”locations“：[｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.ic.2016.07.007“，”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，”is_core“：true，”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”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa网址“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/1408.5969，“pdf_url”：https://arxiv.org/pdf/1408.5969，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”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://doi.org/10.1016/j.ic.2016.07.007“，”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，”is_core“：true，”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”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“，”score“：0.78}]，”grants“：[{”funder“：”https://openalex.org/F4320321873“，”funder_display_name“：”Ministro dell\u2019Istruzione，dell\u 2019University\u 00e0 e della Ricerca“，”award_id“：”FARB 2013\u 20132014\u 20132015“}，{”funder“：”https://openalex.org/F4320324133“，”funder_display_name“：”Universit\u00e0 degli Studi di Salerno“，”award_id“：null}]，”datasets“：[]，”versions“：[]，”referenced_works_count“：41，”referrenced_works“：[”https://openalex.org/W1514149009","https://openalex.org/W1544533039","https://openalex.org/W1556566737","https://openalex.org/W1560374668","https://openalex.org/W1588784669","https://openalex.org/W1592028210","https://openalex.org/W1595576901","https://openalex.org/W1596680954","https://openalex.org/W1724856927","https://openalex.org/W1725438563","https://openalex.org/W174477046","https://openalex.org/W1758177211","https://openalex.org/W1777291824","https://openalex.org/W1857043531","https://openalex.org/W1905591175","https://openalex.org/W1976426006","https://openalex.org/W1984451181","https://openalex.org/W1996120936","https://openalex.org/W2016206563","https://openalex.org/W2023808162","https://openalex.org/W2076284895","https://openalex.org/W2087046173","https://openalex.org/W2088846354","https://openalex.org/W2105273466","https://openalex.org/W2122095746","https://openalex.org/W2131886132","https://openalex.org/W2145494365","https://openalex.org/W2151670874","https://openalex.org/W2178626170","https://openalex.org/W2179217959","https://openalex.org/W2181097666","https://openalex.org/W2250083056","https://openalex.org/W2293532102","https://openalex.org/W2294220179","https://openalex.org/W2395891450","https://openalex.org/W2400910819","https://openalex.org/W3022006420","https://openalex.org/W3100906898网址","https://openalex.org/W3101301532","https://openalex.org/W56613915","https://openalex.org/W58916880“]，”related_works“：[”https://openalex.org/W392685101","https://openalex.org/W2522490152","https://openalex.org/W2472752294","https://openalex.org/W2074593591","https://openalex.org/W2067895928","https://openalex.org/W2012479020","https://openalex.org/W1991406344","https://openalex.org/W1972232894","https://openalex.org/W1511257926","https://openalex.org/W1486486721“]，”ngrams_url“：”https://api.openalex.org/works/W2794005610/ngrams网站“，”“abstract_inverted_index”：{“递归”：[0]，“游戏”：[1]，“图形”：[2]，“可以”：[3]，“是”：[4]，“使用过”：[5]，“到”：[6,34,40,57,90]，“原因”：[7]，“关于”：[8]，“the”：[9,18,25,50100]，“控制”：[10]，“流”：[11]，“of”：[12,22,63103]，“顺序”：[13]，“程序”：[14]，“with”：[15,55,93]，“recursion”：[16]，“Here”：[17]，“most”：[19]，“natural”：[20]，“concept”：[21]策略“：[23,30]，”是“：[24,32,38]，”模块“：[26,53,70,91]，”一，“：[27]，”即“：[28]，”a“：[29,35,88130135]，”that“：[31,68139]，”local“：[33]，”module“：[36,42]，”and“：[37,76114122147]，”overavious“：[39]，”previous”：[41]，“调用。“：[43]，“In”：[44]，“this”：[45104]，“work”，：[46]，“we”：47133]，“study”：[48]，“for”：[49,79144]，“first”：[51]，“time”：【52】，“strategies”：[54]，“respect”：[56]，“wing”：[58,95111]，“conditions”：[59112]，“expressed”：[60]，“as”：[61110]，“languages”：【62】，“pushdown”：[64,69,81120]，“自动机。“：[65]，”我们“：[66,97]，”显示“：[67]，”游戏“：[71,92]，”是“：[72]，”不可判定“：[73]，”in“：[74]，”通用“：[75]，”成为“：[77]，”可判定“:[78]，”可见“：[80119]，”自动机“：[82]，”规格。“：[83]，”我们的“：[84]，”解决方案“：[85]，”依赖“：[86]，”基于“：[87141]，”约简“：[89]，”有限状态“：[94]，”条件。“：[96]，”小心“：[98]，”表征“：[99]，”计算“：[101]，”复杂性“：[102]，”决策“：[105]，”问题“：[106]，”通过“：[107]，”还“：[108]，”考虑“：[109]，”非确定性“：[113]，”通用“：[115]，”B\u00fcchi“：[116]，”或“：[117124]，”co-B\u00fcchi“：[118]，”自动机“：[121]，”CaRet“：[123]，“Nwtl”：[125]，“时态”：[126]，“逻辑”：[127]，“公式”。“：[128]，”As“：[129]，”进一步“：[131]，”贡献“：[132]，”现有“：[134]，”不同“：[136]，”综合“：[137]，”算法“：[138]，”改进“：[140]，”已知“：[142]，”解决方案“：[143]，”大型“：[145]，”规格“：[146]，”多“：[148]，”退出。“：[149]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2794005610“，”counts_by_year“：[]，”updated_date“：”2024-08-19T19:17:27.901757“，”created_dates“：”2018-03-29“}“