{“id”：“https://openalex.org/W2528803252“，”doi“：”https://doi.org/10.1016/j.entcs.2016.09.044“，”title“：”On the Representation of Semigroups and Other Conjuences in the Lambda Calculus“，”display_name“：”On the Represent of Semi groups and其他同余在Lambda Calculus中的表示“，”publication_year“：2016，”publitation_date“：”2016-10-01“，”ids“：{”openalex“：”https://openalex.org/W2528803252“，”doi“：”https://doi.org/10.1016/j.entcs.2016.09.044“，”mag“：”2528803252“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2016.09.044“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-00661“]，”is_oa“：true，”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，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”type“：”article“，”type_crossref“：”journal article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：true，”oa_status“：”gold“，”oa_url“：”https://doi.org/10.1016/j.entcs.2016.09.044“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5051071400“，”display_name“：”Richard Statman“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”网址：https://ror.org/05x2bcf33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74973139“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”Rick Statman“，”raw _ afiliation_strings“：[“美国宾夕法尼亚州匹兹堡卡内基梅隆大学数学科学”]}]“countries _ distinct_count”：1，”institutions _ disting_count“：1，“corresponding_author_ids”：[”https://openalex.org/A5051071400“]，”对应的机构ID“：[”https://openalex.org/I74973139“]，”apc_list“：null，”apc _ paid“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：0，”ciped_by_percentile_year“：{”min“：0”max“：70}，”biblio“：{“volume”：“325”，“issue”：null、“first_page”：“299”、“last_page”：”304“}，“is_retracted”：false，”is_paratext“：false”，“primary_topic”：{“id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9888，”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/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9888，”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/T10181“，”display_name“：”统计机器翻译与自然语言处理“，”score“：0.9666，”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/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9628，”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.536211｝，｛”id“：”https://openalex.org/keywords/semigroups网站“，”display_name“：”Semigroups“，”score“：0.515515}]，”concepts“：[{”id“：”https://openalex.org/C9973445，“wikidata”：https://www.wikidata.org/wiki/Q8349849“，”display_name“：”同余关系“，”level“：2，”score“：0.8312715}，{”id“：”https://openalex.org/C77736955，“wikidata”：https://www.wikidata.org/wiki/Q1089708“，”display_name“：”Church encoding“，”level“：5，”score“：0.80314547}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.6593634}，{”id“：”https://openalex.org/C2776359362，“wikidata”：https://www.wikidata.org/wiki/Q2145286“，”display_name“：”Representation（politics）“，”level“：3，”score“：0.61416215}，{”id“：”https://openalex.org/C2778113609，“wikidata”：https://www.wikidata.org/wiki/Q10897“，”display_name“：”Lambda“，”level“：2，”score“：0.6086765}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.5298571}，{”id“：”https://openalex.org/C61237538，“wikidata”：https://www.wikidata.org/wiki/Q855192“，”display_name“：”简单类型lambda演算“，”level“：4，”score“：0.4691229}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.46894476}，{”id“：”https://openalex.org/C142156749，“wikidata”：https://www.wikidata.org/wiki/Q2607208“，”display_name“：”类型lambda演算“，”level“：3，”score“：0.46307102}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.46211392｝，｛”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.4369587}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3456685}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.05311972}，{”id“：”https://openalex.org/C94625758，“wikidata”：https://www.wikidata.org/wiki/Q7163“，”display_name“：”Politics“，”level“：2，”score“：0.0｝，｛”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442“，”display_name“：”政治学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748“，”display_name“：”Law“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190（网址：https://www.wikidata.org/wiki/Q11190）“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C120665830，“wikidata”：https://www.wikidata.org/wiki/Q14620“，”display_name“：”Optics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.entcs.2016.09.044“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-00661“]，”is_oa“：true，”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1016/j.entcs.2016.09.044“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S50368787“，”display_name“：”理论计算机科学电子笔记“，”issn_l“：”1571-0661“，”isn“：[”1571-00661“]，”is_oa“：true，”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/10“，”score“：0.58，”display_name“：”Reduced不等式“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：3，”referrenced_works“：[”https://openalex.org/W1985231917","https://openalex.org/W2064811181","https://openalex.org/W799430615“]，”related_works“：[”https://openalex.org/W3123171335","https://openalex.org/W2761902706","https://openalex.org/W236003875","https://openalex.org/W2189323991","https://openalex.org/W2114151019","https://openalex.org/W2088376608","https://openalex.org/W1762925969","https://openalex.org/W1595139175","https://openalex.org/W1585482631","https://openalex.org/W1583714326“]，”ngrams_url“：”https://api.openalex.org/works/W2528803252/ngrams网站“，”“abstract_inverted_index”：{“abstract”：[0]，“We”：[3]，“show”：[4,24]，“that”：[5,25]，“every”：[6]，“semigroup”：[7]，“with”：[08]，“an”：[9,31]，“RE”：[10,33]，“word”：[11]，“problem”：[12]，“can”：[13,37]，“be”：[14,38]，“pointwise”：[15]，“represented”：[16,39]，“in”：[17]，“the”：[18,26,41]，“lambda”：[19]，“calculations.”：[20]，“in”：[21]，“addition，”：[22]，“We”：-23]，“free”：[27]幺半群“：[28,42]，“生成”：[29]，“by”：[30]，“任意”：[32]，“子集”：[34]，“of”：[35,43,51]，“组合子”：[36]，“as”：[40]，“all”：[44]，“terms”：[45]，“which”：[46]，“fix”：[47]，“a”：[48]，“finited”：[49]，“set”：[50]，“points。“：[52]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2528803252“，”counts_by_year“：[]，”updated_date“：”2024-05-22T13:29:40.778496“，”创建日期“：”2016-10-14“}