Matches in Wikidata for { <http://www.wikidata.org/entity/Q123135102> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- Q123135102 description "2018 nî lūn-bûn" @default.
- Q123135102 description "2018年の論文" @default.
- Q123135102 description "2018年学术文章" @default.
- Q123135102 description "2018年学术文章" @default.
- Q123135102 description "2018年学术文章" @default.
- Q123135102 description "2018年學術文章" @default.
- Q123135102 description "2018年學術文章" @default.
- Q123135102 description "2018년 논문" @default.
- Q123135102 description "article científic" @default.
- Q123135102 description "article scientific" @default.
- Q123135102 description "article scientifique" @default.
- Q123135102 description "articol științific" @default.
- Q123135102 description "articolo scientifico" @default.
- Q123135102 description "artigo científico" @default.
- Q123135102 description "artigo científico" @default.
- Q123135102 description "artigo científico" @default.
- Q123135102 description "artikel ilmiah" @default.
- Q123135102 description "artikull shkencor" @default.
- Q123135102 description "artikulong pang-agham" @default.
- Q123135102 description "artykuł naukowy" @default.
- Q123135102 description "artículo científico publicado en 2018" @default.
- Q123135102 description "artículu científicu" @default.
- Q123135102 description "bilimsel makale" @default.
- Q123135102 description "bài báo khoa học" @default.
- Q123135102 description "naučni članak" @default.
- Q123135102 description "scienca artikolo" @default.
- Q123135102 description "scientific article published in 2018" @default.
- Q123135102 description "teaduslik artikkel" @default.
- Q123135102 description "tieteellinen artikkeli" @default.
- Q123135102 description "tudományos cikk" @default.
- Q123135102 description "vedecký článok" @default.
- Q123135102 description "vetenskaplig artikel" @default.
- Q123135102 description "videnskabelig artikel udgivet 8. februar 2018" @default.
- Q123135102 description "vitenskapelig artikkel" @default.
- Q123135102 description "vitskapeleg artikkel" @default.
- Q123135102 description "vědecký článek" @default.
- Q123135102 description "wetenschappelijk artikel" @default.
- Q123135102 description "wissenschaftlicher Artikel" @default.
- Q123135102 description "znanstveni članek" @default.
- Q123135102 description "επιστημονικό άρθρο" @default.
- Q123135102 description "мақолаи илмӣ" @default.
- Q123135102 description "наукова стаття, опублікована в лютому 2018" @default.
- Q123135102 description "научна статия" @default.
- Q123135102 description "научная статья" @default.
- Q123135102 description "научни чланак" @default.
- Q123135102 description "научни чланак" @default.
- Q123135102 description "מאמר מדעי" @default.
- Q123135102 description "مقالة بحثية نشرت في 8 فبراير 2018" @default.
- Q123135102 description "৮ ফেব্রুয়ারি ২০১৮-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q123135102 description "บทความทางวิทยาศาสตร์" @default.
- Q123135102 description "სამეცნიერო სტატია" @default.
- Q123135102 name "Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler" @default.
- Q123135102 type Item @default.
- Q123135102 label "Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler" @default.
- Q123135102 prefLabel "Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler" @default.
- Q123135102 P1433 Q123135102-0C205092-84F3-4BF3-830A-135819ECE242 @default.
- Q123135102 P1476 Q123135102-4D653101-5863-424A-ABF8-73674F789163 @default.
- Q123135102 P304 Q123135102-3BD4D61D-9037-49C2-BD3B-D28B414F726E @default.
- Q123135102 P31 Q123135102-6C902ABD-2B7A-4778-B584-F2DA29ADEBB5 @default.
- Q123135102 P356 Q123135102-E39D0655-1191-479B-9CA6-A15D6904A641 @default.
- Q123135102 P433 Q123135102-E6D2ACC6-5DA1-4AA9-A087-0A250A4EFAC2 @default.
- Q123135102 P478 Q123135102-B3D88B3A-C06B-42B9-93BB-7E043FFE2D5F @default.
- Q123135102 P50 Q123135102-6A58FC1F-F077-4FEE-BFCB-EF624F13C0E0 @default.
- Q123135102 P577 Q123135102-BEE71DF2-F1E1-42C4-9CA6-E457395B77C7 @default.
- Q123135102 P6104 Q123135102-3EDBECDE-A6A0-4571-87BF-7ACC09276C58 @default.
- Q123135102 P894 Q123135102-C277EF4D-E89A-471B-B21F-8E0B26514934 @default.
- Q123135102 P356 S10817-018-9452-X @default.
- Q123135102 P1433 Q6294821 @default.
- Q123135102 P1476 "Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler" @default.
- Q123135102 P304 "243-332" @default.
- Q123135102 P31 Q13442814 @default.
- Q123135102 P356 "10.1007/S10817-018-9452-X" @default.
- Q123135102 P433 "1-4" @default.
- Q123135102 P478 "61" @default.
- Q123135102 P50 Q57966257 @default.
- Q123135102 P577 "2018-02-08T00:00:00Z" @default.
- Q123135102 P6104 Q8487137 @default.
- Q123135102 P894 "1451.68178" @default.