{“id”：“https://openalex.org/W2247536198“，”doi“：”https://doi.org/10.4230/lipics.csl.2013.634“，”title“：“强规范化术语的一种新类型赋值”，“display_name”：“强标准化术语的新类型赋权”，“publication_year”：2013，“publiation_date”：“2013-01-01”，“ids”：{“openalex”：“https://openalex.org/W2247536198“，”doi“：”https://doi.org/10.4230/lipics.csl.2013.634“，”mag“：”2247536198“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://drops.dagstuhl.de/opus/volltexte/2013/4223/pdf/43.pdf“，”pdf_url“：null，”source“：null[源]，”license“：null，”licence_id“：null，”version“：nul，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，“indexed_in”：[]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null、“any_repository_has_fulltext”：false}，“作者”：[{“author_position”：“first”，“author”：{id“：”https://openalex.org/A5051071400“，”display_name“：”Richard Statman“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74973139“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”Rick Statman“，”raw _ afiliation_strings“：[“卡内基梅隆大学”]}]“countries _ distinct_count”：1，”institutions _ disting_count“：1，“corresponding_author_ids”：[“https://openalex.org/A5051071400“]，”对应的机构ID“：[”https://openalex.org/I74973139“]，”apc_list“：null，”apc _ paid“：nul，”has_fulltext“：false，”cited_by_count“：0，”cited_by_percentile_year“：{”min“：0”max“：69}，”biblio“：{volume“：null，”issue“：null，”first_page“：”634“，”last_page“：”652“}，“is_retracted”：false、“is_paratext”：false，“primary_topic”：{“id”：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.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.9997，”subfield“：{”id“：”https://openalex.org/subfields/s702“，”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.9993，”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/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.502204}]，”concepts“：[{”id“：”https://openalex.org/C2778029271，“wikidata”：https://www.wikidata.org/wiki/Q5421931“，”display_name“：”扩展（谓词逻辑）“，”level“：2，”score“：0.6262023}，{”id“：”https://openalex.org/C61797465，“wikidata”：https://www.wikidata.org/wiki/Q1188986“，”display_name“：”Term（time）“，”level“：2，”score“：0.5689938}，{”id“：”https://openalex.org/C203436722，“wikidata”：https://www.wikidata.org/wiki/Q902950“，”display_name“：”同构（晶体学）“，”level“：3，”score“：0.55639887}，{”id“：”https://openalex.org/C27777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.5043477}，{”id“：”https://openalex.org/C93682546，“wikidata”：https://www.wikidata.org/wiki/Q1056428“，”display_name“：”类型理论“，”level“：3，”score“：0.49293447}，{”id“：”https://openalex.org/C17020691“，”wikidata“：”https://www.wikidata.org/wiki/Q139677“，”display_name“：”运算符（生物学）“，”level“：5，”score“：0.48645756}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416（网址：https://www.wikidata.org/wiki/Q121416）“，”display_name“：”离散数学“，”level“：1，”score“：0.48103765}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.46861038}，{”id“：”https://openalex.org/C178421362，“wikidata”：https://www.wikidata.org/wiki/Q176786“，”display_name“：”直觉主义逻辑“，”level“：3，”score“：0.461623}，{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”display_name“：”属性（哲学）“，”级别“：2，”分数“：0.44072384}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.43982747}，{”id“：”https://openalex.org/C62073222，“wikidata”：https://www.wikidata.org/wiki/Q1572108“，”display_name“：”自然演绎“，”level“：2，”score“：0.42155507}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.37331897}，{”id“：”https://openalex.org/C28077239，“wikidata”：https://www.wikidata.org/wiki/Q841728“，”display_name“：”线性逻辑“，”level“：2，”score“：0.33179408}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.2704889｝，｛”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.24640656}，{”id“：”https://openalex.org/C138885662“，”wikidata“：”https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.122965276}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.08994934}，{”id“：”https://openalex.org/C158448853，“wikidata”：https://www.wikidata.org/wiki/Q425218“，”display_name“：”Repressor“，”level“：4，”score“：0.0}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”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/C115624301，“wikidata”：https://www.wikidata.org/wiki/Q895901“，”display_name“：”Crystal structure“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”Biochemistry“，”level“：1，”score“：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/C86339819，“wikidata”：https://www.wikidata.org/wiki/Q407384“，”display_name“：”转录因子“，”level“：3，”score“：0.0｝，｛”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”Physics“，”level“：0，”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“：”Crystallography“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://drops.dagstuhl.de/opus/volltexte/2013/4223/pdf/43.pdf“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：5，“referrenced_works”：[”https://openalex.org/W1972401918","https://openalex.org/W1975280443","https://openalex.org/W21311960 37","https://openalex.org/W2313175711","https://openalex.org/W2988921440“]，”related_works“：[”https://openalex.org/W3127819669","https://openalex.org/W3013936672","https://openalex.org/W3006681913","https://openalex.org/W2964198729","https://openalex.org/W2895928777","https://openalex.org/W2736163332","https://openalex.org/W2515617608","https://openalex.org/W2491817307","https://openalex.org/W2432649068","https://openalex.org/W2298806063","https://openalex.org/W2279925109","https://openalex.org/W2074659429","https://openalex.org/W2006341276","https://openalex.org/W192070947","https://openalex.org/W1816420085","https://openalex.org/W1726137516","https://openalex.org/W1558222109","https://openalex.org/W1529173292","https://openalex.org/W1523645759","https://openalex.org/W1487757690“]，”ngrams_url“：”https://api.openalex.org/works/W2247536198/ngrams网站“，”“abstract_inverted_index”：{“We”：[0]，“consider”：[1]，“an”：[2,54]，“operator”：[3]，“definable”：[4]，“in”：[5,19]，“the”：[6,38,51]，“直觉主义”：[7]，“theory”：[8]，“of”：[9,16,23]，“monadic”：[10,25]，“predicates”：[11]，“and”：[12,60]，“We”：[13]，“axiomatize”：[14]，“some”：[15]，“its”：[17]，“properties”：[18]，“a”：[20,32]，“definitional”：[21]，“extension”：[22]，““：[24，53]，”逻辑。“：[26]，”The“：[27,44]，”公理化“：[28]，”lends“：[29]，”itsels“：[30]，”to“：[31,36]，”natural“：[33]，”deduction“：[34]，”formulation“：[3]，”which“：[37]，”Curry-Howard“：[39]，”同构“：[40]，”can“：[41]，”be“：[42]，”applied。“：[43]，”结果“：[45]，”教会“：[46]，”风格“：[47]，”类型“：[48]，”系统“：[49]，”有“：[50]，”属性“：[52]，”非类型“：55]，”术语“：[56]，”是“：[57,64]，”典型“：[58]，”如果“：[59,62]，”仅“：[61]，”它“：[63]，”强“：[65]，”可规范化。“：[66]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2247536198“，”counts_by_year“：[]，”updated_date“：”2024-05-20T12:31:17.486050“，”created_dates“：”2016-06-24“}“