{“id”：“https://openalex.org/W2468006416“，”doi“：”https://doi.org/10.1017/s0960129516000165“，”title“：”On natural continuous non-dcpo domains“，”display_name“：”On natural连续非dcpo域“，”publication_year“：2016，”publitation_date“：”2016-06-22“，”ids“：{”openalex“：”https://openalex.org/W2468006416“，”doi“：”https://doi.org/10.1017/s0960129516000165“，”mag“：”2468006416“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s0960129516000165“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”MSCS。计算机科学的数学结构/计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nully，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access’：{”is_oa“：false，”“oa_status”：“closed”，“oa_url”：空，“any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5071613868“，”display_name“：”Vladimir Sazonov“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I146655781“，”display_name“：”利物浦大学“，”ror“：”https://ror.org/04xs57h96“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I146655781“]}]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Vladimir Sazonov“，”raw _affiliation_strings“：[“利物浦大学”]，”affiliations“：[{”raw _affiliation_string“：”利物浦大学“，”institution_ids“：[https://openalex.org/I146655781“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5071613868“]，”对应的机构ID“：[”https://openalex.org/I146655781“]，”apc_list“：null，”apc _ paid“：nul，”has_fulltext“：false，”cited_by_count“：0，”cited_by_percentile_year“：{”min“：0”max“：71}，”biblio“：{“volume”：“27”，”issue“：”8“，”first_page“：”1521“，”last_page“：”1552https://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.9965，”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.9937，“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.545682}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.52115}]，”concepts“：[{”id“：”https://openalex.org/C33923547“，”wikidata“：”https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.73981285}，{”id“：”https://openalex.org/C29585364“，”wikidata“：”https://www.wikidata.org/wiki/Q1079166“，”display_name“：”领域理论“，”level“：2，”score“：0.6577059}，{”id“：”https://openalex.org/C136119220“，”wikidata“：”https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.52153015}，{”id“：”https://openalex.org/C178421362“，”wikidata“：”https://www.wikidata.org/wiki/Q176786“，”display_name“：”直觉主义逻辑“，”level“：3，”score“：0.48464924}，{”id“：”https://openalex.org/C118615104“，”wikidata“：”https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.4637995}，{”id“：”https://openalex.org/C177148314“，”wikidata“：”https://www.wikidata.org/wiki/Q170084“，”display_name“：”泛化“，”level“：2，”score“：0.4366157｝，｛”id“：”https://openalex.org/C202444582“，”wikidata“：”https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.4168836}，{”id“：”https://openalex.org/C69562738“，”wikidata“：”https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.31250113}，{”id“：”https://openalex.org/C134306372“，”wikidata“：”https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s0960129516000165“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”MSCS。计算机科学的数学结构/计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：【]，“referenced_works_count”：19，“referenced_works“：[”https://openalex.org/W1525647423","https://openalex.org/W1547926009","https://openalex.org/W1968333039","https://openalex.org/W1969682671","https://openalex.org/W1969693438","https://openalex.org/W2007270285","https://openalex.org/W2010839695","https://openalex.org/W2024189573","https://openalex.org/W2054717986","https://openalex.org/W2091935350","https://openalex.org/W2111203331","https://openalex.org/W2125420252","https://openalex.org/W2141746484","https://openalex.org/W2163554063","https://openalex.org/W2165446401","https://openalex.org/W2166644419","https://openalex.org/W3022736722","https://openalex.org/W3098820335","https://openalex.org/W4388310185“]，”related_works“：[”https://openalex.org/W4230210714","https://openalex.org/W2753667555","https://openalex.org/W2227896468","https://openalex.org/W2167518895","https://openalex.org/W2140640825","https://openalex.org/W2122188099","https://openalex.org/W2121836469","https://openalex.org/W2119215098","https://openalex.org/W1986625420","https://openalex.org/W1504271387“]，”ngrams_url“：”https://api.openalex.org/works/W2468006416/ngrams网站“，”“abstract_inverted_index”：{“After”：[0]，“works”：[1]，“of”：[2,24,46,58,67,81,87,90,94108125199219268]，“Norman”：[3,19]，“and”：[4,20,26,44,92103115130142156175216221274304]，“the”：[5,42,56,82200257263266276]，“author”：[6]，2006年“：[10]，“数学”：[11291]，“结构”：[12292]，“in“：[13,36,96147177182226249262278293]，“计算机”：[14,37282294308]，“科学”：[15,38283295309]，“16”：[16]，“（2）”：[17]，“279\u2013289；“：[18]，”Sazonov“：[21,32148183313]，”2012“：[22]，”Annals“：[23153]，”Pure“：[25155]，”Applied“：[27157]，”Logic“：[28143158]，”163“：[29]，”（5）“：[30]，”575\u2013603；“：[31]，”2007“：[33]，”逻辑“：[34]，”方法“：[35]，”3“：[39]，”（3:7）“：[40]，”1\u201350），“：[41]，”必然性“：[43]，”可能性“：[45]，”a“：[47,65,85106122188]，”非dcpo“：[48,70123217]，”域“：[49]，”理论“：[50]，”变为“：[51]，”显而易见。“：[52]，”In“：[553232]，”this“：[54233]，”paper“：[55]，”category“：[57,66]，”continuous“：[59，69，74238]，”dcpo“：[60]，”domains“：[61，71，91128167240]，”is“：[62171]，”generalized“：[63]，”to“：[64，9105132135165236259]，”\u2018 natural\u2019“：[68，73]，”with“：[722，13256265]，”maps“：[75]，”as“：[52]”：[76]，“箭头。“：[77]，”A“：[78]，”full“：[79214]，”subcategory“：[80]，”later“：[83]，”subsetting“：[84]，”kind“：[86]，”bounded-completeness“：[88]，”requirement“：[89]，”presence“：[93]，”\u22a5“：[95]，”each“：[97]，”proved“：98]，”be“：[100133]，”Cartesian“：[101]，”closed“：[102]，”equivalent“：[104]134]，“子类”：[107]，“Ershov’s”：[109136207]，“通用”：[110137]，“A-spaces“：[1111176222]，”（Ershov“：[112139]，”1974“：[113]，”代数“：[1141]，”逻辑“：[116]，”12“：[117]，”（4）“：[118145]，”369\u2013416）。“：[119]，”This“：[120]，”extends“：[121]，”generalization“：[124]，”Scott“：[126]，”（代数）“：[127]，”introduced“：[129]，”proved“：[131]，”f-spaces“：%138174220]，”1972“：[140]，”11“：[144]，”367\u2013437）“：%146]，“（2007”：[149184306314]，”op.“：[150185315]，”cit.；“：[151]，”2009“：[152]，”159“：[159]，”（3）“：[160]，”341\u2013355）。“：[161]，”The“：[162]，”current“：[163]，”approach“：[164208]，”natural“：[166239]，”（“：[168241]，”v“：[169242244]，”-domains）“：[170]，”difference“：[172189]，”from“：[173191]，”that“：[178]，”it“：[179261]，“has”：[180]，“rescense”：[181]，“cit.”：[186]，“way”：%190]，“definiting”：[192]，“完全”：[193]，“抽象”：[194228251]，“模型”：[195]，“用于”：[196]，“一些”：[197]，“versions“：[198]，”language“：[201]，”PCF“：[202269]，”over“：[203270]，”Integers“：[204]，”wherever“：[205]，”was“：[209]，”not“：[210]，”initially“：[211]，”related“：[212]，”abstration“：[215]，”version“：[218]，”were“：[223]，”original“：[224]，”considered“：[225]，”an“：[227250]，”（主要是“：[229252]，“拓扑）”：[230]，“样式。“：[231]，”论文“：[234]，”投入“：[235]，”自然“：[237]，”连续“：[243]，”域），“：[245]，”我们“：[246]，”还“：[247]，”工作“：[248]，”命令理论）“：[253]，”风格“：[254]，”但是“：[255]，”希望“：[258]，”关联“：[260]，”未来“：[264]，”想法“：[267277]，”现实s“：[271]，”by“：[272]，”exploration“：[273]，”adapting“：[275]，”Escard\u00f3“：[279287305]，”（1996“：[280]，”理论“：[281307]，“162”：[284]，“（1）”：[285]，“79\u2013115），“：[286]，”et“：[288]，”al.“：[289]，”（2004”：[290]，“，”：[296]，“14”：[297]o“：[303]，“379”：[310]，“（1-2）”：[311]，“120\u2013141）”，“：[312]，”引文）。“：[316]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2468006416“，”counts_by_year“：[]，”updated_date“：”2024-06-17T21:45:22.150484“，”创建日期“：”2016-07-22“}