{“id”：“https://openalex.org/W2045427966“，”doi“：”https://doi.org/10.109/sfcs.197.34“，”title“：”键入的-微积分不是初等递归的“，”display_name“：”类型化了吗-微积分不是初等递归的”，“publicationyear”：1977，“publicationdate”：“1977-09-01”，“ids”：{“openalex”：“https://openalex.org/W2045427966“，”doi“：”https://doi.org/10.109/sfcs.197.34“，”mag“：”2045427966“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/sfcs.197.34“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”proceedings article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：“第一个”，“作者“：{”id“：”https://openalex.org/A5103481023“，”display_name“：”Richard Statman“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I27837315“，”display_name“：”密歇根大学\u2013Ann Arbor“，”ror“：”https://ror.org/00jmfr291“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I27837315“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”Richard Statman“，”raw _affiliation_strings“：[“密歇根大学哲学系，密歇根州安娜堡，密歇歇根48109”]，”affiliations“：[{”raw _affiliation_string“：”密歇根州立大学哲学系https://openalex.org/I27837315“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5103481023“]，”对应的机构ID“：[”https://openalex.org/I27837315“]，”apc_list“：null，”apc_payed“：null，”fwci“：0.463，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：5，”citation_normalized_p百分位数“：｛”value“：0.669967，”is_in_top_1_percent“：false，”is_in_top_1_percent“：false｝，”cited_by_percentle_year“：｛”min“：74，”max“：75｝，”biblio“：｛”volume“：null，”issue“：null，”first_particle ge“：null，”last_page“：null｝，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9981，“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.9981，“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.9935，”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.993，”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/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.545675}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.517153}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.503229}]，”concepts“：[{”id“：”https://openalex.org/C142156749，“wikidata”：https://www.wikidata.org/wiki/Q2607208“，”display_name“：”类型lambda演算“，”level“：3，”score“：0.6291818}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.6085327}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5513869}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.40125242}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.37359527}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.3256479}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.31176072}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.13810003}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”Dentry“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/sfcs.197.34“，”pdf_url“：null，”source“：null，”license“：null，”liccense_id“：nuld，”version“：nully，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[{”score“：0.68，”id“：”https://metadata.un.org/sdg/4“，”display_name“：”素质教育“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：21，”referrenced_works“：【”https://openalex.org/W124154939","https://openalex.org/W126630044","https://openalex.org/W132036571","https://openalex.org/W1483568252","https://openalex.org/W1484527931","https://openalex.org/W1492311822","https://openalex.org/W1557413548","https://openalex.org/W1594912681","https://openalex.org/W1655990431网址","https://openalex.org/W2007512721","https://openalex.org/W2027756991","https://openalex.org/W2034676877","https://openalex.org/W2039112578","https://openalex.org/W2065251436","https://openalex.org/W2075322664","https://openalex.org/W2084684966","https://openalex.org/W2163663581","https://openalex.org/W2334137773","https://openalex.org/W2571575006","https://openalex.org/W3174395628","https://openalex.org/W615345195“]，”related_works“：[”https://openalex.org/W8161125","https://openalex.org/W4294236610","https://openalex.org/W4205386752","https://openalex.org/W3172122168","https://openalex.org/W3146610348","https://openalex.org/W3123171335","https://openalex.org/W2153353244","https://openalex.org/W2146437601","https://openalex.org/W2114701904","https://openalex.org/W1583714326“]，”abstract_inverted_index“：{“历史上”：[0]，”the“：[1,5,20,49,63129136141]，”principal“：[2]，”interest“：[3,23]，”in“：[4,9,32,43,45,48,53,57,62111122]，”typed“：[6]，”\u03bb-calculus“：[7138]，”is“：[8,74]，”connection“：[10]，”with“：[11]，”Godel's“：[12]，”functional“：[13]，”（\“辩证法\“）”：[14]，“解释”：[15]，“直觉主义”：[16]，“算术。“：[17]，”“然而，”“：[18]，”自“：[19]，”早期“：[21]，”六十年代“：[22]，”有“：[24]，”移位“：[25]，”到“：[26101]，“a”：[27,75119145149]，“宽”：[28]，“种类”：[29]，“of”：[30,35,51,65132143]，“应用程序”：[31,72]，“多样”：[33]，“分支”：[34]，“逻辑”：[36,47]，“代数，“：[37]，”和“：[38,61,89]，”计算机“：[39]，”科学。“：[40]，”For“：[41]，”example“：[42140]，”证明论“：[44]，”构造性“：[46]，”理论“：[50]，”泛函“：[52]，”笛卡尔“：[54]，”闭合“：[55，83150]，”类别“：[56]，”自动“：[58]，”定理“：[59]，”证明“：[60]，”语义“：[64]，”自然“：[66]，”语言“。“：[67]，”In“：[68]，”几乎“：[69]，”all“：[70]，”such“：[71]，”there“：[73]，”point“：[76]，”at“：[77]，”which“：[78]，”one“：%79]，”must“：[80]，”ask“：[81]，”for“：[82]，”terms“：[84]，”t“：[85,90,96102]，”1“：[88,99]，”xmlns:xlink=\“http://www.w3.org/1999/xlink\">2“：[93105]，”，“：[94]，”是否“：[95144]，”\u03b2-converts“：[100]，”。“：[106]，“我们”：[107125]，“应该”：[108126]，“显示”：[109]，“那”：[110]，“一般”：[112]，“这个”：[113]，“问题”：[11412]，“不能”：[115]，“是”：[116]，“回答”：[117]，“通过”：[118]，“图灵”：[120]，“机器”：[121]，“基本”：[123]，“时间”。“：[124]，”也“：[127]，”调查“：[128]，”计算“：[130]，”复杂性“：[131]，”相关“：[133]，”问题“：[134]，”关于“：[135]，”类型化。“：[137]，”（表示“：[139]，”给定“：[146]，”类型“：[147]，”包含“：[148]，”术语）。“：[151]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2045427966“，”counts_by_year“：[{”年份“：2017，”cited_by_count“：1}，{”年度“：2016，”cited_by_count”：1}，{“年份”：2013，”citecd_by_count“:1}]，”updated_date“：”2024-08-20T12:07:32.821192“，”created_dates“：”2016-06-24“}