Matches in Wikidata for { <http://www.wikidata.org/entity/Q113317349> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- Q113317349 description "2019 nî lūn-bûn" @default.
- Q113317349 description "2019年の論文" @default.
- Q113317349 description "2019年学术文章" @default.
- Q113317349 description "2019年学术文章" @default.
- Q113317349 description "2019年学术文章" @default.
- Q113317349 description "2019年学术文章" @default.
- Q113317349 description "2019年学术文章" @default.
- Q113317349 description "2019年学术文章" @default.
- Q113317349 description "2019年學術文章" @default.
- Q113317349 description "2019年學術文章" @default.
- Q113317349 description "2019年學術文章" @default.
- Q113317349 description "2019年學術文章" @default.
- Q113317349 description "2019年學術文章" @default.
- Q113317349 description "2019년 논문" @default.
- Q113317349 description "article científic" @default.
- Q113317349 description "article scientific" @default.
- Q113317349 description "article scientifique" @default.
- Q113317349 description "articol științific" @default.
- Q113317349 description "articolo scientifico" @default.
- Q113317349 description "artigo científico" @default.
- Q113317349 description "artigo científico" @default.
- Q113317349 description "artigo científico" @default.
- Q113317349 description "artikel ilmiah" @default.
- Q113317349 description "artikull shkencor" @default.
- Q113317349 description "artikulong pang-agham" @default.
- Q113317349 description "artykuł naukowy" @default.
- Q113317349 description "artículo científico publicado en 2019" @default.
- Q113317349 description "artículu científicu espublizáu n'avientu de 2019" @default.
- Q113317349 description "bilimsel makale" @default.
- Q113317349 description "bài báo khoa học" @default.
- Q113317349 description "naučni članak" @default.
- Q113317349 description "scienca artikolo" @default.
- Q113317349 description "scientific article published on 09 December 2019" @default.
- Q113317349 description "scientific article published on 9 December 2019" @default.
- Q113317349 description "scientific article published on 9 December 2019" @default.
- Q113317349 description "teaduslik artikkel" @default.
- Q113317349 description "tieteellinen artikkeli" @default.
- Q113317349 description "tudományos cikk" @default.
- Q113317349 description "vedecký článok" @default.
- Q113317349 description "vetenskaplig artikel" @default.
- Q113317349 description "videnskabelig artikel udgivet 9. december 2019" @default.
- Q113317349 description "vitenskapelig artikkel" @default.
- Q113317349 description "vitskapeleg artikkel" @default.
- Q113317349 description "vědecký článek" @default.
- Q113317349 description "wetenschappelijk artikel" @default.
- Q113317349 description "wissenschaftlicher Artikel" @default.
- Q113317349 description "επιστημονικό άρθρο" @default.
- Q113317349 description "мақолаи илмӣ" @default.
- Q113317349 description "наукова стаття, опублікована в грудні 2019" @default.
- Q113317349 description "научна статия" @default.
- Q113317349 description "научная статья" @default.
- Q113317349 description "научни чланак" @default.
- Q113317349 description "научни чланак" @default.
- Q113317349 description "מאמר מדעי" @default.
- Q113317349 description "مقالة بحثية نشرت في 9 ديسمبر 2019" @default.
- Q113317349 description "৯ ডিসেম্বর ২০১৯-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113317349 description "บทความทางวิทยาศาสตร์" @default.
- Q113317349 description "სამეცნიერო სტატია" @default.
- Q113317349 name "The Construction of Set-Truncated Higher Inductive Types" @default.
- Q113317349 type Item @default.
- Q113317349 label "The Construction of Set-Truncated Higher Inductive Types" @default.
- Q113317349 prefLabel "The Construction of Set-Truncated Higher Inductive Types" @default.
- Q113317349 P1433 Q113317349-1F891848-6229-4845-AB37-BED434A8D983 @default.
- Q113317349 P1476 Q113317349-61C60777-C007-441F-BDD6-351012C8A0FB @default.
- Q113317349 P2093 Q113317349-50EE2B24-48A9-4D3C-9313-FAD87240CFAE @default.
- Q113317349 P2093 Q113317349-99D498D9-C78B-44B5-829E-4F54DFE057E0 @default.
- Q113317349 P304 Q113317349-6E3C6EE5-2A0B-46A2-815E-65DBA3965C88 @default.
- Q113317349 P31 Q113317349-FDC4638E-CFE4-4818-BC2E-B7A9C2054911 @default.
- Q113317349 P356 Q113317349-49C55FDE-413A-4930-A574-8B5CC52D73B6 @default.
- Q113317349 P478 Q113317349-C3B5755D-5E13-41B0-B448-11CC4A1C224D @default.
- Q113317349 P577 Q113317349-36D9128B-0914-4119-9161-BBE893B5ADA0 @default.
- Q113317349 P356 J.ENTCS.2019.09.014 @default.
- Q113317349 P1433 Q5358287 @default.
- Q113317349 P1476 "The Construction of Set-Truncated Higher Inductive Types" @default.
- Q113317349 P2093 "Herman Geuvers" @default.
- Q113317349 P2093 "Niels van der Weide" @default.
- Q113317349 P304 "261-280" @default.
- Q113317349 P31 Q13442814 @default.
- Q113317349 P356 "10.1016/J.ENTCS.2019.09.014" @default.
- Q113317349 P478 "347" @default.
- Q113317349 P577 "2019-12-09T00:00:00Z" @default.