{“id”：“https://openalex.org/W1963649810“，”doi“：”https://doi.org/10.1017/s0960129500001006“，”title“：”pre-institutions类别中的插值与紧性“，”display_name“：”pre-institations类别中插值与紧度“，”publication_year“：1996，”publiation_date“：”1996-06-01“，”ids“：{”openalex“：”https://openalex.org/W1963649810“，”doi“：”https://doi.org/10.1017/s0960129500001006“，”mag“：”1963649810“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s0960129500001006“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”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”：nully，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access’：{”is_oa“：false，”“oa_status”：“closed”，“oa_url”：空，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5064465385“，”display_name“：”Antonino Salibra“，”orcid“：”https://orcid.org/0000-0001-6552-2561}，“机构”：[{“id”：https://openalex.org/I168208266“，”display_name“：”威尼斯国际大学“，”ror“：”https://ror.org/05xtnfk88网址“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I168208266“]｝]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Antonino Salibra“，”raw_affiation_strings“：[”威尼斯大学“]，”附属机构“：[｛”raw_affiation_string“：”威尼斯大学“，”institution_ids“：[”https://openalex.org/I168208266“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5039796516“，”display_name“：”Giuseppe Scollo“，”orcid“：”https://orcid.org/0000-0002-5531-490X}，“机构”：[{“id”：https://openalex.org/I94624287“，”display_name“：”特温特大学“，”ror“：”https://ror.org/006hf6230“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I94624287“]｝]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”Giuseppe Scollo“，”raw_affiation_strings“：[”特温特大学#TAB#“]，”affiliations“：[｛”raw_affiation_string“：”特温特大学#TAB#“，”institution_ids“：[”https://openalex.org/I94624287“]}]}]，”institution_assertions“：[]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]、“correspending_institution_ids“：[].”apc_list“：null，”apc_payed“：null，”fwci“：1.631，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count，“：17，”citation_normalized_percentile“：{”value“：0.8”18004年，“is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：83，”max“：84}，“biblio”：{“volume”：“6”，”issue“：”3“，”first_page“：”261“，”last_page“：”286“}https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9767，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9767，“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/T10896“，”display_name“：”泊松流形的变形量化“，”score“：0.9652，”subfield“：{”id“：”https://openalex.org/subfields/2610“，”display_name“：”数学物理“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11549“，”display_name“：”烯烃复分解化学“，”score“：0.9224，”subfield“：{”id“：”https://openalex.org/subfields/1605“，”display_name“：”有机化学“}，”字段“：{”id“：”https://openalex.org/fields/16“，”display_name“：”Chemistry“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/关键字/插值“，”display_name“：”插值（计算机图形）“，”score“：0.6676502}，{”id“：”https://openalex.org/keywords/closure“，”display_name“：”Closure（心理学）“，”score“：0.60785735}，{”id“：”https://openalex.org/keywords/ultraproduct网站“，”display_name“：”Ultraproduct“，”score“：0.5339963}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.48392｝]，”concepts“：[｛”id“：”https://openalex.org/C18648836，“wikidata”：https://www.wikidata.org/wiki/Q381892“，”display_name“：”压缩空格“，”level“：2，”score“：0.859974}，{”id“：”https://openalex.org/C137800194，“wikidata”：https://www.wikidata.org/wiki/Q11713455“，”display_name“：”插值（计算机图形学）“，”level“：3，”score“：0.6676502｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.66054285}，{”id“：”https://openalex.org/C146834321，“wikidata”：https://www.wikidata.org/wiki/Q2979672“，”display_name“：”Closure（心理学）“，”level“：2，”score“：0.60785735}，{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”“display_name”“：”属性（哲学）“，”级别“：2，”分数“：0.53972864}，{”id“：”https://openalex.org/C167930466，“wikidata”：https://www.wikidata.org/wiki/Q1535225“，”display_name“：”Ultraproduct“，”level“：2，”score“：0.5339963}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.5171251}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.45943493}，{”id“：”https://openalex.org/C11335779，“wikidata”：https://www.wikidata.org/wiki/Q3454686网址“，”display_name“：”Reduction（mathematics）“，”level“：2，”score“：0.4399445}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.4058647}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段代数“，”级别“：2，”分数“：0.3316484}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.25540429}，{”id“：”https://openalex.org/C126042441，“wikidata”：https://www.wikidata.org/wiki/Q1324888“，”display_name“：”Frame（networking）“，”level“：2，”score“：0.07709113}，{”id“：”https://openalex.org/C76155785，“wikidata”：https://www.wikidata.org/wiki/Q418“，”display_name“：”Telecommunications“，”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/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”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“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s0960129500001006“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”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，“liccense_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[{“score”：0.55，“display_name”：“和平、正义和强大的制度”，“id”：”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：23，”referrenced_works“：【”https://openalex.org/W1482946676","https://openalex.org/W1487132797","https://openalex.org/W1491823524","https://openalex.org/W1498356214","https://openalex.org/W1505776411","https://openalex.org/W1523124202","https://openalex.org/W1547389437","https://openalex.org/W1576273408","https://openalex.org/W1893843174","https://openalex.org/W1912850559","https://openalex.org/W1971240584","https://openalex.org/W2010883554","https://openalex.org/W2059353311","https://openalex.org/W2116129678","https://openalex.org/W2120713972","https://openalex.org/W2132371811","https://openalex.org/W2180920399","https://openalex.org/W222414252","https://openalex.org/W251225716","https://openalex.org/W2914821813","https://openalex.org/W2954327716","https://openalex.org/W346782573","https://openalex.org/W4300668781“]，”related_works“：[”https://openalex.org/W4380987204","https://openalex.org/W4255634141","https://openalex.org/W4241852443","https://openalex.org/W2492068551","https://openalex.org/W2403949451","https://openalex.org/W2279814302","https://openalex.org/W2104030916","https://openalex.org/W1987355600","https://openalex.org/W1529306324","https://openalex.org/W127953164“]，”abstract_inverted_index“：{”An“：[0]，”analysis“：[1]，”of“：[2,20,22,60,62,81100]，”relationships“：[3]，”between“：[4,27]，”Craig-style“：[5]，”interpolation“：[6]，”compactness“：[7]，”and“：[8,30,36107]，”other“：/9]，”相关“：[10109]，”model-theoretic“：[11]，”properties“：[12]，”is“：[13,39,5]1,65,94104114]，“携带”：[14]，“外出”：[15]，“进入”：[16]，““：[17,25,31,79,91101108]，“软”：[18]，“框架”：[19]，“类别”：[21]，“前机构”。“：[23]，“While”：[24]，“等价”：[26]，“句子”：[28]，“插值”：[29,82]，“Robinson”：[32,92]，“属性”：[33,93111]，“under”：[34,45]，“紧度”：[35120]，“布尔值”：[37]，“闭包”：[38110]，“well”：[40]，“已知”：[41]，“a”：[42,68]，“相似”：[43]，“结果”：[44]，“不同”：[46]，“假设”：[47]，“（不是”：[48]，“涉及”：[49]，“紧凑性”：[50]，“new“：[52]，”established“：[53]，”for“：[54,78,90112]，”presentation“：[55]，”interpolation。“：[56]，“The”：[57]，“standard”：[58]，“concept”：[59103]，“naturality”：[61]，“model”：[63]，“transformation”：[64]，“enriced”：[66]，“by”：[67]，“new”：【69】，“property”：【70】，“termined”：【71】，“restrictions”：【72】，“supertivity”：【73】，“，”：【74】，“which”：【75】，“convents”：【76】，“usived”：【77】，“reducation”：[80,88]，“沿途”：[83]，“体制前”：[84]，“转型”。“：[85]，”A“：[86,98]，”distinct“：[87]，”定理“：[89]，”presented“：[95]，”as“：[96]，”well。“：[97]，”变体“：[99]，”超产品“：[102]，”进一步“：[105]，”引入“：[106]，”预备机构“：[113]，”显示“：[115]，”到“：[116119]，”是“：[117]，”等价“：[118]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W1963649810“，”counts_by_year“：[{”年“：2015，”cited_by_count“：1}]，”更新日期“：”2024-09-23T22:40:11.438876“，”创建日期“：“2016-06-24”}