{“id”：“https://openalex.org/W2016916627“，”doi“：”https://doi.org/10.2307/2273332“，”title“：“归纳作为算术公理化的最优性”，”display_name“：”归纳作为算术轴理化的最佳性“，”publication_year“：1983，”publiation_date“：”1983-03-01“，”ids“：{”openalex“：”https://openalex.org/W2016916627“，”doi“：”https://doi.org/10.2307/2273332“，”mag“：”2016916627“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2307/2273332“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”\u0098The \u009cJournal of symbolic logic/\u0098 The \u099cjournal of simbolic logic“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”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”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”https://ecommons.cornell.edu/bitstream/1813/6290/1/80-450.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5018841823“，”display_name“：”Dani\u00ebl Leivant“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I205783295“，”display_name“：”康奈尔大学“，”ror“：”https://ror.org/05bnh6r87“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I205783295“]}]，”countries“：[”US“]，”is_corresponding“：true，”raw_author_name“：”Daniel Leivant“，”raw _affiliation_strings“：【”康奈尔大学计算机科学系，伊萨卡，纽约14853“】，”affiliations“：[{”raw _affiliation_string“：”康奈儿大学计算机科学部，伊萨查，纽约14852“，”institution_ids“：[“https://openalex.org/I205783295“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5018841823“]，”对应的机构ID“：[”https://openalex.org/I205783295“]，”apc_list“：null，”apc _ paid“：nul，”fwci“：0.672，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：32，”citecd_by_percentile_year“：{”min“：91，”max“：92}，”biblio“：{volume“：48”，“issue”：“1”，“first_page”：“182”，“last_page”：“184”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.991，”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.991，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9843，”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.9772，“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/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.537717}]，”concepts“：[{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.75421965}，{”id“：”https://openalex.org/C52146309，“wikidata”：https://www.wikidata.org/wiki/Q7431116“，”display_name“：”Schema（遗传算法）“，”level“：2，”score“：0.63161206}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”算术“，”level“：1，”score“：0.51614344}，{”id“：”https://openalex.org/C146834321，“wikidata”：https://www.wikidata.org/wiki/Q2979672“，”display_name“：”Closure（心理学）“，”level“：2，”score“：0.46324268}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.43711895}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.4016358｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.12831417}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”经济学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C34447519，“wikidata”：https://www.wikidata.org/wiki/Q179522“，”display_name“：”市场经济“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2307/2273332“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”\u0098The \u009cJournal of symbolic logic/\u0098 The \u099cjournal of simbolic logic“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”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”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hdl.handle.net/1113/6290，“pdf_url”：https://ecommons.cornell.edu/bitstream/1813/6290/1/80-450.pdf，“源”：{“id”：https://openalex.org/S4306400757“，”display_name“：”eCommons（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://hdl.handle.net/1813/6290，“pdf_url”：https://ecommons.cornell.edu/bitstream/1813/6290/1/80-450.pdf，“源”：{“id”：https://openalex.org/S4306400757“，”display_name“：”eCommons（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：【】，“versions”：【]，“referenced_works_count”：5，“referrenced_works”：[”https://openalex.org/W1008748165","https://openalex.org/W132036571","https://openalex.org/W1483568252","https://openalex.org/W2074448200","https://openalex.org/W852218366“]，”related_works“：[”https://openalex.org/W583262921","https://openalex.org/W4328130279","https://openalex.org/W4313657047","https://openalex.org/W4309585848","https://openalex.org/W4299387245","https://openalex.org/W315394019","https://openalex.org/W2923398117","https://openalex.org/W2265383332","https://openalex.org/W2105009749","https://openalex.org/W2002342158“]，”ngrams_url“：”https://api.openalex.org/works/W2016916627/ngrams网站“，”“abstract_inverted_index”：{“By”：[0]，“induction”：[1]，“for”：[2,18,32,40114]，“a”：[3109]，“formula”：[4112]，“\u03c6”：[5,31,33]，“we”：[3]，“mean”：[7]，“the”：[8,11,23,28,59]，“schema”：[9,29]，“（其中”：[10]，“terms”：[12]，“in”：[13,34,70119]，“方括号”：[14]，“are”：[15,79]，“implicate”：[16]，“substited”：[17]，“some”：[19]，“fixed”：[20]，“variable”，“：[21]，”带有“：[22137]，“通常”：[24]，“限制”）。“：[25]，”Let“：[26]，”be“：[27]，”IA“：[30]，”\u03a0“：[35,67110125132]，”n“：[36,47,56,6810411126133]，”（即“：[37]，”）；“：[38]，”类似“：[39]，”。“：[41140]，”Each“：[42]，”instance“：[43,52,64]，”of“：[44,53,62]，”is“：[45,54,66,88108116]，”\u0394“：[46]，”+2“：[48,69]，”，“，”：[49,84]，“and”：[50,78]，“Each”：[51103]，“\u03a3”：[55]，“+1”：[57127134]，“South”：[58]，“universal”：[60]，“closure”：[61]，“an”：[63]，“\u03b1”：[65]，“任意”：[71]，“case。“：[72]，”Charles“：[73]，”Parsons“：[74]，”[72]“：[75]，”proved“：[76]，”that“：[77]，”equivalent“：[80]，”over“：[81]，”Z“：[82,86120138]，”0“：[83,87106121139]，，“古典”：[95]，“第一”：[96]，“顺序”：[97]，“逻辑”：[98]，“帕森斯”：[99]，“70]。“：[100]，”定理。“：[101]，”对于“：[102]，”>“：[105]，”there“：[107]，”\u03c0“：[113]，”which“：[115]，”not“：[117]，”derivable“：[118]，”from“：[122]，”（i）“：[123]，”true“：/124]，”句子；“：[128]，”nor“：[129]，”even“：[130]，”（ii）“：[131]，”句子“：[135]，”consistent“：[136]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2016916627“，”“counts_by_year”：[{“年份”：2022，”“cited_by_count”：3}，{“年度”：2021，”“cited_by_cunt”：1}，}“年份“：2020，”“cited_by-count”“：2}，”“年份”“：2019，”“cuted_by_count”（引用_by_contount）：1{，”“：2013，”cited_by_count“：2}，{“年份”：2012，”cited_by_count”：2}]，”updated_date“：”2024-06-28T23:30:20.358712“，”创建日期“：”2016-06-24“}