Matches in Wikidata for { <http://www.wikidata.org/entity/Q113902759> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- Q113902759 description "2021 nî lūn-bûn" @default.
- Q113902759 description "2021年の論文" @default.
- Q113902759 description "2021年学术文章" @default.
- Q113902759 description "2021年学术文章" @default.
- Q113902759 description "2021年学术文章" @default.
- Q113902759 description "2021年学术文章" @default.
- Q113902759 description "2021年学术文章" @default.
- Q113902759 description "2021年学术文章" @default.
- Q113902759 description "2021年學術文章" @default.
- Q113902759 description "2021年學術文章" @default.
- Q113902759 description "2021年學術文章" @default.
- Q113902759 description "2021年學術文章" @default.
- Q113902759 description "2021年學術文章" @default.
- Q113902759 description "2021년 논문" @default.
- Q113902759 description "article científic" @default.
- Q113902759 description "article scientific" @default.
- Q113902759 description "article scientifique" @default.
- Q113902759 description "articol științific" @default.
- Q113902759 description "articolo scientifico" @default.
- Q113902759 description "artigo científico" @default.
- Q113902759 description "artigo científico" @default.
- Q113902759 description "artigo científico" @default.
- Q113902759 description "artikel ilmiah" @default.
- Q113902759 description "artikull shkencor" @default.
- Q113902759 description "artikulong pang-agham" @default.
- Q113902759 description "artykuł naukowy" @default.
- Q113902759 description "artículo científico publicado en 2021" @default.
- Q113902759 description "artículu científicu espublizáu en 2021" @default.
- Q113902759 description "bilimsel makale" @default.
- Q113902759 description "bài báo khoa học" @default.
- Q113902759 description "naučni članak" @default.
- Q113902759 description "scienca artikolo" @default.
- Q113902759 description "scientific article published in 2021" @default.
- Q113902759 description "scientific article published in August 2021" @default.
- Q113902759 description "scientific article published in August 2021" @default.
- Q113902759 description "teaduslik artikkel" @default.
- Q113902759 description "tieteellinen artikkeli" @default.
- Q113902759 description "tudományos cikk" @default.
- Q113902759 description "vedecký článok" @default.
- Q113902759 description "vetenskaplig artikel" @default.
- Q113902759 description "videnskabelig artikel udgivet august 2021" @default.
- Q113902759 description "vitenskapelig artikkel" @default.
- Q113902759 description "vitskapeleg artikkel" @default.
- Q113902759 description "vědecký článek" @default.
- Q113902759 description "wetenschappelijk artikel" @default.
- Q113902759 description "wissenschaftlicher Artikel" @default.
- Q113902759 description "επιστημονικό άρθρο" @default.
- Q113902759 description "мақолаи илмӣ" @default.
- Q113902759 description "наукова стаття, опублікована в серпні 2021" @default.
- Q113902759 description "научна статия" @default.
- Q113902759 description "научная статья" @default.
- Q113902759 description "научни чланак" @default.
- Q113902759 description "научни чланак" @default.
- Q113902759 description "מאמר מדעי" @default.
- Q113902759 description "مقالة بحثية نشرت في أغسطس 2021" @default.
- Q113902759 description "আগস্ট ২০২১-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113902759 description "บทความทางวิทยาศาสตร์" @default.
- Q113902759 description "სამეცნიერო სტატია" @default.
- Q113902759 name "Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations" @default.
- Q113902759 type Item @default.
- Q113902759 label "Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations" @default.
- Q113902759 prefLabel "Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations" @default.
- Q113902759 P1433 Q113902759-7D1A3B84-3661-490F-BF73-322DE1C8D5D3 @default.
- Q113902759 P1476 Q113902759-9B2AB021-5782-44B0-9FBA-169D3800C8EE @default.
- Q113902759 P2093 Q113902759-0405DDD9-510E-4267-9399-3F43E79E5881 @default.
- Q113902759 P2093 Q113902759-7F71775E-FF17-4DE8-8BEE-39EB5669B6B1 @default.
- Q113902759 P2093 Q113902759-926BA91D-23E5-4014-ACE3-562E1EE923BB @default.
- Q113902759 P2093 Q113902759-A49F2BA5-D35B-42A1-9BA2-DF93A8D1EC64 @default.
- Q113902759 P2093 Q113902759-B9513E45-D72A-4716-A4B5-C31F17889797 @default.
- Q113902759 P2093 Q113902759-C1A66213-FBC1-4D26-9D49-46AEC264F4F6 @default.
- Q113902759 P304 Q113902759-F817E118-B138-47A9-A68E-CA4BC24CB167 @default.
- Q113902759 P31 Q113902759-D22A30CE-BB93-4DFB-B54A-E4152509FC98 @default.
- Q113902759 P356 Q113902759-DCFF538D-3B89-45F6-8580-82D847C318FA @default.
- Q113902759 P433 Q113902759-33DCA129-5910-473B-B614-EDB1BE0A68F4 @default.
- Q113902759 P478 Q113902759-FD8408F4-C110-4D3F-8AE0-2E3522F803AF @default.
- Q113902759 P577 Q113902759-B204E25C-2E8C-4B59-B9F9-D9B67EC4FCC2 @default.
- Q113902759 P356 S10703-021-00371-7 @default.
- Q113902759 P1433 Q15755416 @default.
- Q113902759 P1476 "Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations" @default.
- Q113902759 P2093 "Florian Lonsing" @default.
- Q113902759 P2093 "Martina Seidl" @default.
- Q113902759 P2093 "Nicolas Braud-Santoni" @default.
- Q113902759 P2093 "Roderick Bloem" @default.
- Q113902759 P2093 "Uwe Egly" @default.
- Q113902759 P2093 "Vedad Hadzic" @default.
- Q113902759 P304 "157-177" @default.
- Q113902759 P31 Q13442814 @default.
- Q113902759 P356 "10.1007/S10703-021-00371-7" @default.
- Q113902759 P433 "2" @default.
- Q113902759 P478 "57" @default.
- Q113902759 P577 "2021-08-01T00:00:00Z" @default.