Matches in Wikidata for { <http://www.wikidata.org/entity/Q115056569> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- Q115056569 description "2020 nî lūn-bûn" @default.
- Q115056569 description "2020年の論文" @default.
- Q115056569 description "2020年学术文章" @default.
- Q115056569 description "2020年学术文章" @default.
- Q115056569 description "2020年学术文章" @default.
- Q115056569 description "2020年学术文章" @default.
- Q115056569 description "2020年学术文章" @default.
- Q115056569 description "2020年学术文章" @default.
- Q115056569 description "2020年學術文章" @default.
- Q115056569 description "2020年學術文章" @default.
- Q115056569 description "2020年學術文章" @default.
- Q115056569 description "2020年學術文章" @default.
- Q115056569 description "2020年學術文章" @default.
- Q115056569 description "2020년 논문" @default.
- Q115056569 description "article científic" @default.
- Q115056569 description "article scientific" @default.
- Q115056569 description "article scientifique" @default.
- Q115056569 description "articol științific" @default.
- Q115056569 description "articolo scientifico" @default.
- Q115056569 description "artigo científico" @default.
- Q115056569 description "artigo científico" @default.
- Q115056569 description "artigo científico" @default.
- Q115056569 description "artikel ilmiah" @default.
- Q115056569 description "artikull shkencor" @default.
- Q115056569 description "artikulong pang-agham" @default.
- Q115056569 description "artykuł naukowy" @default.
- Q115056569 description "artículo científico publicado en 2020" @default.
- Q115056569 description "artículu científicu" @default.
- Q115056569 description "bilimsel makale" @default.
- Q115056569 description "bài báo khoa học" @default.
- Q115056569 description "naučni članak" @default.
- Q115056569 description "scienca artikolo" @default.
- Q115056569 description "scientific article published in 2020" @default.
- Q115056569 description "scientific article published in April 2020" @default.
- Q115056569 description "scientific article published in April 2020" @default.
- Q115056569 description "teaduslik artikkel" @default.
- Q115056569 description "tieteellinen artikkeli" @default.
- Q115056569 description "tudományos cikk" @default.
- Q115056569 description "vedecký článok" @default.
- Q115056569 description "vetenskaplig artikel" @default.
- Q115056569 description "videnskabelig artikel udgivet april 2020" @default.
- Q115056569 description "vitenskapelig artikkel" @default.
- Q115056569 description "vitskapeleg artikkel" @default.
- Q115056569 description "vědecký článek" @default.
- Q115056569 description "wetenschappelijk artikel" @default.
- Q115056569 description "wissenschaftlicher Artikel" @default.
- Q115056569 description "επιστημονικό άρθρο" @default.
- Q115056569 description "мақолаи илмӣ" @default.
- Q115056569 description "наукова стаття, опублікована у квітні 2020" @default.
- Q115056569 description "научна статия" @default.
- Q115056569 description "научная статья" @default.
- Q115056569 description "научни чланак" @default.
- Q115056569 description "научни чланак" @default.
- Q115056569 description "מאמר מדעי" @default.
- Q115056569 description "مقالة بحثية نشرت في أبريل 2020" @default.
- Q115056569 description "এপ্রিল ২০২০-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q115056569 description "บทความทางวิทยาศาสตร์" @default.
- Q115056569 description "სამეცნიერო სტატია" @default.
- Q115056569 name "Automatic kernel code synthesis and verification" @default.
- Q115056569 type Item @default.
- Q115056569 label "Automatic kernel code synthesis and verification" @default.
- Q115056569 prefLabel "Automatic kernel code synthesis and verification" @default.
- Q115056569 P1433 Q115056569-2FBB1A5F-E719-4EEC-8F04-401F2913E76E @default.
- Q115056569 P1476 Q115056569-0A520283-D579-4F4B-9036-A588BE4543A7 @default.
- Q115056569 P2093 Q115056569-1F556A9F-9288-4B7B-BBC1-1513C4C9CA58 @default.
- Q115056569 P2093 Q115056569-44B3F065-FD24-47DC-B2BA-03963432CF6D @default.
- Q115056569 P2093 Q115056569-CC71F213-B084-462A-993D-70A19FB33AB8 @default.
- Q115056569 P2093 Q115056569-DD837583-683C-4458-946F-3464838FAEC2 @default.
- Q115056569 P304 Q115056569-14DE942A-3880-464C-8A3C-D65BCFD973D8 @default.
- Q115056569 P31 Q115056569-939066BD-3F87-402C-B0C7-9000138516C9 @default.
- Q115056569 P356 Q115056569-B67FD239-B87D-4D64-AE7E-4CA134273000 @default.
- Q115056569 P478 Q115056569-09D5B7B1-37D2-40F0-B966-C8D367B5C3C2 @default.
- Q115056569 P577 Q115056569-2FF95D2B-CFA9-4627-B3EB-08E49AFE1C95 @default.
- Q115056569 P356 J.COSE.2020.101733 @default.
- Q115056569 P1433 Q13475188 @default.
- Q115056569 P1476 "Automatic kernel code synthesis and verification" @default.
- Q115056569 P2093 "Jianzhong Qiao" @default.
- Q115056569 P2093 "Qiang Zhang" @default.
- Q115056569 P2093 "Qingyang Meng" @default.
- Q115056569 P2093 "Yu Chen" @default.
- Q115056569 P304 "101733" @default.
- Q115056569 P31 Q13442814 @default.
- Q115056569 P356 "10.1016/J.COSE.2020.101733" @default.
- Q115056569 P478 "91" @default.
- Q115056569 P577 "2020-04-01T00:00:00Z" @default.