Matches in Wikidata for { <http://www.wikidata.org/entity/Q108482110> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- Q108482110 description "2018 nî lūn-bûn" @default.
- Q108482110 description "2018年の論文" @default.
- Q108482110 description "2018年学术文章" @default.
- Q108482110 description "2018年学术文章" @default.
- Q108482110 description "2018年学术文章" @default.
- Q108482110 description "2018年学术文章" @default.
- Q108482110 description "2018年学术文章" @default.
- Q108482110 description "2018年學術文章" @default.
- Q108482110 description "2018年學術文章" @default.
- Q108482110 description "2018年學術文章" @default.
- Q108482110 description "2018年學術文章" @default.
- Q108482110 description "2018年學術文章" @default.
- Q108482110 description "2018年學術文章" @default.
- Q108482110 description "2018년 논문" @default.
- Q108482110 description "article científic" @default.
- Q108482110 description "article scientific" @default.
- Q108482110 description "article scientifique (publié 2018)" @default.
- Q108482110 description "articol științific" @default.
- Q108482110 description "articolo scientifico" @default.
- Q108482110 description "artigo científico (publicado na 2018)" @default.
- Q108482110 description "artigo científico (publicado na 2018)" @default.
- Q108482110 description "artigo científico" @default.
- Q108482110 description "artikel ilmiah" @default.
- Q108482110 description "artikull shkencor" @default.
- Q108482110 description "artikulong pang-agham" @default.
- Q108482110 description "artykuł naukowy" @default.
- Q108482110 description "artículo científico publicado en 2018" @default.
- Q108482110 description "artículu científicu" @default.
- Q108482110 description "bilimsel makale" @default.
- Q108482110 description "bài báo khoa học" @default.
- Q108482110 description "maqolai ilmiy" @default.
- Q108482110 description "mokslinis straipsnis" @default.
- Q108482110 description "naučni članak" @default.
- Q108482110 description "scienca artikolo" @default.
- Q108482110 description "scientific article" @default.
- Q108482110 description "teaduslik artikkel" @default.
- Q108482110 description "tieteellinen artikkeli" @default.
- Q108482110 description "tudományos cikk" @default.
- Q108482110 description "vedecký článok" @default.
- Q108482110 description "vetenskaplig artikel" @default.
- Q108482110 description "videnskabelig artikel (udgivet 2018)" @default.
- Q108482110 description "vitenskapelig artikkel" @default.
- Q108482110 description "vitskapeleg artikkel" @default.
- Q108482110 description "vědecký článek" @default.
- Q108482110 description "wetenschappelijk artikel" @default.
- Q108482110 description "wissenschaftlicher Artikel" @default.
- Q108482110 description "επιστημονικό άρθρο" @default.
- Q108482110 description "мақолаи илмӣ" @default.
- Q108482110 description "мақолаи илмӣ" @default.
- Q108482110 description "наукова стаття" @default.
- Q108482110 description "научна статия" @default.
- Q108482110 description "научная статья" @default.
- Q108482110 description "научни чланак" @default.
- Q108482110 description "научни чланак" @default.
- Q108482110 description "գիտական հոդված" @default.
- Q108482110 description "מאמר מדעי" @default.
- Q108482110 description "سائنسی مضمون" @default.
- Q108482110 description "مقالة علمية" @default.
- Q108482110 description "مقالهٔ علمی" @default.
- Q108482110 description "২০১৮-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q108482110 description "บทความทางวิทยาศาสตร์" @default.
- Q108482110 description "სამეცნიერო სტატია" @default.
- Q108482110 name "Semantics of Mizar as an Isabelle Object Logic" @default.
- Q108482110 name "Semantics of Mizar as an Isabelle Object Logic" @default.
- Q108482110 type Item @default.
- Q108482110 label "Semantics of Mizar as an Isabelle Object Logic" @default.
- Q108482110 label "Semantics of Mizar as an Isabelle Object Logic" @default.
- Q108482110 prefLabel "Semantics of Mizar as an Isabelle Object Logic" @default.
- Q108482110 prefLabel "Semantics of Mizar as an Isabelle Object Logic" @default.
- Q108482110 P1433 Q108482110-B3746F7A-D1AA-42E5-A207-60F61AAE633B @default.
- Q108482110 P1476 Q108482110-77A13667-7256-4C68-95E8-1259272D607D @default.
- Q108482110 P275 Q108482110-e083e67a-906c-46e3-b8a4-df313691cafc @default.
- Q108482110 P304 Q108482110-3420EC19-BC9B-49BC-9EBD-CB5B9BDE4B87 @default.
- Q108482110 P31 Q108482110-7E640530-513F-4BB5-A9E7-7C977A51A1C2 @default.
- Q108482110 P356 Q108482110-FA64DAFE-3ED2-4773-ADE8-14877A9DFC2A @default.
- Q108482110 P433 Q108482110-0C9083E8-92A3-4493-B1C3-40F34C6FE56C @default.
- Q108482110 P478 Q108482110-8D74161F-B932-44FF-9D87-7EB2B80B18AA @default.
- Q108482110 P50 Q108482110-D777C369-BBBB-4E33-BA70-4B3F4BD3F67A @default.
- Q108482110 P50 Q108482110-F966356D-BE1D-44F2-82D8-CE1A73873EC8 @default.
- Q108482110 P577 Q108482110-C69E2244-43A4-4911-8CF9-6A59C1425E5B @default.
- Q108482110 P6104 Q108482110-3B3403AA-0EA2-41D6-8EC1-8D72DCA7469E @default.
- Q108482110 P6216 Q108482110-dffc4a05-bcd0-455f-802b-7521816e3063 @default.
- Q108482110 P894 Q108482110-4BDC42D4-75B6-41E7-91CE-D63FF1F5E238 @default.
- Q108482110 P356 S10817-018-9479-Z @default.
- Q108482110 P1433 Q6294821 @default.
- Q108482110 P1476 "Semantics of Mizar as an Isabelle Object Logic" @default.
- Q108482110 P275 Q20007257 @default.
- Q108482110 P304 "557-595" @default.
- Q108482110 P31 Q13442814 @default.
- Q108482110 P356 "10.1007/S10817-018-9479-Z" @default.
- Q108482110 P433 "3" @default.
- Q108482110 P478 "63" @default.
- Q108482110 P50 Q57556762 @default.
- Q108482110 P50 Q59698459 @default.
- Q108482110 P577 "2018-08-28T00:00:00Z" @default.
- Q108482110 P6104 Q8487137 @default.
- Q108482110 P6216 Q50423863 @default.
- Q108482110 P894 "1468.68290" @default.