{“id”：“https://openalex.org/W1971339442“，”doi“：”https://doi.org/10.1016/0304-3975（86）90179-9“，”title“：”Scott induction and closure under \u03c9-sups“，”display_name“：”Scott inducttion and closule under \u 03c9-sups“，”publication_year“：1986，”publiction_date“：”1986-01-01“，”ids“：{”openalex“：”https://openalex.org/W1971339442“，”doi“：”https://doi.org/10.1016/0304-3975（86）90179-9“，”mag“：”1971339442“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0304-3975（86）90179-9“，”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”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://doi.org/10.1016/0304-3975（86）90179-9“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”auther“：{”id“：”https://openalex.org/A5084251713“，”display_name“：”Ana Pasztor“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Ana Pasztor“、”raw_affiliation_strings“：]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5051071400“，”display_name“：”Richard Statman“，”orcid“：null}，”institutions“：[]，”countries“：[]，”国家“：[]]，”is_corresponding“：false，”raw_author_name“:”Rick Statman“、”raw_affiliation_strings“：]}“，”contries_distict_count“：0，”instistictions_disticent_count“：0,”corresponding_author_ids“：[]]，“correspounding_institution_ids”：[]、”apc_list“：{”value“：2690，”currency“：”美元“，”value_usd“：2690，”provenance“：”doaj“}，”apc_payed“：{”value“：2680，”currency“：”usd“，”value_usd:2690，“provenance”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：4，“cited_by_percentile_year”：{“min”：72，“max”：74}，《图书》：{卷：“43”，“issue”：null，“first_p”年龄“：”251“，”last_page“：”263“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9987，”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/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9987，”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/T11151“，”display_name“：”模型理论与拓扑动力学“，”score“：0.9924，”subfield“：{”id“：”https://openalex.org/subfields/2608“，”display_name“：”几何和拓扑“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“｝，”domain“：｛”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9863，”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/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.480955}]，”concepts“：[{”id“：”https://openalex.org/C146834321，“wikidata”：https://www.wikidata.org/wiki/Q2979672“，”display_name“：”Closure（心理学）“，”level“：2，”score“：0.6763657}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.40709352}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.35680884}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.3296739}，{”id“：”https://openalex.org/C162324750网址，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”Economics“，”level“：0，”score“：0.17143449｝，｛”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0720827}，{”id“：”https://openalex.org/C34447519，“wikidata”：https://www.wikidata.org/wiki/Q179522“，”display_name“：”市场经济“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0304-3975（86）90179-9“，”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“：”发行商特定oa“，”license_id“：”https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/0304-3975（86）90179-9“，”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”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1498523273","https://openalex.org/W2905135108“]，”related_works“：[”https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W3002753104","https://openalex.org/W2911598644","https://openalex.org/W2748952813","https://openalex.org/W2077600819","https://openalex.org/W2061531152","https://openalex.org/W2007980826","https://openalex.org/W1979597421","https://openalex.org/W1587224694“]，”ngrams_url“：”https://api.openalex.org/works/W1971339442/ngrams网站“，”“abstract_inverted_index”：{“LCF”：[0]，“is”：[1101135152168]，“the”：[2,12,37,571201471219]，“logic”：[3]，“of”：[4,14,2019420021221]，“computable”：[5]，“（read”：[6]，“\u2018continu2019）”：[7]，“functions”：[8]，“where”：[29]，sups“：[15,35]，”\u2294“：[16,46]，”n\u03b5\u03c9“：[17,25]，”x“：[18,23,40,43,77,83,92127133184187]，”n“：[19,47,50]，”u03c9-chains“：[21]，”\u3008“：[22]，”\u 3009“：[24]，”in“：[26218]，”\ u03c9-cpo's“：[27213]，”P“：[28109111114178]，”with“：[2]，”least“：[30,58]，”element“：[31]，”\f22a5.“：[32]，”Most“：[33]，“重要”：[34]，“有”：[36]，“形式”：[38]，“\u03bc”：[39]，“f”：[41,49,69,73,81,88,90,97124131182]，“（“：[42,72,80,87,91,96130181]，”）“：[44,84125185]，”=“：[45]，”\u03b5\u03c9“：[48]，“（\u22a5）”：[51]，”和“：[52197]，”是“：[53]，“给定”：[54]，“连续”：[55]，“by”：[56]，“固定”：[59]，“点”：[60]，“运算符”：[61]，“Y”：[62]，“。“：[63]，”因此，“：[64]，”斯科特“：[65]，”归纳法“：[66160]，”公理“：[67]，”（\u2200“：[68123]，”）[“：[70]，”R“：[71,79,86,95106129142156180]，”，“，”：[74,82,89,98115132143183]，”\u22a5）^“：[75]，”u2200”：[76]，“[”：[78108]，“\u2192”：[85,94110]，“）]”：[93]，“Yf”：[99]，“）】”：[100]，“有效”：[102]，“对于”：[103155174]，“确定”：[104195]，“关系”：[105]，“\u2286“：[107177]，”]“：[112]，”\u00d7“：[113]，”such“：[116]，”as“：[117]，”these“：[118]，”satinging“：[119]，”condition“：[121150]，”（*）：“：[122]，”{“：[126]，”：“：：[128]，”）}“：%134]，”closed“：[136]，”under“：[137]，”\ u03c9-sups。“：[138]，“给定”：[139]，“a”：[140170192]，“关系”：[141]，“我们”：[144204]，“询问”：[145]，“是否”：[146]，“明显”：[148]，“足够”：[149]，“（*）”：[151167]，“也”：[153205]，“必要”：[154171]，“到”：[157]，“满足”：[158]，“斯科特”：[159]，“公理”。“：[161]，“我们的”：[162]，“主”：[163202]，“结果”：[164]，“显示”：[165]，“那”：[166207]，“不是”：[169]，“条件”，“：[172]，“偶数”：[173]，“集合”：[175]，“X”：[176189]，“（其中”：[179]，“\u2194”：[186]，“\ u03b5”：[188]，“）。“：[190]，“As”：[191]，“succession”：[193]，“definitibility”：[196]，“effectivity”：[198]，“aspects”：[199]，“result”：[203]，“show”：[206]，“some”：[208]，“宁可”：[209]，“有趣”：[210]，“classes”：[211]，“can”：[214]，“be”：[215]，“finitely”：[216]，“axiomatized”：[217]，“language”：[220]，“LCF。“：[222]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1971339442“，”counts_by_year“：[]，”updated_date“：”2024-05-15T21:19:47.015970“，”created_dates“：”2016-06-24“}“