{“id”：“https://openalex.org/W2122146861“，”doi“：”https://doi.org/10.1007/bfb0028017“，”title“：”Lk-equivalence的Canonization is Hard“，”display_name“：”LC-equivalency的Canonisation is Hart“，”publication_year“：1998，”publiation_date“：”1998-01-01“，”ids“：{”openalex“：”https://openalex.org/W2122146861“，”doi“：”https://doi.org/10.1007/bfb0028017“，”mag“：”2122146861“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/bfb0028017“，”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，”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/A5073893026“，”display_name“：”Martin Grohe“，”orcid“：”https://orcid.org/0000-0002-0292-9142“}，”机构“：[]，”国家“：[”DE“]，”is_corresponding“：true，”raw_author_name“：”Martin Grohe“，”raw _affiliation_strings“：[“数学逻辑研究所，Eckerstr.1，79104，德国弗莱堡”]，”从属关系“：[{”raw_affiliation_string“：”数学逻辑研究所在地，Eckerstra.1，7904，德国弗赖堡”，“institution_ids“：[]}]}]，“countries_disticont_count”：1，“institutions_distic”：0，“corresponding_author_ids”：[“https://openalex.org/A5073893026“]，”corresponding_institution_ids“：[]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：0.645，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：1，”citected_by_percentile_year“：{”min“：59，”max“：66}，“biblio”：{“volume”：空，“issue”：空，“first_page”：“220”，“last_page”：“238”}，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9989，”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/T10720“，”display_name“：”组合优化与复杂性理论“，”score“：0.9987，”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/非单调推理“，”display_name“：”非单调推理“，”score“：0.481016}]，”concepts“：[{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.6315495}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.48085052}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.45945176}，{”id“：”https://openalex.org/C31170391，“wikidata”：https://www.wikidata.org/wiki/Q188619“，”display_name“：”Hierarchy“，”level“：2，”score“：0.41324383}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.39483744}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.37352586}，{”id“：”https://openalex.org/C34447519，“wikidata”：https://www.wikidata.org/wiki/Q179522“，”display_name“：”市场经济“，”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.1007/bfb0028017“，”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，”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}]，“best_oa_location”：nuld，“sustainable_development_goals”：[{“score”：0.53，“display_name”：“和平、正义和强大的机构”，“id”：”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：17，”referrenced_works“：【”https://openalex.org/W149380172","https://openalex.org/W1508184538","https://openalex.org/W1516034894网址","https://openalex.org/W1557895875","https://openalex.org/W1558164190","https://openalex.org/W1886510939","https://openalex.org/W1974959615","https://openalex.org/W1984581643","https://openalex.org/W1989783863网址","https://openalex.org/W1997198079","https://openalex.org/W2037071126","https://openalex.org/W2088094394","https://openalex.org/W2092130624","https://openalex.org/W2097212968","https://openalex.org/W2112957043","https://openalex.org/W2132541147","https://openalex.org/W4237721941“]，”related_works“：[”https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W3002753104","https://openalex.org/W2911598644","https://openalex.org/W2077600819","https://openalex.org/W2061531152","https://openalex.org/W2042127053","https://openalex.org/W2007980826","https://openalex.org/W1979597421","https://openalex.org/W1587224694“]，”ngrams_url“：”https://api.openalex.org/works/W2122146861/ngrams“，”“abstract_inverted_index”：{“Let”：[0]，“Lk”：[1,22]，“be”：[2]，“the”：[3,47,60,63,91,94]，“k-variable”：[4]，“fragment”：[5]，“of”：[6,18,46,62,65,75,82,93]，“first order”：[7]，“logic”：[8]，“for”：[9,52,71]，“some”：[10]，“k”：%11]，“\u2265”：[12]，“3”.“：[13]，”We“：[14]，”证明“：[15]，”that“：[16]，”等价“：[17]，”有限“：[19]，”structures“：[20]，”in“：[21,40,59]，”具有“：[23]，”no“：[24]，”P-computable“：[25]，”canonization“：[26,55]，”function“：[27,56]，”除非“：[28]，”NP“：[29]，”\u2291“：[30]，”P/poly。“：[31]，”The“：[32,50]，”later“：[33]，”assemption“：[34]，”is“：[35,68]，”considered“：[36]，”as“：[37]，”highly“：[38]，”impossible；“：[39]，”特殊“：[41]，”it“：[42]，”暗示“：[43]，”a“：[44,54,69]，”崩溃“：[45]，”多项式“：[48]，”层次结构。“：[49]，”问题“：[51]，”这样“：[53]，”来“：[57]，”向上“：[58]，”上下文“：[61]，”难题“：[64]，”是否“：[66]，”那里“：[67]，”逻辑“：[70]，”P.“：[72]，”轻微“：[73]，”修改“：[74]，”我们的“：[76]，”结果“：[77]，”产量“：[78]，”答案“：[79]，”到“：[80]，”疑问“：[81]，“Dawar”，“：[83]，“Lindell”，“:[84]，”和“：[85]，“Weinstein”：[86]，“[4]和”：[87]，“Otto”：[88]，“[16]”：[89]，“关于“：[90]，”反转“：[92]，”所谓的“：[95]，”Lk-不变量。“：[96]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2122146861“，”counts_by_year“：[]，”updated_date“：”2024-06-22T23:47:17.670456“，”创建日期“：”2016-06-24“}