｛“id”：“https://openalex.org/W1603366645“，”doi“：”https://doi.org/10.1007/978-3-540-77966-7_6“，”title“：”On the Characterization of Until as a Fixed Point Under Under Clocked Semantics“，”display_name“：”On the Charactorization of Until as a Fix Point Under Cloked Semanities“，”publication_year“：2008，”publiation_date“：”2008-02-01“，”ids“：{”openalex“：”https://openalex.org/W1603366645“，”doi“：”https://doi.org/10.1007/978-3-540-77966-7_6“，”mag“：”1603366645“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-77966-7_6“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P431031965“，”host_organization_name“：”施普林格自然“，”host_organization_lineage“：[”https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“电子书平台”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，“indexed_in”：[”crossref“]，空，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5003817717“，”display_name“：”Dana Fisman“，”orcid“：”https://orcid.org/0000-0002-6015-4170}，“机构”：[{“id”：https://openalex.org/I121297525“，”display_name“：”希伯来语学院“，”ror“：”https://ror.org/05y3p3k12“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I121297525“]}，{”id“：”https://openalex.org/I4210167297“，”display_name“：”IBM Research-海法“，”ror“：”https://ror.org/05rw9t746“，”“country_code”“：”IL“，”type“：”facility“，”lineage“：[”https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297“]｝]，”国家“：[”伊利诺伊州“，”美国“]，”is_correresponsing“：true，”raw_author_name“：”Dana Fisman“，”raw_affiation_strings“：[”希伯来大学“，”IBM海法研究实验室“，]，”附属机构“：[｛”raw_affiation_string“：”希伯来大学“，”institution_ids“：[”https://openalex.org/I121297525“]}，{”raw_affiliation_string“：”IBM海法研究实验室“，”institution_ids“：[”https://openalex.org/I4210167297“]}]}]，”countries_disticont_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[“https://openalex.org/A5003817717“]，”对应机构_ids“：[”https://openalex.org/I121297525","https://openalex.org/I4210167297“]，”apc_list“：null，”apc_payd“：null，”fwci“：0.844，”has_fulltext“：false，”cited_by_count“：3，”cited_by_percentle_year“：｛”min“：77，”max“：79｝，”biblio“：｛”volume“：null，”issue“：null，”first_page“：”19“，”last_page“：”33“｝，”is_reracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”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/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“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/T10363“，”display_name“：”低功耗VLSI电路设计与优化“，”score“：0.9986，”subfield“：{”id“：”https://openalex.org/subfields/2208“，”display_name“：”电气与电子工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.554294}，{”id“：”https://openalex.org/keywords/统计时间分析“，”display_name“：”统计计时分析“，”score“：0.52293}，{”id“：”https://openalex.org/keywords/system-level-design网站“，”display_name“：”系统级设计“，”score“：0.501004}]，”概念“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6282747}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.6175433}，{”id“：”https://openalex.org/C61445026，“wikidata”：https://www.wikidata.org/wiki/Q217608“，”display_name“：”固定点“，”level“：2，”score“：0.60844797}，{”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时序逻辑“，”level“：2，”score“：0.5792161}，{”id“：”https://openalex.org/C17020691，“wikidata”：https://www.wikidata.org/wiki/Q139677“，”display_name“：”运算符（生物学）“，”level“：5，”score“：0.53619623}，{”id“：”https://openalex.org/C2780841128，“wikidata”：https://www.wikidata.org/wiki/Q5073781“，”“display_name”：“表征（材料科学）”，“级别”：2，“分数”：0.50404614}，{“id”：“https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.47396848}，{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.44112253}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.37490088}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.34444195｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.22404268}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”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/C192562407，“wikidata”：https://www.wikidata.org/wiki/Q228736“，”display_name“：”材料科学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C158448853，“wikidata”：https://www.wikidata.org/wiki/Q425218“，”display_name“：”Repressor“，”level“：4，”score“：0.0}，{”id“：”https://openalex.org/C86339819，“wikidata”：https://www.wikidata.org/wiki/Q407384“，”display_name“：”转录因子“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C171250308，“wikidata”：https://www.wikidata.org/wiki/Q11468“，”display_name“：”Nanotechnology“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-77966-7_6“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P431031965“，”host_organization_name“：”施普林格自然“，”host_organization_lineage“：[”https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“电子书平台”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[{“display_name”：“减少不平等”，“score”：0.52，“id”：“https://metadata.un.org/sdg/10“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：12，”referrenced_works“：【”https://openalex.org/W1492291048","https://openalex.org/W1507658300","https://openalex.org/W1512310098","https://openalex.org/W1525390211","https://openalex.org/W1587782590","https://openalex.org/W2015640848","https://openalex.org/W2023808162","https://openalex.org/W2040127143","https://openalex.org/W2046213250","https://openalex.org/W2130025446","https://openalex.org/W2561675875","https://openalex.org/W4239884176“]，”related_works“：[”https://openalex.org/W651098627","https://openalex.org/W4247143848","https://openalex.org/W4206825956","https://openalex.org/W330727063","https://openalex.org/W3107994849","https://openalex.org/W29442446","https://openalex.org/W2896904446","https://openalex.org/W2735573198","https://openalex.org/W2009883749","https://openalex.org/W1483407203“]，”ngrams_url“：”https://api.openalex.org/works/W1603366645/ngrams“，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1603366645“，”counts_by_year“：[{”年“：2018，”cited_by_count“：1}]，”更新日期“：”2024-06-26T11:35:50.071991“，”创建日期“：“2016-06-24”}