{“id”：“https://openalex.org/W1598683981“，”doi“：”https://doi.org/10.1007/3-540-13346-1_12“，”title“：”有效类型结构的笛卡尔闭式枚举类别“，”display_name“：”无效类型结构的Cartesian闭式枚举类“，”publication_year“：1984，”publiation_date“：”1984-01-01“，”ids“：{”openalex“：”https://openalex.org/W1598683981“，”doi“：”https://doi.org/10.1007/3-540-13346-1_12“，”mag“：”1598683981“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-13346-1_12“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”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”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5028392415“，”display_name“：”Giuseppe Longo“，”orcid“：”https://orcid.org/0000-0002-9182-8414}，“机构”：[{“id”：https://openalex.org/I108290504“，”display_name“：”比萨大学“，”ror“：”https://ror.org/03ad39j10“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I108290504“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”G.Longo“，”raw _affiliation_strings“：[“Dipartimento di Informatica，UNIVERSITA di PISA，Corso Italia 40，56100，PISA，Italie”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5060518986“，”display_name“：”Eugenio Moggi“，”orcid“：”https://orcid.org/0000-0001-8018-6543}，“机构”：[{“id”：https://openalex.org/I108290504“，”display_name“：”比萨大学“，”ror“：”https://ror.org/03ad39j10“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I108290504“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”E.Moggi“，”raw _affiliation_strings“：[“Dipartitemento di Informatica，UNIVERSITA di PISA，Corso Italia 40，56100，PISA，Italie”]}]，”countries_distict_count“：1，”institutions_distic“：1：{“值”：5000货币“：”EUR“，”value_usd“：5392，”出处“：”doaj“}，”apc_payed“：{”value“：5000，”货币“：“EUR”，”value_ usd“:5392，“出处”：“doaj”}，“has_fulltext”：false，“cited_by_count”：20，“citecd_by_percentile_year”：{“min”：87，“max”：88}，《图书》：{卷：null，“issue”：null、“first_page”：“235”，“”last_page“：”255“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T10896“，”display_name“：”泊松流形的变形量化“，”score“：0.9975，”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/T10896“，”display_name“：”泊松流形的变形量化“，”score“：0.9975，”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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9924，“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/T11151“，”display_name“：”模型理论和拓扑动力学“，”score“：0.992，”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/keywords/hever-algebraic-structures（https://openalex.org/关键字/高代数结构）“，”“display_name”：“高等代数结构”，“score”：0.567915}，{“id”：“https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.564979}，{”id“：”https://openalex.org/keywords/hommoneous-structures网站“，”display_name“：”同构结构“，”score“：0.561174｝，｛”id“：”https://openalex.org/keywords/o-minimal-structures网站“，”display_name“：”O-最小结构“，”score“：0.555638}，{”id“：”https://openalex.org/keywords/model-categories“，”display_name“：”Model Categories“，”score“：0.538417}]，”concepts“：[{”id“：”https://openalex.org/C156340839，“wikidata”：https://www.wikidata.org/wiki/Q2704791“，”display_name“：”枚举“，”级别“：2，”分数“：0.89251864}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.7915605}，{”id“：”https://openalex.org/C16038011，“wikidata”：https://www.wikidata.org/wiki/Q62912“，”display_name“：”笛卡尔坐标系“，”level“：2，”score“：0.63227195}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.53457075}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.36737913｝，｛”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.20306829}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.14688063}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.09029397}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”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“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-13346-1_12“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”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”：“book series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：13，“referenced_works“：[”https://openalex.org/W1484625174","https://openalex.org/W1522696447","https://openalex.org/W1563447122","https://openalex.org/W1564142683","https://openalex.org/W1566497723","https://openalex.org/W1972812828","https://openalex.org/W2020349645","https://openalex.org/W2041725991","https://openalex.org/W2068423429","https://openalex.org/W2070032247","https://openalex.org/W2126544183","https://openalex.org/W2161331421","https://openalex.org/W4243711577“]，”related_works“：[”https://openalex.org/W588267724","https://openalex.org/W4300125793","https://openalex.org/W4297743441","https://openalex.org/W3042106073","https://openalex.org/W2748952813","https://openalex.org/W2578985712","https://openalex.org/W2406961474","https://openalex.org/W2143566611","https://openalex.org/W2057205169","https://openalex.org/W108845024“]，”ngrams_url“：”https://api.openalex.org/works/W159683981/ngrams“，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1598683981“，”counts_by_year“：[{“年份”：2023，”cited_by_count“：1}，{“年”：2022，”ciped_by_cunt“：1}，”{“年度”：2017，“cited_by_count”：1}，{”年“：2015，”cited_by_count：1}]，“更新日期”：“2024-05-11T03:18:28.527686”，“创建日期”：”2016-06-24“}”