Matches in Wikidata for { <http://www.wikidata.org/entity/Q62040548> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- Q62040548 description "2010 nî lūn-bûn" @default.
- Q62040548 description "2010年の論文" @default.
- Q62040548 description "2010年学术文章" @default.
- Q62040548 description "2010年学术文章" @default.
- Q62040548 description "2010年学术文章" @default.
- Q62040548 description "2010年学术文章" @default.
- Q62040548 description "2010年学术文章" @default.
- Q62040548 description "2010年学术文章" @default.
- Q62040548 description "2010年學術文章" @default.
- Q62040548 description "2010年學術文章" @default.
- Q62040548 description "2010年學術文章" @default.
- Q62040548 description "2010年學術文章" @default.
- Q62040548 description "2010年學術文章" @default.
- Q62040548 description "2010년 논문" @default.
- Q62040548 description "article científic" @default.
- Q62040548 description "article scientific" @default.
- Q62040548 description "article scientifique" @default.
- Q62040548 description "articol științific" @default.
- Q62040548 description "articolo scientifico" @default.
- Q62040548 description "artigo científico" @default.
- Q62040548 description "artigo científico" @default.
- Q62040548 description "artigo científico" @default.
- Q62040548 description "artikel ilmiah" @default.
- Q62040548 description "artikull shkencor" @default.
- Q62040548 description "artikulong pang-agham" @default.
- Q62040548 description "artykuł naukowy" @default.
- Q62040548 description "artículo científico publicado en 2010" @default.
- Q62040548 description "artículu científicu" @default.
- Q62040548 description "bilimsel makale" @default.
- Q62040548 description "bài báo khoa học" @default.
- Q62040548 description "naučni članak" @default.
- Q62040548 description "scienca artikolo" @default.
- Q62040548 description "scientific article published in 2010" @default.
- Q62040548 description "scientific article published in 2010" @default.
- Q62040548 description "scientific article published in 2010" @default.
- Q62040548 description "teaduslik artikkel" @default.
- Q62040548 description "tieteellinen artikkeli" @default.
- Q62040548 description "tudományos cikk" @default.
- Q62040548 description "vedecký článok" @default.
- Q62040548 description "vetenskaplig artikel" @default.
- Q62040548 description "videnskabelig artikel" @default.
- Q62040548 description "vitenskapelig artikkel" @default.
- Q62040548 description "vitskapeleg artikkel" @default.
- Q62040548 description "vědecký článek" @default.
- Q62040548 description "wetenschappelijk artikel" @default.
- Q62040548 description "wissenschaftlicher Artikel" @default.
- Q62040548 description "επιστημονικό άρθρο" @default.
- Q62040548 description "мақолаи илмӣ" @default.
- Q62040548 description "наукова стаття, опублікована у 2010" @default.
- Q62040548 description "научна статия" @default.
- Q62040548 description "научная статья" @default.
- Q62040548 description "научни чланак" @default.
- Q62040548 description "научни чланак" @default.
- Q62040548 description "מאמר מדעי" @default.
- Q62040548 description "مقالة علمية نشرت في 2010" @default.
- Q62040548 description "২০১০-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q62040548 description "บทความทางวิทยาศาสตร์" @default.
- Q62040548 description "სამეცნიერო სტატია" @default.
- Q62040548 name "sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning" @default.
- Q62040548 name "sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning" @default.
- Q62040548 type Item @default.
- Q62040548 label "sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning" @default.
- Q62040548 label "sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning" @default.
- Q62040548 prefLabel "sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning" @default.
- Q62040548 prefLabel "sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning" @default.
- Q62040548 P1433 Q62040548-DA67ED40-84BF-4327-82F6-BCADBB5242A0 @default.
- Q62040548 P1476 Q62040548-22EC9547-6C94-4CA0-B56D-4BF1C303B266 @default.
- Q62040548 P2093 Q62040548-8DA03BB0-FF69-4E16-A4B9-961D14F93561 @default.
- Q62040548 P2093 Q62040548-D4519117-522F-4D3A-989D-F70F0C068610 @default.
- Q62040548 P304 Q62040548-9BE048CD-2F30-4C3F-BF99-9F5475445B17 @default.
- Q62040548 P31 Q62040548-6A87A65C-58C0-4721-92BD-5CA996E5BDB9 @default.
- Q62040548 P356 Q62040548-82860D3E-2284-4930-BD2A-DE1A7ED636CA @default.
- Q62040548 P407 Q62040548-E513AD47-8FB4-4344-8F19-E4DC6472E24E @default.
- Q62040548 P50 Q62040548-BA47A9DE-CEB0-4D82-8DC4-7F3B9B39D40E @default.
- Q62040548 P577 Q62040548-C3D3D9A9-6F0F-47E7-A679-6E46163D54CA @default.
- Q62040548 P6104 Q62040548-555ECEFF-EFD2-4196-B0A9-FA04C0442829 @default.
- Q62040548 P894 Q62040548-09B79444-F808-4E2A-913A-E9DD3F6B5BB2 @default.
- Q62040548 P8978 Q62040548-EF132B52-B47D-4A47-B3E9-DE5035328E7B @default.
- Q62040548 P356 978-3-642-14186-7_9 @default.
- Q62040548 P8978 GiunchigliaMN10 @default.
- Q62040548 P1433 Q924044 @default.
- Q62040548 P1476 "sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning" @default.
- Q62040548 P2093 "Enrico Giunchiglia" @default.
- Q62040548 P2093 "Paolo Marin" @default.
- Q62040548 P304 "85-98" @default.
- Q62040548 P31 Q13442814 @default.
- Q62040548 P356 "10.1007/978-3-642-14186-7_9" @default.
- Q62040548 P407 Q1860 @default.
- Q62040548 P50 Q62036602 @default.
- Q62040548 P577 "2010-01-01T00:00:00Z" @default.
- Q62040548 P6104 Q8487137 @default.
- Q62040548 P894 "1306.68157" @default.
- Q62040548 P8978 "conf/sat/GiunchigliaMN10" @default.