{“id”：“https://openalex.org/W2082884063“，”doi“：”https://doi.org/10.2168/lmcs-2（2:3）2006“，”title“：“论环境逻辑的表现性”，”display_name“：”On the Expressiveity of the Ambient Logic“，”publication_year“：2006，”publitation_date“：”2006-03-30“，”ids“：{”openalex“：”https://openalex.org/W2082884063“，”doi“：”https://doi.org/10.2168/lmcs-2（2:3）2006“，”mag“：”2082884063“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.2168/lmcs-2（2:3）2006年“，”pdf_url“：”https://lmcs.episciences.org/2251/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”：“计算机科学中的逻辑方法”，“issn_l”：“1860-5974”，“isn”：[“1860-5.974”]，“is_oa”：true，“is_ in_doaj”：true，“is_core”：真，“host_organization”：“https://openalex.org/P4310313916“，”host_organization_name“：”计算机科学中的逻辑方法e.V.“，”host_organization_lineage“：[”https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”arxiv“，”crossref“，”datacite“，”doaj“]，”open_access“：{”is_oa“：true，”oa_status“：”diamond“，”oa_url“：”https://lmcs.episciences.org/2251/pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5084356882“，”display_name“：”Damien Pous“，”orcid“：”https://orcid.org/0000-0002-1220-4399}，“机构”：[{“id”：https://openalex.org/I4210144566“，”display_name“：”Parall\u00e9lisme信息实验室“，”ror“：”网址：https://ror.org/04msnz457“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I203339264","https://openalex.org/I4210144566","https://openalex.org/I4210159245“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Daniel Hirschkoff“，”raw _affiliation_strings“：[“Laboratoire de l'Informatique du Parall\u00e9lisme”]，“affiliations”：[{“raw_affilition_string”：“Laboratoroire de l'Infomatique du.Parall\u 00e9LIsme”，“institution_ids”：[”https://openalex.org/I4210144566“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5011145361“，”display_name“：”\u00c9tienne Lozes“，”orcid“：”https://orcid.org/0000-0001-8505-585X}，“机构”：[{“id”：https://openalex.org/I4210106479“，”display_name“：”信息实验室，Signaux et Syst\u00e8mes de Sophia Antipolis“，”ror“：”https://ror.org/01215r597“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I201841394","https://openalex.org/I4210106479","https://openalex.org/I4210159245“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Etienne Lozes“，”raw _affiliation_strings“：[“Laboratoire d'Informationque，Signaux，et Syst\u00e8mes de Sophia Antipolis”]，“afliations”：[{“raw_affilition_string”：“Laboratoriere d'Informatique，Signauxhttps://openalex.org/I4210106479“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5077030456“，”display_name“：”Davide Sangiorgi“，”orcid“：”https://orcid.org/0000-0001-5823-3235}，“机构”：[{“id”：https://openalex.org/I9360294“，”display_name“：”博洛尼亚大学“，”ror“：”https://ror.org/0111rn36“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I9360294“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Davide Sangiorgi“，”raw _ afiliation_strings“：[“Alma Mater Studiorum，University\u00e0 di Bologna，Bologna”]，”affiliations“：[{”raw _affiliation_string“：”Alma Matter Studioum，University \u00e 0 di Bologna，Bologna。“，”institution_ids“：[https://openalex.org/I9360294“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：3，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：0，”currency“：”USD“，”value_USD“：0，“provenance”：“doaj”}，”apc_payed“：null，”fwci“：2.049，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_ count“：16，”引文规范化百分比“：{”value“：0.865676，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：85，”max“：86}，“biblio”：{“volume”：“volume 2，Issue 2”，“Issue”：null，“first_page”：null，“last_page”：null}，《is_retracted》：false；“is_paratext”：false、“primary_topic”：{“id”：“https://openalex.org/T10317“，”“display_name”：“数据流管理系统和技术”，“score”：0.9992，“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/T10317“，”“display_name”：“数据流管理系统和技术”，“score”：0.9992，“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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9987，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9962，”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/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.58381}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.563112}，{”id“：”https://openalex.org/keywords/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.535126}，{”id“：”https://openalex.org/keywords/temporal-logic（https://openalex.org/keywords/temporal-logic）“，”display_name“：”时间逻辑“，”score“：0.534585｝，｛”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.501702}，{”id“：”https://openalex.org/keywords/process-calculus“，”display_name“：”进程演算“，”score“：0.49791527}，{”id“：”https://openalex.org/keywords/base网站“，”display_name“：”基础（线性代数）“，”分数“：0.4839609}]，”概念“：[{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.74928343}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.636917}，{”id“：”https://openalex.org/C161771561，“wikidata”：https://www.wikidata.org/wiki/Q1970286“，”display_name“：”处理微积分“，”level“：2，”score“：0.49791527｝，｛”id“：”https://openalex.org/C12426560，“wikidata”：https://www.wikidata.org/wiki/Q189569“，”display_name“：”基础（线性代数）“，”级别“：2，”分数“：0.4839609}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.46463302}，{”id“：”https://openalex.org/C61797465，“wikidata”：https://www.wikidata.org/wiki/Q1188986“，”display_name“：”Term（time）“，”level“：2，”score“：0.46091914}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.42673612}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.39456972}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.3897366}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.37271768}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.3707788}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.30989987}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.2891507}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.14922759}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：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/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：12，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.2168/lmcs-2（2:3）2006年“，”pdf_url“：”https://lmcs.episciences.org/2251/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”：“计算机科学中的逻辑方法”，“issn_l”：“1860-5974”，“isn”：[“1860-5.974”]，“is_oa”：true，“is_ in_doaj”：true，“is_core”：真，“host_organization”：“https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://hal.science/hal-00009279，“pdf_url”：https://hal.science/hal-00009279/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”：false，“landing_page_url”：“https://doaj.org/article/9aac20d7589c417f9c9d24eca89e9e5f“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306401280“，”display_name“：”DOAJ（DOAJ：开放存取期刊目录）“，”issn_l“：null，”issn“：null:”is_oa“：true，”is_in_DOAJ“：false，”is_core“：false，”host_organization“：null，”host_organization_name“:null，“host_orgganization_lineage”：[]，“host_orgganization _lineage_names”：[[]，”type“：”repository“}”，“license”：nullis_accepted“：false，”is_published“：false}，{“is_oa”：true，”landing_page_url“：”https://arxiv.org/abs/cs/0510010，“pdf_url”：https://arxiv.org/pdf/cs/0510010，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：nul，“pdf_url“：”https://arxiv.org/pdf/cs/0510010v2.pdf，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.529.8416，“pdf_url”：http://hal.archives-ouvertes.fr/docs/00/03/72/54/PDF/main.PDF，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”宾夕法尼亚州立大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”https://hal.archives-ouvertes.fr/hal-00009279/file/main.pdf，“pdf_url”：https://hal.archives-ouvertes.fr/hal-00009279/file/main.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.archives-ouvertes.fr/hal-01905191/file/HLS-lmcs06.pdf，“pdf_url”：https://hal.archives-ouvertes.fr/hal-01905191/file/HLS-lmcs06.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.archives-ouvertes.fr/hal-00009279/文档，“pdf_url”：https://hal.archives-ouvertes.fr/hal-00009279/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.archives-ouvertes.fr/hal-01905191/document，“pdf_url”：https://hal.archives-ouvertes.fr/hal-01905191/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.archives-ouvertes.fr/hal-01905191，“pdf_url”：https://hal.science/hal-01905191/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”：false，“landing_page_url”：“https://api.datacite.org/dois/10.48550/arxiv.cs/0510010“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.2168/lmcs-2（2:3）2006年“，”pdf_url“：”https://lmcs.episciences.org/2251/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”：“计算机科学中的逻辑方法”，“issn_l”：“1860-5974”，“isn”：[“1860-5.974”]，“is_oa”：true，“is_ in_doaj”：true，“is_core”：真，“host_organization”：“https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”display_name“：”素质教育“，”score“：0.75，”id“：”https://metadata.un.org/sdg/4“}]，”grants“：[]，”datasets“：[]，”versions“：[”https://openalex.org/W2082884063","https://openalex.org/W3101971459“]，”referenced_works_count“：26，”referrenced_works“：[”https://openalex.org/W140589515","https://openalex.org/W1487583155","https://openalex.org/W1603799276","https://openalex.org/W1604131184","https://openalex.org/W1968065704","https://openalex.org/W1968829301","https://openalex.org/W1978469611","https://openalex.org/W2008838944","https://openalex.org/W2023190144","https://openalex.org/W2025280888","https://openalex.org/W20489984644网址","https://openalex.org/W2080135984","https://openalex.org/W2082884063","https://openalex.org/W2087663894","https://openalex.org/W2094712820","https://openalex.org/W2125252697","https://openalex.org/W2126008038","https://openalex.org/W2137628566","https://openalex.org/W2144141926","https://openalex.org/W2156173670","https://openalex.org/W2167998587","https://openalex.org/W2583880647","https://openalex.org/W2912003593","https://openalex.org/W2914559425","https://openalex.org/W4243186596","https://openalex.org/W4285719527“]，”related_works“：[”https://openalex.org/W4313265328","https://openalex.org/W42295635","https://openalex.org/W3197510923","https://openalex.org/W3096145648","https://openalex.org/W2497592525","https://openalex.org/W2370579019","https://openalex.org/W2330575325","https://openalex.org/W2163803519","https://openalex.org/W1973996291","https://openalex.org/W1846189533“]，”abstract_inverted_index“：{”The“：[0]，”Ambient“：[1]，”Logic“：[2]，”（AL）“：[3]，”has“：[4]，”been“：[5]，”proposed“：[6]，”for“：[7,24,42,45,81]，”expressing“：[8]，”properties“：[9]，”of“：[10,16,37,57,74,91105]，”process“：[11]，”mobility“：[12]，”in“：[13,47]，”The“：[14,35,68,82,86103]，”微积分“：[15,69]，”移动“：[17]，”环境“：[18]，”（MA），“：[19]，”和“：[20,44,62,76]，”as“：[21]，”a“：[22,58,89106]，”basis“：[23]，”query“：[25]，”languages“：[26]，”on“：[27,88102]，”semistructured“：[28]，”data。“：[29]，”In“：[30]，”this“：[31]，”paper“：[32]，”we“：[3]，77]，”study“：[34,65]，”expressivity“：[36]，”AL.“：[38]，”we“：[39,49,64]，”define“：[40,78]，”formulas“：[41,53,80]，”capabilities“：[43]，”communication“：%46]，”MA.“：[48,92]，”alsome“：[50]，”derive“：[52]，“that”：[54]，“capture”：[55]，“finitess”：[56]，“term”，：[59]，“name”：[60]，“occurrences”：[61]，“坚持不懈。“：[63]，“扩展”：[66]，“涉及”：[70]，“更多”：[71]，“复杂”：[72]，“形式”：[73]，“通信”：[75]，“特征”：[79]，“等价”：[83]，“诱导”：[84]，“by”：[85,97]，“逻辑”：[87]，“子演算”：[90,94]，“此”：[93]，“是”：[95]，“定义”：[96]，“强制”：[98]，“an”：[99]，“图像完整性”：[100]，“条件”：[101]，“还原”：[104]，“MA”：[107]，“过程。“：[108]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2082884063“，”counts_by_year“：[{“年份”：2018，”cited_by_count“：2}，{“年度”：2017，”cited_by_count”：1}，}“年份“：2014，”citecd_by_count“：2}，”{“年”：2013，”citted_by_count“:2}]，”updated_date“：”2024-09-09T03:40:07.738267“，”created_dated“：”2016-06-24“}