{“id”：“https://openalex.org/W2009733922“，”doi“：”https://doi.org/10.1016/0304-3975（89）90147-3“，”title“：“命题逻辑的Gentzen系统的复杂性”，”display_name“：”命题逻辑的Gentzen系统复杂性“，”publication_year“：1989，”publiction_date“：”1989-08-01“，”ids“：{”openalex“：”https://openalex.org/W2009733922“，”doi“：”https://doi.org/10.1016/0304-3975（89）90147-3“，”mag“：”2009733922“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/0304-3975（89）90147-3“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”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”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，pository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5057218145“，”display_name“：”阿拉斯代尔·乌尔库哈特“，”orcid“：null}，”机构“：[{”id“：”https://openalex.org/I185261750“，”display_name“：”多伦多大学“，”ror“：”https://ror.org/03dbr7087“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I185261750“]}]，”countries“：[”CA“]，”is_corresponding“：true，”raw_author_name“：”Alasdair Urquhart“，”raw _affiliation_strings“：【”多伦多大学哲学系，加拿大安大略省多伦多市休伦街215号，M5S 1A1“】}]，“countries_distict_count”：1，“institutions_disticent_count”：2，“corresponding_author_ids”：[”https://openalex.org/A5057218145“]，”对应的机构ID“：[”https://openalex.org/I185261750“]，”apc_list“：{”value“：2690，”currency“：”USD“，”value_USD“：2680，”provenance“：”doaj“}，”apc _payed“：{”value”：2690、”currentary“：”美元“，”value_USD”：2680、“provenance”：“doaj”}、“has_fulltext”：true、“fulltext_origin”：“ngrams”、“cited_by_count”：23、“citecd_by_percentile_year”：{“min”：88、“max”：89}，“biblio”：{“volume”：“66”，“issue”：“1”，“first_page”：“87”，“last_page”：”97“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9996，”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.9996，”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.9993，“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.9989，”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.496874}]，”concepts“：[{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.7142887}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.6695286}，{”id“：”https://openalex.org/C69562738，“wikidata”：https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.6149106}，{”id“：”https://openalex.org/C14523651，“wikidata”：https://www.wikidata.org/wiki/Q3492863“，”display_name“：”命题变量“，”level“：4，”score“：0.5208286}，{”id“：”https://openalex.org/C178421362，“wikidata”：https://www.wikidata.org/wiki/Q176786“，”display_name“：”直觉主义逻辑“，”level“：3，”score“：0.49499768}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.44917625｝，｛”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.4373107}，{”id“：”https://openalex.org/C110039528，“wikidata”：https://www.wikidata.org/wiki/Q8069651“，”display_name“：”零阶逻辑“，”level“：4，”score“：0.4334514}，{”id“：”https://openalex.org/C33203268，“wikidata”：https://www.wikidata.org/wiki/Q5361594“，”display_name“：”中间逻辑“，”level“：3，”score“：0.24504459}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.23813453}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.12043473}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：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/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128（网址：https://www.wikidata.org/wiki/Q12128）“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/0304-3975（89）90147-3“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”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”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：[】，“referenced_works_count”：10，“referrenced_works”：https://openalex.org/W1974951277","https://openalex.org/W1988083342","https://openalex.org/W2056365917","https://openalex.org/W2070017679","https://openalex.org/W2085089824","https://openalex.org/W2091961944","https://openalex.org/W2482540236","https://openalex.org/W2498145201","https://openalex.org/W390733291","https://openalex.org/W4244469681“]，”related_works“：[”https://openalex.org/W984430137","https://openalex.org/W3200682096","https://openalex.org/W3032980851","https://openalex.org/W2383907964","https://openalex.org/W2362211319","https://openalex.org/W2335620825","https://openalex.org/W2297035263","https://openalex.org/W2227896468","https://openalex.org/W2119215098","https://openalex.org/W1986625420“]，”ngrams_url“：”https://api.openalex.org/works/W2009733922/ngrams网站“，”“abstract_inverted_index”：{“示例”：[0]，“是”：[1]，“给定”：[2]，“的”：[3,6]，“有效”：[4]，“序列”：[5,25]，“经典”：[7]，“命题”：[8]，“逻辑”：[9]，“涉及”：[10]，“仅”：[11]，“the”：[12,31]，“双条件”：[13]，“which”：[14]，”“require”：[15]，“指数”：[16]，“long”：[17]，“proof”：[18,29]，“in”：[19]，“a”：[20]，“cut-free”：[21]，“Gentzen”：[22]，“系统。“：[23]，”The“：[24]，”have“：[26]，”多项式“：[27]，”size“：[28]，”if“：[30]，”cut“：[32]，”rule“：[33]，”is“：[34]，”allowed。“：[35]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2009733922“，”counts_by_year“：[{”年份“：2018，”cited_by_count“：1}，{”年度“：2017，”cited_by_count”：1}]，”updated_date“：”2024-05-15T15:53:20.643983“，”created_date:“2016-06-24”}