{“id”：“https://openalex.org/W2519014191“，”doi“：”https://doi.org/10.1007/978-3-319-47958-3_11“，”title“：“交叉口和并线类型的可实现性解释”，”display_name“：”交叉口和联线类型的实现性解释“，”publication_year“：2016，”publiation_date“：”2016-01-01“，”ids“：{”openalex“：”https://openalex.org/W2519014191“，”doi“：”https://doi.org/10.1007/978-3-319-47958-3_11“，”mag“：”2519014191“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-47958-3_11“，”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、”is_core“：true、”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”：true，“oa_status”：“green”，“oa_url”：https://inria.hal.science/hal-01317213/文档“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5046515488“，”display_name“：”Daniel J.Dougherty“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I107077323“，”display_name“：”伍斯特理工学院“，”ror“：”https://ror.org/05ejpqr48“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I107077323“]｝]，”国家“：[”美国“]，”is_correresponsing“：false，”raw_author_name“：”丹尼尔·J·多尔蒂“，”raw_affiation_string“：[”WPI CS-计算机科学系（伍斯特理工学院；100 Institute Rd；Worcester，MA 01609-\u00c9tats Unis）“]，”附属机构“：[｛”raw_affiation_string“：”WPI CS-计算机科学系（伍斯特理工学院；100 Institute Rd；Worcester，MA 01609-\u00c9tats-Unis）“，”institution_ids“：[”https://openalex.org/I107077323“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5020561481“，”display_name“：”Ugo de\u2019Liguoro“，”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'Liguoro“，”raw _affiliation_strings“：[“Dipartimento di Informatica[都灵]（University \u00e0 di Torino-Italie）”]，“affiliations”：[{“raw_affiliation _string”：“Dipartitmento di-Informatica[Torino]（Universit\u00e di Torino-Italee）”，“institution_ids”：[”https://openalex.org/I55143463“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5080883460“，”display_name“：”Luigi Liquori“，”orcid“：”https://orcid.org/0000-0003-3961-4205}，“机构”：[{“id”：https://openalex.org/I4210106545“，”“display_name”：“Inria Sophia Antipolis研究中心-M\u00e9diterra\u00e 9e”，“错误”：“https://ror.org/01nzkaw91“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283","https://openalex.org/I201841394","https://openalex.org/I4210106545“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Luigi Liquori“，”raw _affiliation_strings“：[“CRISAM-Inria Sophia Antipolis-M\u00e9ditrah\u00e 9e（2004 route des Lucioles BP 93 06902 Sophia Andipolis–France）”]，“afliations”：[{“raw_affiliation _string”：“CRISAM-Inria Sophia Antipolis-M\u00e9dithera\u00e 9e（2004 route des Lucioles BP 93 06902 Sophia Andipolis–France）“，“institution_ids”：[“https://openalex.org/I4210106545“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5063753405“，”display_name“：”Claude Stolze“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210146044“，”display_name“：”\u00c9cole Normale Sup\u00e9rieure de Rennes“，”ror“：”https://ror.org/03rxtdc22“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I4210146044","https://openalex.org/I56067802“]}，{”id“：”https://openalex.org/I39804081“，”display_name“：”索邦大学\u00e9“，”ror“：”https://ror.org/02en5vm52“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I39804081“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Claude Stolze“，”raw _affiliation_strings“：[“ENS Rennes-\u00c9cole normale sup\u00e9rieure-Rennes（Campus de Ker Lann-avenue Robert Schuman-35170 Bruz-France）”，“UPMC-University \u00e 9 Pierre et Marie Curie-Paris 6（4 place Jussieu-75005 Paris-France”]，”affiliations“：[{”raw_affiliation_string“：”ENS Rennes-\u00c9cole normale sup\u00e9rieure-Rennes（Campus de Ker Lann-avenue Robert Schuman-35170 Bruz-France）“，”institution_ids“：[”https://openalex.org/I4210146044“]}，{”raw_affiliation_string“：”UPMC-University \u00e9 Pierre et Marie Curie-Paris 6（4位Jussieu-75005 Paris-France）“，”institution_ids“：[”https://openalex.org/I39804081“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：3，”institutions_disticent_count”：5，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：1.919，“has_fulltext”：true，“fulltext_o”rigin“：”ngrams“，”cited_by_count“：6，”引用_规范化_percentile“：{”value“：0.781401，”is_in_top_1_percent“：false，”is_in_top_10_percents“：false}，”cited_by_percentile_year“：{“min”：83，“max”：84}，“biblio”：{“volume”：null，“issue”：nully，“first_page”：“187”，“last_page”：“205”}，‘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.9948，”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.9941，“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/realizability网站“，”display_name“：”可实现性“，”score“：0.9243313｝，｛”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.522671}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.507183}，{”id“：”https://openalex.org/keywords/curry网站\u2013howard-correspondence“，”display_name“：”Curry\u2013howard-correlations“，”score“：0.49472377}，{”id“：”https://openalex.org/keywords/logical-connective网址“，”display_name“：”逻辑连接词“，”score“：0.48828006}，{”id“：”https://openalex.org/keywords/instentionistic-logic“，”display_name“：”直觉主义逻辑“，”score“：0.43278056}，{”id“：”https://openalex.org/keywords/truth-function网站“，”display_name“：”Truth function“，”score“：0.42191443}，{”id“：”https://openalex.org/关键字/完整性“，”display_name“：”完备性（序理论）“，”score“：0.41138083}]，”concepts“：[{”id“：”https://openalex.org/C2776378722，“wikidata”：https://www.wikidata.org/wiki/Q3454417“，”display_name“：”Realizability“，”level“：2，”score“：0.9243313}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538（网址：https://www.wikidata.org/wiki/Q11538）“，”display_name“：”数学证明“，”level“：2，”score“：0.6494351}，{”id“：”https://openalex.org/C64543145，“wikidata”：https://www.wikidata.org/wiki/Q162942“，”display_name“：”十字路口（航空）“，”level“：2，”score“：0.5960947}，{”id“：”https://openalex.org/C62073222，“wikidata”：https://www.wikidata.org/wiki/Q1572108“，”display_name“：”自然演绎“，”level“：2，”score“：0.51694244}，{”id“：”https://openalex.org/C28077239，“wikidata”：https://www.wikidata.org/wiki/Q841728“，”display_name“：”线性逻辑“，”level“：2，”score“：0.50443256}，{”id“：”https://openalex.org/C85343465，“wikidata”：https://www.wikidata.org/wiki/Q975734“，”display_name“：”Curry\u2013Howard通信“，”level“：3，”score“：0.49472377}，{”id“：”https://openalex.org/C194989596，“wikidata”：https://www.wikidata.org/wiki/Q211790“，”display_name“：”逻辑连接词“，”level“：2，”score“：0.48828006}，{”id“：”https://openalex.org/C46274116，“wikidata”：https://www.wikidata.org/wiki/Q185521“，”display_name“：”Truth value“，”level“：2，”score“：0.48324093}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.48274177}，{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”display_name“：”口译（哲学）“，”level“：2，”score“：0.4718069｝，｛”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.4625968}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.45086086}，{”id“：”https://openalex.org/C142156749，“wikidata”：https://www.wikidata.org/wiki/Q2607208“，”display_name“：”类型lambda演算“，”level“：3，”score“：0.4495958}，{”id“：”https://openalex.org/C178421362，“wikidata”：https://www.wikidata.org/wiki/Q176786“，”display_name“：”直觉逻辑“，”level“：3，”score“：0.43278056}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.43266398}，{”id“：”https://openalex.org/C37754750，“wikidata”：https://www.wikidata.org/wiki/Q913874“，”display_name“：”Truth function“，”level“：3，”score“：0.42191443}，{”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540“，”display_name“：”完备性（序理论）“，”level“：2，”score“：0.41138083}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.40302664｝，｛”id“：”https://openalex.org/C69562738，“wikidata”：https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.35585755}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.23678258}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.2196365}，{”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/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”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/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”工程“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C146978453，“wikidata”：https://www.wikidata.org/wiki/Q3798668“，”display_name“：”航空航天工程“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-47958-3_11“，”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、”is_core“：true、”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}，{“is_oa”：true，“landing_page_url”：“https://hal.inia.fr/hal-01317213，“pdf_url”：https://inria.hal.science/hal-01317213/document（英文），“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://hal.inia.fr/hal-01317213v2/file/0-paper.pdf，“pdf_url”：https://hal.inia.fr/hal-01317213v2/file/0-paper.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.inia.fr/hal-01317213v2/document，“pdf_url”：https://hal.inria.fr/hal-01317213v2/document（https://hal.inria.fr/hal-01317213v2/document），“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.inia.fr/hal-01317213/file/0-paper.pdf，“pdf_url”：https://hal.inia.fr/hal-01317213/file/0-paper.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://hal.inia.fr/hal-01317213，“pdf_url”：https://inria.hal.science/hal-01317213/document（英文），“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[{”score“：0.42，”display_name“：”减少不平等“，”id“：”https://metadata.un.org/sdg/10“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：27，”referrenced_works“：【”https://openalex.org/W1506910973","https://openalex.org/W1527933453","https://openalex.org/W1530632793","https://openalex.org/W1557413548","https://openalex.org/W1557561422","https://openalex.org/W1594451895","https://openalex.org/W1595549069","https://openalex.org/W1595574873","https://openalex.org/W1969658529","https://openalex.org/W1970227944","https://openalex.org/W1974190112","https://openalex.org/W1980434494网址","https://openalex.org/W1987125012","https://openalex.org/W1990370351","https://openalex.org/W2016129710","https://openalex.org/W2020524830","https://openalex.org/W2020543669","https://openalex.org/W2022290763","https://openalex.org/W2042823881","https://openalex.org/W2085670481","https://openalex.org/W2090415524","https://openalex.org/W2092120865","https://openalex.org/W2127160476","https://openalex.org/W2138839382","https://openalex.org/W2154273644","https://openalex.org/W258758391","https://openalex.org/W2911772578“]，”related_works“：[”https://openalex.org/W3151484654","https://openalex.org/W2983769583","https://openalex.org/W2761902706","https://openalex.org/W2617975197","https://openalex.org/W2486165584","https://openalex.org/W2171556610","https://openalex.org/W2124344212","https://openalex.org/W1504036030","https://openalex.org/W1492269319","https://openalex.org/W1487251594“]，”abstract_inverted_index“：{”Proof-functional“：[0]，”logical“：[1,9]，”connectives“：[2,30]，”allow“：[3]，”reasoning“：[4]，”about“：[5]，”the“：[6,16,18,32,42,81,89114121]，”structure“：[7]，”of“：[8,20,34,45,80]，”Proof“，”：[10]，”in“：[11,25]，”this“：[12,49]，”way“：[13]，”giving“：[14]，”to“：[15,27,88117120]，”later“：[17]，”status“：[19]，”头等舱“：[21]，”物体。“：[22]，”此“：[23,68]，”是“：[24,38143]，”对比度“：[26]，”经典“：[28]，”真函数“：[29]，”其中“：[31]，”含义“：[33]，”a“：[35,53,64,73,97129137]，”复合“：[36]，”公式“：[37]，”从属“：[39]，”仅“：[40]，”on“：[41]，”真理“：[43]，”值“：[44]，”its“：[46]，“子公式。“：[47]，”In“：[48]，”paper“：[50]，”we“：55127]，”present“：[52,96]，”typed“：[54,74115]，”lambda“：[55]，”calculation“，”：[56,69]，”enriced“：[57]，”with“：58]，”strong“：[59,61107110]，”products“：[60]，”sums“：[62]，”and“：[63109126136]，”related“：65]，”roof functional“：[66104]，“逻辑。“：[67]，”直接“：[70]，”派生“：[71]，”从“：[72]，”微积分“：[75116]，”先前“：[76]，”定义“：[77]，”由“：[78]，”两个“：[79103]，”当前“：[82]，”作者“：[83]，”已经“：[84]，”被“：[85]，”证明“：[86]，”同构“：[87119]，”已知“：[90]，”Barbanera-Dezani-Ciancaglini-de\u2019利古罗“：[91]，“类型”：[92]，“赋值”：[93]，“系统”。“：[94]，“We”：[95112]，“logic”：[98122]，“$$\\mathcal{L}^{\\cap”：[99123]，“\\cup”：[100124]，“}$$”：[101125]，“featured”：[102]，“connectives”：[105]，“即”：[106]，“continction”：[108]，“disjunction”。“：[111]，”证明“：[113]，”是“：[118]，”给定“：[128]，”可实现性“：[130]，”语义“：[131]，”使用“：[132]，”铸币\u2019“：[133]，”实现器“：[134]，”[Min89]“：[135]，”完整性“：%138]，”定理。“：[139]，”A“：[140]，”原型“：[141]，”实现“：[142]，”也“：[144]，”描述。“：[145]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2519014191“，”counts_by_year“：[{”年“：2020，”cited_by_count“：1}，{”年份“：2019，”cited_by_count”：1}，{“年份”：2018，”citecd_by_count“：2}，”年度“：2017，”citesd_by_count“:2}]，”updated_date“：”2024-09-15T15:54:49.602951“，”创建日期“：”2016-09-23“}”