{“id”：“https://openalex.org/W2018277027“，”doi“：”https://doi.org/10.1016/0304-3975（86）90171-4“，”title“：”有限替换的测试集“，”display_name“：”无限替换的测试集合“，”publication_year“：1986，”publiation_date“：”1986-01-01“，”ids“：{”openalex“：”https://openalex.org/W2018277027“，”doi“：”https://doi.org/10.1016/0304-3975（86）90171-4“，”mag“：”2018277027“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/0304-3975（86）90171-4“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，pository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5001631971“，”display_name“：”Michael Albert“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I151746483“，”display_name“：”滑铁卢大学“，”ror“：”https://ror.org/01aff2v68“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I151746483“]}]，”国家“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”M.H.Albert“，”raw _ afiliation_strings“：[“加拿大安大略省滑铁卢大学纯数学系N2L 3G1”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5056779934“，”display_name“：”John Lawrence“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I151746483“，”display_name“：”滑铁卢大学“，”ror“：”https://ror.org/01aff2v68“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I151746483“]}]，”国家“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”J.Lawrence“，”raw _affiliation_strings“：[“加拿大安大略省滑铁卢大学纯数学系N2L 3G1”]}]，”countries_distict_count“：1，”institutions_distic“：1”，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：{“value”：2690，“货币“：”USD“，”value_USD“：2690，”来源“：”doaj“}，”apc_payed“：{”value“：26900，”货币“：“USD”，”value_ USD“:2690，“来源”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：6，“cited_by_percentile_year”：{“min”：76，“max”：78}，问题“：null，”first_page“：”117“，”last_page“：”122“}，”is_retracted“：false，”is_paratext“：false，”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/T10304“，”display_name“：”辛拓扑和结不变量“，”score“：0.9789，”subfield“：{”id“：”https://openalex.org/subfields/2608“，”display_name“：”几何和拓扑“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“｝｝，｛”id“：”https://openalex.org/T12002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9785，”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.455074}]，”concepts“：[{”id“：”https://openalex.org/C116858840，“wikidata”：https://www.wikidata.org/wiki/Q1340800“，”display_name“：”自同态“，”level“：2，”score“：0.9398447}，{”id“：”https://openalex.org/C206901836，“wikidata”：https://www.wikidata.org/wiki/Q208237“，”display_name“：”Monoid“，”level“：2，”score“：0.9155181}，{”id“：”https://openalex.org/C149685015，“wikidata”：https://www.wikidata.org/wiki/Q5500266“，”display_name“：”Free monoid“，”level“：3，”score“：0.87321377}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.7657013}，{”id“：”https://openalex.org/C2780990831，“wikidata”：https://www.wikidata.org/wiki/Q319141“，”display_name“：”推测“，”级别“：2，”分数“：0.64046085｝，｛”id“：”https://openalex.org/C119003167，“wikidata”：https://www.wikidata.org/wiki/Q3321297“，”display_name“：”句法单体“，”level“：4，”score“：0.63224643}，{”id“：”https://openalex.org/C2777759810，“wikidata”：https://www.wikidata.org/wiki/Q149316“，”display_name“：”引理（植物学）“，”level“：3，”score“：0.6045829}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.53615946}，{”id“：”https://openalex.org/C77906462，“wikidata”：https://www.wikidata.org/wiki/Q1140902“，”display_name“：”Confluence“，”level“：2，”score“：0.4933125}，{”id“：”https://openalex.org/C162860070，“wikidata”：https://www.wikidata.org/wiki/Q142140“，”display_name“：”有限生成阿贝尔群“，”level“：2，”score“：0.45665538}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.44281062}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段代数“，”级别“：2，”分数“：0.32620877}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.29931337｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.097001165}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.055409163}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C46757340，“wikidata”：https://www.wikidata.org/wiki/Q43238“，”display_name“：”禾本科“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”Programming language“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/0304-3975（86）90171-4“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：[】，“referenced_works_count”：5，“referrenced_works”：https://openalex.org/W1965895990","https://openalex.org/W1984084436","https://openalex.org/W2029853594","https://openalex.org/W2036991508","https://openalex.org/W2073761272“]，”related_works“：[”https://openalex.org/W4311190503","https://openalex.org/W4296381451","https://openalex.org/W4288245503","https://openalex.org/W4288099353","https://openalex.org/W3175664114","https://openalex.org/W2394465002","https://openalex.org/W2069341570","https://openalex.org/W2064977911","https://openalex.org/W1984472426","https://openalex.org/W1965932039“]，”ngrams_url“：”https://api.openalex.org/works/W2018277027/ngrams“，”“abstract_inverted_index”：{“Ehrenfeucht’s”：[0]，“猜想”：[1]，“that”：[2,18]，“each”：[3]，“subset”：[4,15]，“s”：[5]，”of“：[6,22,49,58]，“a”：[7,13,62]，“finitely”：[8]，”generated“：[9]，”free“：[10,63]，”monoid“：[11,24,60]，”has“：[12,33]，”finitely“：[14,53]0]，“T”：[16]，“such”：[17]，“if”：[19]，“two”：[20]，“自同态”：[21,45]，“the”：[23,59]，“agree”：[25,30]，“关于“：[26,31]，”T，“：[27]，”然后“：[28]，”他们“：[29]，”S，“：[32]，”最近“：[34]，”被“：[35]，”验证。“：[36]，”In“：[37]，”this“：[38,42]，”paper“：[39]，”we“：%40]，”extended“：[41]，”result“：+43]，”from“：[44]，”to“：[46]，”sequent“：[47]，”types“：48]，”substitutions“：-51]，”by“：[52]，”application“：[53]，”K\u00f6nig's“：[54]，”Lemma，“：[55]，”and“：[56]，”embedded dings“：[57]，”into“：[61]，”代数。“：[64]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2018277027“，”counts_by_year“：[]，”updated_date“：”2024-06-14T01:35:24.387011“，”created_dates“：”2016-06-24“}“