{“id”：“https://openalex.org/W2025341469“，”doi“：”https://doi.org/10.1006/inco.1995.1145“，”title“：”非类型化\u03bb微积分的非确定性扩展“，”display_name“：”非类型化\u03bb微积分的非确定性扩展“，”publication_year“：1995，”publication_date“：”1995-11-01“，”ids“：｛”openalex“：”https://openalex.org/W2025341469“，”doi“：”https://doi.org/10.1006/inco.1995.1145“，”mag“：”2025341469“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/inco.1995.1145“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”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”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1006/inco.1995.1145“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5020561481“，”display_name“：”Ugo de \u2019Ligoro“，”orcid“：”https://orcid.org/0000-0003-4609-2783}，“机构”：[{“id”：https://openalex.org/I861853513“，”display_name“：”萨皮恩扎罗马大学“，”ror“：”https://ror.org/02be6w209“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I861853513“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”U.Deliguoro“，”raw _affiliation_strings“：[“罗马大学La Sapienza，Dipartimento Sci Informaz，Via Salaria 113，I 00198 Rome，Italy”]，”afliations“：[{”raw_affiliation_string“：”罗马大学La-Sapiensa，Dipartitiono Sci Infoaz，Via 113 Salaria，I 00198Rome，意大利”，“institution_ids”：[”https://openalex.org/I861853513“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5077196285“，”display_name“：”Adolfo Piperno“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I861853513“，”display_name“：”萨皮恩扎罗马大学“，”ror“：”https://ror.org/02be6w209“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I861853513“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”A.Piperno“，”raw _affiliation_strings“：[“罗马大学La Sapienza，Dipartimento Sci Informaz，Via Salaria 113，I 00198 Rome，Italy”]，“afliations”：[{“raw_affilition_string”：“罗马大学，Dipartitmento Sci-Informazhttps://openalex.org/I861853513“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]，”apc_list“：{”value“：2630，”currency“：”USD“，”value_USD“：2620，”provenance“：”doaj“}，”apc _payed“：null，”has_fulltext“：false，”cited_by_count“：93，”max“：94}，”biblio“：{”volume“：”122“，”问题“：”2“，”first_page“：”149“，”last_page“：”177“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9993，“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.9993，“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.9974，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9939，“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/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.531003}]，”concepts“：[{”id“：”https://openalex.org/C176181172“，”wikidata“：”https://www.wikidata.org/wiki/Q3490301“，”display_name“：”非确定性算法“，”level“：2，”score“：0.86816126}，{”id“：”https://openalex.org/C2333172网址“，”wikidata“：”https://www.wikidata.org/wiki/Q1425985“，”display_name“：”Preorder“，”level“：2，”score“：0.5802097}，{”id“：”https://openalex.org/C193702766“，”wikidata“：”https://www.wikidata.org/wiki/Q1414548“，”display_name“：”Concurrency“，”level“：2，”score“：0.536159}，{”id“：”https://openalex.org/C81539297“，”wikidata“：”https://www.wikidata.org/wiki/Q33456“，”display_name“：”指数“，”level“：2，”score“：0.5160741}，{”id“：”https://openalex.org/C33923547“，”wikidata“：”https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.477597}，{”id“：”https://openalex.org/C17020691“，”wikidata“：”https://www.wikidata.org/wiki/Q139677“，”display_name“：”运算符（生物学）“，”level“：5，”score“：0.45860276}，{”id“：”https://openalex.org/C161771561“，”wikidata“：”https://www.wikidata.org/wiki/Q1970286“，”display_name“：”进程演算“，”level“：2，”score“：0.4409528}，{”id“：”https://openalex.org/C135315306“，”wikidata“：”https://www.wikidata.org/wiki/Q866364“，”display_name“：”双向模拟“，”level“：2，”score“：0.43844822}，{”id“：”https://openalex.org/C2781172179“，”wikidata“：”https://www.wikidata.org/wiki/Q853109“，”display_name“：”并行性（语法）“，”level“：2，”score“：0.43118277｝，｛”id“：”https://openalex.org/C177148314“，”wikidata“：”https://www.wikidata.org/wiki/Q170084“，”display_name“：”泛化“，”level“：2，”score“：0.42978296｝，｛”id“：”https://openalex.org/C41008148“，”wikidata“：”https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.4274007}，{”id“：”https://openalex.org/C184337299“，”wikidata“：”https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.41718128}，{”id“：”https://openalex.org/C136119220“，”wikidata“：”https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.37738675}，{”id“：”https://openalex.org/C2777686260“，”wikidata“：”https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.35639393}，{”id“：”https://openalex.org/C118615104“，”wikidata“：”https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3261046}，{”id“：”https://openalex.org/C80444323“，”wikidata“：”https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.22817698}，{”id“：”https://openalex.org/C199360897“，”wikidata“：”https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.18407685}，{”id“：”https://openalex.org/C202444582“，”wikidata“：”https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.14703211}，{”id“：”https://openalex.org/C71924100“，”wikidata“：”https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”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/C55493867“，”wikidata“：”https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680“，”wikidata“：”https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”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/C158448853“，”wikidata“：”https://www.wikidata.org/wiki/Q425218“，”display_name“：”Repressor“，”level“：4，”score“：0.0}，{”id“：”https://openalex.org/C173608175“，”wikidata“：”https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86339819“，”wikidata“：”https://www.wikidata.org/wiki/Q407384“，”display_name“：”转录因子“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C104317684“，”wikidata“：”https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/inco.1995.1145“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”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”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/inco.1995.1145“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”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”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/10“，”score“：0.58，”display_name“：”Reduced不等式“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：46，”referrenced_works“：[”https://openalex.org/W119795404","https://openalex.org/W119005804","https://openalex.org/W1482185827","https://openalex.org/W1486961390","https://openalex.org/W1503973138","https://openalex.org/W1517222497","https://openalex.org/W1529438065","https://openalex.org/W1530168704","https://openalex.org/W1539804543","https://openalex.org/W1561085604","https://openalex.org/W1563733206","https://openalex.org/W1573047523","https://openalex.org/W1589550381","https://openalex.org/W1872145581","https://openalex.org/W1970227944","https://openalex.org/W1972921902","https://openalex.org/W1974817955","https://openalex.org/W1976195354","https://openalex.org/W1986227685","https://openalex.org/W1990370351","https://openalex.org/W1997143185","https://openalex.org/W2007270285","https://openalex.org/W2013672985","https://openalex.org/W2014552079","https://openalex.org/W2024873396","https://openalex.org/W2036605992","https://openalex.org/W2037785443","https://openalex.org/W2039112578","https://openalex.org/W2049362364","https://openalex.org/W2055378322","https://openalex.org/W2061786858","https://openalex.org/W2062024564","https://openalex.org/W2064236106","https://openalex.org/W2088941870","https://openalex.org/W2094935854","https://openalex.org/W2102549858","https://openalex.org/W2111841006","https://openalex.org/W2136920408","https://openalex.org/W2141568518","https://openalex.org/W2154273644","https://openalex.org/W2157144873","https://openalex.org/W2162477369","https://openalex.org/W2165407648","https://openalex.org/W2184268586","https://openalex.org/W2340102009","https://openalex.org/W2610899059“]，”related_works“：[”https://openalex.org/W4297837668","https://openalex.org/W3020829080","https://openalex.org/W2153717963","https://openalex.org/W2152206644","https://openalex.org/W2113256684","https://openalex.org/W2084118108","https://openalex.org/W1704074244","https://openalex.org/W1586890499","https://openalex.org/W1565429054","https://openalex.org/W1540576960“]，”ngrams_url“：”https://api.openalex.org/works/W2025341469/ngrams“，”“abstract_inverted_index”：{“The”：[0]，“main”：[1]，“concern”：[2]，“of”：[3,18,22,33,40,49,61,70,77,80,86100103110122130136164176]，“this”：[4141]，“paper”：[5]，“is”：[6,27,74,91]，“The”：[7,30,38,58,62,67,71,75,81,87,92107120127134148173177]，“interactive”：[8]，“between”：[9,5173177]2]，“功能”：[10]，“和”：[11,24,43,54,83,99132155179]，“不确定性。“：[1212]，”We“：[13,45167]，”ask“：[14]，”是否“：[15]，”分析“：[17,79]，”并行“：[19]，”in“：[20,29,37,47,64]，”terms“：[21]，”顺序性“：[23]，”不确定性“：[25]，“which”：[26,90]，”通常“：[28]，”代数“：[31]，”处理“：[32]，”并发“：[34]，”保持“：[35]，“正确”：[36]，“存在”：[39]，“功能”：[41]，“应用”：[42]，“抽象，“：[44]，”争论“：[46]，”赞成“：[48]，”a“：[50,96145162]，”区别“：[51]，”不确定性“：[53]，”平行“：[55]，”到期“：[56]，”到“：[57,66115184189]，”连接“：[59111]，”性质“：[60]，”前者“：[63]，”对比“：[65]，”析取“：[68]，”字符“：[69]，”后者。“：[72]，”This“：[73113]，”basis“：[76]，”our“：[78101]，”operational“：[82116]，”dentational“：+84]，”semantics“：[85117]，”nondeterministic“：[88153185]，”\u03bb-calculus“：【89】，”classical“：【93128190】，”calculations“：【94】，”plus“：【95】，”choice“：【97】，”operator“：【98】，”election“：[102]，”boundered“：【104】，”cy“：[105]，”as“：[106]，”语义“：[108]，”对应词“：[109]，“leads”：[114]，“based”：[118]，“on”：[119]，“idea”：[121]，“must”：[123]，“preorder”：[124]，“coming”：[125]，“from”：[126133]，“theory”：[129135175]，“solvability”：[131]，“process”：[137]，“algebras”。“：[138]，”To“：[139]，”characterize“：[140]，”relation“，”relationship“，”we“：/143156]，”build“：[144]，”model“：[146178]，”using“：[147161]，”inverse“：[149]，”limit“：%150]，”construction“：[151]，”over“：[152]，”代数“：[154]，”prove“：[157169]，”it“：[158]，”fully“：[159]，”抽象“：[160]，”泛化“：[163]，“B\u00f6hm”：[165]，“树。“：[166]，”进一步“：[168]，”保守性“：[170]，”定理“：[171]，”对于“：[172180]，”方程“：[174]，”其他“：[181]，”理论“：[182]，”相关“：[183]，”\u03bb-calculus“：[186]，”with“：[187]，”尊重“：[188]，”\ u03bb-theories。“：[191]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2025341469“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：3}，{“年度”：2022，”“cited_by_cunt”：1}，}“年份“：2021，”“cited_by-count”“：4}，”“年份”“：2020，”年份“：2016，”引用_ by_count“：1}，{“年份”：2015，”引用_by_counts“：3}，”年份“：2014，”引用__ by-count“:7}，{“年份”：2013，“引用_ by_count”：3}，{”年份“：2012，”引用_ by-count“：3}]，”更新日期“：“2024-06-17T18:29:17.206923”，“创建日期”：“2016-06-24”}