Matches in Wikidata for { <http://www.wikidata.org/entity/Q123335679> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- Q123335679 description "2009 nî lūn-bûn" @default.
- Q123335679 description "2009年の論文" @default.
- Q123335679 description "2009年学术文章" @default.
- Q123335679 description "2009年学术文章" @default.
- Q123335679 description "2009年学术文章" @default.
- Q123335679 description "2009年學術文章" @default.
- Q123335679 description "2009年學術文章" @default.
- Q123335679 description "2009년 논문" @default.
- Q123335679 description "article científic" @default.
- Q123335679 description "article scientific" @default.
- Q123335679 description "article scientifique" @default.
- Q123335679 description "articol științific" @default.
- Q123335679 description "articolo scientifico" @default.
- Q123335679 description "artigo científico" @default.
- Q123335679 description "artigo científico" @default.
- Q123335679 description "artigo científico" @default.
- Q123335679 description "artikel ilmiah" @default.
- Q123335679 description "artikull shkencor" @default.
- Q123335679 description "artikulong pang-agham" @default.
- Q123335679 description "artykuł naukowy" @default.
- Q123335679 description "artículo científico publicado en 2009" @default.
- Q123335679 description "artículu científicu" @default.
- Q123335679 description "bilimsel makale" @default.
- Q123335679 description "bài báo khoa học" @default.
- Q123335679 description "naučni članak" @default.
- Q123335679 description "scienca artikolo" @default.
- Q123335679 description "scientific article published in 2009" @default.
- Q123335679 description "teaduslik artikkel" @default.
- Q123335679 description "tieteellinen artikkeli" @default.
- Q123335679 description "tudományos cikk" @default.
- Q123335679 description "vedecký článok" @default.
- Q123335679 description "vetenskaplig artikel" @default.
- Q123335679 description "videnskabelig artikel udgivet 4. november 2009" @default.
- Q123335679 description "vitenskapelig artikkel" @default.
- Q123335679 description "vitskapeleg artikkel" @default.
- Q123335679 description "vědecký článek" @default.
- Q123335679 description "wetenschappelijk artikel" @default.
- Q123335679 description "wissenschaftlicher Artikel" @default.
- Q123335679 description "znanstveni članek" @default.
- Q123335679 description "επιστημονικό άρθρο" @default.
- Q123335679 description "мақолаи илмӣ" @default.
- Q123335679 description "наукова стаття, опублікована в листопаді 2009" @default.
- Q123335679 description "научна статия" @default.
- Q123335679 description "научная статья" @default.
- Q123335679 description "научни чланак" @default.
- Q123335679 description "научни чланак" @default.
- Q123335679 description "գիտական հոդված հրատարակված 2009 թվականին" @default.
- Q123335679 description "מאמר מדעי" @default.
- Q123335679 description "مقالة بحثية نشرت في 4 نوفمبر 2009" @default.
- Q123335679 description "৪ নভেম্বর ২০০৯-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q123335679 description "บทความทางวิทยาศาสตร์" @default.
- Q123335679 description "სამეცნიერო სტატია" @default.
- Q123335679 name "A Formally Verified Compiler Back-end" @default.
- Q123335679 type Item @default.
- Q123335679 label "A Formally Verified Compiler Back-end" @default.
- Q123335679 prefLabel "A Formally Verified Compiler Back-end" @default.
- Q123335679 P1433 Q123335679-FA99FD67-B255-40E1-A2C9-8CD19DEE9BC8 @default.
- Q123335679 P1476 Q123335679-B788158D-6158-4340-BDC1-BF37868F9F1C @default.
- Q123335679 P2093 Q123335679-6F0C18E8-F1EA-4EB0-9A60-95739145C83E @default.
- Q123335679 P304 Q123335679-F9C3B4B6-6454-4DD4-B971-CF0593484D15 @default.
- Q123335679 P31 Q123335679-9A7DF046-D4BC-46B6-94C4-5E335180385E @default.
- Q123335679 P356 Q123335679-DC842A27-4620-46ED-ADBA-70BCF8F6BE1F @default.
- Q123335679 P433 Q123335679-551C71B6-B518-435D-9361-916FAB250949 @default.
- Q123335679 P478 Q123335679-29B80109-8B77-4006-B28A-408BFD4877D0 @default.
- Q123335679 P577 Q123335679-0C8AE4DB-4D47-42E0-AF31-4EEFFF2364FA @default.
- Q123335679 P6104 Q123335679-BDC1693C-116D-487B-84F4-BC78A53AD302 @default.
- Q123335679 P818 Q123335679-5796abbd-2588-41ab-97f2-d66e66fa70e8 @default.
- Q123335679 P894 Q123335679-72179F56-448D-47F6-A85E-534B6255585E @default.
- Q123335679 P356 S10817-009-9155-4 @default.
- Q123335679 P1433 Q6294821 @default.
- Q123335679 P1476 "A Formally Verified Compiler Back-end" @default.
- Q123335679 P2093 "Xavier Leroy" @default.
- Q123335679 P304 "363-446" @default.
- Q123335679 P31 Q13442814 @default.
- Q123335679 P356 "10.1007/S10817-009-9155-4" @default.
- Q123335679 P433 "4" @default.
- Q123335679 P478 "43" @default.
- Q123335679 P577 "2009-11-04T00:00:00Z" @default.
- Q123335679 P6104 Q8487137 @default.
- Q123335679 P818 "0902.2137" @default.
- Q123335679 P894 "1185.68215" @default.