{“id”:“https://openalex.org/W1983837119“,”doi“:”https://doi.org/10.2178/jsl/1191333843“,”title“:“等价优先模型的代数表征”,“display_name”:“等价优惠模型的代数刻画”,“publication_year”:2007,“publiation_date”:“2007-09-01”,“ids”:{“openalex”:“https://openalex.org/W1983837119“,”doi“:”https://doi.org/10.2178/jsl/1191333843“,”mag“:”1983837119“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.2178/jsl/1191333843“,”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”:nully,“is_accepted”:false,“is_published”:false},”type“:”article“,”type_crossref“:“jornal-article”,“indexed_in”:[”crossref“],‘open_access’:{”is_oa“:false,”“oa_status”:“closed”,“oa_url”:空,“any_repository_has_fulltext“:false},”作者身份“:[{”作者位置“:”第一个“,”作者“:{”id“:”https://openalex.org/A5073035917“,”display_name“:”赵慧珠“,”兽人“:”https://orcid.org/0000-0001-9356-2616},“机构”:[{“id”:https://openalex.org/I9842412“,”display_name“:”南京航空航天大学“,”ror“:”https://ror.org/01scyh794“,”country_code“:”CN“,”type“:“教育”,”世系“:[”https://openalex.org/I9842412“]}],”国家“:[”CN“],”is_corresponding“:false,”raw_author_name“:”Zhaohui“,”raw _ afiliation_strings“:[“南京航空航天大学”],”affiliations“:[{”raw_ afiliation _string“:”南京航空航天学院“,”institution_ids“:[https://openalex.org/I9842412“]}]},{”author_position“:”last“,”author“:{”id“:”https://openalex.org/A5083967189“,”display_name“:”Rong Zhang“,”orcid“:”https://orcid.org/0000-0001-9241-868X},“机构”:[{“id”:https://openalex.org/I881766915“,”display_name“:”南京大学“,”ror“:”https://ror.org/01rxvg760“,”country_code“:”CN“,”type“:“教育”,”世系“:[”https://openalex.org/I881766915“]}],”国家“:[”CN“],”is_corresponding“:false,”raw_author_name“:”Rong Zhang“,”raw _ afiliation_strings“:[“(南京大学)”],”affiliations“:[{”raw_ afiliation _string“:”(南京大学https://openalex.org/I881766915“]}]}],”countries_distinct_count“:1,”institutions_disting_count”:2,”corresponding_author_ids“:[],”corresponding_institution_ids”:[]、“apc_list”:null,”apc_payed“:null、”has_fulltext“:true、”fulltext_origin“:”ngrams“,”cited_by_count:4,“cited_by_percentile_year”:{“min”:79,”max“:80},”biblio“:{”volume“:“”72“,”问题“:“3”,”第一页“:”803“,”最后一页“:“833“},”is_retracted“:false,”is_paratext“:fase,”primary_topic“:{”id“:”https://openalex.org/T11010“,”display_name“:”逻辑编程与知识表示“,”score“:0.9999,”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.9999,”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/T10215“,”display_name“:”语义Web和本体开发“,”score“:0.9979,”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/T11727“,”display_name“:”模糊逻辑和剩余格“,”score“:0.994,”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/非单调推理“,”display_name“:”非单调推理“,”score“:0.529654},{”id“:”https://openalex.org/keywords/schema-matching“,”display_name“:”架构匹配“,”score“:0.515321},{”id“:”https://openalex.org/keywords/description-logics网站“,”display_name“:”描述逻辑“,”score“:0.51182},{”id“:”https://openalex.org/keywords/modal-logics网站“,”display_name“:”Modal Logics“,”score“:0.506418}],”concepts“:[{”id“:”https://openalex.org/C2780841128,“wikidata”:https://www.wikidata.org/wiki/Q5073781“,”display_name“:”表征(材料科学)“,”level“:2,”score“:0.66866076},{”id“:”https://openalex.org/C2780069185,“wikidata”:https://www.wikidata.org/wiki/Q7977945“,”display_name“:”等价(形式语言)“,”level“:2,”score“:0.66721857},{”id“:”https://openalex.org/C203436722,“wikidata”:https://www.wikidata.org/wiki/Q902950“,”display_name“:”同构(晶体学)“,”level“:3,”score“:0.6616039},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.59496385},{”id“:”https://openalex.org/C9376300,“wikidata”:https://www.wikidata.org/wiki/Q168817“,”display_name“:”代数数“,”level“:2,”score“:0.5735489},{”id“:”https://openalex.org/C2776230367,“wikidata”:https://www.wikidata.org/wiki/Q7314222“,”display_name“:”表示定理“,”level“:2,”score“:0.50641286},{”id“:”https://openalex.org/C17020691,“wikidata”:https://www.wikidata.org/wiki/Q139677“,”display_name“:”运算符(生物学)“,”level“:5,”score“:0.4198533},{”id“:”https://openalex.org/C136119220,“wikidata”:https://www.wikidata.org/wiki/Q1000660“,”“display_name”“:”“域上的代数”“,”level“:2,”score“:0.3994618},{”id“:”https://openalex.org/C202444582,“wikidata”:https://www.wikidata.org/wiki/Q837863“,”display_name“:”纯数学“,”level“:1,”score“:0.3788125},{”id“:”https://openalex.org/C118615104,“wikidata”:https://www.wikidata.org/wiki/Q121416“,”display_name“:”离散数学“,”level“:1,”score“:0.36917117},{”id“:”https://openalex.org/C134306372,“wikidata”:https://www.wikidata.org/wiki/Q7754“,”display_name“:”数学分析“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C55493867,“wikidata”:https://www.wikidata.org/wiki/Q7094“,”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/C192562407,“wikidata”:https://www.wikidata.org/wiki/Q228736“,”display_name“:”材料科学“,”level“:0,”score“:0.0},{”id“:”https://openalex.org/C158448853,“wikidata”:https://www.wikidata.org/wiki/Q425218“,”display_name“:”Repressor“,”level“:4,”score“:0.0},{”id“:”https://openalex.org/C86339819,“wikidata”:https://www.wikidata.org/wiki/Q407384“,”display_name“:”转录因子“,”level“:3,”score“:0.0},{”id“:”https://openalex.org/C115624301,“wikidata”:https://www.wikidata.org/wiki/Q895901“,”display_name“:”Crystal structure“,”level“:2,”score“:0.0},{”id“:”https://openalex.org/C104317684,“wikidata”:https://www.wikidata.org/wiki/Q7187“,”display_name“:”Gene“,”level“:2,”score“:0.0},{”id“:”https://openalex.org/C8010536,“wikidata”:https://www.wikidata.org/wiki/Q160398“,”display_name“:”晶体学“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C171250308,“wikidata”:https://www.wikidata.org/wiki/Q11468“,”display_name“:”Nanotechnology“,”level“:1,”score“:0.0}],”mesh“:[],”locations_count“:1.”locations“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.2178/jsl/1191333843“,”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”:nul,“version”:null,“is_accepted”:false,“is_published”:false}],“best_oa_location”:null,“sustainable_development_goals”:[],“grants”:[],“datasets”:〔〕,“versions”:[〕,“referenced_works_count”:23,“referenced_works“:[”https://openalex.org/W1512750313","https://openalex.org/W1562797559","https://openalex.org/W1564696079","https://openalex.org/W156961058","https://openalex.org/W1576771044","https://openalex.org/W1761876784网址","https://openalex.org/W2001140847","https://openalex.org/W2002991714","https://openalex.org/W2003892212","https://openalex.org/W2026427131","https://openalex.org/W2045990087","https://openalex.org/W2080142817","https://openalex.org/W2081202140","https://openalex.org/W2087125127","https://openalex.org/W2089299035","https://openalex.org/W2093294226","https://openalex.org/W2102048877","https://openalex.org/W2149420462","https://openalex.org/W2167907160","https://openalex.org/W2799037929","https://openalex.org/W4211144022","https://openalex.org/W4230560363","https://openalex.org/W4239557134“],”related_works“:[”https://openalex.org/W4297914395","https://openalex.org/W4288024920","https://openalex.org/W3119412844","https://openalex.org/W2987986312","https://openalex.org/W2973840772","https://openalex.org/W2898780680网址","https://openalex.org/W2575225986","https://openalex.org/W2390073374","https://openalex.org/W2112408494","https://openalex.org/W2017634423“],”ngrams_url“:”https://api.openalex.org/works/W1983837119/ngrams网站“,”“abstract_inverted_index”:{“abstract”:[0],“Preferential”:[1],“models”:[2,61104],“is”:[3,89166],“one”:[4],“of”:[5,31,34,44,93148171],“the”:[6,32,42,86113149158169],“important”:%7],“semantical”:[8],“structures”:[9],“in”:[10,91157],“non-monotic”:[11],“logic.”:[12],“This”:[13],“论文”:[14],“目标”:[15],“到”:[16],“建立”:[17],“an“:[18,80144],”同构“:[19,87],”定理“:[20,88],”for“:[21100168179],”privative“:[22,35,60103115],”models,“:[23],”which“:[24,97],”gives“:-25],”us“:[26],”a“:[27176],”pure“:[28],”algebratical“:[29],”characterization“:[30147],”equivalence“:[33],”模型。“:[36],“收件人”:[37],“此”:[38],“结束”:[39],“我们”:[40,78141162],“当前”:[41],“概念”:[43],“本地”:[45,48],“相似性”:[46],“和”:[47,57,64,74107118127174],“模拟”。“:[49],”基于“:[50136],”关于“:[51137],”这些“:[52],”概念“:[53],”两个“:[54,70102],”运算符“:[55,72],”\u0394(\u2022)“:[56],”\ u03bc(\u2020)“:58],”over“:[59],”分别是“:[62134],”imported“:[63],”explored“:[65]”。“:[66],”一起“:[67],”与“:[68],”其他“:[69],”存在“:[71],”u03c1(\u2022)“:[73],”\u03a0“:[75],”D“:[76,83,95122129139],”(\u022)“,”:[77,96140],”引入“:[79],”运算符“:[81],”\ u2202“:[82,94121128138],”。“:[84],”然后“:[85],”获得“:[90],”术语“:[92],”断言“:[98],”that“:[99164],”any“:[101],”M“:[10510814131],”1“:[106125],”2“:[109132],”,“:[110],”they“:[111],”生成“:[112],”相同“:[114],”推断“:[116],”if“:[117120],”only“:[119],”(“:[123130],“)”:[126133],“同构的。“:[135],”也“:[142],”得到“:[143],”替代“:[145],”模型理论“:[146],”众所周知“:[150],”假设“:[151],”弱化“:[152],”析取“:[153],”合理性“:[154],”。“:[155],”“此外,”:[156],“有限”:[159],“语言”:[160],“框架”,:[161],“显示”:[163],“\u0394(\u03bc(\u2022))”:[165],“胜任”:[167],“任务”:[170],“消除”:[172],“冗余”:[173],“提供”:[175],“表示”:[177],“结果”:[178],“k”:[180],“-关系。“:[181]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W1983837119”,“counts_by_year”:[{“year”:2023,“cited_by_count”:1},{“year”:2020,“cited_by_count”:1},{“year”:2013,“cited_by_count”:1}],“updated_date”:“2024-06-16T03:08:52.111098”,“created_date”:“2016-06-24”}