Matches in Wikidata for { <http://www.wikidata.org/entity/Q113317811> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- Q113317811 description "2015 nî lūn-bûn" @default.
- Q113317811 description "2015年の論文" @default.
- Q113317811 description "2015年学术文章" @default.
- Q113317811 description "2015年学术文章" @default.
- Q113317811 description "2015年学术文章" @default.
- Q113317811 description "2015年学术文章" @default.
- Q113317811 description "2015年学术文章" @default.
- Q113317811 description "2015年学术文章" @default.
- Q113317811 description "2015年學術文章" @default.
- Q113317811 description "2015年學術文章" @default.
- Q113317811 description "2015年學術文章" @default.
- Q113317811 description "2015年學術文章" @default.
- Q113317811 description "2015年學術文章" @default.
- Q113317811 description "2015년 논문" @default.
- Q113317811 description "article científic" @default.
- Q113317811 description "article scientific" @default.
- Q113317811 description "article scientifique" @default.
- Q113317811 description "articol științific" @default.
- Q113317811 description "articolo scientifico" @default.
- Q113317811 description "artigo científico" @default.
- Q113317811 description "artigo científico" @default.
- Q113317811 description "artigo científico" @default.
- Q113317811 description "artikel ilmiah" @default.
- Q113317811 description "artikull shkencor" @default.
- Q113317811 description "artikulong pang-agham" @default.
- Q113317811 description "artykuł naukowy" @default.
- Q113317811 description "artículo científico publicado en 2015" @default.
- Q113317811 description "artículu científicu espublizáu n'abril de 2015" @default.
- Q113317811 description "bilimsel makale" @default.
- Q113317811 description "bài báo khoa học" @default.
- Q113317811 description "naučni članak" @default.
- Q113317811 description "scienca artikolo" @default.
- Q113317811 description "scientific article published on 23 April 2015" @default.
- Q113317811 description "scientific article published on 23 April 2015" @default.
- Q113317811 description "scientific article published on 23 April 2015" @default.
- Q113317811 description "teaduslik artikkel" @default.
- Q113317811 description "tieteellinen artikkeli" @default.
- Q113317811 description "tudományos cikk" @default.
- Q113317811 description "vedecký článok" @default.
- Q113317811 description "vetenskaplig artikel" @default.
- Q113317811 description "videnskabelig artikel udgivet 23. april 2015" @default.
- Q113317811 description "vitenskapelig artikkel" @default.
- Q113317811 description "vitskapeleg artikkel" @default.
- Q113317811 description "vědecký článek" @default.
- Q113317811 description "wetenschappelijk artikel" @default.
- Q113317811 description "wissenschaftlicher Artikel" @default.
- Q113317811 description "επιστημονικό άρθρο" @default.
- Q113317811 description "мақолаи илмӣ" @default.
- Q113317811 description "наукова стаття, опублікована у квітні 2015" @default.
- Q113317811 description "научна статия" @default.
- Q113317811 description "научная статья" @default.
- Q113317811 description "научни чланак" @default.
- Q113317811 description "научни чланак" @default.
- Q113317811 description "מאמר מדעי" @default.
- Q113317811 description "مقالة بحثية نشرت في 23 أبريل 2015" @default.
- Q113317811 description "২৩ এপ্রিল ২০১৫-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113317811 description "บทความทางวิทยาศาสตร์" @default.
- Q113317811 description "სამეცნიერო სტატია" @default.
- Q113317811 name "A Dependent Type Theory with Abstractable Names" @default.
- Q113317811 type Item @default.
- Q113317811 label "A Dependent Type Theory with Abstractable Names" @default.
- Q113317811 prefLabel "A Dependent Type Theory with Abstractable Names" @default.
- Q113317811 P1433 Q113317811-A9EC45C8-7756-4FE8-8A93-B13C0A5D5240 @default.
- Q113317811 P1476 Q113317811-E051FBE2-87EA-4397-843C-D0D83924E44F @default.
- Q113317811 P2093 Q113317811-2A6D0E67-3E47-410B-92B9-A135B3DC5AC6 @default.
- Q113317811 P2093 Q113317811-377A15FF-9121-4C66-9622-EB4A773840E9 @default.
- Q113317811 P2093 Q113317811-984520A6-ACED-4049-9F5F-F121E779895B @default.
- Q113317811 P304 Q113317811-8BE06C05-018C-477D-8825-DF8B7F498951 @default.
- Q113317811 P31 Q113317811-C5625C1C-D1DA-4AEA-9C22-E1FE823BABA3 @default.
- Q113317811 P356 Q113317811-8E2A02D9-3CE5-4AF7-B3D2-9D53B445FA3C @default.
- Q113317811 P478 Q113317811-DD48E6B9-CA85-43E9-8F97-4AA938A38681 @default.
- Q113317811 P577 Q113317811-3FDFFEFA-A16C-4086-96F4-16D1E29F9E82 @default.
- Q113317811 P6104 Q113317811-25C0C64F-DBF2-4963-A743-4507D802DCD0 @default.
- Q113317811 P894 Q113317811-DD432AAF-C963-4938-A504-1A9F219EF25E @default.
- Q113317811 P356 J.ENTCS.2015.04.003 @default.
- Q113317811 P1433 Q5358287 @default.
- Q113317811 P1476 "A Dependent Type Theory with Abstractable Names" @default.
- Q113317811 P2093 "Andrew M. Pitts" @default.
- Q113317811 P2093 "Jasper Derikx" @default.
- Q113317811 P2093 "Justus Matthiesen" @default.
- Q113317811 P304 "19-50" @default.
- Q113317811 P31 Q13442814 @default.
- Q113317811 P356 "10.1016/J.ENTCS.2015.04.003" @default.
- Q113317811 P478 "312" @default.
- Q113317811 P577 "2015-04-23T00:00:00Z" @default.
- Q113317811 P6104 Q8487137 @default.
- Q113317811 P894 "1342.68054" @default.