{“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'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：｛”id“：”https://openalex.org/A5051071400“，”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“：[“密歇根大学哲学系，密歇根州安娜堡”]}]，”countries_distict_count“：1，”institutions_disticent_count“：2，”corresponding_author_ids“：]”https://openalex.org/A5051071400“]，”对应机构_ids“：[”https://openalex.org/I27837315“]，”apc_list“：null，”apc _ paid“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：5，”ciped_by_percentile_year“：{”min“：76，”max“：78}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：null}，“is_retracted”：false，”is_paratext“：false”，“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/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”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“：”牙科“，”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“：[{”display_name“：”素质教育“，”id“：”https://metadata.un.org/sdg/4“，”score“：0.68}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：13，”referrenced_works“：【”https://openalex.org/W124154939","https://openalex.org/W132036571","https://openalex.org/W1483568252","https://openalex.org/W1557413548","https://openalex.org/W1594912681","https://openalex.org/W1655990431网址","https://openalex.org/W2007512721","https://openalex.org/W2027756991","https://openalex.org/W2065251436","https://openalex.org/W2075322664","https://openalex.org/W2084684966","https://openalex.org/W2334137773","https://openalex.org/W2571575006“]，”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“]，”ngrams_url“：”https://api.openalex.org/works/W2045427966/ngrams“，”“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]，“（\”ctica \“）”：[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]，“proof theory”，：[44]，“constructive”：%46]，“theory（理论）：[50]，“functionals（泛函）”：[52]，“cartesian（笛卡尔）”：[P4]，“closed”：[55,83150]，“categories”，“:[56]，“automatic”：[58]，“therevation”：[59]，“certification”：[60]，“semantics”：[64]，“natural”：[66]，“languages（语言）。“：[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“：[{”year“:2017，”cited_by_count“：1}，{”year“：2016，”cited_by_count”：1}，{“year”：2013，”citecd_by_count“：1}]，”updated_date“：”2024-05-22T02:17:52.979724“，”created_dates“：”2016-06-24“}