Matches in Wikidata for { <http://www.wikidata.org/entity/Q122980000> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- Q122980000 description "2010 nî lūn-bûn" @default.
- Q122980000 description "2010年の論文" @default.
- Q122980000 description "2010年学术文章" @default.
- Q122980000 description "2010年学术文章" @default.
- Q122980000 description "2010年学术文章" @default.
- Q122980000 description "2010年学术文章" @default.
- Q122980000 description "2010年学术文章" @default.
- Q122980000 description "2010年学术文章" @default.
- Q122980000 description "2010年學術文章" @default.
- Q122980000 description "2010年學術文章" @default.
- Q122980000 description "2010年學術文章" @default.
- Q122980000 description "2010年學術文章" @default.
- Q122980000 description "2010年學術文章" @default.
- Q122980000 description "2010년 논문" @default.
- Q122980000 description "article científic" @default.
- Q122980000 description "article scientific" @default.
- Q122980000 description "article scientifique" @default.
- Q122980000 description "articol științific" @default.
- Q122980000 description "articolo scientifico" @default.
- Q122980000 description "artigo científico" @default.
- Q122980000 description "artigo científico" @default.
- Q122980000 description "artigo científico" @default.
- Q122980000 description "artikel ilmiah" @default.
- Q122980000 description "artikull shkencor" @default.
- Q122980000 description "artikulong pang-agham" @default.
- Q122980000 description "artykuł naukowy" @default.
- Q122980000 description "artículo científico publicado en 2010" @default.
- Q122980000 description "artículu científicu" @default.
- Q122980000 description "bilimsel makale" @default.
- Q122980000 description "bài báo khoa học" @default.
- Q122980000 description "naučni članak" @default.
- Q122980000 description "scienca artikolo" @default.
- Q122980000 description "scientific article published in 2010" @default.
- Q122980000 description "scientific article published on 2 January 2010" @default.
- Q122980000 description "scientific article published on 2 January 2010" @default.
- Q122980000 description "teaduslik artikkel" @default.
- Q122980000 description "tieteellinen artikkeli" @default.
- Q122980000 description "tudományos cikk" @default.
- Q122980000 description "vedecký článok" @default.
- Q122980000 description "vetenskaplig artikel" @default.
- Q122980000 description "videnskabelig artikel udgivet 2. januar 2010" @default.
- Q122980000 description "vitenskapelig artikkel" @default.
- Q122980000 description "vitskapeleg artikkel" @default.
- Q122980000 description "vědecký článek" @default.
- Q122980000 description "wetenschappelijk artikel" @default.
- Q122980000 description "wissenschaftlicher Artikel" @default.
- Q122980000 description "znanstveni članek" @default.
- Q122980000 description "επιστημονικό άρθρο" @default.
- Q122980000 description "мақолаи илмӣ" @default.
- Q122980000 description "наукова стаття, опублікована в січні 2010" @default.
- Q122980000 description "научна статия" @default.
- Q122980000 description "научная статья" @default.
- Q122980000 description "научни чланак" @default.
- Q122980000 description "научни чланак" @default.
- Q122980000 description "מאמר מדעי" @default.
- Q122980000 description "مقالة بحثية نشرت في 2 يناير 2010" @default.
- Q122980000 description "২ জানুয়ারি ২০১০-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q122980000 description "บทความทางวิทยาศาสตร์" @default.
- Q122980000 description "სამეცნიერო სტატია" @default.
- Q122980000 name "A verified compiler for an impure functional language" @default.
- Q122980000 type Item @default.
- Q122980000 label "A verified compiler for an impure functional language" @default.
- Q122980000 prefLabel "A verified compiler for an impure functional language" @default.
- Q122980000 P1433 Q122980000-F0E5C7AA-8490-418D-9B0A-068D372F65DA @default.
- Q122980000 P1476 Q122980000-7D6AB6AB-9A39-4802-B7C3-C31260C41BE6 @default.
- Q122980000 P2093 Q122980000-3053488C-7CC9-4D79-BC83-935141DA343C @default.
- Q122980000 P304 Q122980000-AC1FB607-6D03-4DF3-97A1-780912264251 @default.
- Q122980000 P31 Q122980000-E60508BD-6B91-417F-AC77-84C10C4DB894 @default.
- Q122980000 P356 Q122980000-48ED3F4E-FB67-4B38-AD79-EBC1C100459D @default.
- Q122980000 P433 Q122980000-715A8010-82DF-4A9D-AA97-BBC6CCF834E3 @default.
- Q122980000 P478 Q122980000-2C89E490-C9F2-42C1-8FF0-2061F9BC00AF @default.
- Q122980000 P577 Q122980000-D191FF3D-6E43-483C-80DB-467A268235A7 @default.
- Q122980000 P356 1707801.1706312 @default.
- Q122980000 P1433 Q22247351 @default.
- Q122980000 P1476 "A verified compiler for an impure functional language" @default.
- Q122980000 P2093 "Adam Chlipala" @default.
- Q122980000 P304 "93-106" @default.
- Q122980000 P31 Q13442814 @default.
- Q122980000 P356 "10.1145/1707801.1706312" @default.
- Q122980000 P433 "1" @default.
- Q122980000 P478 "45" @default.
- Q122980000 P577 "2010-01-02T00:00:00Z" @default.