Matches in Wikidata for { <http://www.wikidata.org/entity/Q38366581> ?p ?o ?g. }
- Q38366581 description "2015 nî lūn-bûn" @default.
- Q38366581 description "2015年の論文" @default.
- Q38366581 description "2015年学术文章" @default.
- Q38366581 description "2015年学术文章" @default.
- Q38366581 description "2015年学术文章" @default.
- Q38366581 description "2015年学术文章" @default.
- Q38366581 description "2015年学术文章" @default.
- Q38366581 description "2015年學術文章" @default.
- Q38366581 description "2015年學術文章" @default.
- Q38366581 description "2015年學術文章" @default.
- Q38366581 description "2015年學術文章" @default.
- Q38366581 description "2015年學術文章" @default.
- Q38366581 description "2015年學術文章" @default.
- Q38366581 description "2015년 논문" @default.
- Q38366581 description "article científic" @default.
- Q38366581 description "article scientific" @default.
- Q38366581 description "article scientifique (publié 2015)" @default.
- Q38366581 description "articol științific" @default.
- Q38366581 description "articolo scientifico" @default.
- Q38366581 description "artigo científico (publicado na 2015)" @default.
- Q38366581 description "artigo científico (publicado na 2015)" @default.
- Q38366581 description "artigo científico" @default.
- Q38366581 description "artikel ilmiah" @default.
- Q38366581 description "artikull shkencor" @default.
- Q38366581 description "artikulong pang-agham" @default.
- Q38366581 description "artykuł naukowy" @default.
- Q38366581 description "artículo científico publicado en 2015" @default.
- Q38366581 description "artículu científicu espublizáu en 2015" @default.
- Q38366581 description "bilimsel makale" @default.
- Q38366581 description "bài báo khoa học" @default.
- Q38366581 description "mokslinis straipsnis" @default.
- Q38366581 description "naučni članak" @default.
- Q38366581 description "scienca artikolo" @default.
- Q38366581 description "scientific article published on 17 April 2015" @default.
- Q38366581 description "scientific article published on 17 April 2015" @default.
- Q38366581 description "scientific article published on 17 April 2015" @default.
- Q38366581 description "teaduslik artikkel" @default.
- Q38366581 description "tieteellinen artikkeli" @default.
- Q38366581 description "tudományos cikk" @default.
- Q38366581 description "vedecký článok" @default.
- Q38366581 description "vetenskaplig artikel" @default.
- Q38366581 description "videnskabelig artikel (udgivet 2015)" @default.
- Q38366581 description "vitenskapelig artikkel" @default.
- Q38366581 description "vitskapeleg artikkel" @default.
- Q38366581 description "vědecký článek" @default.
- Q38366581 description "wetenschappelijk artikel" @default.
- Q38366581 description "wissenschaftlicher Artikel" @default.
- Q38366581 description "επιστημονικό άρθρο" @default.
- Q38366581 description "мақолаи илмӣ" @default.
- Q38366581 description "мақолаи илмӣ" @default.
- Q38366581 description "наукова стаття, опублікована у квітні 2015" @default.
- Q38366581 description "научна статия" @default.
- Q38366581 description "научная статья" @default.
- Q38366581 description "научни чланак" @default.
- Q38366581 description "научни чланак" @default.
- Q38366581 description "գիտական հոդված" @default.
- Q38366581 description "מאמר מדעי" @default.
- Q38366581 description "سائنسی مضمون" @default.
- Q38366581 description "مقالة علمية نشرت بتاريخ 17-4-2015" @default.
- Q38366581 description "مقالهٔ علمی" @default.
- Q38366581 description "২০১৫-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q38366581 description "บทความทางวิทยาศาสตร์" @default.
- Q38366581 description "სამეცნიერო სტატია" @default.
- Q38366581 name "Under-approximating loops in C programs for fast counterexample detection" @default.
- Q38366581 name "Under-approximating loops in C programs for fast counterexample detection" @default.
- Q38366581 name "Under-approximating loops in C programs for fast counterexample detection" @default.
- Q38366581 type Item @default.
- Q38366581 label "Under-approximating loops in C programs for fast counterexample detection" @default.
- Q38366581 label "Under-approximating loops in C programs for fast counterexample detection" @default.
- Q38366581 label "Under-approximating loops in C programs for fast counterexample detection" @default.
- Q38366581 prefLabel "Under-approximating loops in C programs for fast counterexample detection" @default.
- Q38366581 prefLabel "Under-approximating loops in C programs for fast counterexample detection" @default.
- Q38366581 prefLabel "Under-approximating loops in C programs for fast counterexample detection" @default.
- Q38366581 P1433 Q38366581-EAA0B3DD-023C-4DE6-AC21-57645BDF5299 @default.
- Q38366581 P1476 Q38366581-B5B90A29-326F-40F1-BE24-B285757A8205 @default.
- Q38366581 P2093 Q38366581-AE0763FC-F59C-4A6A-B7F9-944569E00F2D @default.
- Q38366581 P275 Q38366581-4ea1d17f-ce18-4c3e-86a6-a3df33718325 @default.
- Q38366581 P2888 Q38366581-47B4747C-1BFF-4498-98C7-9E7E7BF6BAD1 @default.
- Q38366581 P304 Q38366581-08D3EADB-E19D-4730-92AA-65EFE5CBC2C7 @default.
- Q38366581 P31 Q38366581-AE51153C-5B7B-4098-950E-A9AB6B7798DF @default.
- Q38366581 P356 Q38366581-3F509F2A-B37D-4A6F-B216-6B0201A9E455 @default.
- Q38366581 P478 Q38366581-4859FC01-ED00-4FD8-9DC1-D6AF23DAC49C @default.
- Q38366581 P50 Q38366581-90DB947A-921B-4880-BA7A-3D05A30D136B @default.
- Q38366581 P50 Q38366581-C325915D-D0CE-4C99-B67C-653FE3D5D6B1 @default.
- Q38366581 P577 Q38366581-0E10DD46-1B8B-46B3-B1D4-7EA599FC039D @default.
- Q38366581 P6104 Q38366581-99D2825B-F4E4-49C5-8E73-FED7B0AA2F85 @default.
- Q38366581 P6179 Q38366581-18240D89-9A11-4DD0-804B-67D435927D30 @default.
- Q38366581 P6216 Q38366581-59c18bc4-0b7c-459c-87cc-ad8485dadd60 @default.
- Q38366581 P698 Q38366581-C81D94D5-D95B-4ADD-AF52-1A1551F26312 @default.
- Q38366581 P894 Q38366581-84210F0C-CB2E-44B0-B7C8-A4FC6741A55F @default.
- Q38366581 P8978 Q38366581-6ACABE30-8B1B-4084-ADAE-113A4854828F @default.
- Q38366581 P932 Q38366581-D54DF6EA-245B-4771-B560-55C7A739AEE7 @default.
- Q38366581 P356 S10703-015-0228-1 @default.
- Q38366581 P698 26900259 @default.
- Q38366581 P8978 KroeningLW15 @default.
- Q38366581 P1433 Q15755416 @default.
- Q38366581 P1476 "Under-approximating loops in C programs for fast counterexample detection" @default.
- Q38366581 P2093 "Matt Lewis" @default.
- Q38366581 P275 Q20007257 @default.
- Q38366581 P2888 s10703-015-0228-1 @default.