{“id”：“https://openalex.org/W2130828787“，”doi“：”https://doi.org/10.1007/978-3-642-54830-7_13“，”title“：”Pushdown Graphs上的资源可达性游戏“，”display_name“：”Pushdown Graphs上资源可达性博弈“，”publication_year“：2014，”publiation_date“：”2014-01-01“，”ids“：{”openalex“：”https://openalex.org/W2130828787“，”doi“：”https://doi.org/10.1007/978-3-642-54830-7_13“，”mag“：”2130828787“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-642-54830-7_13，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-642-54830-7_13.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/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”施普林格自然“，”施普林格科学+商业媒体“]，”type“：”丛书“}，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”type“：”图书章节“，”type_crossref“：”图书章节“，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oaurl“：”https://link.springer.com/content/pdf/10.1007%2F978-3-642-54830-7_13.pdf“，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5050934451“，”display_name“：”Martin Lang“，”orcid“：”https://orcid.org/0000-0001-8819-5479}，“机构”：[{“id”：https://openalex.org/I887968799“，”display_name“：”亚琛理工大学“，”ror“：”https://ror.org/04xfq0f34“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I887968799“]}]，”国家“：[”DE“]，”is_corresponding“：true，”raw_author_name“：”Martin Lang“，”raw _affiliation_strings“：[“RWTH Aachen University，Lehrstuhl f \u00fcr Informatik 7，D-52056，Aachen，Germany”]，“afliations”：[{“raw_affiliation _string”：“RWTH-Aachen大学，Lehrstuhl f\u00fcr Informatic 7，D-5256，德国Aachen”，“institution_ids”：[”https://openalex.org/I887968799“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5050934451“]，”对应的机构ID“：[”https://openalex.org/I887968799“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：0.518，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：1，”citected_by_percentile_year“：{”min“：70，”max“：76}，“biblio”：{“volume”：null、“issue”：nul，”first_page“：”195“，”last_page“：”209“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9995，“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.9995，“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/T10933“，”“display_name”：“嵌入式系统中的实时调度”，“score”：0.9972，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9949，“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/keywords/resource-allocation网站“，”display_name“：”资源分配“，”score“：0.524689}]，”concepts“：[{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”级别“：2，”分数“：0.87625015}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7907084｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.52936435}，{”id“：”https://openalex.org/C2777669093，“wikidata”：https://www.wikidata.org/wiki/Q17141570“，”display_name“：”可达性问题“，”level“：3，”score“：0.50489503}，{”id“：”https://openalex.org/C77553402，“wikidata”：https://www.wikidata.org/wiki/Q13222579“，”display_name“：”上下限“，”level“：2，”score“：0.49630934}，{”id“：”https://openalex.org/C34388435，“wikidata”：https://www.wikidata.org/wiki/Q2267362“，”display_name“：”绑定函数“，”level“：2，”score“：0.44934002}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.43999806}，{”id“：”https://openalex.org/C206345919，“wikidata”：https://www.wikidata.org/wiki/Q20380951“，”display_name“：”Resource（disambiguation）“，”level“：2，”score“：0.43972927}，{”id“：”https://openalex.org/C77944639，“wikidata”：https://www.wikidata.org/wiki/Q751443“，”display_name“：”下推自动机“，”level“：3，”score“：0.42701307}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.34653115｝，｛”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.2822665}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.15724954}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.1523071}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.07142386}，{”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-642-54830-7_13，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-642-54830-7_13.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/P431031965","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-642-54830-7_13，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-642-54830-7_13.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/P431031965","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/8“，”display_name“：”体面工作与经济增长“，”score“：0.4}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：11，”referrenced_works“：【”https://openalex.org/W1536303350","https://openalex.org/W1568797836","https://openalex.org/W1589224558","https://openalex.org/W1790689966","https://openalex.org/W2076508310","https://openalex.org/W2095067686","https://openalex.org/W2096608485","https://openalex.org/W2168601854","https://openalex.org/W2913561688","https://openalex.org/W3022006420","https://openalex.org/W4236251966“]，”related_works“：[”https://openalex.org/W4300463216","https://openalex.org/W4287199681","https://openalex.org/W4253760428","https://openalex.org/W4224983736","https://openalex.org/W3208672221","https://openalex.org/W3172202899","https://openalex.org/W3017277461","https://openalex.org/W2099490078","https://openalex.org/W2047831585","https://openalex.org/W1548979236“]，”ngrams_url“：”https://api.openalex.org/works/W2130828787/ngrams网站“，”“abstract_inverted_index”：{“我们”：[0,50,80]，“考虑”：[1]，“双层”：[2]，“可达性”：[3]，“游戏”：[4]，“with”：[5,76]，“附加”：[6]，“资源”：[7,27]，“计数器”：[8]，“on”：[9]，“arenas”：[10]，“that”：[11,44,63]，“is”：[12]，“induced”：[13]，“by”：[14]，”：[15]，“the”,26,31,52,68]，“配置”：[16]，“图形”：[17]，“的”：[18,73,93]，“下推”：[19]，“系统。“：[20]，”对于“：[21]，”a“：[22,58,71]，”游戏“：[23]，”我们“：[24,39]，”定义“：[25]，”成本“：[28]，”到“：[29,48,86]，”是“：[30]，”最高“：[32]，”发生“：[33]，”计数器“：[34]，”值。“：[35]，“In”：[36]，“this”：[37,77,88]，“way”，：[38]，“quantify”：[40]，“resources”：%41]，“and”：[42,95]，“memory”：[43]，“player”：【45,64】，“0”：【46,65】，“needs”：【47】，“win”。“：[49]，”引入“：[51]，”有界“：[53]，”获胜“：[54]，”问题：“：[55]，”是“：[56]，”那里“：[57]，”统一“：[59]，”绑定“：[60,78]，”k“：[61]，”这样“：[62]，”可以“：[66]，”赢“：[67]，”游戏“：[69]，”来自“：[70]，”集合“：[72]，”初始“：[74,94]，”配置“：[75]，”k？“：[79]，”提供“：[81]，”一个“：[82]，”有效“：[83]，”基于饱和“：[84]，”方法“：[85]，”解决“：[87]，”问题“：[89]，”用于“：[90]，”常规“：[91]，”集合“：[92]，”目标“：[96]，”配置。“：[97]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2130828787“，”counts_by_year“：[{”年“：2015，”cited_by_count“：1}]，”更新日期“：”2024-06-27T02:41:35.462682“，”创建日期“：“2016-06-24”}