{“id”：“https://openalex.org/W1589550381“，”doi“：”https://doi.org/10.1007/3-540-57182-5_32“，”title“：”并行和非确定性\u03bb-calculus的过滤模型“，”display_name“：”平行和非确定性的过滤模型\u03bs-calcuus“，”publication_year“：1993，”publitation_date“：”1993-01-01“，”ids“：{”openalex“：”https://openalex.org/W1589550381“，”doi“：”https://doi.org/10.1007/3-540-57182-5_32“，”mag“：”1589550381“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-57182-5_32“，”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“：”施普林格科学+商业媒体“，”host_organization_lineage“：[”https://openalex.org/P4310319965","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/A5053585862“，”display_name“：”Mariangiola Dezani-Ciancaglini“，”orcid“：”https://orcid.org/0000-0002-3341-0941}，“机构”：[{“id”：https://openalex.org/I55143463“，”display_name“：”都灵大学“，”ror“：”https://ror.org/048tbm396“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I55143463“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Mariangiola Dezani-Ciancaglini“，”raw _affiliation_strings“：[“Dipartitmento di Informatica，University \u00e1 di Torino，Corso Svizzera 185，10149，Torino，Italy”]，“affiliations”：[{“raw_affiliation _string”：“意大利都灵Corso Svizzera 185，10149，都灵大学信息学院（University \u00e1 di Torino，Italy）”，“institution_ids”：[“https://openalex.org/I55143463“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5020561481“，”display_name“：”Ugo de \u2019Ligoro“，”orcid“：”https://orcid.org/0000-0003-4609-2783}，“机构”：[{“id”：https://openalex.org/I55143463“，”display_name“：”都灵大学“，”ror“：”https://ror.org/048tbm396“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I55143463“]｝]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Ugo de‘Ligoro“，”raw_affiation_strings“：[”都灵信息学院，都灵大学，科索Svizzera 18510149“]，”附属机构“：[｛”raw_affiation_string“：”都灵信息学院，都灵大学，Corso Svizzera 18510149，意大利都灵”，“机构ID”：[https://openalex.org/I55143463“]}]}，{”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“]}，{”id“：”https://openalex.org/I4210101866“，”display_name“：”Informa（意大利）“，”ror“：”https://ror.org/017c2y429“，”country_code“：”IT“，”type“：“company”，”lineage“：[”https://openalex.org/I4210101866","https://openalex.org/I4210154378“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Adolfo Piperno“，”raw _affiliation_strings“：[“意大利罗马大学信息科学研究所，地址：University \u00e0 di Roma\u201cLa Sapienza\u201d，Via Salaria 113，00198，Roma”]，”affiliations“：[{”raw _affiliation_string“：”意大利罗马萨拉里亚113，00198，University\u00e0 di Roma\u201cLa Sapienza\u201d，科学与信息学院https://openalex.org/I861853513","https://openalex.org/I4210101866“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：3，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：{”value“：5000，“has_fulltext”：false，“cited_by_count”：8，“cited_by_percentile_year“：{”min“：78，”max“：79}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：“403”，“last_page”：“412”}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：”{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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.9999，”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.9991，”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.9911，“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.521326}，{”id“：”https://openalex.org/keywords/model-checking（https://openalex.org/keywords/model-checking）“，”display_name“：”模型检查“，”score“：0.505864}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6382152}，{”id“：”https://openalex.org/C64543145，“wikidata”：https://www.wikidata.org/wiki/Q162942“，”display_name“：”十字路口（航空）“，”level“：2，”score“：0.5400551}，{”id“：”https://openalex.org/C17020691，“wikidata”：https://www.wikidata.org/wiki/Q139677“，”display_name“：”运算符（生物学）“，”level“：5，”score“：0.5163868}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.5030176}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.5021188}，{”id“：”https://openalex.org/C106131492，“wikidata”：https://www.wikidata.org/wiki/Q3072260“，”display_name“：”筛选器（信号处理）“，”level“：2，”score“：0.45926774}，{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.4501349｝，｛”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.43489158}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.42850617}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.41843373｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.41665596｝，｛”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.41092736}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段代数“，”级别“：2，”分数“：0.39298114}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.3631053}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.28080088}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.27414352}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.08728826}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：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/C146978453，“wikidata”：https://www.wikidata.org/wiki/Q3798668“，”display_name“：”航空航天工程“，”level“：1，”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/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”工程“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：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/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”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/C31972630，“wikidata”：https://www.wikidata.org/wiki/Q844240“，”display_name“：”计算机视觉“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”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“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-57182-5_32“，”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“：”施普林格科学+商业媒体“，”host_organization_lineage“：[”https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：10，“referenced_works“：[”https://openalex.org/W1589550381","https://openalex.org/W1970227944","https://openalex.org/W1972921902","https://openalex.org/W1986227685","https://openalex.org/W2007270285","https://openalex.org/W2062024564","https://openalex.org/W2090790829网址","https://openalex.org/W2139772363","https://openalex.org/W2154273644","https://openalex.org/W4213381987“]，”related_works“：[”https://openalex.org/W91938043","https://openalex.org/W3129725704","https://openalex.org/W3036972880","https://openalex.org/W3007870257","https://openalex.org/W2257517306","https://openalex.org/W2245685274","https://openalex.org/W2158105805","https://openalex.org/W2097112237","https://openalex.org/W2072493788","https://openalex.org/W1768718906“]，”ngrams_url“：”https://api.openalex.org/works/W1589550381/ngrams“，”“abstract_inverted_index”：{“The”：[0]，“difference”：[1]，“between”：[2]，“The”：[3,11,17,20,24,48,77,87,93]，“conjunctive”：[4,90]，“nature”：[5]，“of”：[6,14,23,41,47,92]，“non-determinism”：[7]，“as”：[8]，“objectived”：[9]，“to”：[10]，“disjunctiver”：[12,88]，“character”：[13]，“parallelism”：[15]，“构成”：[16]，“动机”：[18]，“和”：[19,35,82,89]，“开始”：[21]，“point“：[22]，”present“：[25]，”work.“：[26]，”\u03bb-calculus“：[27]，”is“：[28,43,65103]，”extended“：[29]，”with“：[30,60,80105]，”both“：[31]，”a“：[32,36,39,61,69,97106]，”non-determinative“：[33]，”choice“：[34]，”parallel“：[37]，”operator；“：[38]，”概念“：[40]，”约简“：[42]，”引入“：[44]，”扩展“：[45]，”\u03b2-reduction“：[46]，”经典“：[49]，”微积分。“：[50]，“我们”：[51,75]，“研究”：[52]，“类型”：[53,78]，“赋值”：[54]，“系统”：[55]，“for”：[56]，“this”：[57]，“微积分”：[58]，“together”：[59]，“指称”：[62]，“语义”：[63]，“which”：[64]，“initially”：[66]，“defined”：[67]，“constructing”：[68]，“set”：[70]，“semimodel”：[71]，“via”：[72]，“simple”：[73]，“types”。“：[74]，”enrich“：[76]，”system“：[79]，”intersection“：[81]，”union“：[83]，”types“，“types，”：[84]，“dually”：[85]，“reflecting”：[86]，“behavior”：[91]，“operators；“：[94]，”we“：[95]，”build“：[96]，”filter“：98]，”model“：[99]，”which“：[100]，”local“：[101]，”structure“：[102]，”compared“：[104]，”Morris-style“：[107]，”operational“：[108]，”semantics。“：[109]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1589550381“，”counts_by_year“：[{”年份“：2023，”cited_by_count“：1}，{”年“：2021，”cited_by_count”：1}]，”更新日期“：”2024-06-14T18:24:09.209734“，”创建日期“：“2016-06-24”}