{“id”：“https://openalex.org/W2032679009“，”doi“：”https://doi.org/10.1016/j.jcss.2014.04.008“，”title“：”On polymorphic types of untyped terms“，”display_name“：”On polymoraphic type of untypeed terms“（关于非类型化术语的多态类型），”publication_year“：2014，”publitation_date“：”2014-09-01“，”ids“：{”openalex“：”https://openalex.org/W2032679009“，”doi“：”https://doi.org/10.1016/j.jcss.2014.04.008“，”mag“：”2032679009“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.jcss.2014.04.008“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S11020589“，”display_name“：”计算机与系统科学杂志“，”issn_l“：”0022-0000“，”isn“：[”0022-0000“，”1090-2724“]，”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/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“：【”卡内基梅隆大学数学科学系，匹兹堡，PA 15213，美国“】}]，“countries_distiction_count”：1，“institutions_disticent_count“：1，”corresponding_author_ids“：[“https://openalex.org/A5051071400“]，”对应的机构ID“：[”https://openalex.org/I74973139“]，”apc_list“：｛”value“：2520，”currency“：”USD“，”value_USD“：2520，”出处“：”doaj“｝，”apc_payed“：｛”value“：2520，”currency“：”USD“，”value_USD“：2520，”出处“：”doaj“｝，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：0，”cited_by_percentle_year“：｛”min“：0，”max“：70｝，”biblio“：｛”volume”：“80”，“issue”：“6”，“first_page”：“1163”，“last_page”：“1173”｝，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”“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/T10126“，”“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/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9945，”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.9799，”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/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.52343}，{”id“：”https://openalex.org/keywords/combinatics-on-words网站“，”display_name“：”单词组合学“，”score“：0.516755}，{”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.513161}，{”id“：”https://openalex.org/keywords/regular-expressions网站“，”display_name“：”正则表达式“，”score“：0.509595}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.504921}]，”concepts“：[{”id“：”https://openalex.org/C119238805，“wikidata”：https://www.wikidata.org/wiki/Q229102“，”display_name“：”surpjective function“，”level“：2，”score“：0.89206225}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.63530594}，{”id“：”https://openalex.org/C14103023，“wikidata”：https://www.wikidata.org/wiki/Q11681459“，”display_name“：”Pairing“，”level“：3，”score“：0.5983055}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.58576703}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（抽象数据类型）“，”level“：2，”score“：0.5832124｝，｛”id“：”https://openalex.org/C200288055，“wikidata”：https://www.wikidata.org/wiki/Q2621792“，”display_name“：”要素（刑法）“，”等级“：2，”分数“：0.5313927}，{”id“：”https://openalex.org/C164953516，“wikidata”：https://www.wikidata.org/wiki/Q320357“，”display_name“：”Closed set“，”level“：2，”score“：0.49798274}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.47296968}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.43556318｝，｛”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.35872507}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.28040254}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.2579532}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.12981185}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.09413132｝，｛”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.1016/j.jcss.2014.04.008“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S11020589“，”display_name“：”计算机与系统科学杂志“，”issn_l“：”0022-0000“，”isn“：[”0022-0000“，”1090-2724“]，”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”：4，“referrenced_works”：https://openalex.org/W1519488307","https://openalex.org/W1594912681","https://openalex.org/W2080040385","https://openalex.org/W3098044612“]，”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/W2032679009/ngrams“，”abstract_inverted_index“：{”Let“：[0]，”S“：[1,35,62]，”be“：[2,37,50,64]，”a“：[3,15]，”有限“：[4]，”set“：[5]，“of”：[6,17,34,61,72,86,96]，”\u03b2“：[7,18]，”normal“：[8]，“closed”：[9,22]，”terms“：[10]，”and“：[11,13,41,43,68,74]，”M“：[12,42,74]73]，“N”：[14,44,75]，“pair”：[16]，“normal”，：[19]，“\u03b7”：[20,46,70]，“distinct”，：[21]，“terms.”：[23]，“Then”：[24]，“there”：[25]，“exist“：[26]，”多态“：[27]，”types“：[28]，”a，b“：[29]，”such“：[30]，”that“：[31]，”every“：[32]，”member“：[33]，”can“：[36,49,63]，”typeded“：[38,51]，”as“：[39,52]，“a，”：[40]，”have“：[45]，”expansions“：[47,71]，”which“：[48]，”b；“：[53]，”where，“：[54]，”in“：[55,93]，”the“：[56,59,69,94]，”resulting“：[57]，”typeings，“：58]，”members“：[60]，”syntallous“：[65]，”consistent“：[66]，”identified“：[67]，”are“：[76]，”\u03b2\u03b7“：[77]，”inconsistenticated“：[78]，”（no“：[79]，”model“：[80]，”with“：+81]，”more“：[82]，”than“：[83]，”one“：[84]，”element“：[85]，”any“：[87]，”type）。“：[88]，”A“：[89]，”类似“：[90]，”结果“：[91]，”保持“：[92]，”存在“：[95]，”推测“：[97]，”配对“：[98]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W2032679009“，”counts_by_year“：[]，”updated_date“：”2024-05-22T01:52:30.973848“，”created_date“：”2016-06-24“｝