{“id”：“https://openalex.org/W1490756711“，”doi“：”https://doi.org/10.1007/978-3-642-20920-8_24“，”title“：”On Polymorphic Types of Untyped Terms“，”display_name“：”On Polymorhic Types for Untyped Terms“，“publication_year”：2011，”publication_date“：”2011-01-01“，”ids“：{”openalex“：”https://openalex.org/W1490756711“，”doi“：”https://doi.org/10.1007/978-3-642-20920-8_24“，”mag“：”1490756711“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-20920-8_24“，”pdf_url“：null，”source“：｛”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/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“]}]，”countries“：[”US“]，”is_corresponding“：true，”raw_author_name“：”Rick Statman“，”raw _affiliation_strings“：【”宾夕法尼亚州匹兹堡卡内基梅隆大学数学科学系，15213，美国“】}]，“countries_distiction_count”：1，“institutions_disticent_count“：1，”corresponding_author_ids“：[“https://openalex.org/A5051071400“]，”对应机构_ids“：[”https://openalex.org/I74973139“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：{“value”：5000，“currench”：“EUR”，”value_ usd“:5392，“provenance”：“doaj”}，“has_fulltext”：false，“cited_by_count”：1，“cited_by_percentile_year”：{“min”：69，“max”：76}，‘biblio’：{‘volume’：null，“issue”：null，“first_page”：“239”，“last_page”：“256”}，“is_retracted”：falseis_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9983，“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.9983，“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.9976，”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/T11151“，”display_name“：”模型理论与拓扑动力学“，”score“：0.9751，”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/keywords/regular-expressions网站“，”display_name“：”正则表达式“，”score“：0.53276}，{”id“：”https://openalex.org/keywords/combinatics-on-words网站“，”display_name“：”单词组合学“，”score“：0.516123}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.506179}，{”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.504568}]，”concepts“：[{”id“：”https://openalex.org/C119238805，“wikidata”：https://www.wikidata.org/wiki/Q229102（网址：https://www.wikidata.org/wiki/Q229102）“，”display_name“：”surpjective function“，”level“：2，”score“：0.8578752}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.6725701}，{”id“：”https://openalex.org/C14103023，“wikidata”：https://www.wikidata.org/wiki/Q11681459“，”display_name“：”Pairing“，”level“：3，”score“：0.5538383}，{”id“：”https://openalex.org/C2776174256，“wikidata”：https://www.wikidata.org/wiki/Q830842“，”display_name“：”BETA（编程语言）“，”level“：2，”score“：0.5166486}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.5057962}，{”id“：”https://openalex.org/C200288055，“wikidata”：https://www.wikidata.org/wiki/Q2621792“，”display_name“：”要素（刑法）“，”等级“：2，”分数“：0.4836258}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.3968559}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.39212042}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.37109149｝，｛”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.32566047}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.31646293｝，｛”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.2302413}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.14735499}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0449543}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C54101563，“wikidata”：https://www.wikidata.org/wiki/Q124131“，”display_name“：”超导“，”level“：2，”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/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}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-20920-8_24“，”pdf_url“：null，”source“：｛”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”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：1，“referenced_works“：[”https://openalex.org/W2080040385“]，”related_works“：[”https://openalex.org/W3201176751","https://openalex.org/W3119345543","https://openalex.org/W3015473028","https://openalex.org/W2953807518","https://openalex.org/W2890366349","https://openalex.org/W2258335979","https://openalex.org/W2057898405","https://openalex.org/W2051379014","https://openalex.org/W2029180842","https://openalex.org/W1993094293“]，”ngrams_url“：”https://api.openalex.org/works/W1490756711/ngrams“，”“abstract_inverted_index”：{“Let”：[0]，“$”：[1,35,63]，“be”：[2,37,50,65]，“a”：[3,15]，“finited”：[4]，“set”：[5]，”of“：[6,17,34,62,73,87,97]，“beta”：[7,18]，“normal”：[8]，”closed“：[9,22]，”terms“：[10]，”and“：[11,13,41,43,69,75]，”M“：[12,74]，”N“：[14,44,76]，“pair”：[16]，“normal”，：[19]，“eta”：[20,46,71]，“distinct”，：[21]，“terms.”：[23]，“Then”：[24]，“there”：[25]，“exist“：[26]，”polymorphic“：[27]，”types“：[28]，”a，b“：[29]，”such“：[30]，”that“：[31]，”every“：[32]，”member“：[33]，”can“：[36,49,64]，”typeded“：[38,51]，”as“：[39,52]，“a，”：[40]，“have”：[45]，“expansions”：[47,72]，“which”：[48]，“b”：[53]，“；“：[54]，”其中，“：[55]，”in“：[56,94]，”the“：[57,60,70,95]，”resulting“：[58]，”typeings“，：[59]，”members“：[61]，”syntimous“：[66]，”consistent“：[67]，”identified“，”：[68]，“are”：[77]，“beta-eta”：[78]，“consistenticated”：[79]，”（no“：[80]，”model“：[81]，”with“：[82]，”more“：[83]，“than”：[84]，“one”：[85]，“element”：[86]，“any”：[88]，“type”）。“：[89]，”A“：[90]，”类似“：[91]，”结果“：[92]，”保持“：[93]，”存在“：[96]，”推测“：[98]，”配对“：[99]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W1490756711“，”counts_by_year“：[{”年“：2015，”cited_by_count“：1}]，”更新日期“：”2024-05-20T01:50:58.999750“，”创建日期“：“2016-06-24”}