Matches in Wikidata for { <http://www.wikidata.org/entity/Q113870959> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- Q113870959 description "2016 nî lūn-bûn" @default.
- Q113870959 description "2016年の論文" @default.
- Q113870959 description "2016年学术文章" @default.
- Q113870959 description "2016年学术文章" @default.
- Q113870959 description "2016年学术文章" @default.
- Q113870959 description "2016年学术文章" @default.
- Q113870959 description "2016年学术文章" @default.
- Q113870959 description "2016年学术文章" @default.
- Q113870959 description "2016年學術文章" @default.
- Q113870959 description "2016年學術文章" @default.
- Q113870959 description "2016年學術文章" @default.
- Q113870959 description "2016年學術文章" @default.
- Q113870959 description "2016年學術文章" @default.
- Q113870959 description "2016년 논문" @default.
- Q113870959 description "article científic" @default.
- Q113870959 description "article scientific" @default.
- Q113870959 description "article scientifique" @default.
- Q113870959 description "articol științific" @default.
- Q113870959 description "articolo scientifico" @default.
- Q113870959 description "artigo científico" @default.
- Q113870959 description "artigo científico" @default.
- Q113870959 description "artigo científico" @default.
- Q113870959 description "artikel ilmiah" @default.
- Q113870959 description "artikull shkencor" @default.
- Q113870959 description "artikulong pang-agham" @default.
- Q113870959 description "artykuł naukowy" @default.
- Q113870959 description "artículo científico publicado en 2016" @default.
- Q113870959 description "artículu científicu espublizáu en 2016" @default.
- Q113870959 description "bilimsel makale" @default.
- Q113870959 description "bài báo khoa học" @default.
- Q113870959 description "naučni članak" @default.
- Q113870959 description "scienca artikolo" @default.
- Q113870959 description "scientific article published in 2016" @default.
- Q113870959 description "scientific article published in October 2016" @default.
- Q113870959 description "scientific article published in October 2016" @default.
- Q113870959 description "teaduslik artikkel" @default.
- Q113870959 description "tieteellinen artikkeli" @default.
- Q113870959 description "tudományos cikk" @default.
- Q113870959 description "vedecký článok" @default.
- Q113870959 description "vetenskaplig artikel" @default.
- Q113870959 description "videnskabelig artikel udgivet oktober 2016" @default.
- Q113870959 description "vitenskapelig artikkel" @default.
- Q113870959 description "vitskapeleg artikkel" @default.
- Q113870959 description "vědecký článek" @default.
- Q113870959 description "wetenschappelijk artikel" @default.
- Q113870959 description "wissenschaftlicher Artikel" @default.
- Q113870959 description "επιστημονικό άρθρο" @default.
- Q113870959 description "мақолаи илмӣ" @default.
- Q113870959 description "наукова стаття, опублікована в жовтні 2016" @default.
- Q113870959 description "научна статия" @default.
- Q113870959 description "научная статья" @default.
- Q113870959 description "научни чланак" @default.
- Q113870959 description "научни чланак" @default.
- Q113870959 description "מאמר מדעי" @default.
- Q113870959 description "مقالة بحثية نشرت في أكتوبر 2016" @default.
- Q113870959 description "অক্টোবর ২০১৬-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113870959 description "บทความทางวิทยาศาสตร์" @default.
- Q113870959 description "სამეცნიერო სტატია" @default.
- Q113870959 name "LCTD: Test-guided proofs for C programs on LLVM" @default.
- Q113870959 type Item @default.
- Q113870959 label "LCTD: Test-guided proofs for C programs on LLVM" @default.
- Q113870959 prefLabel "LCTD: Test-guided proofs for C programs on LLVM" @default.
- Q113870959 P1433 Q113870959-76C1AB47-0AF1-49BC-9575-53D5AA5AF659 @default.
- Q113870959 P1476 Q113870959-FD2E9710-2575-4DED-97B3-1AF4522685FC @default.
- Q113870959 P2093 Q113870959-1192D290-62D0-4102-91C6-43DB0C24C60F @default.
- Q113870959 P2093 Q113870959-67444D16-0079-45EE-9600-BF5D5C125303 @default.
- Q113870959 P304 Q113870959-3FC1A39A-B576-4C03-A920-9E09E5E8715F @default.
- Q113870959 P31 Q113870959-DCA7AA9F-493D-41E4-BE33-152FCF7A7982 @default.
- Q113870959 P356 Q113870959-42BAA783-A949-47ED-8774-91F4DD7C6BE2 @default.
- Q113870959 P433 Q113870959-ADA50AEF-6423-4509-8D8A-E7AF3568DB6D @default.
- Q113870959 P478 Q113870959-6D7EA4C8-D379-4889-830F-1D8F8CAA600E @default.
- Q113870959 P577 Q113870959-F5C44DBC-7BF8-4E5F-88B9-72F2A49805CD @default.
- Q113870959 P6104 Q113870959-558A30E7-6DD5-4925-AEAE-B317FA8E1159 @default.
- Q113870959 P894 Q113870959-2C1CAD93-F8F8-41ED-A2F1-C6F941E18FEA @default.
- Q113870959 P356 J.JLAMP.2015.10.010 @default.
- Q113870959 P1433 Q53971485 @default.
- Q113870959 P1476 "LCTD: Test-guided proofs for C programs on LLVM" @default.
- Q113870959 P2093 "Keijo Heljanko" @default.
- Q113870959 P2093 "Olli Saarikivi" @default.
- Q113870959 P304 "1292-1317" @default.
- Q113870959 P31 Q13442814 @default.
- Q113870959 P356 "10.1016/J.JLAMP.2015.10.010" @default.
- Q113870959 P433 "6" @default.
- Q113870959 P478 "85" @default.
- Q113870959 P577 "2016-10-01T00:00:00Z" @default.
- Q113870959 P6104 Q8487137 @default.
- Q113870959 P894 "1392.68149" @default.