{“id”：“https://openalex.org/W2905780452“，”doi“：”https://doi.org/10.1145/3276771“，”title“：“广义艾伦伯格定理”，”display_name“：”广义艾伦堡定理“，”publication_year“：2018，”publitation_date“：”2018-12-20“，”ids“：{”openalex“：”https://openalex.org/W2905780452“，”doi“：”https://doi.org/10.1145/3276771“，”mag“：”2905780452“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3276771“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jounal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：false，“oa_status”：“closed”，“oa_url”：nul”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5038462111“，”display_name“：”Ji\u0159\u0131\u0301 Ad\u00e1mek“，”orcid“：”https://orcid.org/0000-0001-8562-1233}，“机构”：[{“id”：https://openalex.org/I44504214“，”display_name“：”布拉格捷克技术大学“，”ror“：”网址：https://ror.org/03kqpb082“，”country_code“：”CZ“，”type“：“教育”，”世系“：[”https://openalex.org/I44504214“]｝]，”国家“：[”CZ“]，”is_correresponsing“：false，”raw_author_name“：”Ji\u0159\u00ed Ad\u00e1mek“，”raw_affiation_strings“：[”捷克共和国布拉格捷克工业大学电气工程学院数学系“]，”附属机构“：[{”raw_affiation_string“：”系。捷克共和国布拉格捷克技术大学电气工程学院数学”，“institution_ids”：[“https://openalex.org/I44504214“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5015904690“，”display_name“：”Stefan Milius“，”orcid“：”https://orcid.org/0000-0002-2021-1644}，“机构”：[{“id”：https://openalex.org/I181369854“，”display_name“：”Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg“，”ror“：”https://ror.org/00f7hpc57“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I181369854“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Stefan Milius“，”raw _affiliation_strings“：[“Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg，Erlangen，Germany”]，“affiliations”：[{“raw_affilition_string”：“Frietrich-Alexender-Universit\u00e4 t Erlangen-N\u00 fcrnberc，Erlangen-N，German”，“institution_ids”：[“https://openalex.org/I181369854“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5042479147“，”display_name“：”Robert S.R.Myers“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I94509681“，”display_name“：”布伦瑞克理工大学\u00e4t“，”ror“：”https://ror.org/010nsgg66“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I94509681“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Robert S.R.Myers“，”raw _ afiliation_strings“：[“德国布伦瑞克布伦瑞格理工大学\u00e4t”，“affiliations”：[{“raw_affiliation_string”：“德国布朗瑞克布朗瑞格理工大学大学\u000e4t）”，“institution_ids”：[”https://openalex.org/I94509681“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5049596655“，”display_name“：”Henning Urbat“，”orcid“：”https://orcid.org/0000-0002-3265-7168}，“机构”：[{“id”：https://openalex.org/I181369854“，”display_name“：”Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg“，”ror“：”https://ror.org/00f7hpc57“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I181369854“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Henning Urbat“，”raw _ afiliation_strings“：[“University \u00e4t Erlangen-N\u00fcrnberg，Erlangen，Germany”]，”affiliations“：[{”raw _affiliation_string“：”University \ u00e4 t Erlangen-N\u00 fcrnberc，Erlangenn，German“，institution_ids”：[“https://openalex.org/I181369854“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：3，”corresponding_author_ids“：[]，”correcponding_institution_ids”：[]、“apc_list”：null，”apc_payd“：null、”fwci“：1.197、“has_fulltext”：false、“cited_by_count）：7、“citecond_by_percentile_year”：{“min”：84，“max”：85}，“biblio”：{“volume”：“20”，“问题“：”1“，”first_page“：”一“，”last_page“：”47“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9997，”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.9997，”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/T10181“，”display_name“：”统计机器翻译与自然语言处理“，”score“：0.9976，”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.9972，”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/combinatics-on-words网站“，”display_name“：”单词组合“，”score“：0.532598｝，｛”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.507341}]，”concepts“：[{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.82073367}，{”id“：”https://openalex.org/C24424167，“wikidata”：https://www.wikidata.org/wiki/Q180907“，”display_name“：”Bijection“，”level“：2，”score“：0.64362663}，{”id“：”https://openalex.org/C11821877，“wikidata”：https://www.wikidata.org/wiki/Q187959“，”display_name“：”Distributive属性“，”level“：2，”score“：0.5950939}，{”id“：”https://openalex.org/C136197465，“wikidata”：https://www.wikidata.org/wiki/Q1729295“，”“display_name”“：”“多样性（控制论）”“，”级别“：2，”分数“：0.53723204}，{”id“：”https://openalex.org/C177148314，“wikidata”：https://www.wikidata.org/wiki/Q170084“，”display_name“：”Generalization“，”level“：2，”score“：0.50768816}，{”id“：”https://openalex.org/C2778676360，“wikidata”：https://www.wikidata.org/wiki/Q494141“，”display_name“：”Bialgebra“，”level“：4，”score“：0.5027282}，{”id“：”https://openalex.org/C112876837，“wikidata”：https://www.wikidata.org/wiki/Q837518“，”display_name“：”字母“，”level“：2，”score“：0.48546985}，{”id“：”https://openalex.org/C172252984，“wikidata”：https://www.wikidata.org/wiki/Q368988“，”display_name“：”Idempotence“，”level“：2，”score“：0.44312358}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.43571088}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.36576968}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.3638855}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.28452963}，{”id“：”https://openalex.org/C29712632，“wikidata”：https://www.wikidata.org/wiki/Q1627597“，”display_name“：”Hopf代数“，”level“：3，”score“：0.24807212｝，｛”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.08355275}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”Philosophy“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3276771“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机械协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[{“display_name”：“Quality education”，“id”：“”https://metadata.un.org/sdg/4“，”score“：0.49}]，”grants“：[{”funder“：”https://openalex.org/F4320320879“，”funder_display_name“：”Deutsche Forschungsgemeinschaft“，”award_id“：”MI 717/5-1“}，{”funder“：”https://openalex.org/F4320320879“，”funder_display_name“：”Deutsche Forschungsgemeinschaft“，”award_id“：”AD 187/2-1“}]，”datasets“：[]，”versions“：[]，”referenced_works_count“：19，”referrenced_works“：[”https://openalex.org/W1501768223","https://openalex.org/W1518573520","https://openalex.org/W1560463521","https://openalex.org/W1600140231","https://openalex.org/W2005100072","https://openalex.org/W2006242427","https://openalex.org/W2008496712","https://openalex.org/W2053682188","https://openalex.org/W2086788473","https://openalex.org/W2097706640","https://openalex.org/W2099019799","https://openalex.org/W2113566204","https://openalex.org/W2139845245","https://openalex.org/W2140351059","https://openalex.org/W2153593057","https://openalex.org/W2326741977","https://openalex.org/W2346348713","https://openalex.org/W2963337840","https://openalex.org/W2963831834“]，”related_works“：[”https://openalex.org/W4287020903","https://openalex.org/W3104772977","https://openalex.org/W3045504376","https://openalex.org/W2952259524","https://openalex.org/W2579393413","https://openalex.org/W2351462424","https://openalex.org/W2050352691","https://openalex.org/W2048662755","https://openalex.org/W2032353137","https://openalex.org/W1963727942“]，”ngrams_url“：”https://api.openalex.org/works/W2905780452/ngrams网站“，”“abstract_inverted_index”：{“For”：[0]，“finited”：[1,67,80167]，“automata”：[2]，“as”：[3,33140]，“coalebras”：[4]，“in”：[5,97236]，“a”：[6,25,42,60166213220]，“category”：[7,36146238]，“C”：[8,34,62,98113141239]，“，”：[9170]，“we”：[10,57,83149210]，“study”：[11]，“语言”：[12,96232]，“它们”：[13]，“接受”：[14]，“和”：[15,49,82112133201225]，“变种“：[16,50,68,93229]，”的“：[17,24,27,47,51,65,69,79,87,94123147155162175179185197202207216230]，”这样的“：[18]，”语言。“：[19,53]，”This“：[20]，”generalizes“：[21]，”Eilenberg\u2019s“：22103186]，”concept“：[23]，”variety“：[26]，”languages，“：[28]，”which“：[29]，”corresponds“：[30]，”to“：[31,92]，”choosing“：[32108139]，”the“：[35,77144160195217237]，”Boolean“：[38115199]，”algebras。“：[39116]，”艾伦伯格“：[40]，”建立“：[41]，”双宾语“：[43]，”对应“：[44]，”介于“：[45194]，”伪变种“：[46,86122154178]，”幺半群“：[48]，”正则“：[52,95231]，”In“：[54205]，”我们的“：[55171]，”泛化“：[56]，”工作“：[58]，”with“：59]，”pair“：[61]，”/“：[63]，”D“：[64,88109130143]，”局部“：[66]，”代数“：[70]，”“：[71,85174234]，”are“：[72]，”prediual“，”：[73]，“即”：[74]，“对偶”：[75]，“on”：[76121153177]，“level”：[78]，“代数”，“：[81]，“prove”：[84212]，“-monioids”：[89]，“bijectively”：[90]，“corresponse”：[91]，“。“：[99240]，”As“：[100]，”one“：[01226]，”instance“，”：[102118]，“result”：[104120152172]，“is”：[105126223]，“recover”：[106]，“by”：[107128189]，“=”：[11011413135]，“set”：[111]，“Another”：+117]，“Pin\u2019s”：[119]，“ordered”：[124]，“monoids”，“：[125]，“covered”：[127]，“taking”：[129190]，“偏序集”：[132]，“分配”：[136]，“格。“：[137]，”作者“：[138]，”amp；等于；“：[142]，”自我predial“：[145]，”联合相似“：[148]，”获取“：[150]，”Pol\u00e1k\u2019s“：[151]，”幂等“：[156]，”半环。“：[157]，”同理，“：[158]，”using“：[159]，”self-predituity“：[161]，”vector“：[163]，”spaces“：[164]，”over“：[165233]，”field“：[168]，”K“：[169180]，”covers“：%173]，”Reutenauer“：%176]，”-algebras。“：[181]，“多个”：[182]，“新的”：[183]，“变体”：[184]，“定理”：[187]，“出现”：[188]，“其他”：[191]，“前提”：[192]，“例如，”：[193]，“类别”：[196]，“非单位”：[198]，“环”：[200]，“点”：[203]，“集合”。“：[204]，”each“：[206]，”these“：[208]，”cases“，”：[209]，”also“：[211]，”local“：[214228]，”variant“：[215]，”bijection“，”[218]，“where”：[219]，“fixed”：[221]，“albetter”：[22235]，“suspected”：[224]，“considers”：[227]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2905780452“，”counts_by_year“：[{”年“：2023，”cited_by_count“：2}，{”年份“：2021，”cited_by_count”：3}，“年份”：2020，”citecd_by_count“：1}，”年度“：2019，”citesd_by_count“:1}]，”更新日期“：”2024-06-23T16:05:18.232866“，”创建日期“：“2019-01-01”}