Matches in Wikidata for { <http://www.wikidata.org/entity/Q122234818> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- Q122234818 description "2023 nî lūn-bûn" @default.
- Q122234818 description "2023年の論文" @default.
- Q122234818 description "2023年学术文章" @default.
- Q122234818 description "2023年学术文章" @default.
- Q122234818 description "2023年学术文章" @default.
- Q122234818 description "2023年学术文章" @default.
- Q122234818 description "2023年学术文章" @default.
- Q122234818 description "2023年学术文章" @default.
- Q122234818 description "2023年學術文章" @default.
- Q122234818 description "2023年學術文章" @default.
- Q122234818 description "2023年學術文章" @default.
- Q122234818 description "2023年學術文章" @default.
- Q122234818 description "2023年學術文章" @default.
- Q122234818 description "2023년 논문" @default.
- Q122234818 description "article científic" @default.
- Q122234818 description "article scientific" @default.
- Q122234818 description "article scientifique publié en 2023" @default.
- Q122234818 description "articol științific" @default.
- Q122234818 description "articolo scientifico" @default.
- Q122234818 description "artigo científico" @default.
- Q122234818 description "artigo científico" @default.
- Q122234818 description "artigo científico" @default.
- Q122234818 description "artikel ilmiah" @default.
- Q122234818 description "artikull shkencor" @default.
- Q122234818 description "artikulong pang-agham" @default.
- Q122234818 description "artykuł naukowy" @default.
- Q122234818 description "artículo científico publicado en 2023" @default.
- Q122234818 description "artículu científicu espublizáu en 2023" @default.
- Q122234818 description "bilimsel makale" @default.
- Q122234818 description "bài báo khoa học" @default.
- Q122234818 description "naučni članak" @default.
- Q122234818 description "scienca artikolo" @default.
- Q122234818 description "scientific article published in 2023" @default.
- Q122234818 description "scientific article published on 11 May 2023" @default.
- Q122234818 description "scientific article published on 11 May 2023" @default.
- Q122234818 description "teaduslik artikkel" @default.
- Q122234818 description "tieteellinen artikkeli" @default.
- Q122234818 description "tudományos cikk" @default.
- Q122234818 description "vedecký článok" @default.
- Q122234818 description "vetenskaplig artikel" @default.
- Q122234818 description "videnskabelig artikel udgivet 11. maj 2023" @default.
- Q122234818 description "vitenskapelig artikkel" @default.
- Q122234818 description "vitskapeleg artikkel" @default.
- Q122234818 description "vědecký článek" @default.
- Q122234818 description "wetenschappelijk artikel" @default.
- Q122234818 description "wissenschaftlicher Artikel" @default.
- Q122234818 description "znanstveni članek" @default.
- Q122234818 description "επιστημονικό άρθρο" @default.
- Q122234818 description "мақолаи илмӣ" @default.
- Q122234818 description "наукова стаття, опублікована в травні 2023" @default.
- Q122234818 description "научна статия" @default.
- Q122234818 description "научная статья" @default.
- Q122234818 description "научни чланак" @default.
- Q122234818 description "научни чланак" @default.
- Q122234818 description "מאמר מדעי" @default.
- Q122234818 description "مقالة بحثية نشرت في 11 مايو 2023" @default.
- Q122234818 description "১১ মে ২০২৩-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q122234818 description "บทความทางวิทยาศาสตร์" @default.
- Q122234818 description "სამეცნიერო სტატია" @default.
- Q122234818 name "The 11th IJCAR automated theorem proving system competition – CASC-J11" @default.
- Q122234818 type Item @default.
- Q122234818 label "The 11th IJCAR automated theorem proving system competition – CASC-J11" @default.
- Q122234818 prefLabel "The 11th IJCAR automated theorem proving system competition – CASC-J11" @default.
- Q122234818 P1433 Q122234818-0C28D9B8-48C0-41A1-BD0F-733F983A53E9 @default.
- Q122234818 P1476 Q122234818-7150EB7B-8BBA-4D43-B6D2-1B706EE3A17D @default.
- Q122234818 P2093 Q122234818-5FDFA287-E1BD-4921-AD37-4CC79B7C6199 @default.
- Q122234818 P2093 Q122234818-9074B445-E9F9-4CBF-B133-17B05D8A1FEB @default.
- Q122234818 P304 Q122234818-3905BF54-687D-4B63-B237-F4080F62353D @default.
- Q122234818 P31 Q122234818-B8BBBF44-48F8-43ED-9E06-17E10E09992A @default.
- Q122234818 P356 Q122234818-7777BF2D-2929-47BE-A789-1F7C2490A0DE @default.
- Q122234818 P433 Q122234818-D7B8DBC5-DA8D-4005-B631-DDE9573119E5 @default.
- Q122234818 P478 Q122234818-50F270E5-AF51-4879-96D0-9CE2893A8000 @default.
- Q122234818 P577 Q122234818-4DA0FCED-B7C2-4527-8C03-6DB82B78C773 @default.
- Q122234818 P356 AIC-220244 @default.
- Q122234818 P1433 Q15753479 @default.
- Q122234818 P1476 "The 11th IJCAR automated theorem proving system competition – CASC-J11" @default.
- Q122234818 P2093 "Geoff Sutcliffe" @default.
- Q122234818 P2093 "Martin Desharnais" @default.
- Q122234818 P304 "73-91" @default.
- Q122234818 P31 Q13442814 @default.
- Q122234818 P356 "10.3233/AIC-220244" @default.
- Q122234818 P433 "2" @default.
- Q122234818 P478 "36" @default.
- Q122234818 P577 "2023-05-11T00:00:00Z" @default.