{“id”：“https://openalex.org/W2529050043“，”doi“：”https://doi.org/10.1007/978-3-319-47958-3_21“，”title“：“DOM:规范和客户推理”，”display_name“：”DOM:规格和客户推理“，”publication_year“：2016，”publiation_date“：”2016-01-01“，”ids“：{”openalex“：”https://openalex.org/W2529050043“，”doi“：”https://doi.org/10.1007/978-3-319-47958-3_21“，”mag“：”2529050043“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-47958-3_21“，”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”：“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”：http://spiral.imperial.ac.uk/bitstream/10044/1/67345/6/Raad2016DOM.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5083721882“，”display_name“：”杜鹃花“，”兽人“：”https://orcid.org/0000-0002-2319-3242}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”countries“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Azalea Raad“，”raw _affiliation_strings“：【”英国伦敦帝国理工学院“】，”affiliations“：[{”raw _affiliation_string“：”英国伦敦皇家学院“，”institution_ids“：[“https://openalex.org/I47508984“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5061566620“，”display_name“：”Jos\u00e9 Augusto Rodrigues dos Santos“，”orcid“：”https://orcid.org/0000-0002-6628-1410}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Jos\u00e9 Fragoso Santos“，”raw _ afiliation_strings“：[“英国伦敦帝国理工学院”]，”affiliations“：[{”raw _affiliation_strong“：”英国伦敦帝国学院“，”institution_ids“：[https://openalex.org/I47508984“]｝]｝，｛”author_position“：”last“，”author“：｛”id“：”https://openalex.org/A5047951273“，”display_name“：”Philippa Gardner“，”orcid“：”https://orcid.org/0000-0002-4187-0585}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”countries“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Philippa Gardner“，”raw _ afiliation_strings“：【”英国伦敦帝国理工学院“】，”affiliations“：[{”raw_ afiliation _string“：”英国伦敦皇家学院“，”institution_ids“：[“https://openalex.org/I47508984“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5083721882“]，”对应的机构ID“：[”https://openalex.org/I47508984“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：{“value”：5000，“currency:”EUR”，“value_usd:5392，“provenance”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：2，“citected_by_percentile_year”：{“min”：77，“max”：80}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：“401”，“last_page”：“422”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T11424“，”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/T11424“，”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.9992，“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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9943，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/selection-logic“，”display_name“：”分离逻辑“，”score“：0.543244}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.517394}]，”concepts“：[{”id“：”https://openalex.org/C101468663，“wikidata”：https://www.wikidata.org/wiki/Q1620158“，”display_name“：”模块化设计“，”level“：2，”score“：0.68465924}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6660065}，{”id“：”https://openalex.org/C2776235265，“wikidata”：https://www.wikidata.org/wiki/Q18392052“，”display_name“：”Fragment（logic）“，”level“：2，”score“：0.6250488}，{”id“：”https://openalex.org/C26517878，“wikidata”：https://www.wikidata.org/wiki/Q228039“，”display_name“：”Key（lock）“，”level“：2，”score“：0.59964746｝，｛”id“：”https://openalex.org/C167729594，“wikidata”：https://www.wikidata.org/wiki/Q17736“，”display_name“：”Axiom“，”level“：2，”score“：0.59098876}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.59095645｝，｛”id“：”https://openalex.org/C173856430，“wikidata”：https://www.wikidata.org/wiki/Q3257964“，”display_name“：”分离逻辑“，”level“：2，”score“：0.54248035}，{”id“：”https://openalex.org/C97364631，“wikidata”：https://www.wikidata.org/wiki/Q484284“，”display_name“：”演绎推理“，”level“：2，”score“：0.4141633}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.28003824}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.14155784}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.105496615}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-47958-3_21“，”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”：“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”：“http://hdl.handle.net/1044/1/67345，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/67345/6/Raad2016DOM.pdf“，”源“：｛”id“：”https://openalex.org/S4306401396“，”display_name“：”Spiral（伦敦帝国理工学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I47508984“，”“host_organization_name”：“伦敦帝国理工学院”，“host_ordanization_lineage”：[“https://openalex.org/I47508984“]，”host_organization_lineage_names“：[”Imperial College London“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/1044/1/67345，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/67345/6/Raad2016DOM.pdf“，”源“：｛”id“：”https://openalex.org/S4306401396“，”display_name“：”Spiral（伦敦帝国理工学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I47508984“，”“host_organization_name”：“伦敦帝国理工学院”，“host_ordanization_lineage”：[“https://openalex.org/I47508984“]，”host_organization_lineage_names“：[”Imperial College London“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”score“：0.47，”display_name“：”和平、正义和强大的制度“，”id“：”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：17，”referrenced_works“：【”https://openalex.org/W1503633287","https://openalex.org/W1512206543","https://openalex.org/W1531328487","https://openalex.org/W1557847811","https://openalex.org/W1870129691","https://openalex.org/W1965995882","https://openalex.org/W1981382949","https://openalex.org/W2008880956","https://openalex.org/W202191487","https://openalex.org/W2050700536","https://openalex.org/W2054014134","https://openalex.org/W2074635178","https://openalex.org/W2118431434","https://openalex.org/W2168986107","https://openalex.org/W2247976907","https://openalex.org/W3010249406","https://openalex.org/W4242904834“]，”related_works“：[”https://openalex.org/W4253208712","https://openalex.org/W3132641048","https://openalex.org/W2984753899","https://openalex.org/W2805502594","https://openalex.org/W2783178962","https://openalex.org/W2525971763","https://openalex.org/W2217679042","https://openalex.org/W1973480752","https://openalex.org/W1896179566","https://openalex.org/W1603677234“]，”ngrams_url“：”https://api.openalex.org/works/W2529050043/ngrams网站“，”abstract_inverted_index“：{”We“：[0]，”present“：[1]，”an“：[2]，”公理“：[3]，”specification“：[4,16]，”of“：[5,9]，”a“：[6]，“key”：[7]，”fragment“：[8]，”DOM“：[10]，”using“：[11]，”structural“：[12]，”separation“：[13]，”logic.“：[14]，”This“：[15]，”allow“：[17]，“us”：[18]]，“to”：[19]，“develop”：[20]，“moduled”：[21]，“reasoning”：[22]，“about”：[23]，“client”：[24]，“programs“：[25]，”that“：[26]，”call“：[27]，”the“：[28]，”DOM。“：[29]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2529050043“，”counts_by_year“：[{”年份“：2020，”cited_by_count“：1}，{”年度“：2017，”cited_by_count”：1}]，”updated_date“：”2024-06-14T17:38:38.420625“，”created_date:“2016-10-14”}