Matches in Wikidata for { <http://www.wikidata.org/entity/Q113317689> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- Q113317689 description "2016 nî lūn-bûn" @default.
- Q113317689 description "2016年の論文" @default.
- Q113317689 description "2016年学术文章" @default.
- Q113317689 description "2016年学术文章" @default.
- Q113317689 description "2016年学术文章" @default.
- Q113317689 description "2016年学术文章" @default.
- Q113317689 description "2016年学术文章" @default.
- Q113317689 description "2016年学术文章" @default.
- Q113317689 description "2016年學術文章" @default.
- Q113317689 description "2016年學術文章" @default.
- Q113317689 description "2016年學術文章" @default.
- Q113317689 description "2016年學術文章" @default.
- Q113317689 description "2016年學術文章" @default.
- Q113317689 description "2016년 논문" @default.
- Q113317689 description "article científic" @default.
- Q113317689 description "article scientific" @default.
- Q113317689 description "article scientifique" @default.
- Q113317689 description "articol științific" @default.
- Q113317689 description "articolo scientifico" @default.
- Q113317689 description "artigo científico" @default.
- Q113317689 description "artigo científico" @default.
- Q113317689 description "artigo científico" @default.
- Q113317689 description "artikel ilmiah" @default.
- Q113317689 description "artikull shkencor" @default.
- Q113317689 description "artikulong pang-agham" @default.
- Q113317689 description "artykuł naukowy" @default.
- Q113317689 description "artículo científico publicado en 2016" @default.
- Q113317689 description "artículu científicu espublizáu n'abril de 2016" @default.
- Q113317689 description "bilimsel makale" @default.
- Q113317689 description "bài báo khoa học" @default.
- Q113317689 description "naučni članak" @default.
- Q113317689 description "scienca artikolo" @default.
- Q113317689 description "scientific article published on 16 April 2016" @default.
- Q113317689 description "scientific article published on 16 April 2016" @default.
- Q113317689 description "scientific article published on 16 April 2016" @default.
- Q113317689 description "teaduslik artikkel" @default.
- Q113317689 description "tieteellinen artikkeli" @default.
- Q113317689 description "tudományos cikk" @default.
- Q113317689 description "vedecký článok" @default.
- Q113317689 description "vetenskaplig artikel" @default.
- Q113317689 description "videnskabelig artikel udgivet 16. april 2016" @default.
- Q113317689 description "vitenskapelig artikkel" @default.
- Q113317689 description "vitskapeleg artikkel" @default.
- Q113317689 description "vědecký článek" @default.
- Q113317689 description "wetenschappelijk artikel" @default.
- Q113317689 description "wissenschaftlicher Artikel" @default.
- Q113317689 description "επιστημονικό άρθρο" @default.
- Q113317689 description "мақолаи илмӣ" @default.
- Q113317689 description "наукова стаття, опублікована у квітні 2016" @default.
- Q113317689 description "научна статия" @default.
- Q113317689 description "научная статья" @default.
- Q113317689 description "научни чланак" @default.
- Q113317689 description "научни чланак" @default.
- Q113317689 description "מאמר מדעי" @default.
- Q113317689 description "مقالة بحثية نشرت في 16 أبريل 2016" @default.
- Q113317689 description "১৬ এপ্রিল ২০১৬-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113317689 description "บทความทางวิทยาศาสตร์" @default.
- Q113317689 description "სამეცნიერო სტატია" @default.
- Q113317689 name "Constraining Cycle Alternations in Model Checking for Interval Temporal Logic" @default.
- Q113317689 type Item @default.
- Q113317689 label "Constraining Cycle Alternations in Model Checking for Interval Temporal Logic" @default.
- Q113317689 prefLabel "Constraining Cycle Alternations in Model Checking for Interval Temporal Logic" @default.
- Q113317689 P1433 Q113317689-30272747-F497-4221-8241-D54D9F3394EF @default.
- Q113317689 P1476 Q113317689-F1CF3134-B6E2-40D7-9F3B-8F399BC32F09 @default.
- Q113317689 P2093 Q113317689-47D8B2A2-F60C-4CC9-819C-2F7270399797 @default.
- Q113317689 P2093 Q113317689-63D3DD9C-B3D3-4913-A04D-F1F7A6D09C6B @default.
- Q113317689 P2093 Q113317689-7EFF705C-8863-4CBB-B4ED-FF8F5EF727EB @default.
- Q113317689 P304 Q113317689-4B10B5A7-DDAB-4071-80E0-CF1A74B830DC @default.
- Q113317689 P31 Q113317689-A2D03505-C05C-419F-B472-4B34E5DA43CB @default.
- Q113317689 P356 Q113317689-D3BA241E-91D8-4B5A-8C0F-2C8CBD58F769 @default.
- Q113317689 P478 Q113317689-3BD67A24-50A6-4B39-958A-EFD6ADC7C3CB @default.
- Q113317689 P577 Q113317689-857877C2-2510-4F0C-A29F-F4B92D76EE84 @default.
- Q113317689 P6104 Q113317689-9575D304-E762-4300-A687-5FF8D22B898B @default.
- Q113317689 P894 Q113317689-722B9BAE-C9A7-470F-B703-1BA02D4B9F45 @default.
- Q113317689 P356 J.ENTCS.2016.03.015 @default.
- Q113317689 P1433 Q5358287 @default.
- Q113317689 P1476 "Constraining Cycle Alternations in Model Checking for Interval Temporal Logic" @default.
- Q113317689 P2093 "Adriano Peron" @default.
- Q113317689 P2093 "Alberto Molinari" @default.
- Q113317689 P2093 "Angelo Montanari" @default.
- Q113317689 P304 "211-226" @default.
- Q113317689 P31 Q13442814 @default.
- Q113317689 P356 "10.1016/J.ENTCS.2016.03.015" @default.
- Q113317689 P478 "322" @default.
- Q113317689 P577 "2016-04-16T00:00:00Z" @default.
- Q113317689 P6104 Q8487137 @default.
- Q113317689 P894 "1345.68221" @default.