{“id”：“https://openalex.org/W2123630974“，”doi“：”https://doi.org/10.109/lics.1991.151640“，”title“：”The fixed point property in synthetic domain theory“，”display_name“：”The fixed point property on synthesis domain ther论“，”publication_year“：2002，”publitation_date“：”2002-12-10“，”ids“：{”openalex“：”https://openalex.org/W2123630974“，”doi“：”https://doi.org/10.109/lics.1991.151640“，”mag“：”2123630974“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1991.151640“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5052539592“，”display_name“：”Paul Taylor“，”orcid“：”https://orcid.org/0000-0001-8743-7667}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”国家“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”P.Taylor“，”raw _affiliation_strings“：[“英国伦敦帝国理工学院计算系”]，”affiliations“：[{”raw _affiliation_string“：”英国伦敦帝国学院计算系“，”institution_ids“：[https://openalex.org/I47508984“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5052539592“]，”对应的机构ID“：[”https://openalex.org/I47508984“]，”apc_list“：null，”apc _ paid“：nul，”fwci“：3.433，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：55，”citation_normalized_percentile“：{”value“：0.776181，”is_in_top_1_percent“：false，”is_ in_top_ 10_percennt“：false}，”cited_by_percentile_year“：{”min“：93，”max“：94}，“biblio”：{“volume”：null“issue”：null，“first_page”：nul，“last_page”：null}is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11450“，”“display_name”：“软件开发中的模型驱动工程”，“score”：0.9996，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”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/T11450“，”“display_name”：“软件开发中的模型驱动工程”，“score”：0.9996，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”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.9859，“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/T11549“，”display_name“：”烯烃复分解化学“，”score“：0.9813，”subfield“：{”id“：”https://openalex.org/subfields/1605“，”display_name“：”有机化学“｝，”field“：｛”id“：”https://openalex.org/fields/16“，”display_name“：”Chemistry“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/domain-theory网站“，”display_name“：”领域理论“，”score“：0.67308336}，{”id“：”https://openalex.org/keywords/domain-specific-languages网站“，”display_name“：”领域特定语言“，”score“：0.519372｝，｛”id“：”https://openalex.org/keywords/bridge网站“，”display_name“：”Bridge（图论）“，”score“：0.46890533}]，”concepts“：[{”id“：”https://openalex.org/C36503486，“wikidata”：https://www.wikidata.org/wiki/Q11235244“，”display_name“：”域（数学分析）“，”level“：2，”score“：0.74809736}，{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”“display_name”“：”属性（哲学）“，”级别“：2，”分数“：0.69675905}，{”id“：”https://openalex.org/C29585364，“wikidata”：https://www.wikidata.org/wiki/Q1079166“，”display_name“：”领域理论“，”level“：2，”score“：0.67308336}，{”id“：”https://openalex.org/C28719098，“wikidata”：https://www.wikidata.org/wiki/Q44946“，”display_name“：”Point（geometry）“，”level“：2，”score“：0.5386671}，{”id“：”https://openalex.org/C61445026，“wikidata”：https://www.wikidata.org/wiki/Q217608“，”display_name“：”固定点“，”level“：2，”score“：0.50747055}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.4711978}，{”id“：”https://openalex.org/C100776233，“wikidata”：https://www.wikidata.org/wiki/Q2532492“，”display_name“：”Bridge（图论）“，”level“：2，”score“：0.46890533}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.41775435}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3948409}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段代数“，”级别“：2，”分数“：0.34165096}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.33111238}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.27956027}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.11379868}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.070035905}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.06510708｝，｛”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”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/C12632202，“wikidata”：https://www.wikidata.org/wiki/Q11180“，”display_name“：”内科“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1991.151640“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：17，“referrenced_works”：[”https://openalex.org/W1537602870","https://openalex.org/W1589741152","https://openalex.org/W2049362364","https://openalex.org/W2093541252","https://openalex.org/W2117318327","https://openalex.org/W2137702965","https://openalex.org/W2291208220","https://openalex.org/W2324455841","https://openalex.org/W247081748","https://openalex.org/W2575149513","https://openalex.org/W2579582130","https://openalex.org/W4206381645","https://openalex.org/W4211265583网址","https://openalex.org/W4243933121","https://openalex.org/W4285719527","https://openalex.org/W577129422","https://openalex.org/W81214682“]，”related_works“：[”https://openalex.org/W2368237856","https://openalex.org/W2340425834","https://openalex.org/W2104698307","https://openalex.org/W2089250532","https://openalex.org/W2002795397","https://openalex.org/W1972879445","https://openalex.org/W1969444028","https://openalex.org/W1562770917","https://openalex.org/W1530724957","https://openalex.org/W132199100“]，”abstract_inverted_index“：{”An“：[0]，”elemental“：[1]，”公理化“：[2]，”of“：[3]，”合成“：[4]，”域“：[5,25]，”理论“：[6]，”is“：[7,11,15,29]，”presented“：[8]，”and“：[9,23,59]，”it“：[10,14]，“show”：[12]，”that“：[13,32]，”sufficient“：[16]，“to”：[17,30]，“演绎”：[18]，“the”：[19,71]，“fixed”：[20]，“point”：[21]，“property”：[22]，“solve”：[24]方程。“：[26]，”The“：[27]，”aim“：[28]，”show“：[31]，”an“：[33,40]，”important“：[34]，”theverhemation“：[35]，”can“：[36,62]，”be“：[37,63]，”derived“：[38]，”from“：[39,45]，”abstract“：[41]，”axiomatization“：[42]，”to“：[43]，”than“：44]，”a“：[46,52,68]，”special“：[47]，”模型。“：[48]，”“Also，”“：[49]，”by“：[50]，”provided“：[51]，”common“：[53]，”framework“：[54]，”in“：[55]，”which“：[56]，”both“：[57]，”PER“：[58]，”classic“：[60]，”models“：[61]，”expressed“：[64]，”this“：[65]，”work“:[66]，”builds“：[67]，”bridge“：69]，”between“：[70]，”two<":[72],">“：[75]｝，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2123630974“，”counts_by_year“：[{”年“：2020，”cited_by_count“：1}，{”年份“：2017，”cited_by_count”：1}，{“年份”：2015，”citecd_by_count“：1}，”{“年”：2013，”citesd_by_count“:1}、{“年度”：2012，“cited_by_counts”：2}]，”updated_date“：”2024-09-19T14:47:01.097666“，”created_date:“2016-06-24”}