Matches in Wikidata for { <http://www.wikidata.org/entity/Q62041259> ?p ?o ?g. }
- Q62041259 description "2009 nî lūn-bûn" @default.
- Q62041259 description "2009年の論文" @default.
- Q62041259 description "2009年学术文章" @default.
- Q62041259 description "2009年学术文章" @default.
- Q62041259 description "2009年学术文章" @default.
- Q62041259 description "2009年学术文章" @default.
- Q62041259 description "2009年学术文章" @default.
- Q62041259 description "2009年学术文章" @default.
- Q62041259 description "2009年學術文章" @default.
- Q62041259 description "2009年學術文章" @default.
- Q62041259 description "2009年學術文章" @default.
- Q62041259 description "2009年學術文章" @default.
- Q62041259 description "2009年學術文章" @default.
- Q62041259 description "2009년 논문" @default.
- Q62041259 description "article científic" @default.
- Q62041259 description "article scientific" @default.
- Q62041259 description "article scientifique" @default.
- Q62041259 description "articol științific" @default.
- Q62041259 description "articolo scientifico" @default.
- Q62041259 description "artigo científico" @default.
- Q62041259 description "artigo científico" @default.
- Q62041259 description "artigo científico" @default.
- Q62041259 description "artikel ilmiah" @default.
- Q62041259 description "artikull shkencor" @default.
- Q62041259 description "artikulong pang-agham" @default.
- Q62041259 description "artykuł naukowy" @default.
- Q62041259 description "artículo científico publicado en 2009" @default.
- Q62041259 description "artículu científicu" @default.
- Q62041259 description "bilimsel makale" @default.
- Q62041259 description "bài báo khoa học" @default.
- Q62041259 description "naučni članak" @default.
- Q62041259 description "scienca artikolo" @default.
- Q62041259 description "scientific article published in February 2009" @default.
- Q62041259 description "scientific article published in February 2009" @default.
- Q62041259 description "scientific article published in February 2009" @default.
- Q62041259 description "teaduslik artikkel" @default.
- Q62041259 description "tieteellinen artikkeli" @default.
- Q62041259 description "tudományos cikk" @default.
- Q62041259 description "vedecký článok" @default.
- Q62041259 description "vetenskaplig artikel" @default.
- Q62041259 description "videnskabelig artikel" @default.
- Q62041259 description "vitenskapelig artikkel" @default.
- Q62041259 description "vitskapeleg artikkel" @default.
- Q62041259 description "vědecký článek" @default.
- Q62041259 description "wetenschappelijk artikel" @default.
- Q62041259 description "wissenschaftlicher Artikel" @default.
- Q62041259 description "επιστημονικό άρθρο" @default.
- Q62041259 description "мақолаи илмӣ" @default.
- Q62041259 description "наукова стаття, опублікована в лютому 2009" @default.
- Q62041259 description "научна статия" @default.
- Q62041259 description "научная статья" @default.
- Q62041259 description "научни чланак" @default.
- Q62041259 description "научни чланак" @default.
- Q62041259 description "מאמר מדעי" @default.
- Q62041259 description "مقالة علمية نشرت في فبراير 2009" @default.
- Q62041259 description "ফেব্রুয়ারি ২০০৯-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q62041259 description "บทความทางวิทยาศาสตร์" @default.
- Q62041259 description "სამეცნიერო სტატია" @default.
- Q62041259 name "Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis" @default.
- Q62041259 name "Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis" @default.
- Q62041259 type Item @default.
- Q62041259 label "Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis" @default.
- Q62041259 label "Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis" @default.
- Q62041259 prefLabel "Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis" @default.
- Q62041259 prefLabel "Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis" @default.
- Q62041259 P1433 Q62041259-9836ADED-71E9-401B-A0D0-2D12821DCBC1 @default.
- Q62041259 P1476 Q62041259-B652EC24-0473-4EF1-96B1-FA1C0ADF2621 @default.
- Q62041259 P2093 Q62041259-85A5518F-8E8D-4462-9A1B-ED720827821D @default.
- Q62041259 P2093 Q62041259-E7C85B59-9A8D-4113-A3E2-6DC91D96717D @default.
- Q62041259 P2093 Q62041259-EBAC1C0C-E679-4D46-B447-79F33D3ED8F2 @default.
- Q62041259 P2888 Q62041259-6A0ADE04-6BF1-41D4-A41D-C4DEE938C027 @default.
- Q62041259 P304 Q62041259-D8568F23-AED5-4786-91CD-D9BB8067310B @default.
- Q62041259 P31 Q62041259-5BE56179-A9C6-42F1-97FF-6E0E869602AC @default.
- Q62041259 P356 Q62041259-1755E621-05A6-4388-94A6-DB5E66801BDD @default.
- Q62041259 P433 Q62041259-4F2DA08D-6131-4390-A17C-9E7B0B4386DE @default.
- Q62041259 P478 Q62041259-A7787F41-3025-4624-BA99-EB81CC86CE94 @default.
- Q62041259 P50 Q62041259-161B2325-081F-4FDA-97FE-CCD5C5DFB276 @default.
- Q62041259 P50 Q62041259-7CA72DFB-EEC4-4322-B617-3A1AB8F0BC9C @default.
- Q62041259 P577 Q62041259-7BC4508E-4C58-4FDF-A684-353E755D6FEA @default.
- Q62041259 P6104 Q62041259-33D315BF-266F-4E22-8ECB-D3AE53EA0F25 @default.
- Q62041259 P6179 Q62041259-A97B3CC9-B9D1-434F-8896-784FC3CECA4E @default.
- Q62041259 P894 Q62041259-67F79592-A4D8-4B47-8ADE-AD4AEC49C7AD @default.
- Q62041259 P8978 Q62041259-56E5711A-5D2D-434E-B93D-CFD3BBC53B45 @default.
- Q62041259 P356 S10472-009-9152-7 @default.
- Q62041259 P8978 BruttomessoCFGS09 @default.
- Q62041259 P1433 Q15755388 @default.
- Q62041259 P1476 "Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis" @default.
- Q62041259 P2093 "Anders Franzen" @default.
- Q62041259 P2093 "Roberto Bruttomesso" @default.
- Q62041259 P2093 "Roberto Sebastiani" @default.
- Q62041259 P2888 s10472-009-9152-7 @default.
- Q62041259 P304 "63-99" @default.
- Q62041259 P31 Q13442814 @default.
- Q62041259 P356 "10.1007/S10472-009-9152-7" @default.
- Q62041259 P433 "1-2" @default.
- Q62041259 P478 "55" @default.
- Q62041259 P50 Q124324030 @default.
- Q62041259 P50 Q62036606 @default.
- Q62041259 P577 "2009-02-01T00:00:00Z" @default.
- Q62041259 P6104 Q8487137 @default.