{“id”：“https://openalex.org/W2968764582“，”doi“：”https://doi.org/10.1145/3331448“，”title“：”Modal Resolution“，”display_name“：”Modelal Resolusion“，”publication_year“：2019，”publiction_date“：”2019-08-13“，”ids“：{”openalex“：”https://openalex.org/W2968764582“，”doi“：”https://doi.org/10.1145/3331448“，”mag“：”2968764582“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3331448，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3331448，“源”：{“id”：https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：真，“oa_status”：“青铜色”，“oa_url”：“”https://dl.acm.org/doi/pdf/10.1145/3331448“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5070055601“，”display_name“：”Cl\u00eAudia Nalon“，”orcid“：”https://orcid.org/0000-0002-9792-5346}，“机构”：[{“id”：https://openalex.org/I150729083“，”display_name“：”布拉斯大学\u00edlia“，”ror“：”https://ror.org/02xfp8v59“，”country_code“：”BR“，”type“：“教育”，”世系“：[”https://openalex.org/I150729083“]}]，”国家“：[”BR“]，”is_corresponding“：false，”raw_author_name“：”Cl\u00eAudia Nalon“，”raw _ afiliation_strings“：[“布拉斯大学\u00edlia，布拉斯\u00edilia，DF，巴西”]，”afiliations“：[{”raw _affiliation_strong“：”布拉斯大学\ u00edria，布拉斯\u00edlia，DF，巴西“，”institution_ids“：[https://openalex.org/I150729083“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5013515770“，”display_name“：”Clare Dixon“，”orcid“：”https://orcid.org/0000-0002-4610-9533}，“机构”：[{“id”：https://openalex.org/I146655781“，”display_name“：”利物浦大学“，”ror“：”https://ror.org/04xs57h96“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I146655781“]｝]，”国家“：[”英国“]，”is_corresponding“：false，”raw_author_name“：”Clare Dixon“，”raw_affiation_strings“：[”英国利物浦大学“]，”附属机构“：[｛”raw_affiation_string“：”英国利物浦大学“，”institution_ids“：[”https://openalex.org/I146655781“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5076121047“，”display_name“：”Ullrich Hustadt“，”orcid“：”https://orcid.org/0000-0002-0455-0267}，“机构”：[{“id”：https://openalex.org/I146655781“，”display_name“：”利物浦大学“，”ror“：”https://ror.org/04xs57h96“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I146655781“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Ullrich Hustadt“，”raw _ afiliation_strings“：[“英国利物浦大学”]，”affiliations“：[{”raw_ afiliation _string“：”英国利物浦大学“，”institution_ids“：[https://openalex.org/I146655781“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：null，”apc_payed“：null”，“fwci”：0.927，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：8，“ciped_by_percentile_year”：{“min”：86，“max”：87}，“biblio”“：{”卷“：”20“，”问题“：”4“，”第一页“：”1“，”last_page“：”38“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9998，”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.9998，”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.9995，“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.9968，“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/modal-logics网站“，”display_name“：”模态逻辑“，”score“：0.629864}，{”id“：”https://openalex.org/keywords/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.547442}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.520989}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.514806}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”Separation Logic“，”score“：0.514247}]，”concepts“：[{”id“：”https://openalex.org/C27508121，“wikidata”：https://www.wikidata.org/wiki/Q210841“，”display_name“：”模态逻辑“，”level“：3，”score“：0.7214407}，{”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.6256271}，{”id“：”https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”级别“：2，”分数“：0.6191052}，{”id“：”https://openalex.org/C114092440，“wikidata”：https://www.wikidata.org/wiki/Q840226“，”display_name“：”Normal mode logic“，”level“：4，”score“：0.6132479｝，｛”id“：”https://openalex.org/C138268822，“wikidata”：https://www.wikidata.org/wiki/Q1051925“，”display_name“：”分辨率（逻辑）“，”级别“：2，”分数“：0.58653855}，{”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540“，”display_name“：”完备性（序理论）“，”level“：2，”score“：0.57375234}，{”id“：”https://openalex.org/C11191006，“wikidata”：https://www.wikidata.org/wiki/Q2663311“，”display_name“：”辅助功能关系“，”level“：4，”score“：0.57323754}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.52961075}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.51254463｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.47119495｝，｛”id“：”https://openalex.org/C197685441，“wikidata”：https://www.wikidata.org/wiki/Q500716“，”display_name“：”PSPACE“，”level“：3，”score“：0.4400272}，{”id“：”https://openalex.org/C65880906，“wikidata”：https://www.wikidata.org/wiki/Q1771121“，”display_name“：”序列演算“，”level“：3，”score“：0.438328}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.42584258}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.38112915}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.17938054}，{”id“：”https://openalex.org/C179799912，“wikidata”：https://www.wikidata.org/wiki/Q205084“，”display_name“：”计算复杂性理论“，”level“：2，”score“：0.15822223}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.1352798}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.0783242}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”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/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/C188027245，“wikidata”：https://www.wikidata.org/wiki/Q750446“，”display_name“：”聚合物化学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3331448，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3331448，“源”：{“id”：https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机器协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1145/3331448，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3331448，“源”：{“id”：https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机械协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/16“，”score“：0.44，”display_name“：”和平、正义和强大的机构“}]，”grants“：[{”funder“：”https://openalex.org/F4320334627“，”“funder_display_name”“：”工程与物理科学研究委员会“，”award_id“：”EP/R026092/1，EP/R02684/1，EP/N007565/1“}]，”数据集“：[]，”版本“：[[]，”referenced_works_count“：37，”referrenced_works“：[”https://openalex.org/W139679001","https://openalex.org/W1482585805","https://openalex.org/W1546773510","https://openalex.org/W15855533089网址","https://openalex.org/W1593443951","https://openalex.org/W1781094","https://openalex.org/W1972956465","https://openalex.org/W1979654686","https://openalex.org/W1981186122","https://openalex.org/W1991981864","https://openalex.org/W1999997889","https://openalex.org/W2016570675","https://openalex.org/W2020794409","https://openalex.org/W2028312452","https://openalex.org/W2047056871","https://openalex.org/W2047961808","https://openalex.org/W2072883183","https://openalex.org/W2073491323","https://openalex.org/W2076073997","https://openalex.org/W2088374045","https://openalex.org/W2092795970","https://openalex.org/W2100738443","https://openalex.org/W2136935557","https://openalex.org/W2146345041","https://openalex.org/W2162361330","https://openalex.org/W2164389533","https://openalex.org/W2240236149","https://openalex.org/W2312705848","https://openalex.org/W2494487003","https://openalex.org/W2561675875","https://openalex.org/W2608239929","https://openalex.org/W2945005331","https://openalex.org/W302791680","https://openalex.org/W4214702250","https://openalex.org/W4253503025","https://openalex.org/W4388218653","https://openalex.org/W834709404“]，”related_works“：[”https://openalex.org/W4318188140","https://openalex.org/W4310201982","https://openalex.org/W3126675290","https://openalex.org/W2795425183","https://openalex.org/W2554822349","https://openalex.org/W2188462059","https://openalex.org/W2171395754","https://openalex.org/W2101793126","https://openalex.org/W1988817063","https://openalex.org/W1537541219“]，”ngrams_url“：”https://api.openalex.org/works/W2968764582/ngrams网站“，”“abstract_inverted_index”：{“基于分辨率”：[0]，“证明程序”：[1]，“for”：[2,12,24,34,67]，“multimal”：[3,37]，“normal”：[4]，“logics”：[5,69]，“require”：[6]，“pruning”：[7]，“of”：[8,20,57,90]，“the”：[9,17,21,35,41,46,55,63,68,76,88104]，“search”：[10]，“space”：[11]，“a”：[13,29]，“证明”：[14]，“到”：[15,45,53]，“改善”：[16]，“固有”：[18]，“难处理”：[19]，“可满足性”：[22]，“问题”：[23]，“这样”：[25]，“逻辑”：[26]，“我们”：[27,60,72]，“现在”：[28]，“子句”：[30]，“模态分层”：[31]，“超分辨率”：[32]，“微积分”：[33,64,77]，“基本”：[36]，“逻辑学”：[38]，“其中”：[39,50]，“除法”：[40]，“从句”：[42]，“集合”：[43]，“根据“：[44]，“模态”：[47,92]，“级别”：[48]，“at”：[49]，“子句”：[51]，“发生”：[52]，“reduce”：[54]，“number”：[56]，“possible”：[58]，“references.”：[59]，“show”：[61,74]，“that”：[62,75]，“is”：[65]，“complete”：[66]，“being”：[70]，“considented.”：[71]，“also”：[3]，“can”：[78]，“be”：[79]，“combined”：[80]，：[84]，“特殊”，：[85]，“我们”：[86]，“讨论”：[87]，“完整性”：[89]，“组合”：[91]，“分层”：[93]，“负数”：[95]，“和”：[96,99]，“有序”：[97]，“分辨率”：[98]，“提供”：[100]，“实验”：[101]，“结果”：[102]，“比较”：[103]，“不同”：[105]，“细化”：[106]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W2968764582“，”counts_by_year“：[{”年份“：2023，”cited_by_count“：2}，{”年“：2022，”ciped_by_cunt“：3}，”{“年份”：2021，“cited_by_count”：3}]，”更新日期“：”2024-06-27T10:35:24.052916“，”创建日期“：“2019-08-22”}