{“id”：“https://openalex.org/W2115558830“，”doi“：”https://doi.org/10.1109/fcs.1977.30“，”title“：”The category-递归域方程的理论解“，”display_name“：”The category-theoretic solution of recursive domain equations“，”publication_year“：1977，”publitation_date“：”1977-09-01“，”ids“：{”openalex“：”https://openalex.org/W2115558830“，”doi“：”https://doi.org/10.1109/sfcs.1977.30“，”mag“：”2115558830“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/sfcs.1977.30“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”http://wrap.warwick.ac.uk/46312/1/wrap_Smyth_cs-rr-014.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5061751667“，”display_name“：”Michael B.Smyth“，”orcid“：”https://orcid.org/0000-0001-6074-6080}，“机构”：[{“id”：https://openalex.org/I130828816“，”display_name“：”利兹大学“，”ror“：”https://ror.org/024mrxd33“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I130828816“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”M.B.Smyth“，”raw _affiliation_strings“：[“英国利兹大学计算机科学系，利兹”]，”affiliations“：[{”raw _affiliation_string“：”英国利兹，利兹大学计算科学系，“institution_ids”：[”https://openalex.org/I130828816“]｝]｝，｛”author_position“：”last“，”author“：｛”id“：”https://openalex.org/A5070609290“，”display_name“：”Gordon Plotkin“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”G.D.Plotkin“，”raw _ afiliation_strings“：[“英国爱丁堡大学人工智能系”]，”affiliations“：[{”raw _affiliation_strong“：”英国爱丁伯格大学人工智能学院”，“institution_ids”：[“https://openalex.org/I98677209“]}]}]，”institution_assertions“：[]，”countries_distinct_count“：1，”institutions_disting_count”：2，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]、“apc_list”：null，“apc_payed”：nul，“fwci”：3.706，“has_fulltext_origin”：“ngrams”，“cited_by_count”：47，“citation_normalized_percentile”：{“value”：0.9 14191，“is_in_top_1_percent“：false，”is_in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：94，”max“：95}，“biblio”：{“volume”：null，“issue”：null:null，”first_page“：null”，”last_page“：null}”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9965，“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.9965，“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.9783，”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/T11596“，”“display_name”：“分布式约束优化问题和算法”，“score”：0.9594，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/isomorphism网站“，”display_name“：”同构（晶体学）“，”score“：0.6766827}，{”id“：”https://openalex.org/keywords/base网站“，”display_name“：”基础（线性代数）“，”分数“：0.5047051}，{”id“：”https://openalex.org/keywords/temoral-reasoning网站“，”display_name“：”Temporal Reasoning“，”score“：0.495682}]，”concepts“：[{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.78018564｝，｛”id“：”https://openalex.org/C203436722，“wikidata”：https://www.wikidata.org/wiki/Q902950“，”display_name“：”同构（晶体学）“，”level“：3，”score“：0.6766827}，{”id“：”https://openalex.org/C156772000，“wikidata”：https://www.wikidata.org/wiki/Q864475“，”display_name“：”Functor“，”level“：2，”score“：0.65541077}，{”id“：”https://openalex.org/C36503486，“wikidata”：https://www.wikidata.org/wiki/Q11235244“，”display_name“：”域（数学分析）“，”level“：2，”score“：0.57175326}，{”id“：”https://openalex.org/C61445026，“wikidata”：https://www.wikidata.org/wiki/Q217608“，”display_name“：”固定点“，”level“：2，”score“：0.55754393}，{”id“：”https://openalex.org/C12426560，“wikidata”：https://www.wikidata.org/wiki/Q189569“，”“display_name”“：”基础（线性代数）“，”级别“：2，”分数“：0.5047051}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.4458865}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.42876798}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.36692685}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.25253916}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.05704871}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C115624301，“wikidata”：https://www.wikidata.org/wiki/Q895901“，”display_name“：”Crystal structure“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C8010536，“wikidata”：https://www.wikidata.org/wiki/Q160398“，”display_name“：”Crystallography“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/sfcs.1977.30“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“http://wrap.warwick.ac.uk/46312/1/wrap_Smyth_cs-rr-014.pdf，“pdf_url”：http://wrap.warwick.ac.uk/46312/1/wrap_Smyth_cs-rr-014.pdf，“源”：{“id”：https://openalex.org/S4306400665“，”display_name“：”华威研究档案门户（华威大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I39555362“，”“host_organization_name”：“华威大学”，“host_organization_lineage”：[“https://openalex.org/I39555362“]，”host_organization_lineage_names“：[”华威大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”http://wrap.warwick.ac.uk/46312/1/wrap_Smyth_cs-rr-014.pdf，“pdf_url”：http://wrap.warwick.ac.uk/46312/1/wrap_Smyth_cs-rr-014.pdf，“源”：{“id”：https://openalex.org/S4306400665“，”display_name“：”华威研究档案门户（华威大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I39555362“，”“host_organization_name”：“华威大学”，“host_organization_lineage”：[“https://openalex.org/I39555362“]，”host_organization_lineage_names“：[”Warwick大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：24，“referrenced_works”：“https://openalex.org/W120771281","https://openalex.org/W1513741692","https://openalex.org/W1523016082","https://openalex.org/W1539165000","https://openalex.org/W1546025443","https://openalex.org/W1578370758","https://openalex.org/W1592287058","https://openalex.org/W1969857501","https://openalex.org/W1972289972","https://openalex.org/W1996648065","https://openalex.org/W2001008439","https://openalex.org/W2028000879","https://openalex.org/W2062024564","https://openalex.org/W2072497723","https://openalex.org/W2073030937","https://openalex.org/W2080801189","https://openalex.org/W2093541252","https://openalex.org/W2120713972","https://openalex.org/W2184268586","https://openalex.org/W2293510687","https://openalex.org/W4211265583","https://openalex.org/W4243711577","https://openalex.org/W4252093686","https://openalex.org/W655501358“]，”related_works“：[”https://openalex.org/W95605005","https://openalex.org/W4313181682","https://openalex.org/W4293316580","https://openalex.org/W3016872867","https://openalex.org/W2997389523","https://openalex.org/W2997091376","https://openalex.org/W2202270624","https://openalex.org/W1615487630","https://openalex.org/W1555265147","https://openalex.org/W112048059“]，”abstract_inverted_index“：{”The“：[0]，”solution“：[1,54]，”of“：[2,7,19,25,35,40,53,58]，”a“：[3,20,37,47,50]，”recursive“：[4]，”domain“：[5]，”equation“：[6]，”The“：[8,17,26,33]，”form“：9]，”D“：[10]，”~=“：[11]，”F（D）“：[12]，”may“：[13]，”be“：[14]，“查看”：[15]，“作为”：[16,46]，“查找”：[18]，“不动点”：[21,42]，“（向上”：[22]，“到”：[23,32]，“同构）”：[24]functor“：[27]，”F.“：[28]，”This“：[29]，”has“：[30]，”lead“：[31]，”idea“：[34]，”formulating“：[36]，”category-theoretic“：38]，”analogical“：[39]，”Tarski“：[41]，”hematich“：[43]，”for“：[44,49,55]，”lattices“：[45]，”base“：[48]，”general“：[51]，”method“：[22]，”This“：[P6]，“种类”：[57]，“等式；“：[59]，”参见“：[60]，”特别是“：[61]，”Reynolds“：[62]，”[1]，“：[63]，”魔杖“：[64]，”[2]，“：[65]，”Plotkin“：[66]，”[3]。“：[67]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2115558830“，”counts_by_year“：[{”year“:2022，”cited_by_count“：2}，{”year“：2021，”cited_by_count”：1}，}”year:2017，”citecd_by_count“：1}.，{“year”：2015，”citesd_by_count“:2}”，{年“：2014，”citted_by-count“:2}，”year：2013，”cieted_by/count“:1}，ated_date“：”2024-09-19T11:51:09.712787“，”创建日期“：”2016-06-24“}