Matches in Wikidata for { <http://www.wikidata.org/entity/Q108482151> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- Q108482151 description "2015 nî lūn-bûn" @default.
- Q108482151 description "2015年の論文" @default.
- Q108482151 description "2015年学术文章" @default.
- Q108482151 description "2015年学术文章" @default.
- Q108482151 description "2015年学术文章" @default.
- Q108482151 description "2015年学术文章" @default.
- Q108482151 description "2015年学术文章" @default.
- Q108482151 description "2015年學術文章" @default.
- Q108482151 description "2015年學術文章" @default.
- Q108482151 description "2015年學術文章" @default.
- Q108482151 description "2015年學術文章" @default.
- Q108482151 description "2015年學術文章" @default.
- Q108482151 description "2015年學術文章" @default.
- Q108482151 description "2015년 논문" @default.
- Q108482151 description "article científic" @default.
- Q108482151 description "article scientific" @default.
- Q108482151 description "article scientifique (publié 2015)" @default.
- Q108482151 description "articol științific" @default.
- Q108482151 description "articolo scientifico" @default.
- Q108482151 description "artigo científico (publicado na 2015)" @default.
- Q108482151 description "artigo científico (publicado na 2015)" @default.
- Q108482151 description "artigo científico" @default.
- Q108482151 description "artikel ilmiah" @default.
- Q108482151 description "artikull shkencor" @default.
- Q108482151 description "artikulong pang-agham" @default.
- Q108482151 description "artykuł naukowy" @default.
- Q108482151 description "artículo científico publicado en 2015" @default.
- Q108482151 description "artículu científicu" @default.
- Q108482151 description "bilimsel makale" @default.
- Q108482151 description "bài báo khoa học" @default.
- Q108482151 description "maqolai ilmiy" @default.
- Q108482151 description "mokslinis straipsnis" @default.
- Q108482151 description "naučni članak" @default.
- Q108482151 description "scienca artikolo" @default.
- Q108482151 description "scientific article" @default.
- Q108482151 description "teaduslik artikkel" @default.
- Q108482151 description "tieteellinen artikkeli" @default.
- Q108482151 description "tudományos cikk" @default.
- Q108482151 description "vedecký článok" @default.
- Q108482151 description "vetenskaplig artikel" @default.
- Q108482151 description "videnskabelig artikel (udgivet 2015)" @default.
- Q108482151 description "vitenskapelig artikkel" @default.
- Q108482151 description "vitskapeleg artikkel" @default.
- Q108482151 description "vědecký článek" @default.
- Q108482151 description "wetenschappelijk artikel" @default.
- Q108482151 description "wissenschaftlicher Artikel" @default.
- Q108482151 description "επιστημονικό άρθρο" @default.
- Q108482151 description "мақолаи илмӣ" @default.
- Q108482151 description "мақолаи илмӣ" @default.
- Q108482151 description "наукова стаття" @default.
- Q108482151 description "научна статия" @default.
- Q108482151 description "научная статья" @default.
- Q108482151 description "научни чланак" @default.
- Q108482151 description "научни чланак" @default.
- Q108482151 description "գիտական հոդված" @default.
- Q108482151 description "מאמר מדעי" @default.
- Q108482151 description "سائنسی مضمون" @default.
- Q108482151 description "مقالة علمية" @default.
- Q108482151 description "مقالهٔ علمی" @default.
- Q108482151 description "২০১৫-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q108482151 description "บทความทางวิทยาศาสตร์" @default.
- Q108482151 description "სამეცნიერო სტატია" @default.
- Q108482151 name "Certified Connection Tableaux Proofs for HOL Light and TPTP" @default.
- Q108482151 name "Certified Connection Tableaux Proofs for HOL Light and TPTP" @default.
- Q108482151 type Item @default.
- Q108482151 label "Certified Connection Tableaux Proofs for HOL Light and TPTP" @default.
- Q108482151 label "Certified Connection Tableaux Proofs for HOL Light and TPTP" @default.
- Q108482151 prefLabel "Certified Connection Tableaux Proofs for HOL Light and TPTP" @default.
- Q108482151 prefLabel "Certified Connection Tableaux Proofs for HOL Light and TPTP" @default.
- Q108482151 P1476 Q108482151-D179F16C-0A5D-4B43-A7FF-60DA5936700A @default.
- Q108482151 P2093 Q108482151-C488A1B6-C7A1-475F-A7A7-4A81CB576913 @default.
- Q108482151 P2093 Q108482151-C4E9D93A-E772-4BD0-9D5E-F62FDEC81375 @default.
- Q108482151 P31 Q108482151-FF6C13DC-5D33-4DA1-9FB4-F015AD1C5D22 @default.
- Q108482151 P356 Q108482151-2F354297-309E-4F7D-9275-25DF2065F230 @default.
- Q108482151 P50 Q108482151-34FC3D1F-28CC-4B36-B585-B3672A82542D @default.
- Q108482151 P577 Q108482151-F3C9ED1D-09EA-40A7-8A3D-FD2C8061E214 @default.
- Q108482151 P356 2676724.2693176 @default.
- Q108482151 P1476 "Certified Connection Tableaux Proofs for HOL Light and TPTP" @default.
- Q108482151 P2093 "Jiři Vyskočil" @default.
- Q108482151 P2093 "Josef Urban" @default.
- Q108482151 P31 Q13442814 @default.
- Q108482151 P356 "10.1145/2676724.2693176" @default.
- Q108482151 P50 Q57556762 @default.
- Q108482151 P577 "2015-01-13T00:00:00Z" @default.