{“id”:“https://openalex.org/W1508555606“,”doi“:”https://doi.org/10.1007/3-540-45793-3_22“,”title“:”用\u22113获胜条件解决下推游戏“,”display_name“:”使用\u22114获胜条件求解下推游戏”,“publication_year”:2002,“publiation_date”:“2002-01-01”,“ids”:{“openalex”:“https://openalex.org/W1508555606“,”doi“:”https://doi.org/10.1007/3-540-45793-3_22“,”mag“:”1508555606“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/3-540-45793-3_22“,”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“:false”“,”oa_url“:空,”any_repository_has_fulltext“:false},”作者身份“:[{”作者位置“:”第一个“,”作者“:{”id“:”https://openalex.org/A5024963732“,”display_name“:”Thierry Cachat“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I887968799“,”display_name“:”亚琛理工大学“,”ror“:”https://ror.org/04xfq0f34“,”country_code“:”DE“,”type“:“教育”,”世系“:[”https://openalex.org/I887968799“]}],”国家“:[”DE“],”is_corresponding“:false,”raw_author_name“:”Thierry Cachat“,”raw _affiliation_strings“:[“Lehrstuhl f \u00fcr Informatik VII,RWTH,Aachen”],”affiliations“:[{”raw _affiliation_string“:”Lehrstu f \u00 fcr Information VII,RWTH,亚琛“,”institution_ids“:[https://openalex.org/I887968799“]}]},{”author_position“:”middle“,”author“:{”id“:”https://openalex.org/A5084127176“,”display_name“:”J Duparc“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I887968799“,”display_name“:”亚琛理工大学“,”ror“:”https://ror.org/04xfq0f34“,”country_code“:”DE“,”type“:“教育”,”世系“:[”https://openalex.org/I887968799“]}],”国家“:[”DE“],”is_corresponding“:false,”raw_author_name“:”Jacques Duparc“,”raw _affiliation_strings“:[“Lehrstuhl f \u00fcr Informatik VII,RWTH,Aachen”],”affiliations“:[{”raw _affiliation_string“:”Lehrstu f \u00 fcr Information VII,RWTH,亚琛“,”institution_ids“:[https://openalex.org/I887968799“]}]},{”author_position“:”last“,”author“:{”id“:”https://openalex.org/A5020814539“,”display_name“:”Wolfgang Thomas“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I887968799“,”display_name“:”亚琛理工大学“,”ror“:”https://ror.org/04xfq0f34“,”country_code“:”DE“,”type“:“教育”,”世系“:[”https://openalex.org/I887968799“]}],”国家“:[”DE“],”is_corresponding“:false,”raw_author_name“:”Wolfgang Thomas“,”raw _affiliation_strings“:[“Lehrstuhl f \u00fcr Informatik VII,RWTH,Aachen”],”affiliations“:[{”raw _affiliation_string“:”Lehrstu f \u00 fcr Information VII,RWTH,亚琛“,”institution_ids“:[https://openalex.org/I887968799“]}]}],”countries_distinact_count“:1,”institutions_disticant_count”:1,“corresponding_author_ids”:[],”correspounding_institution_ids“:[]、”apc_list“:{”value“:5000,”currency“:”EUR“,”value_usd“:5392,”provenance“:”doaj“},”apc_payed“:null,”fwci“:4.29,”has_fulltext“:false,”cited_by_count ile_year“:{“最小”:88,“最大”:89},“书目”:{”volume“:null,”issue“:nul,”first_page“:”322“,”last_page“:”336“},”is_retracted“:false,”is_paratext“:fase,”primary_topic“:{”id“:”https://openalex.org/T10142“,”“display_name”:“软件验证和控制中的形式方法”,“score”:0.9978,“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.9978,“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/T11010“,”display_name“:”逻辑编程与知识表示“,”score“:0.997,”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/T11574“,”display_name“:”游戏人工智能研究“,”score“:0.9968,”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/keywords/player-modeling“,”display_name“:”玩家建模“,”score“:0.53423},{”id“:”https://openalex.org/keywords/general-game-playing网站“,”display_name“:”一般游戏“,”score“:0.528742}],”concepts“:[{”id“:”https://openalex.org/C77944639,“wikidata”:https://www.wikidata.org/wiki/Q751443“,”display_name“:”下推自动机“,”level“:3,”score“:0.62085915},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.5450613},{”id“:”https://openalex.org/C7321624,“wikidata”:https://www.wikidata.org/wiki/Q205“,”display_name“:”无限“,”level“:2,”score“:0.52425647},{”id“:”https://openalex.org/C118615104,“wikidata”:https://www.wikidata.org/wiki/Q121416“,”display_name“:”离散数学“,”level“:1,”score“:0.5058755},{”id“:”https://openalex.org/C31170391,“wikidata”:https://www.wikidata.org/wiki/Q188619“,”display_name“:”Hierarchy“,”level“:2,”score“:0.50174093},{”id“:”https://openalex.org/C80899671,“wikidata”:https://www.wikidata.org/wiki/Q1304193“,”display_name“:”Vertex(图论)“,”level“:3,”score“:0.4963048},{”id“:”https://openalex.org/C25942563,“wikidata”:https://www.wikidata.org/wiki/Q893487“,”display_name“:”Borel hierarchy“,”level“:4,”score“:0.4729086},{”id“:”https://openalex.org/C80444323,“wikidata”:https://www.wikidata.org/wiki/Q2878974网址“,”display_name“:”理论计算机科学“,”level“:1,”score“:0.41261774},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.40427017},{”id“:”https://openalex.org/C132525143,“wikidata”:https://www.wikidata.org/wiki/Q141488“,”display_name“:”Graph“,”level“:2,”score“:0.40103957},{”id“:”https://openalex.org/C114614502,“wikidata”:https://www.wikidata.org/wiki/Q76592“,”display_name“:”组合数学“,”level“:1,”score“:0.37825453},{”id“:”https://openalex.org/C112505250,“wikidata”:https://www.wikidata.org/wiki/Q787116“,”display_name“:”Automaton“,”level“:2,”score“:0.35076228},{”id“:”https://openalex.org/C144237770,“wikidata”:https://www.wikidata.org/wiki/Q747534“,”display_name“:”数理经济学“,”level“:1,”score“:0.3273377},{”id“:”https://openalex.org/C166758865,“wikidata”:https://www.wikidata.org/wiki/Q892585“,”display_name“:”Borel度量“,”level“:3,”score“:0.09798536},{”id“:”https://openalex.org/C21031990,“wikidata”:https://www.wikidata.org/wiki/Q355020“,”display_name“:”概率度量“,”level“:2,”score“:0.0},{”id“:”https://openalex.org/C134306372,“wikidata”:https://www.wikidata.org/wiki/Q7754“,”display_name“:”数学分析“,”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/C34447519,“wikidata”:https://www.wikidata.org/wiki/Q179522“,”display_name“:”市场经济“,”level“:1,”score“:0.0}],”mesh“:[],”locations_count“:1.”locations“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/3-540-45793-3_22“,”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”:null,“version”:null,“is_accepted”:false,“is_published”:false}],“best_oa_location”:nul,“sustainable_development_goals”:[],“grants”:[],“dataset”:[]],“versions”:[】,“referenced_works_count”:10,“referenced_works“:[”https://openalex.org/W1539382740","https://openalex.org/W1573078772","https://openalex.org/W1589224558","https://openalex.org/W1816620374","https://openalex.org/W1949254612","https://openalex.org/W2087879437","https://openalex.org/W2091564354","https://openalex.org/W2493860389","https://openalex.org/W260642817","https://openalex.org/W4231624530“],”related_works“:[”https://openalex.org/W4251417359","https://openalex.org/W42299993731","https://openalex.org/W2941119120","https://openalex.org/W2381059884","https://openalex.org/W237411230","https://openalex.org/W2372756075","https://openalex.org/W2306553012","https://openalex.org/W2220405813","https://openalex.org/W1979193983","https://openalex.org/W1821795854网址“],”ngrams_url“:”https://api.openalex.org/works/W1508555606/ngrams“,”abstract_inverted_index“:{”We“:[0,39,79],”study“:[1],”无限“:[2],”双层“:[3],”games“:[4],”over“:[5,85],”pushdown“:[6,86],”graphs“:[7,87],”with“:+8,64],”a“:[9,48,93111],”wing“:[10,45,69,97105],”condition“:[11],”that“:[12,41,82],”refere“:[13],”“显式”:[14],“to”:[15109],“the”:[16,19,37,42,52,57,65,73,96120124],“infinity”:[17,34],“of”:[18,44,60,95,99114123],“game”:[20118],“graph:”:[21],“A”:[22],“play”:[23],“is”:[24,32,47],“won”:[25],“by”:[26],“player”:[27100],“0”:[28101],“if”:[209],“some”:[30],“vertex”:[31],“visited”:[33],“commery”:[35],“during”:[36],“play”:[38],“显示”:[40,81],“设置”:[43],“播放”:[46],“正确”:[49],“\u22113-set”:[50],“in”:[51],“Borel”:[53125],“层次结构”:[54],“因此”:[55],“超越”:[56],“布尔”:[58],“闭包”:[59],“\u22112-sets”:[61],“其中”:[62],“出现”:[63],“标准”:[66],“自动机”:[67],“理论”:[68],“条件”:[70],“(例如”:[71],“如”:[72],“穆勒”:[74],“拉宾,”:[75],“或”:[76],“奇偶校验”:[77],“条件)。”:[78],“也”:[80],“this”:[83],“\u22113-game”:[84],“can”:[88],“be”:[89110],“已解决”:[90],“有效”:[91116],“(by”:[92],“计算”:[94],“区域”:[98],“和”:[102],“他的”:[103],“无记忆”:[104],“策略)。”:[106],“此”:[107],“似乎”:[108],“第一”:[112],“示例”:[113],“an”:[115],“可解决”:[117],“超越”:[119],“第二”:[121],“级别”:[122],“层次结构”:[126]},“引用_by_api_url”:“https://api.openalex.org/works?filter=cites:W1508555606“,”counts_by_year“:[{”年份“:2022,”cited_by_count“:1},{”年度“:2017,”cited_by_count”:1},{“年份”:2014,”citecd_by_count“:2}],”updated_date“:”2024-07-01T20:30:35.198420“,”created_dates“:”2016-06-24“}