Matches in Wikidata for { <http://www.wikidata.org/entity/Q122973193> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- Q122973193 description "2008 nî lūn-bûn" @default.
- Q122973193 description "2008年の論文" @default.
- Q122973193 description "2008年学术文章" @default.
- Q122973193 description "2008年学术文章" @default.
- Q122973193 description "2008年学术文章" @default.
- Q122973193 description "2008年学术文章" @default.
- Q122973193 description "2008年学术文章" @default.
- Q122973193 description "2008年学术文章" @default.
- Q122973193 description "2008年學術文章" @default.
- Q122973193 description "2008年學術文章" @default.
- Q122973193 description "2008年學術文章" @default.
- Q122973193 description "2008年學術文章" @default.
- Q122973193 description "2008年學術文章" @default.
- Q122973193 description "2008년 논문" @default.
- Q122973193 description "article científic" @default.
- Q122973193 description "article scientific" @default.
- Q122973193 description "article scientifique" @default.
- Q122973193 description "articol științific" @default.
- Q122973193 description "articolo scientifico" @default.
- Q122973193 description "artigo científico" @default.
- Q122973193 description "artigo científico" @default.
- Q122973193 description "artigo científico" @default.
- Q122973193 description "artikel ilmiah" @default.
- Q122973193 description "artikull shkencor" @default.
- Q122973193 description "artikulong pang-agham" @default.
- Q122973193 description "artykuł naukowy" @default.
- Q122973193 description "artículo científico publicado en 2008" @default.
- Q122973193 description "artículu científicu" @default.
- Q122973193 description "bilimsel makale" @default.
- Q122973193 description "bài báo khoa học" @default.
- Q122973193 description "naučni članak" @default.
- Q122973193 description "scienca artikolo" @default.
- Q122973193 description "scientific article published in 2008" @default.
- Q122973193 description "scientific article published in July 2008" @default.
- Q122973193 description "scientific article published in July 2008" @default.
- Q122973193 description "teaduslik artikkel" @default.
- Q122973193 description "tieteellinen artikkeli" @default.
- Q122973193 description "tudományos cikk" @default.
- Q122973193 description "vedecký článok" @default.
- Q122973193 description "vetenskaplig artikel" @default.
- Q122973193 description "videnskabelig artikel udgivet juli 2008" @default.
- Q122973193 description "vitenskapelig artikkel" @default.
- Q122973193 description "vitskapeleg artikkel" @default.
- Q122973193 description "vědecký článek" @default.
- Q122973193 description "wetenschappelijk artikel" @default.
- Q122973193 description "wissenschaftlicher Artikel" @default.
- Q122973193 description "znanstveni članek" @default.
- Q122973193 description "επιστημονικό άρθρο" @default.
- Q122973193 description "мақолаи илмӣ" @default.
- Q122973193 description "наукова стаття, опублікована в липні 2008" @default.
- Q122973193 description "научна статия" @default.
- Q122973193 description "научная статья" @default.
- Q122973193 description "научни чланак" @default.
- Q122973193 description "научни чланак" @default.
- Q122973193 description "מאמר מדעי" @default.
- Q122973193 description "مقالة بحثية نشرت في يوليو 2008" @default.
- Q122973193 description "জুলাই ২০০৮-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q122973193 description "บทความทางวิทยาศาสตร์" @default.
- Q122973193 description "სამეცნიერო სტატია" @default.
- Q122973193 name "Pervasive Compiler Verification – From Verified Programs to Verified Systems" @default.
- Q122973193 type Item @default.
- Q122973193 label "Pervasive Compiler Verification – From Verified Programs to Verified Systems" @default.
- Q122973193 prefLabel "Pervasive Compiler Verification – From Verified Programs to Verified Systems" @default.
- Q122973193 P1433 Q122973193-BCFFF725-57D9-4C81-BD87-FF4A085E19EF @default.
- Q122973193 P1476 Q122973193-6D0F0FB6-4B2A-47A8-8209-BCDE7632DECE @default.
- Q122973193 P2093 Q122973193-297DF26C-7454-4FB9-A412-006EA5E266E1 @default.
- Q122973193 P2093 Q122973193-D18E41C1-8E78-4FDF-AA63-9658718F260E @default.
- Q122973193 P304 Q122973193-4452D05A-EE39-4C7F-80D4-554EE997A99A @default.
- Q122973193 P31 Q122973193-A38B2384-2E71-407A-8632-CB310870E85B @default.
- Q122973193 P356 Q122973193-1D73137D-3C6A-4282-A289-573DCC3A288C @default.
- Q122973193 P478 Q122973193-5EA76910-DD0F-4846-9A38-2CFAAF8DA11C @default.
- Q122973193 P577 Q122973193-64E9D589-5A98-4547-B8FB-577F95130278 @default.
- Q122973193 P356 J.ENTCS.2008.06.040 @default.
- Q122973193 P1433 Q5358287 @default.
- Q122973193 P1476 "Pervasive Compiler Verification – From Verified Programs to Verified Systems" @default.
- Q122973193 P2093 "Dirk Leinenbach" @default.
- Q122973193 P2093 "Elena Petrova" @default.
- Q122973193 P304 "23-40" @default.
- Q122973193 P31 Q13442814 @default.
- Q122973193 P356 "10.1016/J.ENTCS.2008.06.040" @default.
- Q122973193 P478 "217" @default.
- Q122973193 P577 "2008-07-01T00:00:00Z" @default.