｛“id”：“https://openalex.org/W1594404929“，”doi“：”https://doi.org/10.1007/3-5440-44622-2_24“，”title“：”A Theory of Explicit Mathematics Equivalent to ID 1“，”display_name“：”B Theory for Explicit Mathematics Equivalnt to ID 1”，“publication_year”：2000，“publitation_date”：“2000-01-01”，“ids”：{“openalex”：“https://openalex.org/W1594404929“，”doi“：”https://doi.org/10.1007/3-540-44622-2_24“，”mag“：”1594404929“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-44622-2_24“，”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、”is_core“：true、”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“：”图书系列“}，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”图书章节“，”type_crossref“：”图书章节“，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url“：null”，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5048687535“，”display_name“：”Reinhard Kahle“，”orcid“：”https://orcid.org/0000-0002-9064-877X}，“机构”：[{“id”：https://openalex.org/I8087733“，”display_name“：”T\u00fcbingen大学“，”ror“：”网址：https://ror.org/03a1kwz48“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I8087733“]｝]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Reinhard Kahle“，”raw_affiation_strings“：[”WSI，Universit \u00e4t T\u00fcbingen，T\u00fcbingen，Germany“]，”附属机构“：[｛”raw_affiation_string“：”WSI，Universit \u00e4t T\u00fcbingen，T\u00fcbingen，Germany“，”institution_ids“：[”https://openalex.org/I8087733“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5086903137“，”display_name“：”Thomas Studer“，”orcid“：”https://orcid.org/0000-0002-0949-3302}，“机构”：[{“id”：https://openalex.org/I118564535“，”display_name“：”伯尔尼大学“，”ror“：”https://ror.org/02k7v4d05“，”country_code“：”CH“，”type“：“教育”，”世系“：[”https://openalex.org/I118564535“]}]，”国家“：[”CH“]，”is_corresponding“：false，”raw_author_name“：”Thomas Studer“，”raw _affiliation_strings“：[“IAM，University \u00e4t Bern，Bern，Switzerland”]，”affiliations“：[{”raw _affiliation_string“：”https://openalex.org/I118564535“]}]}]，”countries_distinact_count“：2，”institutions_disticant_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：0.908，”has_fulltext“：false，”cited_by_count ile_year“：{“最小”：72，“最大”：74}，“书目”：{”volume“：null，”issue“：nul，”first_page“：”356“，”last_page“：”370“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9996，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9996，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9867，”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/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9833，”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/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.529667}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6431509}，{”id“：”https://openalex.org/C2776124973，“wikidata”：https://www.wikidata.org/wiki/Q3183033“，”display_name“：”Join（topology）“，”level“：2，”score“：0.5616131}，{”id“：”https://openalex.org/C2318724，“wikidata”：https://www.wikidata.org/wiki/Q852732网址“，”display_name“：”证明理论“，”level“：3，”score“：0.4357899}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.43529707}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.4171514}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.3589763}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”算术“，”等级“：1，”分数“：0.32456148}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.31162834}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.23770466｝，｛”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.18024346}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.07577616}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.060937673}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”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“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-44622-2_24“，”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、”is_core“：true、”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”：18，“referenced_works“：[”https://openalex.org/W126568045","https://openalex.org/W140624404","https://openalex.org/W1515444786","https://openalex.org/W1518280455","https://openalex.org/W1518644265","https://openalex.org/W1544633123","https://openalex.org/W1579817075","https://openalex.org/W159354440","https://openalex.org/W1763978647","https://openalex.org/W1981577462","https://openalex.org/W1988408086","https://openalex.org/W2033165246","https://openalex.org/W2137355506","https://openalex.org/W4213356241","https://openalex.org/W4231693812","https://openalex.org/W4232626105","https://openalex.org/W4236380022","https://openalex.org/W4242304899“]，”related_works“：[”https://openalex.org/W794462722","https://openalex.org/W4248476017","https://openalex.org/W4205996836","https://openalex.org/W3214148052","https://openalex.org/W2964879389","https://openalex.org/W2807741550网址","https://openalex.org/W2269956712","https://openalex.org/W2151692181","https://openalex.org/W2093960938","https://openalex.org/W2029625042“]，”ngrams_url“：”https://api.openalex.org/works/W1594404929/ngrams网站“，”“abstract_inverted_index”：{“We”：[0]，“show”：[1]，“that”：[2]，“the”：[3,9]，“addition”：[4]，“of”：[5,21]，“name”：[6]，“induction”：[7]，“to”：[8,32]，“theory”：[10,29]，“$$”：[11,20]，“EETJ”：[12]，“+”：[13]，“\\left”（“：[14]，”{\\mathcal{左}_{EM}“：[15]，“-”：[16]，“I_N”：[17]，“}”：-18]，“\\right）”：[19]，“显式”：[22]，“基本”：[23]，“类型”：[24]，“with”：[25]，”连接“：[26]，”产量“：[27]，”a“：[28]，”证明理论“：[30]，”等价物“：[31]，”ID“：[33]，”1.“：[34]}，”cited_by_api url“（_U）：”https://api.openalex.org/works？filter=cites:W1594404929“，”counts_by_year“：[{”年“：2016，”cited_by_count“：1}]，”更新日期“：”2024-06-26T11:34:58.658166“，”创建日期“：“2016-06-24”}