Matches in Wikidata for { <http://www.wikidata.org/entity/Q113317560> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- Q113317560 description "2018 nî lūn-bûn" @default.
- Q113317560 description "2018年の論文" @default.
- Q113317560 description "2018年学术文章" @default.
- Q113317560 description "2018年学术文章" @default.
- Q113317560 description "2018年学术文章" @default.
- Q113317560 description "2018年学术文章" @default.
- Q113317560 description "2018年学术文章" @default.
- Q113317560 description "2018年学术文章" @default.
- Q113317560 description "2018年學術文章" @default.
- Q113317560 description "2018年學術文章" @default.
- Q113317560 description "2018年學術文章" @default.
- Q113317560 description "2018年學術文章" @default.
- Q113317560 description "2018年學術文章" @default.
- Q113317560 description "2018년 논문" @default.
- Q113317560 description "article científic" @default.
- Q113317560 description "article scientific" @default.
- Q113317560 description "article scientifique" @default.
- Q113317560 description "articol științific" @default.
- Q113317560 description "articolo scientifico" @default.
- Q113317560 description "artigo científico" @default.
- Q113317560 description "artigo científico" @default.
- Q113317560 description "artigo científico" @default.
- Q113317560 description "artikel ilmiah" @default.
- Q113317560 description "artikull shkencor" @default.
- Q113317560 description "artikulong pang-agham" @default.
- Q113317560 description "artykuł naukowy" @default.
- Q113317560 description "artículo científico publicado en 2018" @default.
- Q113317560 description "artículu científicu espublizáu n'abril de 2018" @default.
- Q113317560 description "bilimsel makale" @default.
- Q113317560 description "bài báo khoa học" @default.
- Q113317560 description "naučni članak" @default.
- Q113317560 description "scienca artikolo" @default.
- Q113317560 description "scientific article published on 17 April 2018" @default.
- Q113317560 description "scientific article published on 17 April 2018" @default.
- Q113317560 description "scientific article published on 17 April 2018" @default.
- Q113317560 description "teaduslik artikkel" @default.
- Q113317560 description "tieteellinen artikkeli" @default.
- Q113317560 description "tudományos cikk" @default.
- Q113317560 description "vedecký článok" @default.
- Q113317560 description "vetenskaplig artikel" @default.
- Q113317560 description "videnskabelig artikel udgivet 17. april 2018" @default.
- Q113317560 description "vitenskapelig artikkel" @default.
- Q113317560 description "vitskapeleg artikkel" @default.
- Q113317560 description "vědecký článek" @default.
- Q113317560 description "wetenschappelijk artikel" @default.
- Q113317560 description "wissenschaftlicher Artikel" @default.
- Q113317560 description "επιστημονικό άρθρο" @default.
- Q113317560 description "мақолаи илмӣ" @default.
- Q113317560 description "наукова стаття, опублікована у квітні 2018" @default.
- Q113317560 description "научна статия" @default.
- Q113317560 description "научная статья" @default.
- Q113317560 description "научни чланак" @default.
- Q113317560 description "научни чланак" @default.
- Q113317560 description "מאמר מדעי" @default.
- Q113317560 description "مقالة بحثية نشرت في 17 أبريل 2018" @default.
- Q113317560 description "১৭ এপ্রিল ২০১৮-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113317560 description "บทความทางวิทยาศาสตร์" @default.
- Q113317560 description "სამეცნიერო სტატია" @default.
- Q113317560 name "Finitary Higher Inductive Types in the Groupoid Model" @default.
- Q113317560 type Item @default.
- Q113317560 label "Finitary Higher Inductive Types in the Groupoid Model" @default.
- Q113317560 prefLabel "Finitary Higher Inductive Types in the Groupoid Model" @default.
- Q113317560 P1433 Q113317560-EAD3185D-056E-4F65-9E07-1440676283DF @default.
- Q113317560 P1476 Q113317560-A0EBFA87-89C1-46F5-8EE5-6A750DD791AA @default.
- Q113317560 P2093 Q113317560-0355D0B5-B7DB-4651-AAD1-1D46EB20FF91 @default.
- Q113317560 P2093 Q113317560-8E8864E1-EC92-40F7-9F6F-45786C02B1CF @default.
- Q113317560 P304 Q113317560-7B9F4200-BE43-442B-8916-E6274F70DE51 @default.
- Q113317560 P31 Q113317560-7E6A2832-0678-4239-99D0-D5554DF93FC7 @default.
- Q113317560 P356 Q113317560-29613F9E-49AA-482E-9FF6-AE5CF222DA00 @default.
- Q113317560 P478 Q113317560-8B7F88C4-18F6-4E2E-9DB7-1E8369BA7A9A @default.
- Q113317560 P577 Q113317560-AFD574D4-F6FC-4926-8D02-CCCCD0DCB1C9 @default.
- Q113317560 P356 J.ENTCS.2018.03.019 @default.
- Q113317560 P1433 Q5358287 @default.
- Q113317560 P1476 "Finitary Higher Inductive Types in the Groupoid Model" @default.
- Q113317560 P2093 "Hugo Moeneclaey" @default.
- Q113317560 P2093 "Peter Dybjer" @default.
- Q113317560 P304 "119-134" @default.
- Q113317560 P31 Q13442814 @default.
- Q113317560 P356 "10.1016/J.ENTCS.2018.03.019" @default.
- Q113317560 P478 "336" @default.
- Q113317560 P577 "2018-04-17T00:00:00Z" @default.