Matches in Wikidata for { <http://www.wikidata.org/entity/Q113701303> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- Q113701303 description "2022 nî lūn-bûn" @default.
- Q113701303 description "2022年の論文" @default.
- Q113701303 description "2022年学术文章" @default.
- Q113701303 description "2022年学术文章" @default.
- Q113701303 description "2022年学术文章" @default.
- Q113701303 description "2022年学术文章" @default.
- Q113701303 description "2022年学术文章" @default.
- Q113701303 description "2022年学术文章" @default.
- Q113701303 description "2022年學術文章" @default.
- Q113701303 description "2022年學術文章" @default.
- Q113701303 description "2022年學術文章" @default.
- Q113701303 description "2022年學術文章" @default.
- Q113701303 description "2022年學術文章" @default.
- Q113701303 description "2022년 논문" @default.
- Q113701303 description "article científic" @default.
- Q113701303 description "article scientific" @default.
- Q113701303 description "article scientifique" @default.
- Q113701303 description "articol științific" @default.
- Q113701303 description "articolo scientifico" @default.
- Q113701303 description "artigo científico" @default.
- Q113701303 description "artigo científico" @default.
- Q113701303 description "artigo científico" @default.
- Q113701303 description "artikel ilmiah" @default.
- Q113701303 description "artikull shkencor" @default.
- Q113701303 description "artikulong pang-agham" @default.
- Q113701303 description "artykuł naukowy" @default.
- Q113701303 description "artículo científico publicado en 2022" @default.
- Q113701303 description "artículu científicu espublizáu en 2022" @default.
- Q113701303 description "bilimsel makale" @default.
- Q113701303 description "bài báo khoa học" @default.
- Q113701303 description "naučni članak" @default.
- Q113701303 description "scienca artikolo" @default.
- Q113701303 description "scientific article published in 2022" @default.
- Q113701303 description "scientific article published on 18 March 2022" @default.
- Q113701303 description "scientific article published on 18 March 2022" @default.
- Q113701303 description "teaduslik artikkel" @default.
- Q113701303 description "tieteellinen artikkeli" @default.
- Q113701303 description "tudományos cikk" @default.
- Q113701303 description "vedecký článok" @default.
- Q113701303 description "vetenskaplig artikel" @default.
- Q113701303 description "videnskabelig artikel udgivet 18. marts 2022" @default.
- Q113701303 description "vitenskapelig artikkel" @default.
- Q113701303 description "vitskapeleg artikkel" @default.
- Q113701303 description "vědecký článek" @default.
- Q113701303 description "wetenschappelijk artikel" @default.
- Q113701303 description "wissenschaftlicher Artikel" @default.
- Q113701303 description "επιστημονικό άρθρο" @default.
- Q113701303 description "мақолаи илмӣ" @default.
- Q113701303 description "наукова стаття, опублікована в березні 2022" @default.
- Q113701303 description "научна статия" @default.
- Q113701303 description "научная статья" @default.
- Q113701303 description "научни чланак" @default.
- Q113701303 description "научни чланак" @default.
- Q113701303 description "מאמר מדעי" @default.
- Q113701303 description "مقالة بحثية نشرت في 18 مارس 2022" @default.
- Q113701303 description "১৮ মার্চ ২০২২-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113701303 description "บทความทางวิทยาศาสตร์" @default.
- Q113701303 description "სამეცნიერო სტატია" @default.
- Q113701303 name "The CADE-28 Automated Theorem Proving System Competition – CASC-28" @default.
- Q113701303 type Item @default.
- Q113701303 label "The CADE-28 Automated Theorem Proving System Competition – CASC-28" @default.
- Q113701303 prefLabel "The CADE-28 Automated Theorem Proving System Competition – CASC-28" @default.
- Q113701303 P1433 Q113701303-A5E9E80E-1E60-4AC9-9792-AB502CF9D605 @default.
- Q113701303 P1476 Q113701303-69A29224-0750-426B-95AA-C384CE818C81 @default.
- Q113701303 P2093 Q113701303-032E2147-3182-4673-9A28-3A5474812845 @default.
- Q113701303 P2093 Q113701303-CFD2C51E-A7F6-48D4-8DF5-C5C2A350C211 @default.
- Q113701303 P304 Q113701303-0C3BE0C8-BD9D-4CA2-A13D-7FC2F706BF1B @default.
- Q113701303 P31 Q113701303-FDCF5E98-FEF9-4664-B2CF-E2D736904DE0 @default.
- Q113701303 P356 Q113701303-47C3DE66-FE92-4C25-9FA6-40493FA94BD1 @default.
- Q113701303 P433 Q113701303-260DC19D-8511-4A12-B0E8-2443743C96A4 @default.
- Q113701303 P478 Q113701303-861CFC1F-F2AC-4C69-8714-8F2A129C5222 @default.
- Q113701303 P577 Q113701303-B8792227-712E-4C5F-899B-9D27946028C0 @default.
- Q113701303 P6104 Q113701303-3527956C-14FE-4311-8EEC-D93117DE6038 @default.
- Q113701303 P894 Q113701303-C8795BE5-EB55-4122-AC76-15A643EAA377 @default.
- Q113701303 P356 AIC-210235 @default.
- Q113701303 P1433 Q15753479 @default.
- Q113701303 P1476 "The CADE-28 Automated Theorem Proving System Competition – CASC-28" @default.
- Q113701303 P2093 "Geoff Sutcliffe" @default.
- Q113701303 P2093 "Martin Desharnais" @default.
- Q113701303 P304 "259-276" @default.
- Q113701303 P31 Q13442814 @default.
- Q113701303 P356 "10.3233/AIC-210235" @default.
- Q113701303 P433 "4" @default.
- Q113701303 P478 "34" @default.
- Q113701303 P577 "2022-03-18T00:00:00Z" @default.
- Q113701303 P6104 Q8487137 @default.
- Q113701303 P894 "1487.68249" @default.