{“id”：“https://openalex.org/W2089012316“，”doi“：”https://doi.org/10.1145/41625.41646“，”title“：”可计算值可以是经典的“，”display_name“：”可以是经典值“，”publication_year“：1987，”publiation_date“：”1987-01-01“，”ids“：{”openalex“：”https://openalex.org/W2089012316“，”doi“：”https://doi.org/10.1145/41625.41646“，”mag“：”2089012316“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/41625.41646，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/41625.41646“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜色“，”oa_url“：”https://dl.acm.org/doi/pdf/10.1145/41625.41646“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5008833582“，”display_name“：”Val Breazu-Tannen“，”orcid“：null}，”institutions“：[]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“:”V.Breazu-Tanne“，”raw _affiliation_strings“：【”麻省理工学院计算机科学实验室，马萨诸塞州剑桥市“】，”affiliations“：”institution_ids“：[]}]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5104063086“，”display_name“：”Albert R.Meyer“，”orcid“：null}，”institutions“：[]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“:”A.R.Meyer“，”raw _affiliation_strings“：【”麻省理工学院计算机科学实验室，马萨诸塞州剑桥“】，“afliations”：[{”raw _affiliation_string“：”麻省理工学院计算机科学实验室，马萨州剑桥，美国“，”，“institution_ids”：[]}]}]，“countries_distiction_count”：1，“institutions_disticent_count“：0，”corresponding_author_ids“：[]，”correcponding_institution_ids”：[]、“apc_list”：null，“apc_payd”：null，“fwci”：1.938，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count）：19，“引文_规范化_percentile”：{“value”：0.711503，“is_in_top_1_percent”：false，“is _in_top _10_percent“：假}，“cited_by_percentile_year”：{“min”：85，“max”：86}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：null，“last_page”：null}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9998，”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.9998，”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/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.999，”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.9986，”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/computability网站“，”display_name“：”Computability“，”score“：0.562471}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.535779}，{”id“：”https://openalex.org/关键字/计算深度“，”display_name“：”计算深度“，”score“：0.501676｝，｛”id“：”https://openalex.org/keywords/base网站“，”display_name“：”Base（topology）“，”score“：0.47648498}，{”id“：”https://openalex.org/keywords/data-type（https://openalex.org/keywords/data-type）“，”display_name“：”Data type“，”score“：0.43470222}]，”concepts“：[{”id“：”https://openalex.org/C97137487，“wikidata”：https://www.wikidata.org/wiki/Q729138“，”display_name“：”整数（计算机科学）“，”level“：2，”score“：0.57773453}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.5376993}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.51861167}，{”id“：”https://openalex.org/C54271186，“wikidata”：https://www.wikidata.org/wiki/Q1148456“，”display_name“：”可计算函数“，”level“：2，”score“：0.5150244}，{”id“：”https://openalex.org/C42058472，“wikidata”：https://www.wikidata.org/wiki/Q810214“，”display_name“：”Base（topology）“，”level“：2，”score“：0.47648498}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.44898066}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416（网址：https://www.wikidata.org/wiki/Q121416）“，”display_name“：”离散数学“，”level“：1，”score“：0.44860885}，{”id“：”https://openalex.org/C9376300，“wikidata”：https://www.wikidata.org/wiki/Q168817“，”display_name“：”代数数“，”level“：2，”score“：0.4481069}，{”id“：”https://openalex.org/C138958017，“wikidata”：https://www.wikidata.org/wiki/Q190087“，”display_name“：”数据类型“，”level“：2，”score“：0.43470222}，{”id“：”https://openalex.org/C56086750，“wikidata”：https://www.wikidata.org/wiki/Q6042592“，”display_name“：”整数编程“，”level“：2，”score“：0.42267126}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.41859874}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.22079825}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.21147123}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.18065429}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”Ecology“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/41625.41646，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/41625.41646“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/41625.41646，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/41625.41646“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}“，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1595372275","https://openalex.org/W1597834884","https://openalex.org/W1867436870","https://openalex.org/W1874450173","https://openalex.org/W1987091892","https://openalex.org/W1990664555","https://openalex.org/W2015874281","https://openalex.org/W2095405219","https://openalex.org/W2114705282","https://openalex.org/W2117721239","https://openalex.org/W2152944474","https://openalex.org/W2156064469","https://openalex.org/W49001912“]，”related_works“：[”https://openalex.org/W4296206568","https://openalex.org/W2962867582","https://openalex.org/W2395867189","https://openalex.org/W2109912052","https://openalex.org/W2082154838","https://openalex.org/W2047683846","https://openalex.org/W2044902158","https://openalex.org/W1925942709网址","https://openalex.org/W1711527768","https://openalex.org/W1668840373“]，”abstract_inverted_index“：{”In“：[0,84]，”programming“：[1,91]，”languages“：[2]，”of“：[3,17,28,36,56,89,97100]，”universal“：[4]，”power“：[5]，”the“：[6,13,18,22,34,57,86,90,98101]，”computicalative“：[7,43,69]，”integers“：[8,15,44]，”must“：[9]，”be“：[10]，”distinguished“：[11]，”from“：[12,33]，“经典”：[14,37,40,82]，“因为”：[16]，“\u201cdivergent\u201d”：[19]，“整数。”：[20]，“偶数”：[21]，“等式”：[23,87]，“理论”：[24,35,88,99]，“对应”：[25]，“to”：[26]，“求值”：[27]，“整数”：[29]，“表达式”：[30]，“is”：[31,93]，“distinct”：[32]，“integers”：[38,70]，“and”：[39,66]，“reasoning”：[41]，“about”：[42]，“yields”：[45]，“不一致。”：[46]，“我们”：[47]，“显示”：[48]，“那”：[49,61]，“那里”：[50]，“存在”：[51]，“\u201cprogramming”：[52]，“languages\u201d”：[53]，“actually”：[54]，“extensions”：[55]，“polymorphic”：[58]，“lambda”：[59]，“calculation”：[60]，“have”：[62]，“multimous”：[63]，“computing”：[64]，“幂”：[65]，“yet”：[67]，“which”：[68]，“or”：[71]，“any”：[72]，“other”：[73]，“代数”：[74]，“指定”：[75]，“摘要”：[76]，“数据”：[77109]，“类型”：[78]，“一致”：[79]，“with”：[80]，“their”：[81]，“counter.”：[83]，“special”，：[85]，“language”：[92]，“a”：[94]，“conservative”：95]，“extension”：[96]，“underfund”：[102]，“base”：[103]，“types”：[104]，“as”：[105]，“given”：[106]，“by”：[107]，“algebratical”：[108]，“type”：[110]，“specifications”：[111]}，“cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2089012316“，”counts_by_year“：[]，”updated_date“：”2024-08-14T01:57:40.324399“，”创建日期“：”2016-06-24“}