{“id”：“https://openalex.org/W1983330347“，”doi“：”https://doi.org/10.1016/j.apal.2004.02.001“，”title“：”最小值与通货膨胀定点逻辑的表达式等价“，”display_name“：”最少值与通货膨胀浮点逻辑的表达式等效“，”publication_year“：2004，”publitation_date“：”2004-12-01“，”ids“：{”openalex“：”https://openalex.org/W1983330347“，”doi“：”https://doi.org/10.1016/j.apal.2004.02.001“，”mag“：”1983330347“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.apal.2004.02.001“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S172477885“，”display_name“：”纯逻辑和应用逻辑年鉴“，”issn_l“：”0168-0072“，”isn“：[”0168-0072“，”1873-2461“]，”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/A5062011497“，”display_name“：”Stephan Kreutzer“，”orcid“：”https://orcid.org/0009-0002-9409-5356}，“机构”：[{“id”：https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Stephan Kreutzer“，”rawaffiliation_strings“：[“爱丁堡大学计算机科学基础实验室，King\u2019s Buildings，Mayfield Road，Edinburgh EH9 3JZ，UK”]}]，”countries_distiction_count“：1，”institutions_distriction_counts“：1”，“corresponding_author_ids”：[”https://openalex.org/A5062011497“]，”对应的机构ID“：[”https://openalex.org/I98677209“]，”apc_list“：{”value“：3390，”currency“：”USD“，”value_USD“：3390'，”provenance“：”doaj“}，”apc _payed“：{'value'：3390]，”curency“：”美元“，”value_USD”：3390`，“provenance”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：19，“citected_by_percentile_year”：{“min”：87，“max”：88}，“biblio”：{“volume”：“130”，“issue”：“1-3”，“first_page”：“61”，“last_page”：78“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9868，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9868，“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.9735，“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/T11697“，”“display_name”：“科学计算中的浮点运算”，“score”：0.973，“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/selection-logic“，”display_name“：”Separation Logic“，”score“：0.48811}]，”concepts“：[{”id“：”https://openalex.org/C112313634，“wikidata”：https://www.wikidata.org/wiki/Q7886648“，”display_name“：”补音（音乐）“，”level“：5，”score“：0.7595593}，{”id“：”https://openalex.org/C26826806，“wikidata”：https://www.wikidata.org/wiki/Q438358“，”display_name“：”Alternation（linguistics）“，”level“：2，”score“：0.74096847}，{”id“：”https://openalex.org/C31170391，“wikidata”：https://www.wikidata.org/wiki/Q188619“，”display_name“：”Hierarchy“，”level“：2，”score“：0.72523963｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.7229467}，{”id“：”https://openalex.org/C61445026，“wikidata”：https://www.wikidata.org/wiki/Q217608“，”display_name“：”定点“，”级别“：2，”分数“：0.6651929｝，｛”id“：”https://openalex.org/C195818886，“wikidata”：https://www.wikidata.org/wiki/Q5421724“，”display_name“：”表达能力“，”level“：2，”score“：0.6223883｝，｛”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.58277214}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.44615182}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.4306526}，{”id“：”https://openalex.org/C176053320，“wikidata”：https://www.wikidata.org/wiki/Q2878515“，”display_name“：”分析层次结构“，”level“：3，”score“：0.41888216}，{”id“：”https://openalex.org/C149364088，“wikidata”：https://www.wikidata.org/wiki/Q185917“，”display_name“：”Translation（biology）“，”level“：4，”score“：0.4170867}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.18825606}，{”id“：”https://openalex.org/C144237770，“wikidata”：https://www.wikidata.org/wiki/Q747534“，”display_name“：”数学经济学“，”level“：1，”score“：0.11076909}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.11022428}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.091370225}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”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/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C188082640，“wikidata”：https://www.wikidata.org/wiki/Q1780899“，”display_name“：”互补“，”level“：4，”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/C87345402，“wikidata”：https://www.wikidata.org/wiki/Q485202“，”display_name“：”分析层次结构过程“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C34447519，“wikidata”：https://www.wikidata.org/wiki/Q179522“，”display_name“：”市场经济“，”level“：1，”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/C127716648，“wikidata”：https://www.wikidata.org/wiki/Q104053“，”display_name“：”表型“，”等级“：3，”分数“：0.0}，{”id“：”https://openalex.org/C105580179，“wikidata”：https://www.wikidata.org/wiki/Q188928“，”display_name“：”Messenger RNA“，”level“：3，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.apal.2004.02.001“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S172477885“，”display_name“：”纯逻辑和应用逻辑年鉴“，”issn_l“：”0168-0072“，”isn“：[”0168-0072“，”1873-2461“]，”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”：[{“id”：“https://metadata.un.org/sdg/8“，”display_name“：”体面工作与经济增长“，”score“：0.49}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：7，”referrenced_works“：【”https://openalex.org/W1591825827网址","https://openalex.org/W2059144726","https://openalex.org/W2088094394","https://openalex.org/W2124324342网址","https://openalex.org/W2969873114","https://openalex.org/W4214702250","https://openalex.org/W991566839“]，”related_works“：[”https://openalex.org/W2962706960","https://openalex.org/W2922293882","https://openalex.org/W2527182206","https://openalex.org/W2501050012","https://openalex.org/W2360497466","https://openalex.org/W2119807183","https://openalex.org/W2077226010","https://openalex.org/W2036891872","https://openalex.org/W2025791668","https://openalex.org/W1647312071“]，”ngrams_url“：”https://api.openalex.org/works/W1983330347/ngrams“，”“abstract_inverted_index”：{“We”：[0,73112]，“study”：[1]，“the”：[2,18,23,27,35,57,64,84,96104108116123127]，“relationship”：[3]，“between”：[4103]，“least”：[5]，“and”：[6,13107]，“inflation”：[7131137]，“fixed-point”：[8]，“logic.”：[9]，“In”：[10,52]，“1986，”：[11]，“Gurevich”：[12]，“Shelah”：[14]，“proved”：[15]，“that”：[16,63,83115]，“In”：[17,42]限制“：[19]，”to“：[20,46,80122]，”finited“：[21]，”structures“，：[22]，”two“：[24,65,85]，”logics“：[25,66]，”have“：[26]，”same“：[28]，”expressive“：[29,69]，”power“。“：[30]，”On“：[31]，”infinite“：[32]，”structures“：[33]，”然而，“：[34]，”question“：[36,58]，”是否“：[37]，”there“：[38]，”是“：[39134]，”a“：[40,75,93100]，”公式“：[41]，”IFP“：[43120]，”不是“：[44]，”等价物“：[45,88]，”any“：[47130]，”LFP-formula“：[C8]，”was“：[49]，“左”：[50]，“打开”。“：[51]，”this“：[53]，”paper“：[54]，”we“：[55,61,98]，”answer“：56]，”negative“，”：[59]，“即”：[60126]，“show”：[62114]，“are”：[67,87]，“equality”：[68]，“on”：[70,89]，“任意”：[71]，“structures”。“：[72,91]，”give“：[74]，”syntax“：[76]，”translation“：[77]，”of“：[78,95129]，”IFP-formulas“：[79]，”LFP-formulars“：[81]，”such“：[82]，”formulas”：[86]，“all”：[90]，“As”：[92]，“succession”：[94]，“proof”：[97]，“estimate”：[99]，“close”：[101]，“corresporation”：[102]，“LFP-alternation”：[105]，“hierarchy”：[106118]，“IFP-nesting”：[109]，“depth”：[110]，“hierarchy。“：[111]，”“also”：[113]，“alternate”：[117]，“for”：[119]，“collapses”：[121]，“first”：[124]，“level”，“：[125]，“complete”：[128]，“fixed”：[132138]，“point”：[133]，“self”：[135]，“an”：[136]，“point”。“：[139]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1983330347“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：1}，{“年”：2022，”“cited_by_cunt”：1'，{”“年”“：2020，”“cited_by-count”“：1}，{年”：2019，”“icted_by/count”日期“：”2024-06-12T07:10:27.044087“，”创建日期“：“2016-06-24”}