｛“id”：“https://openalex.org/W770019574“，”doi“：”https://doi.org/10.29007/82m9“，”title“：”Implementation Connection Calculi for First-order Modal Logics“，”display_name“：”implementation Connection Calculi of First-有序模态逻辑“，”publication_year“：2018，”publiction_date“：”2018-01-23“，”ids“：{”openalex“：”https://openalex.org/W770019574“，”doi“：”https://doi.org/10.29007/82m9“，”mag“：”770019574“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.29007/82m9，“pdf_url”：https://easychair.org/publications/open/xZj4，“源”：{“id”：https://openalex.org/S4220651395“，”display_name“：”EPiC series in computing“，”issn_l“：”2398-7340“，”isn“：[”2398-8340“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：null，”host_organization_name“:null，“host_orgganization_lineage”：[]，“host_orgganization _lineage_names”：[]，“type”：“journal”}，“license”：null、“license_id”：nul，“version”：“publishedVersion”，“is_acc”接受“：true”is_published“：true}，”type“：“文章”，”type_crossref“：”procesdings-article“，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://easychair.org/publications/open/xZj4“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5074019384“，”display_name“：”Jens Otten“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I176453806“，”display_name“：”波茨坦大学“，”ror“：”网址：https://ror.org/03bnmw459“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I176453806“]}]，”国家“：[”DE“]，”is_corresponding“：true，”raw_author_name“：”Jens Otten“，”raw _ afiliation_strings“：[“波茨坦大学奥古斯都-贝贝尔街89号，14482号，波茨坦-贝勒斯堡信息研究所”]，”从属关系“：[{”raw _affiliation_string“：”波茨坦大学奥古斯特-贝贝尔街89号，14482，波茨坦-贝贝尔斯堡信息研究所，德国“，“institution_ids”：[“https://openalex.org/I176453806“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5074019384“]，”对应机构_ids“：[”https://openalex.org/I176453806“]，”apc_list“：null，”apc _ paid“：null，”fwci“：0.172，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：4，”citecd_by_percentile_year“：{”min“：80，”max“：82}，”biblio“：{volume”：null、“issue”：null、“first_page”：null}、“last_page”：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{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/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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9987，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9972，”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/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.594805}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.556017}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.523783}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.522099}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.520688}]，”concepts“：[{”id“：”https://openalex.org/C114092440，“wikidata”：https://www.wikidata.org/wiki/Q840226“，”display_name“：”Normal mode logic“，”level“：4，”score“：0.75917566｝，｛”id“：”https://openalex.org/C11191006，“wikidata”：https://www.wikidata.org/wiki/Q2663311“，”display_name“：”辅助功能关系“，”level“：4，”score“：0.7190316}，{”id“：”https://openalex.org/C160131679，“wikidata”：https://www.wikidata.org/wiki/Q2462350“，”display_name“：”Kripke semantics“，”level“：4，”score“：0.68511045}，{”id“：”https://openalex.org/C27508121，“wikidata”：https://www.wikidata.org/wiki/Q210841“，”display_name“：”模态逻辑“，”level“：3，”score“：0.66513216}，{”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.6413015}，{”id“：”https://openalex.org/C96146094，“wikidata”：https://www.wikidata.org/wiki/Q609057“，”display_name“：”Unification“，”level“：2，”score“：0.58789945}，{”id“：”https://openalex.org/C86602344，“wikidata”：https://www.wikidata.org/wiki/Q7667918“，”display_name“：”T范数模糊逻辑“，”level“：5，”score“：0.57308376}，{”id“：”https://openalex.org/C173125200，“wikidata”：https://www.wikidata.org/wiki/Q5275729“，”display_name“：”Modal\u03bc-calculus“，”level“：5，”score“：0.5563904}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.541433}，{”id“：”https://openalex.org/C13355873，“wikidata”：https://www.wikidata.org/wiki/Q2920850“，”display_name“：”Connection（principal bundle）“，”level“：2，”score“：0.5395938}，{”id“：”https://openalex.org/C192609573，“wikidata”：https://www.wikidata.org/wiki/Q7388341“，”display_name“：”S5“，”level“：5，”score“：0.5310365}，{”id“：”https://openalex.org/C206880738，“wikidata”：https://www.wikidata.org/wiki/Q431667“，”display_name“：”自动定理证明“，”level“：2，”score“：0.48058677｝，｛”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.480373}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.4748055}，{”id“：”https://openalex.org/C101468663，“wikidata”：https://www.wikidata.org/wiki/Q1620158“，”display_name“：”模块化设计“，”level“：2，”score“：0.44598264}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.39380476}，{”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.38921094}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.37915456}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.37295562}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.33438653}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.2225843｝，｛”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.08443177}，{”id“：”https://openalex.org/C58166，“wikidata”：https://www.wikidata.org/wiki/Q224821网址“，”display_name“：”模糊逻辑“，”level“：2，”score“：0.07556328}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190（网址：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/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“：”Dentry“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C5263885，“wikidata”：https://www.wikidata.org/wiki/Q1967302“，”display_name“：”成员函数“，”level“：4，”score“：0.0}，{”id“：”https://openalex.org/C42011625，“wikidata”：https://www.wikidata.org/wiki/Q1055058网址“，”display_name“：”模糊集“，”level“：3，”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.29007/82m9，“pdf_url”：https://easychair.org/publications/open/xZj4，“源”：{“id”：https://openalex.org/S4220651395“，”display_name“：”EPiC series in computing“，”issn_l“：”2398-7340“，”isn“：[”2398-8340“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：null，”host_organization_name“:null，“host_orgganization_lineage”：[]，“host_orgganization _lineage_names”：[]，“type”：“journal”}，“license”：null、“license_id”：nul，“version”：“publishedVersion”，“is_acc”接受“：true”is_published“：true}]，”最佳位置“：{”is_oa“：true，”登录页面url“：”https://doi.org/10.29007/82m9，“pdf_url”：https://easychair.org/publications/open/xZj4，“源”：{“id”：https://openalex.org/S4220651395“，”display_name“：”EPiC series in computing“，”issn_l“：”2398-7340“，”isn“：[”2398-8340“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：null，”host_organization_name“:null，“host_orgganization_lineage”：[]，“host_orgganization _lineage_names”：[]，“type”：“journal”}，“license”：null、“license_id”：nul，“version”：“publishedVersion”，“is_acc”接受“：true”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：〔]，”versions“：[〕，”referenced_works_count“：16，”referinced_works“：[”https://openalex.org/W1495396426","https://openalex.org/W1498675708","https://openalex.org/W1511652686","https://openalex.org/W1526849630","https://openalex.org/W1537870154","https://openalex.org/W1561567467","https://openalex.org/W1570374618","https://openalex.org/W1573992413","https://openalex.org/W1826940506","https://openalex.org/W1971716005","https://openalex.org/W1991650963","https://openalex.org/W2039977878","https://openalex.org/W2068880842","https://openalex.org/W2127323984","https://openalex.org/W28519672","https://openalex.org/W2952113515“]，”related_works“：[”https://openalex.org/W4377031878","https://openalex.org/W4306891373","https://openalex.org/W4287372193","https://openalex.org/W4224275486","https://openalex.org/W2964173375","https://openalex.org/W2352549085","https://openalex.org/W2278216746","https://openalex.org/W2171395754","https://openalex.org/W2077061463","https://openalex.org/W1558962892“]，”ngrams_url“：”https://api.openalex.org/works/W770019574/ngrams网站“，”abstract_inverted_index“：{”An“：[0]，”implementation“：[1,86]，”of“：[2,22,59,71,82]，”An“：[3,78]，”automated“：[4]，”定理“：[5]，”证明程序“：[6]，”for“：[7,15]，“一阶”：[8]，”model“：[9,24,62,74]，”logic“：[10]，”is“：[11,32]，”presented“：[12]，”that“：[13]，”works“：[14]，“该”：[16,23,35,52,56,60,72,83,85,91]，“常量，”：[17]，“累计”：[18]，“和“：[19,29,39,45,68,76,87]，”可变“：[20]，”域“：[21]，”逻辑“：[25,75]，”D，“：[26]，”T，“：[27]，”S4“：[28]，”S5“：[30]，”It“：[31]，”基于“：[33]，”on“：[34,90]，”（经典）“：[36]，”连接“：[37]，”微积分“：[38]，”使用“：[40]，”前缀“：[41]，”（或“：[42]，“世界”：[43]，“路径）”：[44]，“a”：[46,66]，“前缀”：[47]，“统一”：[48]，“算法”：[49]，“到”：[50]，“捕获“：[51]，”限制“：[53]，”给定“：[54]，”by“：[55]，”Kripke“：[57]，”语义“：[58]，”标准“：[61]，”逻辑。“：[63]，”This“：[64]，”permits“：[65]，”modular“：[67]，”优雅“：[69]，”treatment“：[70]，”considered“：[73]，”yields“：77]，”efficiency“：[79]，”implementation“。“：[80]，”详细信息“：[81]，”微积分“：[84]，”性能“：[88]，”结果“：[89]，”QMLTP“：[92]，”问题“：[93]，”库“：[94]，”are“：[95]，”presented。“：[96]｝，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W770019574“，”counts_by_year“：[{年：2019，”cited_by_count“：1}，{年“：2014，”cited_by_count”：1}，{“年”：2012，”citecd_by_count“：2}]，”updated_date“：”2024-06-20T16:43:58.576971“，”created_dates“：”2016-06-24“}