{“id”：“https://openalex.org/W2008287076“，”doi“：”https://doi.org/10.1007/s00224-013-9510-z“，”title“：”模态导数和自参照性中的史前图形“，”display_name“：”模型导数和自参考性中的历史前图形“；”publication_year“：2013，”publication_date“：”2013-12-07“，”ids“：{”openalex“：”https://openalex.org/W2008287076“，”doi“：”https://doi.org/10.1007/s00224-013-9510-z“，”mag“：”2008287076“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s00224-013-9510-z“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210177266“，”display_name“：”计算系统理论“，”issn_l“：”1432-4350“，”issn“：[”1432-4350“，”1433-0490“]，”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”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，url“：null，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5031985329“，”display_name“：”Junhua Yu“，”orcid“：”https://orcid.org/0000-0002-0714-1709}，“机构”：[{“id”：https://openalex.org/I174216632“，”display_name“：”纽约城市大学“，”ror“：”https://ror.org/00453a208“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I174216632“]}，{”id“：”https://openalex.org/I121847817“，”display_name“：”纽约市立大学研究生中心“，”ror“：”https://ror.org/00awd9g61“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I121847817“]}]，”countries“：[”US“]，”is_corresponding“：true，”raw_author_name“：”Junhua Yu“，”raw _affiliation_strings“：【”美国纽约城市大学研究生中心计算机科学博士项目“】，”affiliations“：”美国纽约城市大学研究生中心计算机科学博士课程“，“institution_ids”：[“https://openalex.org/I174216632","https://openalex.org/I121847817“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[”https://openalex.org/A5031985329“]，”对应的机构ID“：[”https://openalex.org/I174216632","https://openalex.org/I121847817“]，”apc_list“：{”value“：2290，”currency“：”EUR“，”value_usd“：2890，”provenance“：”doaj“}，”apc _payd“：null，”fwci“：0.442，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：3，”cited_by_percentile_year“：”{“min”：79，”max“：81}，“biblio”：{“volume”：“54”，“issue”：“2”，“first_p”年龄“：”190“，”last_page“：”210“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9999，”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.9999，”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.9984，“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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9962，”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/modal-logics网站“，”display_name“：”模态逻辑“，”score“：0.548695｝，｛”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.524729}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.51009}]，”concepts“：[{”id“：”https://openalex.org/C27508121，“wikidata”：https://www.wikidata.org/wiki/Q210841“，”display_name“：”模态逻辑“，”level“：3，”score“：0.6101382}，{”id“：”https://openalex.org/C114092440，“wikidata”：https://www.wikidata.org/wiki/Q840226“，”display_name“：”正常模式逻辑“，”level“：4，”score“：0.584264}，{”id“：”https://openalex.org/C192609573，“wikidata”：https://www.wikidata.org/wiki/Q7388341“，”display_name“：”S5“，”level“：5，”score“：0.5833498}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.5678989}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.56250393}，{”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.55111843}，{”id“：”https://openalex.org/C11191006，“wikidata”：https://www.wikidata.org/wiki/Q2663311“，”display_name“：”辅助功能关系“，”level“：4，”score“：0.54250044}，{”id“：”https://openalex.org/C160131679，“wikidata”：https://www.wikidata.org/wiki/Q2462350“，”display_name“：”Kripke语义“，”level“：4，”score“：0.503169}，{”id“：”https://openalex.org/C2781089630，“wikidata”：https://www.wikidata.org/wiki/Q21856745“，”display_name“：”实现（概率）“，”level“：2，”score“：0.48466733}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.44712245｝，｛”id“：”https://openalex.org/C132525143，“wikidata”：https://www.wikidata.org/wiki/Q141488“，”display_name“：”Graph“，”level“：2，”score“：0.4288941}，{”id“：”https://openalex.org/C178421362，“wikidata”：https://www.wikidata.org/wiki/Q176786“，”display_name“：”直觉主义逻辑“，”level“：3，”score“：0.41819704}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.41524038}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”“display_name”“：”“微积分（牙科）”“，”级别“：2，”分数“：0.41091833}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段上的代数“，”级别“：2，”分数“：0.3572657}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.3242801}，{”id“：”https://openalex.org/C28077239，“wikidata”：https://www.wikidata.org/wiki/Q841728“，”display_name“：”线性逻辑“，”level“：2，”score“：0.29690623｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.23660874}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”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/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：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/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C188027245，“wikidata”：https://www.wikidata.org/wiki/Q750446“，”display_name“：”聚合物化学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s00224-013-9510-z“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210177266“，”display_name“：”计算系统理论“，”issn_l“：”1432-4350“，”isn“：[”1432-4300“，”1433-0490“]，”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“：”journal“}，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”sustainable_development_goals“：[]，”grants“：[]，”dataset“：[]，”version“：[]，”referenced_works_count“：6，”referenced_works“：[”https://openalex.org/W1570374618","https://openalex.org/W1992064866","https://openalex.org/W2043468053","https://openalex.org/W2045237008","https://openalex.org/W2146770397","https://openalex.org/W4249736722“]，”related_works“：[”https://openalex.org/W3128849256","https://openalex.org/W3111905456","https://openalex.org/W2766759918","https://openalex.org/W2352549085","https://openalex.org/W2271944696","https://openalex.org/W2171395754","https://openalex.org/W2101793126","https://openalex.org/W2077061463","https://openalex.org/W2039904055","https://openalex.org/W1558962892“]，”ngrams_url“：”https://api.openalex.org/works/W2008287076/ngrams网站“，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2008287076“，”counts_by_year“：[{”年“：2019，”cited_by_count“：1}，{”年份“：2017，”cited_by_count”：1}，{“年份”：2014，”citecd_by_count“：1}]，”updated_date“：”2024-06-26T18:13:57.421459“，”created_dates“：”2016-06-24“}”