｛“id”：“https://openalex.org/W2883229425“，”doi“：”https://doi.org/10.1007/s00153-018-0641-4“，”title“：”关于Gentzen\u2019s序号分配的注释“，”display_name“：”有关Gentzen\u2019s序号分配的说明“，”publication_year“：2018，”publiation_date“：”2018-07-14“，”ids“：{”openalex“：”https://openalex.org/W2883229425“，”doi“：”https://doi.org/10.1007/s00153-018-0641-4“，”mag“：”2883229425“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s00153-018-0641-4“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S188076996“，”display_name“：”数理逻辑存档“，”issn_l“：”0933-5846“，”isn“：[”09335-5846“，”1432-0665“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer Science+Business Media“]，”type“：”journal“}，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”journal article“，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”oa_url“：”https://helda.helsinki.fi/bitstream/10138/303909/1/Kanckos_GOCF_OA.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5090327300“，”display_name“：”Annika Kanckos“，”orcid“：”https://orcid.org/0000-0003-3959-3547}，“机构”：[{“id”：https://openalex.org/I133731052“，”display_name“：”赫尔辛基大学“，”ror“：”https://ror.org/040af2s02“，”country_code“：”FI“，”type“：“教育”，”世系“：[”https://openalex.org/I133731052“]}]，”国家“：[”FI“]，”is_corresponding“：true，”raw_author_name“：”Annika Kanckos“，”raw _ afiliation_strings“：[“赫尔辛基大学哲学系，邮政信箱24（Unionikatu 40 A），00014，芬兰赫尔辛基”]，”affiliations“：[{”raw _affiliation_strong“：”赫尔辛基学院哲学系，邮箱24（Unininkatu 40 A），00014，芬兰赫尔辛基“，”institution_ids“：[”https://openalex.org/I133731052“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5090327300“]，”对应的机构ID“：[”https://openalex.org/I133731052“]，”apc_list“：{”value“：2390，”currency“：”EUR“，”value_usd“：2990，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：0，”cited_by_percentile_year“：{”min“：0”，“max”：67}，“biblio”：{“volume”：“58”，“issue”：“3-4”，“first_page”“：”347“，”last_page“：”352“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9499，”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.9499，”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/T11063“，”“display_name”：“粗糙集理论与应用”，“score”：0.9067，“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/information-granulation网站“，”display_name“：”信息粒度“，”score“：0.416716}]，”concepts“：[{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.82912135}，{”id“：”https://openalex.org/C85461838，“wikidata”：https://www.wikidata.org/wiki/Q7100785“，”display_name“：”顺序数据“，”level“：2，”score“：0.6343212}，{”id“：”https://openalex.org/C81386100，“wikidata”：https://www.wikidata.org/wiki/Q7100792“，”display_name“：”顺序优化“，”level“：3，”score“：0.5796321}，{”id“：”https://openalex.org/C2780012671，“wikidata”：https://www.wikidata.org/wiki/Q1343870“，”display_name“：”推论“，”level“：2，”score“：0.57291317}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.47037023}，{”id“：”https://openalex.org/C2776436953，“wikidata”：https://www.wikidata.org/wiki/Q5163215“，”display_name“：”一致性（知识库）“，”level“：2，”score“：0.46904215}，{”id“：”https://openalex.org/C14036430网址，“wikidata”：https://www.wikidata.org/wiki/Q3736076“，”display_name“：”功能（生物学）“，”级别“：2，”分数“：0.4594963}，{”id“：”https://openalex.org/C2780009758，“wikidata”：https://www.wikidata.org/wiki/Q6804172“，”display_name“：”Measure（data warehouse）“，”level“：2，”score“：0.4362207}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.3586634}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.2094951}，{”id“：”https://openalex.org/C124101348，“wikidata”：https://www.wikidata.org/wiki/Q172491“，”display_name“：”数据挖掘“，”level“：1，”score“：0.14376843}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.14007288｝，｛”id“：”https://openalex.org/C78458016，“wikidata”：https://www.wikidata.org/wiki/Q840400“，”display_name“：”进化生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s00153-018-0641-4“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S188076996“，”display_name“：”数理逻辑存档“，”issn_l“：”0933-5846“，”isn“：[”09335-5846“，”1432-0665“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer Science+Business Media“]，”type“：”journal“｝，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”http://hdl.handle.net/10138/303909，“pdf_url”：https://helda.helsinki.fi/bitstream/10138/303909/1/Kanckos_GOCF_OA.pdf，“源”：{“id”：https://openalex.org/S4306401476“，”display_name“：”赫尔达（赫尔辛基大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I133731052“，”“host_organization_name”：“赫尔辛基大学”，“host_organization_lineage”：[“https://openalex.org/I133731052“]，”host_organization_lineage_names“：[”赫尔辛基大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/10138/303909，“pdf_url”：https://helda.helsinki.fi/bitstream/10138/303909/1/Kanckos_GOCF_OA.pdf，“源”：{“id”：https://openalex.org/S4306401476“，”display_name“：”赫尔达（赫尔辛基大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I133731052“，”“host_organization_name”：“赫尔辛基大学”，“host_organization_lineage”：[“https://openalex.org/I133731052“]，”host_organization_lineage_names“：[”赫尔辛基大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[{“funder”：“https://openalex.org/F4320335061“，”funder_display_name“：”Kulttuurin ja Yhteiskunnan Tutkimuksen Toimikunta“，”award_id“：null}]“数据集”：[]，“版本”：[[]，“referenced_works_count”：1，“referrenced_works”：[“https://openalex.org/W25183180“]，”related_works“：[”https://openalex.org/W4246163636","https://openalex.org/W4230471374","https://openalex.org/W3176193384","https://openalex.org/W3110712162","https://openalex.org/W3048680633","https://openalex.org/W3021328243","https://openalex.org/W2525848170","https://openalex.org/W2506242593","https://openalex.org/W2058716166","https://openalex.org/W1536163558“]，”ngrams_url“：”https://api.openalex.org/works/W2883229425/ngrams网站“，”“abstract_inverted_index”：{“Gentzen\u2019s”：[0,71102]，“高度”：[1]，“度量”：[2,12]，“of”：[3,25,78,88101]，“the”：[4,26,44,48,63,67,79]，“1938”：[5]，“一致性”：[6]，“证明”：[7]，“is”：[8,16,50,57]，“a”：[9,20,23,29,84,96]，“累积”：[10]，“复杂性”：[11]，“for”：[13]，“序列”：[14]，“that”：[15,36]，“measured”：[17]，“bottom-up”：[18]，“in”：[19,59]，“推导。“：[21]，”By“：[22]，”factorisation“：[24]，”ordinal“：[27,31,49,54,65,73,90103]，”assignment“：[28,32,81104]，”top-down“：[30,64]，”can“：[33]，”be“：[34]，”given“：[35]，”does“：[37]，”not“：38]，”depend“：[39]，”on“：[40]，”information“：[41]，”occurring“：[42]，”below“：[43]，”sequention““：[45]，”to“：[46,61,66,94]，”which“：[47]，”assigned。“：[51]，”“此外，”：[52]，“an”：[53,89]，“collabling”：[55,91]，“function”：[56,92]，“defined”：[58]，“order”：[60]，“callback”：[62]，“one”：【68】，“assigned”：【69】，“by”：【70】，“own”：【72】，“赋值。“：[74]，”A“：[75]，”直接“：[76]，”定义“：[77]，”因子分解“：[80]，”跟随“：[82]，”作为“：[83]，”推论。“：[85]，”This“：[86]，”extraction“：[87]，”hope“：[93]，”provide“：[95]，”formal“：[97]，”or“：[98]，”conceptive“：[99]，”claification“：[100]，”and“：[105]，”its“：[106]，”height line“：[107]，”argument。“：[108]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2883229425“，”counts_by_year“：[]，”updated_date“：”2024-06-27T09:42:36.674311“，”created_dates“：”2018-08-03“}“