｛“id”：“https://openalex.org/W2963375941“，”doi“：”https://doi.org/10.4230/lipics.stacs.2014.374“，”title“：”Ehrenfeucht-Fra\u00efss\u00e9 games on omega-terms“，”display_name“：”Echrenfeutch-Fra\u00efss\u100e9 gaces on omega-terms”，“publication_year”：2014，“publitation_date”：“2014-01-01”，“ids”：{“openalex”：“https://openalex.org/W2963375941“，”doi“：”https://doi.org/10.4230/lipics.stacs.2014.374“，”mag“：”2963375941“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.4230/LIPIcs.STACS.2014.374“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306421002“，”display_name“：”计算机科学理论专题讨论会“，”issn_l“：null，”issn“：null'，”is_oa“：false，”is_in_doaj“：false，”is_core“：false，”host_organization“：nul，”host_organization_name“:nullis_accepted“：false，”is_published“：false}，”type“：“文章”，”type_crossref“：”proceedings-article“，”indexed_in“：[]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：假}，“作者身份”：[{“author_position”：“first”，“author”：{“id”：“https://openalex.org/A5010168911“，”display_name“：”Martin Huschenbett“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I119449181“，”display_name“：”技术大学\u00e4t Ilmenau“，”ror“：”https://ror.org/01weqhp73“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I119449181“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Martin Huschenbett“，”raw _ afiliation_strings“：[“伊尔梅瑙理工大学#TAB#”]，”affiliations“：[{”raw_ afiliation _string“：”伊尔梅努理工学院#TAB##“，”institution_ids“：]”https://openalex.org/I119449181“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5055386769“，”display_name“：”Manfred Kufleitner“，”orcid“：”https://orcid.org/00000-0003-3869-416X}，“机构”：[{“id”：https://openalex.org/I100066346“，”display_name“：”斯图加特大学“，”ror“：”网址：https://ror.org/04vnq7t77“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I100066346“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Manfred Kufleitner“，”raw _ afiliation_strings“：[“斯图加特大学#TAB#”]，”affiliations“：[{”raw_ afiliation _string“：”斯图加德大学#TAB#“，”institution_ids“：[https://openalex.org/I100066346“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：2，”corresponding_author_ids“：[]，”correcponding_institution_ids”：[]、“apc_list”：null，”apc_payd“：null、”fwci“：0.599、“has_fulltext”：false、“cited_by_count）：3、“citecond_by_percentile_year”：{“min”：79，“max”：81}，“biblio”：{“volume”：null，“issue”：null，“first_page”：“374”，“last_page”：“385”}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9999，”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.9999，”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.9957，“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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9856，”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/modal-logics网站“，”display_name“：”模态逻辑“，”score“：0.505323}，{”id“：”https://openalex.org/keywords/combinatics-on-words网站“，”display_name“：”单词组合学“，”score“：0.505184}]，”concepts“：[{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.79286313}，{”id“：”https://openalex.org/C2779557605，“wikidata”：https://www.wikidata.org/wiki/Q9890“，”display_name“：”Omega“，”level“：2，”score“：0.7422338｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.7180155}，{”id“：”https://openalex.org/C182306322，“wikidata”：https://www.wikidata.org/wiki/Q1779371“，”display_name“：”Order（exchange）“，”level“：2，”score“：0.5664455}，{”id“：”https://openalex.org/C206901836，“wikidata”：https://www.wikidata.org/wiki/Q208237“，”display_name“：”Monoid“，”level“：2，”score“：0.5375559｝，｛”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.528069}，{”id“：”https://openalex.org/C9376300，“wikidata”：https://www.wikidata.org/wiki/Q168817“，”display_name“：”代数数“，”level“：2，”score“：0.52401435}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.4956411}，{”id“：”https://openalex.org/C2778355321，“wikidata”：https://www.wikidata.org/wiki/Q17079427“，”display_name“：”Identity（music）“，”level“：2，”score“：0.49229208}，{”id“：”https://openalex.org/C104247578，“wikidata”：https://www.wikidata.org/wiki/Q4779368“，”display_name“：”非周期图“，”level“：2，”score“：0.48891369}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.4859563}，{”id“：”https://openalex.org/C2776235265，“wikidata”：https://www.wikidata.org/wiki/Q18392052“，”display_name“：”Fragment（logic）“，”level“：2，”score“：0.47926876}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.10246369}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”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/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C24890656，“wikidata”：https://www.wikidata.org/wiki/Q82811“，”display_name“：”Acoustics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”Economics“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.4230/LIPIcs.STACS.2014.374“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306421002“，”display_name“：”计算机科学理论专题讨论会“，”issn_l“：null，”issn“：null'，”is_oa“：false，”is_in_doaj“：false，”is_core“：false，”host_organization“：nul，”host_organization_name“:nullis_accepted“：false，”is_published“：false}]，”best_oa_location“：null，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[[]，“referenced_works_count”：11，“referrenced_works”：[“https://openalex.org/W1600140231","https://openalex.org/W1892576137","https://openalex.org/W1966249042","https://openalex.org/W1983052745","https://openalex.org/W1991735660","https://openalex.org/W1996599450","https://openalex.org/W2026713735","https://openalex.org/W2053510959","https://openalex.org/W2065930159","https://openalex.org/W2116250539","https://openalex.org/W587223573“]，”related_works“：[”https://openalex.org/W3157558637","https://openalex.org/W3105177756","https://openalex.org/W2952101215","https://openalex.org/W2769285855","https://openalex.org/W228975603","https://openalex.org/W2119342546","https://openalex.org/W2111145658","https://openalex.org/W2103196177","https://openalex.org/W2025800967","https://openalex.org/W2000856728","https://openalex.org/W1983052745","https://openalex.org/W1976500787","https://openalex.org/W1966249042","https://openalex.org/W1889804861","https://openalex.org/W1858296697","https://openalex.org/W1644733641","https://openalex.org/W1600140231","https://openalex.org/W1575268025","https://openalex.org/W1552186380","https://openalex.org/W1496394707“]，”ngrams_url“：”https://api.openalex.org/works/W2963375941/ngrams网站“，”“abstract_inverted_index”：{“Fragments”：[0]，“of”：[1,12,24,47,61,71,82122149170176]，“first order”：[2]，“logic”：[3]，“over”：[4]，“words”：[5]，“can”：[6,42,64157]，“commery”：[7,77]，“be”：[8,43]，“characterized”：[9]，“in”：[10,34159]，“terms”：[11]，“finited”：[13,16]，“monoids”：[14165]，“or”：[15]，“半群”：[17]，“通常”：[18]，“这些”：[19]，“代数”：[20,40]，“descriptions”：[21]，“yield”：[22]，“determinability”：[23]，“the”：[25,72,87134137145]，“question”：[26]，“when”：[27162]，“a”：[28,35,55,79104116130174]，“given”：[29,56117168]，“regular”：[30]，“language”：[31]，“is”：[32]，“definitable”：[33]，“special”：[36]，“fragment.”：[37]，“An”：[3]，“effectived”：[39]，“表征”：[41]，“获得”：[44]，“来源”：[45]，“身份”：[46]，“所谓的”：[48]，“omega术语。”：[49，73，98]，“In”：[50，90]，“order”：[51107]，“to”：[52，86108143]，“show”：[53154]，“that”：[554115155]，“fragment”：[57118]，“compensure”：[558119]，“some”：[59120167]，“身份”：[60121169]，“omega术语”：[62171]，“one”：[63156]，“use”：[65]，“Ehrenfee ucht Fraisse“：[66,95]，”游戏“：[67,96]，”开“：[68,97136]，“word”：[69]，“instances”：[70]，“The”：[74]，“resulting”：[75138]，“proof”：[76]，“require”：[78]，“significant”：[80]，“amount”：[81]，“book-keeping”：【83】，“with”：【84】，“respect”：【85】，“constants”：【88】，“involved”：【89】，“this”：【91100】，“paper”：【92】，“we”：〔93102153]，“introduction”：【94】，“To”：99]，“结束”：[101]，“赋值”：[103]，“标记”：[105]，“线性”：[106139]，“每”：[109]，“ω-项”：[110]，“我们的”：[111]，“主”：[112151]，“定理”：[113]，“显示”：[114]，“Ω-项”:[123]，“如果”：[124127]，“和”：[125]，“仅”：[126]，“复制器”：[128]，“有”：[129]，“赢”：[131]，“策略”：[132]，“用于”：[133]，“游戏”：[135]，“订单”：[140]，“此”：[141]，“允许”：[142]，“避免”：[144]，“记账。\r\n\r\n作为”：[146]，“an”：[147]，“应用程序”：[148]，“我们的”：[150]，“结果”：[152]，“决定”：[158]，“指数”：[160]，“时间”：[161]，“全部”：[163]，“非周期”：[164]，“满足”：[166]，“由此”：[172]，“改进”：[173]，“成果”：[175]，“麦卡蒙德”：[177]，“国际”：[178]，“J.”：[179]，“代数”：[180]，“计算”：[181]，“2001]。“：[182]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W2963375941“，”counts_by_year“：[{”年份“：2019，”cited_by_count“：1}，{”年度“：2014，”cited_by_count”：2}]，”updated_date“：”2024-06-24T23:59:44.007669“，”created_date:“2019-07-30”}“