{“id”：“https://openalex.org/W1982061352“，”doi“：”https://doi.org/10.1016/j.apal.2004.07.002“，”title“：“（弱）Fan定理的等价物”，”display_name“：”（弱）Van定理的等效物“，”publication_year“：2005，”publiation_date“：”2005-02-01“，”ids“：{”openalex“：”https://openalex.org/W1982061352“，”doi“：”https://doi.org/10.1016/j.apal.2004.07.002“，”mag“：”1982061352“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.apal.2004.07.002“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S172477885“，”display_name“：”纯逻辑和应用逻辑年鉴“，”issn_l“：”0168-0072“，”isn“：[”0168-0072“，”1873-2461“]，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1016/j.apal.2004.07.002“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5037096385“，”display_name“：”Iris Loeb“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I145872427“，”display_name“：”奈梅亨Radboud大学“，”ror“：”https://ror.org/016xsfp80“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I145872427“]}]，”国家“：[”NL“]，”is_corresponding“：true，”raw_author_name“：”Iris Loeb“，”raw _affiliation_strings“：[“荷兰奈梅亨大学计算与信息科学研究所Radboud University Nijmegen，计算与信息研究所，邮政信箱9010，NL-6500 GL Nijmegen”]，“afliations”：[{“raw_affilition_string”：“Radboud University Nijmegen，Institute for Computing and Information Sciences，P.O.\u00a0Box 9010，NL-6500 GL荷兰奈梅亨”，“institution_ids”：[“https://openalex.org/I145872427“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5037096385“]，”对应的机构ID“：[”https://openalex.org/I145872427“]，”apc_list“：｛”value“：3390，”currency“：”USD“，”value_USD“：3390，”出处“：”doaj“｝，”apc_payed“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：40，”cited_by_percentle_year“：｛”min“：92，”max“：93｝，”biblio“：｛”volume“：”132“，”issue“：”1“，”first_page“：”51“，”last_page“：”66“｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9831，”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.9831，”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/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.981，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9726，”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“：”Modal Logics“，”score“：0.492406}]，”concepts“：[{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.7849015}，{”id“：”https://openalex.org/C2777152325，“wikidata”：https://www.wikidata.org/wiki/Q108163“，”display_name“：”Proposition“，”level“：2，”score“：0.6299056}，{”id“：”https://openalex.org/C18648836，“wikidata”：https://www.wikidata.org/wiki/Q381892“，”display_name“：”压缩空格“，”level“：2，”score“：0.55322146}，{”id“：”https://openalex.org/C182306322，“wikidata”：https://www.wikidata.org/wiki/Q1779371“，”display_name“：”Order（exchange）“，”level“：2，”score“：0.54266965}，{”id“：”https://openalex.org/C171636804，“wikidata”：https://www.wikidata.org/wiki/Q1149458“，”display_name“：”紧致定理“，”level“：4，”score“：0.51117355}，{”id“：”https://openalex.org/C25343380，“wikidata”：https://www.wikidata.org/wiki/Q277521“，”display_name“：”关系（数据库）“，”级别“：2，”分数“：0.4835441}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.46109712}，{”id“：”https://openalex.org/C100481476，“wikidata”：https://www.wikidata.org/wiki/Q4055684“，”display_name“：”一阶逻辑“，”level“：2，”score“：0.45682672}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.42785937｝，｛”id“：”https://openalex.org/C178421362，“wikidata”：https://www.wikidata.org/wiki/Q176786“，”display_name“：”直觉主义逻辑“，”level“：3，”score“：0.4151628}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.40483254}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.377549}，{”id“：”https://openalex.org/C194886279，“wikidata”：https://www.wikidata.org/wiki/Q430271“，”display_name“：”基本定理“，”level“：3，”score“：0.28614157}，{”id“：”https://openalex.org/C69562738，“wikidata”：https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.2305105}，{”id“：”https://openalex.org/C45962547，“wikidata”：https://www.wikidata.org/wiki/Q1422068“，”display_name“：”不动点定理“，”level“：2，”score“：0.21222246｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.10539383}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.062619984}，{”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/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C10138342，“wikidata”：https://www.wikidata.org/wiki/Q43015“，”display_name“：”Finance“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C77088390，“wikidata”：https://www.wikidata.org/wiki/Q8513“，”display_name“：”数据库“，”级别“：1，”分数“：0.0}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”Economics“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.apal.2004.07.002“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S172477885“，”display_name“：”纯逻辑和应用逻辑年鉴“，”issn_l“：”0168-0072“，”isn“：[”0168-0072“，”1873-2461“]，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.apal.2004.07.002“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S172477885“，”display_name“：”纯逻辑和应用逻辑年鉴“，”issn_l“：”0168-0072“，”isn“：[”0168-0072“，”1873-2461“]，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1518290936","https://openalex.org/W1525431708","https://openalex.org/W1556453281","https://openalex.org/W1590304156","https://openalex.org/W1608607427","https://openalex.org/W2131480787“]，”related_works“：[”https://openalex.org/W4301463412","https://openalex.org/W4300537415","https://openalex.org/W2964014235","https://openalex.org/W2949900498","https://openalex.org/W2625604976","https://openalex.org/W2529105915","https://openalex.org/W2104030916","https://openalex.org/W1937556913","https://openalex.org/W1601880529","https://openalex.org/W1529306324“]，”ngrams_url“：”https://api.openalex.org/works/W1982061352/ngrams“，”“abstract_inverted_index”：{“This”：[0]，“article”：[1]，“presents”：[2]，“a”：[3,11,48]，“weak”：[4]，“system”：/5]，“of”：[6,13,23,44,50,57,61]，“直觉主义”：[7]，“二阶”：[8]，“算术”：[9]，“WKV”：[10]，“子系统”：[12]，“the”：[14,51,68]，“one”：[15]，“in”：[16,27,72]，“S.C.”：[17]，“Kleene”：[18]，“R.E.”：[19]，“Vesley”：[20]，“[the”：[21]，“Foundations”：[22]，“直觉主义“：[24]，“数学：”：[25]，“特别是”：[26]，“关系”：[28]，“to”：[29,67]，“递归”：[30]，“函数”：[31]，“北欧”：[32]，“出版”：[33]，“公司”：[34]，“阿姆斯特丹”：[35]，“1965]。“：[36]，”It“：[37]，”is“：[38]，”then“：[39]，”shown“：[40]，”that“：[41]，”some“：[42,55]，”statements“：[43,56]，”real“：[45]，”analysis“：[46]，”like“：[47]，”version“：[49]，”Heine\u2013Borel“：[52]，”定理“：[53]，”and“：[54]，”logic“：[58]，”example“：[59]，”compact ness“：[60]，“经典”：[62]，“命题”：[63]，“微积分”：[64]，“are”：[65]，“等价”：[66]，“（弱）”：[69]，“范“：[70]，“定理”：[71]，“这个”：[73]，“系统”。“：[74]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1982061352“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：1}，{“年”：2021，”“cited_by_cunt”：1'，{”“年”“：2020，”“cited_by-count”“：1}.，{年”：2019，”“引用_by_cont”：2}，“年份”“：2018，”“：2013，”cited_by_count“：1}，{“年份”：2012，”cited_by_count”：4}]，”updated_date“：”2024-06-17T18:25:18.812452“，”创建日期“：”2016-06-24“}