{“id”：“https://openalex.org/W2158199728“，”doi“：”https://doi.org/10.1017/s0956796802004549“，”title“：”关于\u2018逻辑框架和元语言的特刊\u2019“，”display_name“：”关于\u2018逻辑框架和元语言的特刊\u2019“，”publication_year“：2003，”publication_date“：”2003-03-01“，”ids“：｛”openalex“：”https://openalex.org/W2158199728“，”doi“：”https://doi.org/10.1017/s0956796802004549“，”mag“：”2158199728“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1017/s0956796802004549，“pdf_url”：https://www.cambridge.org/core/services/aop-cambridge-core/content/view/62D0801AECDE360EAC6DF16078B69B4E/S0956796802004549a.pdf/div-class-title-special-issue-on-logical-frameworks-and-metalanguages-div.pdf，“源”：{“id”：https://openalex.org/S12266929“，”display_name“：”函数编程杂志“，”issn_l“：”0956-7968“，”isn“：[”0956.7968“、”1469-7653“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，oaurl“：”https://www.cambridge.org/core/services/aop-cambridge-core/content/view/62D0801AECDE360EAC6DF16078B69B4E/S0956796802004549a.pdf/div-class-title-special-issue-on-logical-frameworks-and-metalanguages-div.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5060619322“，”display_name“：”G\u00e9rard Huet“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1326498283“，”“display_name”：“Institute national de recherche en informatique et en automatique”，“错误”：“https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}]，”国家“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”G\u00c9RARD HUET“，”raw _affiliation_strings“：[“INRIA-Rocquencourt，France”]，”affiliations“：[{”raw _affiliation_string“：”INRIA-Orcquencoort，France“，”institution_ids“：]”https://openalex.org/I1326498283“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5060619322“]，”对应的机构ID“：[”https://openalex.org/I1326498283“]，”apc_list“：null，”apc _ paid“：nul，”fwci“：0.0，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：1，”citation_normalized_percentile“：{”value“：0.593083，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{“min”：59，“max”：66}，“biblio”：{“volume”：“13”，“问题”：“2”，“first_page”：“257”，“last_page”：“260”}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9888，”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.9888，”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.9669，”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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9472，“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/bunched-logic网站“，”display_name“：”捆绑逻辑“，”score“：0.5887554}，{”id“：”https://openalex.org/keywords/哲学逻辑“，”display_name“：”逻辑哲学“，”score“：0.5524294}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.521517}，{”id“：”https://openalex.org/keywords/谓词逻辑“，”display_name“：”谓词逻辑“，”score“：0.45396575}，{”id“：”https://openalex.org/keywords/instentionistic-logic“，”display_name“：”直觉主义逻辑“，”score“：0.4311381}]，”concepts“：[{”id“：”https://openalex.org/C2777796570，“wikidata”：https://www.wikidata.org/wiki/Q2351326“，”display_name“：”动态逻辑（数字电子）“，”level“：4，”score“：0.6087372}，{”id“：”https://openalex.org/C169896238，“wikidata”：https://www.wikidata.org/wiki/Q1644136“，”display_name“：”高阶逻辑“，”level“：3，”score“：0.6023051}，{”id“：”https://openalex.org/C80467683，“wikidata”：https://www.wikidata.org/wiki/Q4997446“，”display_name“：”Bunched logic“，”level“：5，”score“：0.5887554}，{”id“：”https://openalex.org/C2318724，“wikidata”：https://www.wikidata.org/wiki/Q852732网址“，”display_name“：”证明理论“，”level“：3，”score“：0.5886751}，{”id“：”https://openalex.org/C124047733，“wikidata”：https://www.wikidata.org/wiki/Q5157327“，”display_name“：”计算逻辑“，”level“：3，”score“：0.5840228}，{”id“：”https://openalex.org/C101874905，“wikidata”：https://www.wikidata.org/wiki/Q2476757“，”display_name“：”逻辑哲学“，”level“：2，”score“：0.5524294}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5308935}，{”id“：”https://openalex.org/C150889026，“wikidata”：https://www.wikidata.org/wiki/Q185502“，”display_name“：”多值逻辑“，”level“：3，”score“：0.48029014}，{”id“：”https://openalex.org/C62073222，“wikidata”：https://www.wikidata.org/wiki/Q1572108“，”display_name“：”自然扣除“，”level“：2，”score“：0.47747684｝，｛”id“：”https://openalex.org/C19689857，“wikidata”：https://www.wikidata.org/wiki/Q4055684“，”display_name“：”谓词逻辑“，”level“：3，”score“：0.45396575}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.44551516}，{”id“：”https://openalex.org/C178421362，“wikidata”：https://www.wikidata.org/wiki/Q176786“，”display_name“：”直觉逻辑“，”level“：3，”score“：0.4311381}，{”id“：”https://openalex.org/C6489637，“wikidata”：https://www.wikidata.org/wiki/Q7250002（网址：https://www.wikidata.org/wiki/Q7250002）“，”display_name“：”证明演算“，”level“：3，”score“：0.41941988}，{”id“：”https://openalex.org/C144760519，“wikidata”：https://www.wikidata.org/wiki/Q839490“，”display_name“：”子结构逻辑“，”level“：4，”score“：0.41869694}，{”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.4076551}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.38257995}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.38062608}，{”id“：”https://openalex.org/C110039528，“wikidata”：https://www.wikidata.org/wiki/Q8069651“，”display_name“：”零阶逻辑“，”level“：4，”score“：0.329488}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538（网址：https://www.wikidata.org/wiki/Q11538）“，”display_name“：”数学证明“，”level“：2，”score“：0.274687｝，｛”id“：”https://openalex.org/C69562738，“wikidata”：https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.26085055}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.260422}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.13902885}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：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/C172385210，“wikidata”：https://www.wikidata.org/wiki/Q5339“，”display_name“：”晶体管“，”电平“：3，”分数“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C165801399，“wikidata”：https://www.wikidata.org/wiki/Q25428“，”display_name“：”Voltage“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1017/s0956796802004549，“pdf_url”：https://www.cambridge.org/core/services/aop-cambridge-core/content/view/62D0801AECDE360EAC6DF16078B69B4E/S0956796802004549a.pdf/div-class-title-special-issue-on-logical-frameworks-and-metalanguages-div.pdf，“源”：{“id”：https://openalex.org/S12266929“，”display_name“：”函数编程杂志“，”issn_l“：”0956-7968“，”isn“：[”0956.7968“、”1469-7653“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1017/s0956796802004549，“pdf_url”：https://www.cambridge.org/core/services/aop-cambridge-core/content/view/62D0801AECDE360EAC6DF16078B69B4E/S0956796802004549a.pdf/div-class-title-special-issue-on-logical-frameworks-and-metalanguages-div.pdf，“源”：{“id”：https://openalex.org/S12266929“，”display_name“：”函数编程杂志“，”issn_l“：”0956-7968“，”isn“：[”0956.7968“、”1469-7653“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”display_name“：”素质教育“，”id“：”https://metadata.un.org/sdg/4“，”score“：0.43}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：0，”referrenced_works“：]，”related_work斯“：[”https://openalex.org/W83912515","https://openalex.org/W616844449","https://openalex.org/W582265660","https://openalex.org/W3201792443","https://openalex.org/W2904105286","https://openalex.org/W2158199728","https://openalex.org/W2070034251","https://openalex.org/W2006286500","https://openalex.org/W1566013760","https://openalex.org/W11378686“]，”abstract_inverted_index“：{”There“：[0]，”is“：[1,16]，”both“：[2]，”a“：[3,7,50,56,74117155255299]，”great“：[4,8]，”unity“：[5]，”and“：[6,37,83,90,97104107112184216271277329357379]，”diversity“：[9,15]，“in”：[10124326]，“presentations”：[11]，““：[12,53,66,76121132134136143160166176181186188204208221236258281293302317335361371]”逻辑。“：[13318349]，”The“：[14230290]，”stagging“：[17]，”actery“：[18]，”\u2013“：[19]，”propositional“：[20]，”logic“，“：[21,23,31,33,35161201342344373]，”一阶“：[22]，”higher order“：[24]，”logical“：[25203346]，”归属“：[26,40]，”to“：[27,4119425298328]，”分类；“：[29]，”线性“：[30]，”直觉主义“：[32]，”经典“：[34]，”模态“：[36336]，”时间“：[38]，”逻辑“：[39207337]，”另一个“：[42]，”一。“：[43]，”逻辑“：[44]，”演绎“：[45,58]，”可能“：[46]，”是“：[47]，”呈现“：[48]，”作为“：[49,55,60,63,95199212225339]，”希尔伯特“：[51]，”风格“：[52]，”组合词“：[54]，”自然“：[57]，”系统“：[59]，”序列“：[61]，”微积分“：[62]，”证明“：[64]，”网络“：[65]，”多样性“：[68]，“or”：[69138220347]，“other”，“：[70]”，“etc.”：[71114150229]，“Logic”，“逻辑”：[72]，“最初的“：[73]，“领域”：[75]，“哲学”：[77]，“转向”：[78]，“变成”：[79，86310]，“代数”：[80]，“与”：[81，88129363]，“布尔”：[82]，“更多”：[84170195]，“一般”：[85]，“元数学”：[87]，“弗雷格”：[89]，“海廷”。“：[91]，”专业“：[92]，”逻辑学家“：[93]，”这样“：[94198338385]，”G\u00f6del“：[96]，”后来“：[98309]，”塔斯基“：[99]，”研究“：[100332]，”数学“：[101122372]，”模型“：[102]，”一致性“：[103]，”完整性“：/105]，”可计算性“：%106]，”复杂性“：[108]，”问题“：[109]，”集合“：[110139]，“理论”：[111]，“基础”：[113]，“逻辑”：[115306]，“成为”：[116]，“非常”：[118]，“技术”：[119]，“领域”：[120]，“研究”：[123]，“the”：[12516417417924028631539368376]，“last”：[126]，“half”：[127]，“centure”：[128]，“fine-grained”：[130]，“analysis”：[13142]，“expressivence”：[133]，“subtheories”：[135]，“算术”：[137284]，“理论”：[140]，“detailed”：[141261]，“基础良好”：[144]，“通过”：[145178239266]，“序数”：[146]，“符号”，“：[147]，“逻辑”：[148237]，“复杂性”：[149]，“同时”：[151]，“计算机”：[152167189]，“建模”：[153]，“开发”：[154]，“需要”：[156]，“用于”：[157163172]，“具体”：[158]，“使用”：[159]，“第一”：[162231]，“设计”：[165]，“电路”：[168]，“然后”：[169]，“广泛”：[171]，“增加”：[173]，“可靠性”：[175]，“软件”：[177]，“使用”：[180]，“形式”：[182]，“规范”：[183]，“证明”：[185272]，“正确性”：[187]，“程序”：[190]，“此”：[191]，“给定”：[192252296381]，“上升”：[193253297]，“外来”：[196333]，“逻辑”：[197]，”动态“200345]，“Hoare-style”：[202]，”公理“：[205]，“语义，”：[206]，“部分”：[209222]，“值”：[210]，“（例如”：[211224]，“斯科特”：[213]，“指称”：[214]，“语义学”：[215]，“普洛金”：[217]，“领域”：[218]，“理论）”：[219270]，“术语”：[223]，“费曼”：[226]，“自由”：[227]，“逻辑），“：[228]，“实际”：[232]，“尝试”：[233]，“at”：[234]，“机械化”：[235]，“推理”：[238265]，“决议”：[241]，“原则”：[242]，“（自动”：[243]，“定理”：[244]，“证明”）”：[245]，“曾经”：[246]，“一直”：[247]，“令人失望”：[248]，“但是”：[249]，“他们的”：[250]，“缺点”：[251]，“相当大的”：[256]，“身体”：[257]，“研究”：[259]，“发展中的”：[260308]，“知识”：[26233]，“关于”：[263]，“等同的”：[264]，“规范的”：[267]，“简化”：[268]，“（重写”：[269]，“通过”：[273]，“归纳“：[274]，”（以下为“：[275]，”博耶“：[276]，“摩尔”：[278]，“成功”：[279]，“集成”：[280]，“原语”：[282]，“递归”：[283]，“内部”：[285]，“LISP”：[287]，“编程”：[288]，“语言）。”：[289]，“特殊”：[291]，“case”：[292]，“Horn”：[294]，“子句”：[295]，“新”：[300]，“范例”：[301]，“非确定性”：[303]，“编程”，“：[304]，”调用“：[305]，”编程“，：[307312]，”约束“：[311]，“模糊”：[313]，“进一步”：[324]，“范围”：[316]，“hybrid”：[348]，“Some”：[350]，“others”：[351]，“try”：[35.2]，“捕获”：[354]，“普通”：[335]，“意义”，：[356]，“建模”：[35.8]，“修订”：[360]，“信念”：[362]，“所谓”：[365]，“非单调”：[65]，“逻辑”：[36.6]，”对于“：[367]，“小心”：[399]，“crafstmen”：[370]，“这个”：[374]，8]，“Girard”：[380]，“his”：[382]，“anathema”：[833]，“\u201cmontres”：[36]，“\f00e0”：[37]，“穆塔德斯\u201d.”：[388]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2158199728“，”counts_by_year“：[{”年“：2015，”cited_by_count“：1}]，”更新日期“：”2024-09-18T16:19:43.181243“，”创建日期“：“2016-06-24”}