｛“id”：“https://openalex.org/W2296037021“，”doi“：”https://doi.org/10.4230/lipics.csl.2015.193“，”title“：”A Model Checking Procedure for Interval Temporal Logics based on Track Representatives“，”display_name“：”B Model Check Procedure of Interval Timeoral Logics-based on TrackRepresentations“，”publication_year“：2015，”B publication_date“：”2015年1月1日“，”D“：{”openalex“：”https://openalex.org/W2296037021“，”doi“：”https://doi.org/10.4230/lipics.csl.2015.193“，”mag“：”2296037021“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”http://dx.doi.org/10.4230/LIPIcs.CSL.2015.193“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306417978“，”“display_name”“：”“Computer Science Logic”“，”：“文章“，”type_crossref“：”proceedings-article“，”indexed_in“：[]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：“first”，”author“：”{“id”https://openalex.org/A5015572946“，”display_name“：”Alberto Molinari“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I129043915“，”display_name“：”乌迪内大学“，”ror“：”https://ror.org/05ht0mh31“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I129043915“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Alberto Molinari“，”raw _ afiliation_strings“：[]，”从属关系“：[]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5015702335“，”display_name“：”Angelo Montanari“，”orcid“：”https://orcid.org/0000-0002-4322-769X}，“机构”：[{“id”：https://openalex.org/I129043915“，”display_name“：”乌迪内大学“，”ror“：”https://ror.org/05ht0mh31“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I129043915“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Angelo Montanari“，”raw _affiliation_strings“：[“乌迪内大学”]，”affiliations“：[{”raw _affiliation_string“：”乌迪内学院“，”institution_ids“：[https://openalex.org/I129043915“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5000697088“，”display_name“：”Adriano Peron“，”orcid“：”https://orcid.org/0000-0002-7111-3171}，“机构”：[{“id”：https://openalex.org/I71267560“，”display_name“：”那不勒斯大学费德里科二世“，”ror“：”https://ror.org/05290cv24“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I71267560“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Adriano Peron“，”raw _affiliation_strings“：[“那不勒斯大学\u201cFederico II\u201d”]，”affiliations“：[{”raw _affiliation_string“：”那不勒斯学院\u201c Federico-II\u201 d“，”institution_ids“：[https://openalex.org/I71267560“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：null，”apc_payd“：null、”fwci“：2.531，”has_fulltext“：false，”cited_by_count：9，“cited_by_percentile_year”：{“min”：87，”max“：88}，”biblio“：{”volume“：”41“，”问题“：null，”first_page“：”193“，”last_page“：”210“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：1.0，“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”：1.0，“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.9992，“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.996，”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/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.632327}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.561898}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.549079}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.532008}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”Separation Logic“，”score“：0.520261}]，”concepts“：[{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.82792765}，{”id“：”https://openalex.org/C162670838，“wikidata”：https://www.wikidata.org/wiki/Q6057295“，”display_name“：”时间间隔逻辑“，”level“：3，”score“：0.79589355}，{”id“：”https://openalex.org/C161913894，“wikidata”：https://www.wikidata.org/wiki/Q1077740“，”display_name“：”Kripke结构“，”level“：3，”score“：0.7656765}，{”id“：”https://openalex.org/C27508121，“wikidata”：https://www.wikidata.org/wiki/Q210841“，”display_name“：”模态逻辑“，”level“：3，”score“：0.7055275}，{”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时态逻辑“，”level“：2，”score“：0.6488993}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6475486｝，｛”id“：”https://openalex.org/C4777664，“wikidata”：https://www.wikidata.org/wiki/Q1536492“，”display_name“：”线性时序逻辑“，”level“：2，”score“：0.6377066}，{”id“：”https://openalex.org/C30888246，“wikidata”：https://www.wikidata.org/wiki/Q4669969“，”display_name“：”抽象模型检查“，”level“：3，”score“：0.61828446}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.59018904}，{”id“：”https://openalex.org/C198008173，“wikidata”：https://www.wikidata.org/wiki/Q1040040“，”display_name“：”计算树逻辑“，”level“：3，”score“：0.5677953}，{”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.51234543}，{”id“：”https://openalex.org/C160131679，“wikidata”：https://www.wikidata.org/wiki/Q2462350“，”display_name“：”Kripke semantics“，”level“：4，”score“：0.50766313}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.50447047}，{”id“：”https://openalex.org/C2778067643，“wikidata”：https://www.wikidata.org/wiki/Q166507“，”display_name“：”区间（图论）“，”level“：2，”score“：0.4737685}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.26207042}，{”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.25559545}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.18625253}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.082258165}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C188027245，“wikidata”：https://www.wikidata.org/wiki/Q750446“，”display_name“：”聚合物化学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”http://dx.doi.org/10.4230/LIPIcs.CSL.2015.193“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306417978“，”“display_name”“：”“Computer Science Logic”“，”best_oa_location“：null，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[】，”referenced_works_count“：23，”referinced_works“：[”https://openalex.org/W1523652916","https://openalex.org/W1541152994","https://openalex.org/W174715067","https://openalex.org/W1970275850","https://openalex.org/W1978654873","https://openalex.org/W1983967297","https://openalex.org/W1992189872","https://openalex.org/W1997064673","https://openalex.org/W2004536649","https://openalex.org/W2007939755","https://openalex.org/W2011132281","https://openalex.org/W2062273688","https://openalex.org/W2077641253","https://openalex.org/W2087983477","https://openalex.org/W2138362538","https://openalex.org/W2144039444","https://openalex.org/W2144311624","https://openalex.org/W2161484642","https://openalex.org/W2293667833","https://openalex.org/W2340735175","https://openalex.org/W2397190355","https://openalex.org/W2403477658","https://openalex.org/W2913459036“]，”related_works“：[”https://openalex.org/W2952938415","https://openalex.org/W2573949374","https://openalex.org/W2496700262","https://openalex.org/W2420136928","https://openalex.org/W2293667833","https://openalex.org/W2240104429","https://openalex.org/W2161484642","https://openalex.org/W2087983477","https://openalex.org/W2023808162","https://openalex.org/W2011132281","https://openalex.org/W2007939755","https://openalex.org/W2004536649","https://openalex.org/W2004306067","https://openalex.org/W1997064673","https://openalex.org/W1978654873","https://openalex.org/W1970275850","https://openalex.org/W1786588788","https://openalex.org/W174715067","https://openalex.org/W1541152994","https://openalex.org/W1529693658“]，”ngrams_url“：”https://api.openalex.org/works/W2296037021/ngrams网站“，”“abstract_inverted_index”：{“Model”：[0]，“checking”：[1,43,81]，“is”：[2,30]，“communic”：[3]，“recognized”：[4]，“as”：[5]，“one”：[6,96]，“of”：[7,24,51,67,70102]，“the”：[8,22,35,68,71]，“most”：[9]，“effectived”：[10]，“tool”：[11]，“in”：[12,21,34]，“system”：[13]，“verification”.“：[14]，”While“：[15]，”it“：[16,29]，”has“：[17,60]，”been“：[18,61]，”systemally“：[19]，”调查“：[20]，“上下文”：[23]，“经典”：[25]，“基于点”：[26]，“时态”：[27]，“逻辑”：[28]，“静止”：[31]，“大部分”：[32]，“未探索”：[33]，“间隔”：[36]，“逻辑学”：[37,50]，“设置”。“：[38]，”最近，“：[39]，”a“：[40,65,90103]，”非初等“：[41]，”模型“：[42,80]，”算法“：[44]，”for“：[45,83]，”Halpern“：[46]，”and“：[47]，”Shoham's“：[48]，”modal“：[49]，”time“：[52]，”intervals“：[53]，”HS“，”：[54]，”解释“：[55]，”over“：[56]，”有限“：[57]，“克里普克”：[58104]，“结构”，：[59]，“提议”，：/62]，“一起”：[63]，“with”：[64]，“证明”：[66]，“EXPSPACE-hardness“：[69]，”问题。“：[72]，”In“：[73]，”this“：[74]，”paper“：[75]，”we“：76]，”device“：[77]，”an“：[78]，”EXPSPACE“：[79]，”procedure“：[82]，”two“：[84]，”sential“：[85]，”HS“：+86]，”fragments。“：[87]，“It”：[88]，“exploits”：[89]，“suitable”：[91]，“construction”：[92]，“technique”：[93]，“that”：[94]，“allows”：：[95]，“to”：[97]，“replace”：[98]，“long”：[99]，“enough”：[100]，“tracks”：[101]，“structure”：[105]，“by”：[106]，“equivalent”：[107]，“shorter”：[108]，“ones”。“：[109]｝，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2296037021“，”counts_by_year“：[{”年“：2020，”cited_by_count“：1}，{”年份“：2019，”cited_by_count”：1}，{“年份”：2018，”citecd_by_count“：1}，”{“年”：2017，”citesd_by_count“:3}，“年”:2016，”citted_by-count“:2}，编辑日期：“2016-06-24”}