{“id”：“https://openalex.org/W2768652090“，”doi“：”https://doi.org/10.1007/978-3-319-72056-2_20“，”title“：“操作语义的BCD的完整性”，“display_name”：“操作语义学的BCD完整性”、“publication_year”：2017，“publication_date”：“2017-11-28”，“ids”：{“openalex”：“https://openalex.org/W2768652090“，”doi“：”https://doi.org/10.1007/978-3-319-72056-2_20“，”mag“：”2768652090“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-72056-2_20“，”pdf_url“：null，”source“：｛”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”：true，“oa_status”：“green”，“oa_url”：https://drops.dagstuhl.de/opus/volltexte/2018/9847/pdf/LIPIcs-TYPES-2016-15.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5051071400“，”display_name“：”Richard Statman“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74973139“]}]，”countries“：[”US“]，”is_corresponding“：true，”raw_author_name“：”Rick Statman“，”raw _affiliation_strings“：【”宾夕法尼亚州匹兹堡卡内基梅隆大学数学科学系，15213，美国“】}]，“countries_distiction_count”：1，“institutions_disticent_count“：1，”corresponding_author_ids“：[“https://openalex.org/A5051071400“]，”对应机构_ids“：[”https://openalex.org/I74973139“]，”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“：0，”cited_by_percentle_year“：｛”min“：0，”max“：68｝，”biblio“：｛”volume“：null，”issue“：null，”first_page“：”331“，”last_page“：”336“｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10126“，”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.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.9977，”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.9847，”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/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.504574}]，”concepts“：[{”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540“，”display_name“：”完备性（序理论）“，”level“：2，”score“：0.71734786}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.683326}，{”id“：”https://openalex.org/C64543145，“wikidata”：https://www.wikidata.org/wiki/Q162942“，”display_name“：”十字路口（航空）“，”level“：2，”score“：0.63424444}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.5809268}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.5701397}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.55609894}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.4916864}，{”id“：”https://openalex.org/C61797465，“wikidata”：https://www.wikidata.org/wiki/Q1188986“，”display_name“：”Term（time）“，”level“：2，”score“：0.48127383}，{”id“：”https://openalex.org/C2778113609，“wikidata”：https://www.wikidata.org/wiki/Q10897“，”display_name“：”Lambda“，”level“：2，”score“：0.4574257}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda演算“，”level“：2，”score“：0.45188463}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.37281466}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3393883}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.32392412}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.25543422}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.13339368}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.05174026}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”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/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C120665830，“wikidata”：https://www.wikidata.org/wiki/Q14620“，”display_name“：”Optics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C146978453，“wikidata”：https://www.wikidata.org/wiki/Q3798668“，”display_name“：”Aerospace engineering“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：2，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-72056-2_20“，”pdf_url“：null，”source“：｛”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}，{“is_oa”：true，“landing_page_url”：“https://drops.dagstuhl.de/opus/volltexte/2018/9847/，“pdf_url”：https://drops.dagstuhl.de/opus/volltexte/2018/9847/pdf/LIPIcs-TYPES-2016-15.pdf，“源”：{“id”：https://openalex.org/S4306402524“，”display_name“：”Leibniz-Zentrum f\u00fcr Informatik（Schloss Dagstuhl）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I2799853480“，”“host_organization_name”：“Schloss Dagstuhl\u2013莱布尼茨信息中心”，“host_ordanization_lineage”：[“https://openalex.org/I2799853480“]，”host_organization_lineage_names“：[”Schloss Dagstuhl\u2013莱布尼茨信息中心“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://drops.dagstuhl.de/opus/volltexte/2018/9847/，“pdf_url”：https://drops.dagstuhl.de/opus/volltexte/2018/9847/pdf/LIPIcs-TYPES-2016-15.pdf，“源”：{“id”：https://openalex.org/S4306402524“，”display_name“：”Leibniz-Zentrum f\u00fcr Informatik（Schloss Dagstuhl）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I2799853480“，”“host_organization_name”：“Schloss Dagstuhl\u2013莱布尼茨信息中心”，“host_ordanization_lineage”：[“https://openalex.org/I2799853480“]，”host_organization_lineage_names“：[”Schloss Dagstuhl\u2013莱布尼茨信息中心“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”score“：0.44，”display_name“：”减少不平等“，”id“：”https://metadata.un.org/sdg/10“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：4，”referrenced_works“：【”https://openalex.org/W1965297988","https://openalex.org/W1981303668","https://openalex.org/W4239310085","https://openalex.org/W4251033482“]，”related_works“：[”https://openalex.org/W4378501555","https://openalex.org/W4300891849","https://openalex.org/W4237277701","https://openalex.org/W2951695430","https://openalex.org/W2587702271","https://openalex.org/W2097112237","https://openalex.org/W1606615329","https://openalex.org/W1581810870","https://openalex.org/W1570229558","https://openalex.org/W1550247298“]，”ngrams_url“：”https://api.openalex.org/works/W2768652090/ngrams网站“，”“abstract_inverted_index”：{“The”：[0]，”定理“：[1]，”of“：[2]，”Coppo“：[3]，”et“：[4]，”al.“：[5]，”（[3，”：[6]，”6]）“：[7]，”states“：[8]，”that“：[9]，”an“：[10,24]，”untyped“：[11]，”lambda“：[12]，”term“：[13]，”is“：[14]，“strongly”：[15]，“可规范化”：[16]，“if”：[17,20]，“and”：[18]，“only”：[19]，“it”：[21]，“provable”：[22]，“has”：[23]，“intersection”：[25]，“type.”：[26]这里有“：[27]，”we“：[28]，”consider“：[29]，”which“：[30,33]，”terms“：[31]，”have“：[32]，”types。“：[34]｝，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2768652090“，”counts_by_year“：[]，”updated_date“：”2024-05-22T14:18:10.590469“，”创建日期“：”2017-12-04“}