Matches in Wikidata for { <http://www.wikidata.org/entity/Q62040564> ?p ?o ?g. }
- Q62040564 description "2003 nî lūn-bûn" @default.
- Q62040564 description "2003年の論文" @default.
- Q62040564 description "2003年学术文章" @default.
- Q62040564 description "2003年学术文章" @default.
- Q62040564 description "2003年学术文章" @default.
- Q62040564 description "2003年学术文章" @default.
- Q62040564 description "2003年学术文章" @default.
- Q62040564 description "2003年学术文章" @default.
- Q62040564 description "2003年學術文章" @default.
- Q62040564 description "2003年學術文章" @default.
- Q62040564 description "2003年學術文章" @default.
- Q62040564 description "2003年學術文章" @default.
- Q62040564 description "2003年學術文章" @default.
- Q62040564 description "2003년 논문" @default.
- Q62040564 description "article científic" @default.
- Q62040564 description "article scientific" @default.
- Q62040564 description "article scientifique" @default.
- Q62040564 description "articol științific" @default.
- Q62040564 description "articolo scientifico" @default.
- Q62040564 description "artigo científico" @default.
- Q62040564 description "artigo científico" @default.
- Q62040564 description "artigo científico" @default.
- Q62040564 description "artikel ilmiah" @default.
- Q62040564 description "artikull shkencor" @default.
- Q62040564 description "artikulong pang-agham" @default.
- Q62040564 description "artykuł naukowy" @default.
- Q62040564 description "artículo científico publicado en 2003" @default.
- Q62040564 description "artículu científicu" @default.
- Q62040564 description "bilimsel makale" @default.
- Q62040564 description "bài báo khoa học" @default.
- Q62040564 description "naučni članak" @default.
- Q62040564 description "scienca artikolo" @default.
- Q62040564 description "scientific article published in April 2003" @default.
- Q62040564 description "scientific article published in April 2003" @default.
- Q62040564 description "scientific article published in April 2003" @default.
- Q62040564 description "teaduslik artikkel" @default.
- Q62040564 description "tieteellinen artikkeli" @default.
- Q62040564 description "tudományos cikk" @default.
- Q62040564 description "vedecký článok" @default.
- Q62040564 description "vetenskaplig artikel" @default.
- Q62040564 description "videnskabelig artikel" @default.
- Q62040564 description "vitenskapelig artikkel" @default.
- Q62040564 description "vitskapeleg artikkel" @default.
- Q62040564 description "vědecký článek" @default.
- Q62040564 description "wetenschappelijk artikel" @default.
- Q62040564 description "wissenschaftlicher Artikel" @default.
- Q62040564 description "επιστημονικό άρθρο" @default.
- Q62040564 description "мақолаи илмӣ" @default.
- Q62040564 description "наукова стаття, опублікована у квітні 2003" @default.
- Q62040564 description "научна статия" @default.
- Q62040564 description "научная статья" @default.
- Q62040564 description "научни чланак" @default.
- Q62040564 description "научни чланак" @default.
- Q62040564 description "מאמר מדעי" @default.
- Q62040564 description "مقالة علمية نشرت في أبريل 2003" @default.
- Q62040564 description "এপ্রিল ২০০৩-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q62040564 description "บทความทางวิทยาศาสตร์" @default.
- Q62040564 description "სამეცნიერო სტატია" @default.
- Q62040564 name "Backjumping for Quantified Boolean Logic satisfiability" @default.
- Q62040564 name "Backjumping for Quantified Boolean Logic satisfiability" @default.
- Q62040564 type Item @default.
- Q62040564 label "Backjumping for Quantified Boolean Logic satisfiability" @default.
- Q62040564 label "Backjumping for Quantified Boolean Logic satisfiability" @default.
- Q62040564 prefLabel "Backjumping for Quantified Boolean Logic satisfiability" @default.
- Q62040564 prefLabel "Backjumping for Quantified Boolean Logic satisfiability" @default.
- Q62040564 P1433 Q62040564-7C52CAEA-90E3-4CCD-9B38-D7E230BFD729 @default.
- Q62040564 P1476 Q62040564-1A9B4428-869C-4D9C-83C7-BC9E2F5356F2 @default.
- Q62040564 P2093 Q62040564-3EC9E7D3-6E49-4866-A8B4-A6D2396B14E4 @default.
- Q62040564 P2093 Q62040564-A2FF6066-BB94-49C2-94CF-FDCF40252214 @default.
- Q62040564 P2860 Q62040564-61D7B5AF-0AFD-4E2C-A8EE-D86102A96194 @default.
- Q62040564 P2860 Q62040564-9E6341FC-0BD1-4AC6-8321-D0CC668725C8 @default.
- Q62040564 P304 Q62040564-ED72535C-D8F1-4CA8-B51E-131F839D90F1 @default.
- Q62040564 P31 Q62040564-CC4AD2E8-F7C2-41BF-AC83-E93377F2835B @default.
- Q62040564 P356 Q62040564-F0442D2E-4D84-4895-A59E-1C0CB3F732CC @default.
- Q62040564 P407 Q62040564-441D5838-7306-46A5-B90B-A0085F13B6F4 @default.
- Q62040564 P433 Q62040564-7D9F09FD-1826-43B1-A052-B4EA0DD8C572 @default.
- Q62040564 P478 Q62040564-602F73AB-8FD6-424E-8615-C6F6BE755707 @default.
- Q62040564 P50 Q62040564-6D7D92B7-F992-424A-AF6B-8E2B22C3C249 @default.
- Q62040564 P577 Q62040564-75AC9099-0C03-4A70-8C8A-1D8A9FA65853 @default.
- Q62040564 P6104 Q62040564-5F8F2DBC-2155-4F48-A947-4410FA93E788 @default.
- Q62040564 P894 Q62040564-01BAFB1F-1F97-42BF-98C7-8D0636B24D0E @default.
- Q62040564 P8978 Q62040564-B5CAF500-1724-4763-9DD9-483BCADC95C0 @default.
- Q62040564 P356 S0004-3702(02)00373-9 @default.
- Q62040564 P8978 GiunchigliaNT03 @default.
- Q62040564 P1433 Q4801030 @default.
- Q62040564 P1476 "Backjumping for Quantified Boolean Logic satisfiability" @default.
- Q62040564 P2093 "Armando Tacchella" @default.
- Q62040564 P2093 "Enrico Giunchiglia" @default.
- Q62040564 P2860 Q29399031 @default.
- Q62040564 P2860 Q55889272 @default.
- Q62040564 P304 "99-120" @default.
- Q62040564 P31 Q13442814 @default.
- Q62040564 P356 "10.1016/S0004-3702(02)00373-9" @default.
- Q62040564 P407 Q1860 @default.
- Q62040564 P433 "1-2" @default.
- Q62040564 P478 "145" @default.
- Q62040564 P50 Q62036602 @default.
- Q62040564 P577 "2003-04-01T00:00:00Z" @default.
- Q62040564 P6104 Q8487137 @default.
- Q62040564 P894 "1082.68795" @default.