{“id”：“https://openalex.org/W1581792297“，”doi“：”https://doi.org/10.1007/978-3-540-24743-234“，”title“：”A Spatial Logic for the Hybrid \u03c0-Calculus“，”display_name“：”B Spatial逻辑学for the Hmbrid \u 03c0-微积分“，”publication_year“：2004，”B publication_date“：”2004-01-01“，”I ds“：{”openalex“：”https://openalex.org/W1581792297“，”doi“：”https://doi.org/10.1007/978-3-540-24743-234“，”mag“：”1581792297“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-24743-234“，”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“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5019204872“，”display_name“：”William C.Rounds“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I241749“，”display_name“：”剑桥大学“，”ror“：”https://ror.org/013meh722“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I241749“]｝，｛”id“：”https://openalex.org/I27837315“，”display_name“：”密歇根大学\u2013Ann Arbor“，”ror“：”https://ror.org/00jmfr291“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I27837315“]}]，”国家“：[”GB“，”US“]，”is_corresponding“：true，”raw_author_name“：”William C.Rounds“，”raw _affiliation_strings“：[“美国安娜堡密歇根大学CSE部”，“英国剑桥大学计算机实验室”]，”affiliations“：[{”raw _affiliation_string“：”英国剑桥大学计算实验室“，”机构ID“：[”https://openalex.org/I241749“]}，{”raw_affiliation_string“：”美国安娜堡密歇根大学CSE分部“，”institution_ids“：[”https://openalex.org/I27837315“]}]}]，”countries_disticont_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[“https://openalex.org/A5019204872“]，”对应的机构ID“：[”https://openalex.org/I241749","https://openalex.org/I27837315“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：9，”cited_by_percentile_year“：{”min“：82，”max“：83}，“biblio”：{“volume”：null“issue”：nul，”first_page“：”508“，”last_page“：“522”}，“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“：”Artificial Intelligence“｝，”field“：｛”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“：”Artificial Intelligence“｝，”field“：｛”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.9983，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.998，“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/description-logics网站“，”display_name“：”描述逻辑“，”score“：0.562324｝，｛”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.529369}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.525427}，{”id“：”https://openalex.org/keywords/hybrid-systems网站“，”display_name“：”混合系统“，”score“：0.514458}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.512203}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6191859}，{”id“：”https://openalex.org/C6489637，“wikidata”：https://www.wikidata.org/wiki/Q7250002“，”display_name“：”证明演算“，”level“：3，”score“：0.55906975}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.55282944}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037网址“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.5184159}，{”id“：”https://openalex.org/C169896238，“wikidata”：https://www.wikidata.org/wiki/Q1644136“，”display_name“：”高阶逻辑“，”level“：3，”score“：0.49497908}，{”id“：”https://openalex.org/C27508121，“wikidata”：https://www.wikidata.org/wiki/Q210841“，”display_name“：”模态逻辑“，”level“：3，”score“：0.44895637}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.43124732}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.381281}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.37951267}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.37708962}，{”id“：”https://openalex.org/C62073222，“wikidata”：https://www.wikidata.org/wiki/Q1572108“，”display_name“：”自然演绎“，”level“：2，”score“：0.37631443}，{”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.21157634}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”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/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C188027245，“wikidata”：https://www.wikidata.org/wiki/Q750446“，”display_name“：”聚合物化学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-24743-234“，”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”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：6，“referenced_works“：[”https://openalex.org/W1548324490","https://openalex.org/W1975082667","https://openalex.org/W2015640848","https://openalex.org/W4211144022","https://openalex.org/W4214626551","https://openalex.org/W4245082952“]，”related_works“：[”https://openalex.org/W4295728898","https://openalex.org/W4236940717","https://openalex.org/W4232327280","https://openalex.org/W3160700379","https://openalex.org/W3090765541","https://openalex.org/W2108922266","https://openalex.org/W2033813295","https://openalex.org/W1836554196","https://openalex.org/W1502585746","https://openalex.org/W117036793“]，”ngrams_url“：”https://api.openalex.org/works/W1581792297/ngrams网站“，”“abstract_inverted_index”：{“We”：[0100]，“present”：[1]，“a”：[2,19,63,73124132]，“formal”：[3]，“logic”：[4,58,64]，“for”：[5,69,84,93105]，“stating”：[6]，“properties”：[7]，“of”：[8,41,46,62,76,89,97115123]，“systems”：[9]，“expressed”：[10]，“in”：[1131]，“the”：[12,30,34,37,57，70,95116]，“混合”：[13,47,60]，“\u03c0-微积分，”：[14]，“或”：[15]，“\u03a6-微积分。“：[16]，”It“：[17]，”is“：[18]，”very“：[20]，”expressive“：[21]，”logic“，：[22107]，“subsumining”：[23]，“many”：[24114]，“standard”：[25]，“logics”：[26]，“like”：[27]，，“CTL”：[28]，“and”：[29,69,67,92112128]，“modal”：[31]，“\u03bc-calculus。“：[32]，”因为“：[33]，”\u03c0-calculation“：[35]，”\ u03a6-calculations“：[38,90]，”允许“：[39]，”传递“：[40]，”名称“：[42]，”到“：[43]，”实现“：[44]，”可重新配置“：[45]，”系统“：[48]，”由于“：[50]，”我们“：[51]，”必须“：[52]，”抽象“：[53]，”超过“：[54]，”这些“：[55]，”“姓名”：[56]，“（a”：[59]，“分机”：[61]，“by”：[65]，“Caires”：[66]，“Cardelli”：[68]，”\u03c0-演算）“：[71]，”使用“：[72]，”新“：[74103]，”方法“：[75]，”定义“：[77]，”抽象“：[78]，”\u2013“：[79,83]，”FM“：[80]，”集合“：[81]，”理论“：[82]，”表达“：[85,94]，”语法“：[86]，”语义“：[88,96]，”模型“：[91]，”空间“：[98]，”逻辑。“：[99]，”提供“：[101]，”几个“：[102]，”构造“：[104]，”此“：[106]，”包括“：[108]，”一个“：[109120]，”假设担保“：[110]，”原则，“：[111]，”说明“：[113]，”语义“：[117]，”特征“：[118]，”使用“：[119]，”扩展“：[121]，”示例“：[122]，”机器人“：[125]，”部件“：[126129]，”馈线“：[127]，“承运人”：[130]，“小型工厂”。“：[133]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1581792297“，”counts_by_year“：[{“年份”：2014，”cited_by_count“：1}，{“年度”：2012，”cited_by_count”：2}]，”updated_date“：”2024-06-18T03:32:19.619291“，”created_date:“2016-06-24”}“