Matches in Wikidata for { <http://www.wikidata.org/entity/Q114653853> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- Q114653853 description "2018 nî lūn-bûn" @default.
- Q114653853 description "2018年の論文" @default.
- Q114653853 description "2018年学术文章" @default.
- Q114653853 description "2018年学术文章" @default.
- Q114653853 description "2018年学术文章" @default.
- Q114653853 description "2018年学术文章" @default.
- Q114653853 description "2018年学术文章" @default.
- Q114653853 description "2018年学术文章" @default.
- Q114653853 description "2018年學術文章" @default.
- Q114653853 description "2018年學術文章" @default.
- Q114653853 description "2018年學術文章" @default.
- Q114653853 description "2018年學術文章" @default.
- Q114653853 description "2018年學術文章" @default.
- Q114653853 description "2018년 논문" @default.
- Q114653853 description "article científic" @default.
- Q114653853 description "article scientific" @default.
- Q114653853 description "article scientifique" @default.
- Q114653853 description "articol științific" @default.
- Q114653853 description "articolo scientifico" @default.
- Q114653853 description "artigo científico" @default.
- Q114653853 description "artigo científico" @default.
- Q114653853 description "artigo científico" @default.
- Q114653853 description "artikel ilmiah" @default.
- Q114653853 description "artikull shkencor" @default.
- Q114653853 description "artikulong pang-agham" @default.
- Q114653853 description "artykuł naukowy" @default.
- Q114653853 description "artículo científico publicado en 2018" @default.
- Q114653853 description "artículu científicu espublizáu en 2018" @default.
- Q114653853 description "bilimsel makale" @default.
- Q114653853 description "bài báo khoa học" @default.
- Q114653853 description "naučni članak" @default.
- Q114653853 description "scienca artikolo" @default.
- Q114653853 description "scientific article published in 2018" @default.
- Q114653853 description "scientific article published in March 2018" @default.
- Q114653853 description "scientific article published in March 2018" @default.
- Q114653853 description "teaduslik artikkel" @default.
- Q114653853 description "tieteellinen artikkeli" @default.
- Q114653853 description "tudományos cikk" @default.
- Q114653853 description "vedecký článok" @default.
- Q114653853 description "vetenskaplig artikel" @default.
- Q114653853 description "videnskabelig artikel udgivet marts 2018" @default.
- Q114653853 description "vitenskapelig artikkel" @default.
- Q114653853 description "vitskapeleg artikkel" @default.
- Q114653853 description "vědecký článek" @default.
- Q114653853 description "wetenschappelijk artikel" @default.
- Q114653853 description "wissenschaftlicher Artikel" @default.
- Q114653853 description "επιστημονικό άρθρο" @default.
- Q114653853 description "мақолаи илмӣ" @default.
- Q114653853 description "наукова стаття, опублікована в березні 2018" @default.
- Q114653853 description "научна статия" @default.
- Q114653853 description "научная статья" @default.
- Q114653853 description "научни чланак" @default.
- Q114653853 description "научни чланак" @default.
- Q114653853 description "מאמר מדעי" @default.
- Q114653853 description "مقالة بحثية نشرت في مارس 2018" @default.
- Q114653853 description "মার্চ ২০১৮-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q114653853 description "บทความทางวิทยาศาสตร์" @default.
- Q114653853 description "სამეცნიერო სტატია" @default.
- Q114653853 name "Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption" @default.
- Q114653853 type Item @default.
- Q114653853 label "Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption" @default.
- Q114653853 prefLabel "Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption" @default.
- Q114653853 P1433 Q114653853-4BA96D9A-1E38-4123-9690-F08540AFBA9E @default.
- Q114653853 P1476 Q114653853-FADCCCB6-C0A0-431B-85DE-7C1EEB2F8D6A @default.
- Q114653853 P2093 Q114653853-0458A5B1-1132-411C-AF40-0987745D8C4C @default.
- Q114653853 P2093 Q114653853-28D70D76-FFA8-4E99-9FCE-BD24F6FED19A @default.
- Q114653853 P2093 Q114653853-7FC93BB1-74D3-4211-93CB-B3B9E3974A40 @default.
- Q114653853 P2093 Q114653853-AE2ABEB0-D54A-43DC-8A1F-BE93F99AD958 @default.
- Q114653853 P2093 Q114653853-F667602A-096E-495B-8CD5-B51E9AC186C0 @default.
- Q114653853 P2093 Q114653853-F71ADDE6-07BD-4E7B-A6AB-850EBD141F61 @default.
- Q114653853 P304 Q114653853-5377E34B-7C0C-45C5-8605-1B73000B094C @default.
- Q114653853 P31 Q114653853-32287335-C04B-4A94-A921-D951B91B2805 @default.
- Q114653853 P356 Q114653853-D224417F-1B3F-4DCF-93C3-3BA7D6AA8EA1 @default.
- Q114653853 P433 Q114653853-CA0D3B79-3553-443E-A4FA-333E3E085CD8 @default.
- Q114653853 P478 Q114653853-9514EEA7-0E2C-406C-B57C-7BC48271185F @default.
- Q114653853 P577 Q114653853-E27B1638-C4DB-4BD8-B3DE-2868E63D19CA @default.
- Q114653853 P6104 Q114653853-7F325061-13BA-46E2-9C77-48510EDB0EF9 @default.
- Q114653853 P894 Q114653853-13F6F512-08A3-4BA3-B2E4-F03B72C3AC55 @default.
- Q114653853 P356 S1471068418000042 @default.
- Q114653853 P1433 Q15753262 @default.
- Q114653853 P1476 "Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption" @default.
- Q114653853 P2093 "F. BUENO" @default.
- Q114653853 P2093 "L. DARMAWAN" @default.
- Q114653853 P2093 "M. KLEMEN" @default.
- Q114653853 P2093 "M. V. HERMENEGILDO" @default.
- Q114653853 P2093 "P. LOPEZ-GARCIA" @default.
- Q114653853 P2093 "U. LIQAT" @default.
- Q114653853 P304 "167-223" @default.
- Q114653853 P31 Q13442814 @default.
- Q114653853 P356 "10.1017/S1471068418000042" @default.
- Q114653853 P433 "2" @default.
- Q114653853 P478 "18" @default.
- Q114653853 P577 "2018-03-01T00:00:00Z" @default.
- Q114653853 P6104 Q8487137 @default.
- Q114653853 P894 "1478.68170" @default.