Matches in Wikidata for { <http://www.wikidata.org/entity/Q108482172> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- Q108482172 description "2013 nî lūn-bûn" @default.
- Q108482172 description "2013年の論文" @default.
- Q108482172 description "2013年学术文章" @default.
- Q108482172 description "2013年学术文章" @default.
- Q108482172 description "2013年学术文章" @default.
- Q108482172 description "2013年学术文章" @default.
- Q108482172 description "2013年学术文章" @default.
- Q108482172 description "2013年學術文章" @default.
- Q108482172 description "2013年學術文章" @default.
- Q108482172 description "2013年學術文章" @default.
- Q108482172 description "2013年學術文章" @default.
- Q108482172 description "2013年學術文章" @default.
- Q108482172 description "2013年學術文章" @default.
- Q108482172 description "2013년 논문" @default.
- Q108482172 description "article científic" @default.
- Q108482172 description "article scientific" @default.
- Q108482172 description "article scientifique (publié 2013)" @default.
- Q108482172 description "articol științific" @default.
- Q108482172 description "articolo scientifico" @default.
- Q108482172 description "artigo científico (publicado na 2013)" @default.
- Q108482172 description "artigo científico (publicado na 2013)" @default.
- Q108482172 description "artigo científico" @default.
- Q108482172 description "artikel ilmiah" @default.
- Q108482172 description "artikull shkencor" @default.
- Q108482172 description "artikulong pang-agham" @default.
- Q108482172 description "artykuł naukowy" @default.
- Q108482172 description "artículo científico publicado en 2013" @default.
- Q108482172 description "artículu científicu" @default.
- Q108482172 description "bilimsel makale" @default.
- Q108482172 description "bài báo khoa học" @default.
- Q108482172 description "maqolai ilmiy" @default.
- Q108482172 description "mokslinis straipsnis" @default.
- Q108482172 description "naučni članak" @default.
- Q108482172 description "scienca artikolo" @default.
- Q108482172 description "scientific article" @default.
- Q108482172 description "teaduslik artikkel" @default.
- Q108482172 description "tieteellinen artikkeli" @default.
- Q108482172 description "tudományos cikk" @default.
- Q108482172 description "vedecký článok" @default.
- Q108482172 description "vetenskaplig artikel" @default.
- Q108482172 description "videnskabelig artikel (udgivet 2013)" @default.
- Q108482172 description "vitenskapelig artikkel" @default.
- Q108482172 description "vitskapeleg artikkel" @default.
- Q108482172 description "vědecký článek" @default.
- Q108482172 description "wetenschappelijk artikel" @default.
- Q108482172 description "wissenschaftlicher Artikel" @default.
- Q108482172 description "επιστημονικό άρθρο" @default.
- Q108482172 description "мақолаи илмӣ" @default.
- Q108482172 description "мақолаи илмӣ" @default.
- Q108482172 description "наукова стаття" @default.
- Q108482172 description "научна статия" @default.
- Q108482172 description "научная статья" @default.
- Q108482172 description "научни чланак" @default.
- Q108482172 description "научни чланак" @default.
- Q108482172 description "գիտական հոդված" @default.
- Q108482172 description "מאמר מדעי" @default.
- Q108482172 description "سائنسی مضمون" @default.
- Q108482172 description "مقالة علمية" @default.
- Q108482172 description "مقالهٔ علمی" @default.
- Q108482172 description "২০১৩-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q108482172 description "บทความทางวิทยาศาสตร์" @default.
- Q108482172 description "სამეცნიერო სტატია" @default.
- Q108482172 name "Automated Reasoning Service for HOL Light" @default.
- Q108482172 name "Automated Reasoning Service for HOL Light" @default.
- Q108482172 type Item @default.
- Q108482172 label "Automated Reasoning Service for HOL Light" @default.
- Q108482172 label "Automated Reasoning Service for HOL Light" @default.
- Q108482172 prefLabel "Automated Reasoning Service for HOL Light" @default.
- Q108482172 prefLabel "Automated Reasoning Service for HOL Light" @default.
- Q108482172 P1433 Q108482172-79DC5C72-4010-4492-AEAC-FE6FB12BCA8B @default.
- Q108482172 P1476 Q108482172-72C0E642-9FED-49FE-987F-5DE20D3BE9CF @default.
- Q108482172 P2093 Q108482172-CACBB585-39D2-4DA8-BC15-A81230C635CE @default.
- Q108482172 P304 Q108482172-66C5866E-CA56-490B-8B27-67A280762DBF @default.
- Q108482172 P31 Q108482172-7192FCD8-EF0F-4182-ADD4-A0F4266B8187 @default.
- Q108482172 P356 Q108482172-F1D34D80-809D-4631-96B7-52D089579B6A @default.
- Q108482172 P50 Q108482172-A03BD27D-5258-4A40-BF80-0AA3BCB1F86C @default.
- Q108482172 P577 Q108482172-73E68D33-3131-4C3E-A5EC-6F1AF33F4382 @default.
- Q108482172 P6104 Q108482172-1D77E482-CE60-4579-BC1C-FFD1DBDB31C9 @default.
- Q108482172 P894 Q108482172-E2C539C1-C64B-4AE9-9701-50B22908CD13 @default.
- Q108482172 P356 978-3-642-39320-4_8 @default.
- Q108482172 P1433 Q924044 @default.
- Q108482172 P1476 "Automated Reasoning Service for HOL Light" @default.
- Q108482172 P2093 "Josef Urban" @default.
- Q108482172 P304 "120-135" @default.
- Q108482172 P31 Q13442814 @default.
- Q108482172 P356 "10.1007/978-3-642-39320-4_8" @default.
- Q108482172 P50 Q57556762 @default.
- Q108482172 P577 "2013-01-01T00:00:00Z" @default.
- Q108482172 P6104 Q8487137 @default.
- Q108482172 P894 "1390.68576" @default.