Matches in Wikidata for { <http://www.wikidata.org/entity/Q113317721> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- Q113317721 description "2015 nî lūn-bûn" @default.
- Q113317721 description "2015年の論文" @default.
- Q113317721 description "2015年学术文章" @default.
- Q113317721 description "2015年学术文章" @default.
- Q113317721 description "2015年学术文章" @default.
- Q113317721 description "2015年学术文章" @default.
- Q113317721 description "2015年学术文章" @default.
- Q113317721 description "2015年学术文章" @default.
- Q113317721 description "2015年學術文章" @default.
- Q113317721 description "2015年學術文章" @default.
- Q113317721 description "2015年學術文章" @default.
- Q113317721 description "2015年學術文章" @default.
- Q113317721 description "2015年學術文章" @default.
- Q113317721 description "2015년 논문" @default.
- Q113317721 description "article científic" @default.
- Q113317721 description "article scientific" @default.
- Q113317721 description "article scientifique" @default.
- Q113317721 description "articol științific" @default.
- Q113317721 description "articolo scientifico" @default.
- Q113317721 description "artigo científico" @default.
- Q113317721 description "artigo científico" @default.
- Q113317721 description "artigo científico" @default.
- Q113317721 description "artikel ilmiah" @default.
- Q113317721 description "artikull shkencor" @default.
- Q113317721 description "artikulong pang-agham" @default.
- Q113317721 description "artykuł naukowy" @default.
- Q113317721 description "artículo científico publicado en 2015" @default.
- Q113317721 description "artículu científicu espublizáu n'avientu de 2015" @default.
- Q113317721 description "bilimsel makale" @default.
- Q113317721 description "bài báo khoa học" @default.
- Q113317721 description "naučni članak" @default.
- Q113317721 description "scienca artikolo" @default.
- Q113317721 description "scientific article published on 22 December 2015" @default.
- Q113317721 description "scientific article published on 22 December 2015" @default.
- Q113317721 description "scientific article published on 22 December 2015" @default.
- Q113317721 description "teaduslik artikkel" @default.
- Q113317721 description "tieteellinen artikkeli" @default.
- Q113317721 description "tudományos cikk" @default.
- Q113317721 description "vedecký článok" @default.
- Q113317721 description "vetenskaplig artikel" @default.
- Q113317721 description "videnskabelig artikel udgivet 22. december 2015" @default.
- Q113317721 description "vitenskapelig artikkel" @default.
- Q113317721 description "vitskapeleg artikkel" @default.
- Q113317721 description "vědecký článek" @default.
- Q113317721 description "wetenschappelijk artikel" @default.
- Q113317721 description "wissenschaftlicher Artikel" @default.
- Q113317721 description "επιστημονικό άρθρο" @default.
- Q113317721 description "мақолаи илмӣ" @default.
- Q113317721 description "наукова стаття, опублікована в грудні 2015" @default.
- Q113317721 description "научна статия" @default.
- Q113317721 description "научная статья" @default.
- Q113317721 description "научни чланак" @default.
- Q113317721 description "научни чланак" @default.
- Q113317721 description "מאמר מדעי" @default.
- Q113317721 description "مقالة بحثية نشرت في 22 ديسمبر 2015" @default.
- Q113317721 description "২২ ডিসেম্বর ২০১৫-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113317721 description "บทความทางวิทยาศาสตร์" @default.
- Q113317721 description "სამეცნიერო სტატია" @default.
- Q113317721 name "A Model of PCF in Guarded Type Theory" @default.
- Q113317721 type Item @default.
- Q113317721 label "A Model of PCF in Guarded Type Theory" @default.
- Q113317721 prefLabel "A Model of PCF in Guarded Type Theory" @default.
- Q113317721 P1433 Q113317721-B8404E01-0985-49C9-BB0F-22CD02799A4D @default.
- Q113317721 P1476 Q113317721-6AFF0E46-70E6-4BEE-94E9-170C35FDC53B @default.
- Q113317721 P2093 Q113317721-9569A397-4279-4946-8468-254820B13236 @default.
- Q113317721 P2093 Q113317721-D54A9094-8435-4B2E-AAFF-65DC7F131BBA @default.
- Q113317721 P2093 Q113317721-DB8523F7-7BFF-468D-B641-50C047B6E1AB @default.
- Q113317721 P304 Q113317721-E65427D7-74CB-4229-B447-466B8B5F9FB4 @default.
- Q113317721 P31 Q113317721-23E509FD-0CB8-47BB-90F1-F8624AD16E1E @default.
- Q113317721 P356 Q113317721-2C1869CA-25DF-4BFC-90F5-9D35E7E6A7E7 @default.
- Q113317721 P478 Q113317721-7B4A3163-A5CB-4DF9-B096-DCD0456634D0 @default.
- Q113317721 P577 Q113317721-6969440F-DC9D-44F1-945A-0F9221CC03BA @default.
- Q113317721 P6104 Q113317721-8238A57F-972C-4BF8-B7BA-3F1B295A8CDB @default.
- Q113317721 P894 Q113317721-F030F551-41A0-4BF9-9D38-5FB9EE50CC5F @default.
- Q113317721 P356 J.ENTCS.2015.12.020 @default.
- Q113317721 P1433 Q5358287 @default.
- Q113317721 P1476 "A Model of PCF in Guarded Type Theory" @default.
- Q113317721 P2093 "Lars Birkedal" @default.
- Q113317721 P2093 "Marco Paviotti" @default.
- Q113317721 P2093 "Rasmus Ejlers Møgelberg" @default.
- Q113317721 P304 "333-349" @default.
- Q113317721 P31 Q13442814 @default.
- Q113317721 P356 "10.1016/J.ENTCS.2015.12.020" @default.
- Q113317721 P478 "319" @default.
- Q113317721 P577 "2015-12-22T00:00:00Z" @default.
- Q113317721 P6104 Q8487137 @default.
- Q113317721 P894 "1351.68063" @default.