{“id”：“https://openalex.org/W4200319172“，”doi“：”https://doi.org/10.1007/978-3-030-93100-1_4“，”title“：“作为直觉主义命题逻辑形式化的证明逻辑和类型理论”，“display_name”：“作为直观主义命题逻辑的形式化的验证逻辑和类型论”，“publication_year”：2021，“publiation_date”：“2021-12-16”，“ids”：{“openalex”：“https://openalex.org/W4200319172“，”doi“：”https://doi.org/10.1007/978-3-030-93100-1_4“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-93100-1_4“，”pdf_url“：空，”源“：{”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/A5040098001“，”display_name“：”Neil J.DeBoer“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I52357470“，”display_name“：”俄亥俄州立大学“，”ror“：”https://ror.org/00rs6vg23“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I52357470“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”Neil J.DeBoer“，”raw_affiliation_strings“：[“俄亥俄州立大学，俄亥俄州哥伦布，43210，美国”]}]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5040098001“]，”对应的机构ID“：[”https://openalex.org/I52357470“]，”apc_list“：｛”value“：5000，”currency“：”EUR“，”value_usd“：5392，”出处“：”doaj“｝，”apc_payed“：｛”value“：5000，”currency“：”EUR“，”value_usd“：5392，”出处“：”doaj“｝，”has_fulltext“：false，”cited_by_count“：1，”cited_by_percentle_year“：｛”min“：63，”max“：72｝，”biblio“：｛”volume“：null，”issue“：null，”first_page“：”37“，”last_page“：”51“｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T11010“，”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/T11010“，”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.9954，“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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9953，”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/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.546243}，{”id“：”https://openalex.org/关键词/认知逻辑“，”display_name“：”认识逻辑“，”score“：0.525489}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”模态逻辑“，”score“：0.521362}，{”id“：”https://openalex.org/keywords/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.514219}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.511147}]，”concepts“：[{”id“：”https://openalex.org/C2778945725，“wikidata”：https://www.wikidata.org/wiki/Q352858“，”display_name“：”补遗“，”level“：2，”score“：0.81134766}，{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”display_name“：”解释（哲学）“，”级别“：2，”分数“：0.72016513}，{”id“：”https://openalex.org/C69562738，“wikidata”：https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.7117386}，{”id“：”https://openalex.org/C178421362，“wikidata”：https://www.wikidata.org/wiki/Q176786“，”display_name“：”直觉主义逻辑“，”level“：3，”score“：0.6318248}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.56575567}，{”id“：”https://openalex.org/C3845977，“wikidata”：https://www.wikidata.org/wiki/Q4826262“，”display_name“：”自认知逻辑“，”level“：4，”score“：0.53468585}，{”id“：”https://openalex.org/C14523651，“wikidata”：https://www.wikidata.org/wiki/Q3492863“，”display_name“：”命题变量“，”level“：4，”score“：0.49348938}，{”id“：”https://openalex.org/C110039528，“wikidata”：https://www.wikidata.org/wiki/Q8069651“，”display_name“：”零阶逻辑“，”level“：4，”score“：0.49295926}，{”id“：”https://openalex.org/C33203268，“wikidata”：https://www.wikidata.org/wiki/Q5361594“，”display_name“：”中间逻辑“，”level“：3，”score“：0.49182367}，{”id“：”https://openalex.org/C191222856，“wikidata”：https://www.wikidata.org/wiki/Q655328“，”display_name“：”井型公式“，”level“：5，”score“：0.47186086}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.4415404}，｛”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”“display_name”“：”“微积分（牙科）”“，”级别“：2，”分数“：0.4344859}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.36009187}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3535322}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.29515612}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.2748202}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.22687414}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.21605238}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.15801212}，{”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.112146705｝，｛”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.09417093}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”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，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-93100-1_4“，”pdf_url“：空，”源“：{”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}]，“best_oa_location”：nuld，“sustainable_development_goals”：[{“display_name”：“减少不平等”，“score”：0.58，“id”：”https://metadata.un.org/sdg/10“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：10，”referrenced_works“：【”https://openalex.org/W126568045","https://openalex.org/W1445313940","https://openalex.org/W2009575755","https://openalex.org/W2009862785","https://openalex.org/W2043468053","https://openalex.org/W2045237008","https://openalex.org/W2503383364","https://openalex.org/W259902747","https://openalex.org/W4211092209","https://openalex.org/W4245158255“]，”related_works“：[”https://openalex.org/W3145584637","https://openalex.org/W3100510665","https://openalex.org/W2952893544","https://openalex.org/W2081976468","https://openalex.org/W2078736672","https://openalex.org/W2055558461","https://openalex.org/W2027489592","https://openalex.org/W2020323165","https://openalex.org/W1986625420","https://openalex.org/W1573206013网址“]，”ngrams_url“：”https://api.openalex.org/works/W4200319172/ngrams网站“，”abstract_inverted_index“：｛”We“：[0]，”explore“：[1]，”two“：[2]，”ways“：[3]，”of“：[4，44，49，58，68]，”formalizing“：[5]，”Kreisel\u2019s“：[6，59]，”补遗“：[7，60]，”to“：[8]，”the“：[9，46，50，56，66，69]，”Brouwer Heyting Kolmogorov“：[10]，”interpretation“：[11]，”to“：[12]，”do“：[13]，”this“：[14]，”We“：[15，54]，”compare“：[16]，”Artemov\u2019s“：[17]，”对齐“：[18,31,51,62,71]，“逻辑”：[19,63]，“with”：[20,65]，“simply”：[21]，“typed”：[22]，“$$\\lambda”：[23,34]，“$$”：[24,35]，“微积分”：[25]，“by”：[26]，“inroduction”：[27]，“a”：[28,42]，“map”：[29]，“from”：[30]，“terms”：[32,72]，“into”：[33]，“术语”：[36]，“which”：[37]，“can”：[38]，“be”：[39]，“viewed”：[40]，“as”：[41]，“method”：[43]，“extracting”：[45]，“计算“：[47]，”内容“：[48]，”术语。“：[52]，”然后“：[53]，”检查“：[55]，”解释“：[57]，”在“：[61]，”沿“：[64]，”图像“：[67]，”结果“：[70]，”下“：[73]，”我们的“：[74]，”地图。“：[75]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4200319172“，”counts_by_year“：[{”年“：2022，”引用_by_count“：1}]，”更新日期“：”2024-05-22T20:39:02.953572“，”创建日期“：“2021-12-31”}