{“id”：“https://openalex.org/W4297922698“，”doi“：”https://doi.org/10.1007/978-3-031-15629-8_12“，”title“：”The Quest for a Equity Semantic Base of Dense-Time Metric Temporal Logic“，”display_name“：”The Quest for an Equity语义Base of The Dense-Time-Metric Temperal Logic”，“publication_year”：2022，“publiction_date”：“2022-01-01”，“ids”：{“openalex”：“https://openalex.org/W4297922698“，”doi“：”https://doi.org/10.1007/978-3-031-15629-8_12“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-031-15629-8_12“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”host_organization_name“：”施普林格科学+商业媒体“，”host_organization_lineage“：[”https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5089746112“，”display_name“：”Martin Fr\u00e4nzle“，”orcid“：”https://orcid.org/0000-0002-9138-8340}，“机构”：[{“id”：https://openalex.org/I129877168“，”display_name“：”卡尔·冯·奥斯西茨基大学\u00e4t奥尔登堡“，”ror“：”网址：https://ror.org/033n9gh91“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I129877168“]}]，”国家“：[”DE“]，”is_corresponding“：true，”raw_author_name“：”Martin Fr\u00e4nzle“，”raw _affiliation_strings“：[“计算科学系，卡尔·冯·奥斯西基大学\u00e4 t Oldenburg，Ammerl\u00e 4nder Heerstra\u00dfe 114\u2013118，26129，德国奥尔登堡”]}]，”countries_distition_count“：1，”institutions_distiction_countcorresponding_author_id“：[”https://openalex.org/A5089746112“]，”对应的机构ID“：[”https://openalex.org/I129877168“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：{“value”：5000，“currench”：“EUR”，”value_ usd“:5392，“provenance”：“doaj”}，“has_fulltext”：false，“cited_by_count”：0，“cited_by_percentile_year”：{“min”：0”，“max”：67}，“issue”：null，“first_page”：“201”，“last_page”：“212”}，“is_retracted”：falseis_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9941，“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/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.983，“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/temporal-logic（https://openalex.org/keywords/temporal-logic）“，”display_name“：”时态逻辑“，”score“：0.612764}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”Separation Logic“，”score“：0.533545}]，”concepts“：[{”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时态逻辑“，”level“：2，”score“：0.7747328}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6987731}，{”id“：”https://openalex.org/C162670838，“wikidata”：https://www.wikidata.org/wiki/Q6057295“，”display_name“：”时间间隔逻辑“，”level“：3，”score“：0.67125714}，{”id“：”https://openalex.org/C4777664，“wikidata”：https://www.wikidata.org/wiki/Q1536492“，”display_name“：”线性时序逻辑“，”level“：2，”score“：0.6314922}，{”id“：”https://openalex.org/C11648818，“wikidata”：https://www.wikidata.org/wiki/Q2403081“，”display_name“：”动作的时序逻辑“，”level“：4，”score“：0.5724046}，{”id“：”https://openalex.org/C176217482，“wikidata”：https://www.wikidata.org/wiki/Q860554“，”display_name“：”公制（单位）“，”级别“：2，”分数“：0.5642117}，{”id“：”https://openalex.org/C1242560，“wikidata”：https://www.wikidata.org/wiki/Q189569“，”“display_name”“：”基础（线性代数）“，”级别“：2，”分数“：0.5164499}，{”id“：”https://openalex.org/C2777796570，“wikidata”：https://www.wikidata.org/wiki/Q2351326“，”display_name“：”动态逻辑（数字电子）“，”level“：4，”score“：0.4662083}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.44446164}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.43405902}，{”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.4118148}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.3940903}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.23587707}，{”id“：”https://openalex.org/C21547014，“wikidata”：https://www.wikidata.org/wiki/Q1423657“，”display_name“：”操作管理“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：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/C172385210，“wikidata”：https://www.wikidata.org/wiki/Q5339“，”display_name“：”晶体管“，”电平“：3，”分数“：0.0}，{”id“：”https://openalex.org/C165801399，“wikidata”：https://www.wikidata.org/wiki/Q25428“，”display_name“：”Voltage“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C162324750网址，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”Economics“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-031-15629-8_12“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”host_organization_name“：”施普林格科学+商业媒体“，”host_organization_lineage“：[”https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：10，“referenced_works“：[”https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W1607529814","https://openalex.org/W1986184086","https://openalex.org/W2059862967","https://openalex.org/W2077641253","https://openalex.org/W2134120396","https://openalex.org/W2167467151","https://openalex.org/W4239967476","https://openalex.org/W4252713891“]，”related_works“：[”https://openalex.org/W4232446061","https://openalex.org/W3201301","https://openalex.org/W2561906579","https://openalex.org/W2396555304","https://openalex.org/W2234817167","https://openalex.org/W2187214540","https://openalex.org/W2154920561","https://openalex.org/W2143050727","https://openalex.org/W2030926579","https://openalex.org/W1981384792“]，”ngrams_url“：”https://api.openalex.org/works/W4297922698/ngrams网站“，”“abstract_inverted_index”：{“The”：[0137]，“norrously”：[1]，“hard”：[2]，“decitability”：[3]，“problems”：[4]，“of”：[5,16,61,76,91144159173189207]，“dense-time”：[6208]，“metric”：[7190209]，“temporal”：[8112157176191210]，“logic”：[9158177192]，“have”：[10]，“historical”：[11]，“motived”：[12]，“inverted”13201]，“转换为”：[14202]，“表示“：[15]，”删除“：[17]，”无关“：[18]，”表达性“：[19]，”来自“：[20]，”这些“：[21]，”逻辑“：[22]，”两者“：[23]，”by“：[24,39110]，”限定“：[25,40]，”他们的“：[26]，”语法“：[27]，“这样的”：[28]，“that”：[291141148169]，“sequent”：[30]，“constraints”：[31181]，“（例如：”[32,57]，“准时）”：[33]，“are”：[34,50128]，“no”：[35]，“longer”：[36]，“可表达“：[37]，”和“：[38104193]，”该“：[41,45,59,77,83,88,99133156166180187]，”模型“：[42]，”类“：[43]，”即“：[44146]，”跟踪“：[46106]，”或“：[47107]，”轨迹“：[48108]，”它们“：[49]，”解释“：[51]，”关于“：[52]，”in“：[53,82155186]，”物理“：[54]，”合理“：[55]，“方式”：[56]，“边界”：[58]，“数字”：[60]，“状态”：[62]，“更改“：[63]，“可能”：[64]，“在”：[65]，“a”：[66152197]，“给定”：[67]，“时间”：[68]，“帧）。“：[69]，”In“：[70]，”this“：[71]，”note“：[72]，”we“：%73119]，”compare“：/74]，”variable“：[75134]，”later“：[78]，”语义“：[79135205]，”restrictions“：[80]，”accepteded“：[81]，”formal“：[84100]，”methods“：[85]，”community“：[86]，”to“：[87130]，”set“：[89]，”concept“：[90]，”band“：[92194]，“限制”：[93]，“基础”：[94]，“数字”：[95]，“信号”：[96]，“处理。“：[97]，”利用“：[98]，”桥接“：[101]，”介于“：[102132]，”信号“：[103]，”定时“：[105]，”中介“：[109]，”基于信号“：111174]，”逻辑“：[113]，”like“：[114]，”signal“：[115]，”Temporal“：[116]，”logic“：[117]，”[8]，“：[118]，”base“：[120]，”our“：[121]，”调查“：[122]，”on“：[123]182]，“暴露”：[124]，“特征”：[125]，“公式”：[126]，“能力”：[129]，“区分”：[131179]，“模型”：[136]，“想法”：[138]，“这里”：[139]，“是”：[140]，“不可区分”：%142]，“对”：[143]，“限制”：[145]，“配对”：[147]，“做”：[149]，“不是”：[150]，“特征”：[151]，“区别”：[153]，“公式”：[154]，“兴趣”：[160]，“可以”：[161178]，“be”：[162]，“考虑“：[163]，”等价。“：[164]，”不幸“：[165]，”结果“：[167]，“show”：[168]，“already”：[170]，“simple”：[171]，“fragments”：[172]，“metric-time”：[175]，“models”：[183]，“迄今为止”：[184]，“suggested”：[185]，“domain”：[188]，“limition”：[195]，“sparking”：[196]，“quest”：[198]，“for”：[199]，“additional”：[200]，“an”：[203]，“足够”：[204]，“based”：[206]，“逻辑”：[211]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W4297922698“，”counts_by_year“：[]，”updated_date“：”2024-05-16T07:56:55.581886“，”created_date:“2022-10-01”}“