｛“id”：“https://openalex.org/W2115558830“，”doi“：”https://doi.org/10.1109/sfcs.1977.30“，”title“：”递归域方程的范畴论解“，”display_name“：”递归域方程的范畴论解“，”publication_year“：1977，”publication_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/fcs.1977.30“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”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“：null}，”institutions“：[{”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“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]“apc_list”：null，”apc_payed“：null”，“fwci”：3.677，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：{”volume“：null，”issue“：nul，”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/temoral-reasoning网站“，”display_name“：”Temporal Reasoning“，”score“：0.495682}]，”concepts“：[{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：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“：[”Warwick大学“]，“type”：“repository”}，“license”：null，“licence_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”：9，“referrenced_works”：“https://openalex.org/W15230106082","https://openalex.org/W1546025443","https://openalex.org/W2062024564","https://openalex.org/W2073030937","https://openalex.org/W2080801189","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“]，”ngrams_url“：”https://api.openalex.org/works/W2115558830/ngrams“，”“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]，”雷诺兹“：[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“：[{“年份”：2022，”cited_by_count“：1}，{“年度”：2015，”ciped_by_cunt“：1'，{”year“:2014，”cited_by_count”：2}，”{“年”：2013，”citted_by_count“:1}、{“年号”：2012，”citecd_by/count“:1}]，”updated_date“：”2024-06-26T01:46:05.011240“，”created_date:“2016-06-24”}