Matches in Wikidata for { <http://www.wikidata.org/entity/Q108482127> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- Q108482127 description "2017 nî lūn-bûn" @default.
- Q108482127 description "2017年の論文" @default.
- Q108482127 description "2017年学术文章" @default.
- Q108482127 description "2017年学术文章" @default.
- Q108482127 description "2017年学术文章" @default.
- Q108482127 description "2017年学术文章" @default.
- Q108482127 description "2017年学术文章" @default.
- Q108482127 description "2017年學術文章" @default.
- Q108482127 description "2017年學術文章" @default.
- Q108482127 description "2017年學術文章" @default.
- Q108482127 description "2017年學術文章" @default.
- Q108482127 description "2017年學術文章" @default.
- Q108482127 description "2017年學術文章" @default.
- Q108482127 description "2017년 논문" @default.
- Q108482127 description "article científic" @default.
- Q108482127 description "article scientific" @default.
- Q108482127 description "article scientifique (publié 2017)" @default.
- Q108482127 description "articol științific" @default.
- Q108482127 description "articolo scientifico" @default.
- Q108482127 description "artigo científico (publicado na 2017)" @default.
- Q108482127 description "artigo científico (publicado na 2017)" @default.
- Q108482127 description "artigo científico" @default.
- Q108482127 description "artikel ilmiah" @default.
- Q108482127 description "artikull shkencor" @default.
- Q108482127 description "artikulong pang-agham" @default.
- Q108482127 description "artykuł naukowy" @default.
- Q108482127 description "artículo científico publicado en 2017" @default.
- Q108482127 description "artículu científicu" @default.
- Q108482127 description "bilimsel makale" @default.
- Q108482127 description "bài báo khoa học" @default.
- Q108482127 description "maqolai ilmiy" @default.
- Q108482127 description "mokslinis straipsnis" @default.
- Q108482127 description "naučni članak" @default.
- Q108482127 description "scienca artikolo" @default.
- Q108482127 description "scientific article" @default.
- Q108482127 description "teaduslik artikkel" @default.
- Q108482127 description "tieteellinen artikkeli" @default.
- Q108482127 description "tudományos cikk" @default.
- Q108482127 description "vedecký článok" @default.
- Q108482127 description "vetenskaplig artikel" @default.
- Q108482127 description "videnskabelig artikel (udgivet 2017)" @default.
- Q108482127 description "vitenskapelig artikkel" @default.
- Q108482127 description "vitskapeleg artikkel" @default.
- Q108482127 description "vědecký článek" @default.
- Q108482127 description "wetenschappelijk artikel" @default.
- Q108482127 description "wissenschaftlicher Artikel" @default.
- Q108482127 description "επιστημονικό άρθρο" @default.
- Q108482127 description "мақолаи илмӣ" @default.
- Q108482127 description "мақолаи илмӣ" @default.
- Q108482127 description "наукова стаття" @default.
- Q108482127 description "научна статия" @default.
- Q108482127 description "научная статья" @default.
- Q108482127 description "научни чланак" @default.
- Q108482127 description "научни чланак" @default.
- Q108482127 description "գիտական հոդված" @default.
- Q108482127 description "מאמר מדעי" @default.
- Q108482127 description "سائنسی مضمون" @default.
- Q108482127 description "مقالة علمية" @default.
- Q108482127 description "مقالهٔ علمی" @default.
- Q108482127 description "২০১৭-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q108482127 description "บทความทางวิทยาศาสตร์" @default.
- Q108482127 description "სამეცნიერო სტატია" @default.
- Q108482127 name "Isabelle Formalization of Set Theoretic Structures and Set Comprehensions" @default.
- Q108482127 name "Isabelle Formalization of Set Theoretic Structures and Set Comprehensions" @default.
- Q108482127 type Item @default.
- Q108482127 label "Isabelle Formalization of Set Theoretic Structures and Set Comprehensions" @default.
- Q108482127 label "Isabelle Formalization of Set Theoretic Structures and Set Comprehensions" @default.
- Q108482127 prefLabel "Isabelle Formalization of Set Theoretic Structures and Set Comprehensions" @default.
- Q108482127 prefLabel "Isabelle Formalization of Set Theoretic Structures and Set Comprehensions" @default.
- Q108482127 P1433 Q108482127-F282A665-F3B7-41DF-A7AA-6F2B4474E329 @default.
- Q108482127 P1476 Q108482127-E8E6DDE0-7BF1-4DA1-899F-71A4BCCC3956 @default.
- Q108482127 P304 Q108482127-4260BF52-9F83-4BAC-B980-DA9626DF7F4D @default.
- Q108482127 P31 Q108482127-ABE4BE68-AF68-4775-8EFC-AFA6C884E9C5 @default.
- Q108482127 P356 Q108482127-B5F59448-8F2B-43E2-900D-B0BC142CAA63 @default.
- Q108482127 P50 Q108482127-10C30390-E05A-457C-9562-DB8895AFFFDD @default.
- Q108482127 P50 Q108482127-7947AF01-63E7-4652-9E75-DE3BF42297E8 @default.
- Q108482127 P577 Q108482127-112B02E6-8DA4-4BFA-8BB0-6E7BBC719C0C @default.
- Q108482127 P6104 Q108482127-1BAC97C4-FE39-4554-9D1A-0F06F14D5F99 @default.
- Q108482127 P894 Q108482127-8A78FCA0-D9D9-4D18-9A7B-13395723FD9F @default.
- Q108482127 P356 978-3-319-72453-9_12 @default.
- Q108482127 P1433 Q924044 @default.
- Q108482127 P1476 "Isabelle Formalization of Set Theoretic Structures and Set Comprehensions" @default.
- Q108482127 P304 "163-178" @default.
- Q108482127 P31 Q13442814 @default.
- Q108482127 P356 "10.1007/978-3-319-72453-9_12" @default.
- Q108482127 P50 Q57556762 @default.
- Q108482127 P50 Q59698459 @default.
- Q108482127 P577 "2017-01-01T00:00:00Z" @default.
- Q108482127 P6104 Q8487137 @default.
- Q108482127 P894 "1497.68547" @default.