{“id”：“https://openalex.org/W2056646797“，”doi“：”https://doi.org/10.2178/jsl/1185803623“，”title“：“连接多个分类理论”，”display_name“：”连接多个归类理论“，”publication_year“：2007，”publitation_date“：”2007-06-01“，”ids“：{”openalex“：”https://openalex.org/W2056646797“，”doi“：”https://doi.org/10.2178/jsl/1185803623“，”mag“：”2056646797“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1185803623“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”\u0098The \u009cJournal of symbolic logic/\u0098 The \u099cjournal of simbolic logic“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”https://tud.qucosa.de/api/qucosa%3A79330/attachment/ATT-0/“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5086254817“，”display_name“：”Franz Baader“，”orcid“：”https://orcid.org/0000-0002-4049-221X}，“机构”：[{“id”：https://openalex.org/I78650965“，”display_name“：”TU Dresden“，”ror“：”https://ror.org/042aqky30“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I78650965“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Franz Baader“，”raw _affiliation_strings“：[“Institute f \u00fcr Theoretische Informatik，Tu Dresden，Germany，E-mail:baader@tcs.inf.tu-desden.de公司“]，”affiliations“：[{”raw_affiliation_string“：”德国德累斯顿理工学院，电子邮件：baader@tcs.inf.tu-dresden.de“，”institution_id“：[”https://openalex.org/I78650965“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5041352997“，”display_name“：”Silvio Ghilardi“，”orcid“：”https://orcid.org/0000-0001-6449-6883}，“机构”：[{“id”：https://openalex.org/I189158943“，”display_name“：”米兰大学“，”ror“：”https://ror.org/00wjc7c48“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I189158943“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Silvio Ghilardi“，”raw _affiliation_strings“：[“Dell科学研究院\u2019Informazione，University \u00e0 Degli Studi di Milano，Italy，E-mail:ghilardi@dsi.unimi.it“]，”附属机构“：[｛”raw_affiation_string“：”Dipartimento di Scienze Dell\u2019Informazione，Universit \u00e0 Degli Studi di Milano，Italy，电子邮件：ghilardi@dsi.unimi.it“，”institution_id“：[”https://openalex.org/I189158943“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payd“：null，”has_fulltext“：false，”cited_by_count _page“：”535“，”last_page“：”583“}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9994，“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.9994，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9991，”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.9983，“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/selection-logic“，”display_name“：”Separation Logic“，”score“：0.509648}]，”concepts“：[{”id“：”https://openalex.org/C13355873，“wikidata”：https://www.wikidata.org/wiki/Q2920850“，”display_name“：”Connection（principal bundle）“，”level“：2，”score“：0.9067273}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.6710703}，{”id“：”https://openalex.org/C177148314，“wikidata”：https://www.wikidata.org/wiki/Q170084“，”display_name“：”Generalization“，”level“：2，”score“：0.6585346}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.6307742}，{”id“：”https://openalex.org/C45340560，“wikidata”：https://www.wikidata.org/wiki/Q215382“，”display_name“：”不相交集“，”level“：2，”score“：0.61267}，{”id“：”https://openalex.org/C2779696439，“wikidata”：https://www.wikidata.org/wiki/Q7512811“，”display_name“：”签名（拓扑）“，”级别“：2，”分数“：0.5668797}，{”id“：”https://openalex.org/C4042151，“wikidata”：https://www.wikidata.org/wiki/Q215111“，”display_name“：”同态“，”level“：2，”score“：0.5546999}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.47939396}，{”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.4778202}，{”id“：”https://openalex.org/C7655956，“wikidata”：https://www.wikidata.org/wiki/Q5282259“，”display_name“：”不相交联合（拓扑）“，”level“：2，”score“：0.43613183}，{”id“：”https://openalex.org/C9376300，“wikidata”：https://www.wikidata.org/wiki/Q168817“，”display_name“：”代数数“，”level“：2，”score“：0.4353735}，{”id“：”https://openalex.org/C77618280，“wikidata”：https://www.wikidata.org/wiki/Q1155772“，”display_name“：”Scheme（mathematics）“，”level“：2，”score“：0.4249999}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.35938326}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3451055}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.32848108}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.054345906}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”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/C188027245，“wikidata”：https://www.wikidata.org/wiki/Q750446“，”display_name“：”聚合物化学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1185803623“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”\u0098The \u009cJournal of symbolic logic/\u0098 The \u099cjournal of simbolic logic“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://tud.qucosa.de/api/qucosa%3A79330/attachment/ATT-0/“，”pdf_url“：”https://tud.qucosa.de/api/qucosa%3A79330/attachment/ATT-0/“，”源“：{”id“：”https://openalex.org/S4377196312“，”display_name“：”Qucosa（Saxon State and University Library Dresden）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I3132420320“，”“host_organization_name”：“SLUB德累斯顿”，“host_organization_lineage”：[“https://openalex.org/I3132420320“]，”host_organization_lineage_names“：[”SLUB Dresden“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.88.3269，“pdf_url”：http://lat.inf.tu-dresden.de/research/papers/2007/BaaGi-JSL-07.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://tud.qucosa.de/api/qucosa%3A79330/attachment/ATT-0/“，”pdf_url“：”https://tud.qucosa.de/api/qucosa%3A79330/attachment/ATT-0/“，”源“：{”id“：”https://openalex.org/S4377196312“，”display_name“：”Qucosa（Saxon State and University Library Dresden）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I3132420320“，”“host_organization_name”：“SLUB德累斯顿”，“host_organization_lineage”：[“https://openalex.org/I3132420320“]，”host_organization_lineage_names“：[”SLUB Dresden“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”acceptedVersion“，”is_accepted“：true，”is_published“：false｝，”sustainable_development_goals“：[｛”id“：”https://metadata.un.org/sdg/10“，”display_name“：”Reduced不等式“，”score“：0.49}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：24，”referrenced_works“：【”https://openalex.org/W1026721552","https://openalex.org/W1513458930","https://openalex.org/W1534253077","https://openalex.org/W1978356133","https://openalex.org/W1981237135","https://openalex.org/W2007764357","https://openalex.org/W2030179532","https://openalex.org/W2035169567","https://openalex.org/W2060273424","https://openalex.org/W2072380992","https://openalex.org/W2075212034","https://openalex.org/W2081329681","https://openalex.org/W2082963442","https://openalex.org/W2095891883","https://openalex.org/W2149257851","https://openalex.org/W2164778826网址","https://openalex.org/W2175599263","https://openalex.org/W2483742494","https://openalex.org/W2913209549","https://openalex.org/W2913574351","https://openalex.org/W3105686525","https://openalex.org/W4206381645","https://openalex.org/W4211144022","https://openalex.org/W834709404“]，”related_works“：[”https://openalex.org/W4320086971","https://openalex.org/W3209571057","https://openalex.org/W2519947249","https://openalex.org/W2404734631","https://openalex.org/W2278706878","https://openalex.org/W2099310349","https://openalex.org/W2057890579","https://openalex.org/W2056646797","https://openalex.org/W1987183845","https://openalex.org/W1967890781“]，”ngrams_url“：”https://api.openalex.org/works/W2056646797/ngrams“，”“abstract_inverted_index”：{“abstract”：[0]，“Basicly”：[1]，“the”：[2,18,30,40,46,59,72]，“connection”：[3,22,61]，“of”：[4,39,42,58,71]，“two”：[5,19]，“many-sorted”：[6]，“theorys”：[7,48]，“is”：[8]，“getated”：[9]，]，“union”，“：[14]，”and“：[15]，”then“：[16]，”connecting“：[17]，”parts“：[20]，”through“：[21]，”函数“：[23]，”that“：[24]，”must“：[25]，”behave“：[26]，”like“：[27]，”同态“：[28]，”on“：[29]，”shared“：[31]，”signature。“：[32]，“We”：[33]，“determine”：[34]，“conditions”：[35]，“under”：[36]，“which”：[37]，“decisibility”：[38]，“validity”：[41]，“universal”：[43]，“formula”：[44]，“in”：[45]，“component”：[47]，“transfers”：[49]，“to”：[50,80]，“connection”。“：[52]，”In“：[53]，”addition“，”we“：55]，”consider“：[56]，”variants“：[57]，”basic“：[60]，”scheme“。“：[62]，“Our”：[63]，“results”：[64]，“can”：[65]，“be”：[66]，“seen”：[67]，“as”：[68]，“a”：[69]，“generalization”：[70]，“所谓的”：[73]，“-connection”：%74]，“approach”：【75】，“for”：[76]，“combining”：[77]，“modal”：【78】，“logics”：【79】，“an”：【81】，“algebraic”：【82】，“setting”。“：[83]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2056646797“，”counts_by_year“：[{”year“:2022，”cited_by_count“：1}，{”year“：2019，”cited_by_count”：3}，}”year:2016，”citecd_by_count“：1}，”{“year”：2015，”citesd_by_count“:2}，“year”：2014，”citted_by-count“:2}，d_date“：”2024-06-18T18:24:37.159883“，”创建日期“：”2016-06-24“}