Matches in Wikidata for { <http://www.wikidata.org/entity/Q124978332> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- Q124978332 description "2013 nî lūn-bûn" @default.
- Q124978332 description "2013年の論文" @default.
- Q124978332 description "2013年学术文章" @default.
- Q124978332 description "2013年学术文章" @default.
- Q124978332 description "2013年学术文章" @default.
- Q124978332 description "2013年學術文章" @default.
- Q124978332 description "2013年學術文章" @default.
- Q124978332 description "2013년 논문" @default.
- Q124978332 description "article científic" @default.
- Q124978332 description "article scientific" @default.
- Q124978332 description "article scientifique" @default.
- Q124978332 description "articol științific" @default.
- Q124978332 description "articolo scientifico" @default.
- Q124978332 description "artigo científico" @default.
- Q124978332 description "artigo científico" @default.
- Q124978332 description "artigo científico" @default.
- Q124978332 description "artikel ilmiah" @default.
- Q124978332 description "artikull shkencor" @default.
- Q124978332 description "artikulong pang-agham" @default.
- Q124978332 description "artykuł naukowy" @default.
- Q124978332 description "artículo científico publicado en 2013" @default.
- Q124978332 description "artículu científicu" @default.
- Q124978332 description "bilimsel makale" @default.
- Q124978332 description "bài báo khoa học" @default.
- Q124978332 description "naučni članak" @default.
- Q124978332 description "scienca artikolo" @default.
- Q124978332 description "scientific article published in 2013" @default.
- Q124978332 description "teaduslik artikkel" @default.
- Q124978332 description "tieteellinen artikkeli" @default.
- Q124978332 description "tudományos cikk" @default.
- Q124978332 description "vedecký článok" @default.
- Q124978332 description "vetenskaplig artikel" @default.
- Q124978332 description "videnskabelig artikel udgivet 19. september 2013" @default.
- Q124978332 description "vitenskapelig artikkel" @default.
- Q124978332 description "vitskapeleg artikkel" @default.
- Q124978332 description "vědecký článek" @default.
- Q124978332 description "wetenschappelijk artikel" @default.
- Q124978332 description "wissenschaftlicher Artikel" @default.
- Q124978332 description "znanstveni članek" @default.
- Q124978332 description "επιστημονικό άρθρο" @default.
- Q124978332 description "мақолаи илмӣ" @default.
- Q124978332 description "наукова стаття, опублікована у вересні 2013" @default.
- Q124978332 description "научна статия" @default.
- Q124978332 description "научная статья" @default.
- Q124978332 description "научни чланак" @default.
- Q124978332 description "научни чланак" @default.
- Q124978332 description "מאמר מדעי" @default.
- Q124978332 description "مقالة بحثية نشرت في 19 سبتمبر 2013" @default.
- Q124978332 description "১৯ সেপ্টেম্বর ২০১৩-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q124978332 description "บทความทางวิทยาศาสตร์" @default.
- Q124978332 description "სამეცნიერო სტატია" @default.
- Q124978332 name "Counterexample-guided abstraction refinement for linear programs with arrays" @default.
- Q124978332 type Item @default.
- Q124978332 label "Counterexample-guided abstraction refinement for linear programs with arrays" @default.
- Q124978332 prefLabel "Counterexample-guided abstraction refinement for linear programs with arrays" @default.
- Q124978332 P1433 Q124978332-9F8DFFA9-57A6-4DBD-8D91-70851478CBBE @default.
- Q124978332 P1476 Q124978332-7E407FCB-8414-488E-9D75-F39F360E69F9 @default.
- Q124978332 P2093 Q124978332-5A674CE0-CB2D-4788-A188-50AEA0D42079 @default.
- Q124978332 P2093 Q124978332-DFC35374-F8CD-460D-A1B0-867F7D461851 @default.
- Q124978332 P2093 Q124978332-E7783ED0-9066-4CB4-AECA-CE69E4011109 @default.
- Q124978332 P304 Q124978332-8F1F062E-37A6-4353-A8B6-297B3EC6AD50 @default.
- Q124978332 P31 Q124978332-94584661-C950-43F2-9D6B-0058F2CBF986 @default.
- Q124978332 P356 Q124978332-5ADF7416-B83E-4BDD-B7EA-CBA68602F060 @default.
- Q124978332 P433 Q124978332-DE8199BA-F0C9-4F31-9461-C13C5CACD8C6 @default.
- Q124978332 P478 Q124978332-CF745A00-0B61-41B1-91D2-117121E38D10 @default.
- Q124978332 P577 Q124978332-2F264FCF-C28E-4B37-8200-9BD60701A883 @default.
- Q124978332 P356 S10515-013-0132-0 @default.
- Q124978332 P1433 Q15758844 @default.
- Q124978332 P1476 "Counterexample-guided abstraction refinement for linear programs with arrays" @default.
- Q124978332 P2093 "Alessandro Armando" @default.
- Q124978332 P2093 "Jacopo Mantovani" @default.
- Q124978332 P2093 "Massimo Benerecetti" @default.
- Q124978332 P304 "225-285" @default.
- Q124978332 P31 Q13442814 @default.
- Q124978332 P356 "10.1007/S10515-013-0132-0" @default.
- Q124978332 P433 "2" @default.
- Q124978332 P478 "21" @default.
- Q124978332 P577 "2013-09-19T00:00:00Z" @default.