Matches in Wikidata for { <http://www.wikidata.org/entity/Q113902755> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- Q113902755 description "2021 nî lūn-bûn" @default.
- Q113902755 description "2021年の論文" @default.
- Q113902755 description "2021年学术文章" @default.
- Q113902755 description "2021年学术文章" @default.
- Q113902755 description "2021年学术文章" @default.
- Q113902755 description "2021年学术文章" @default.
- Q113902755 description "2021年学术文章" @default.
- Q113902755 description "2021年学术文章" @default.
- Q113902755 description "2021年學術文章" @default.
- Q113902755 description "2021年學術文章" @default.
- Q113902755 description "2021年學術文章" @default.
- Q113902755 description "2021年學術文章" @default.
- Q113902755 description "2021年學術文章" @default.
- Q113902755 description "2021년 논문" @default.
- Q113902755 description "article científic" @default.
- Q113902755 description "article scientific" @default.
- Q113902755 description "article scientifique" @default.
- Q113902755 description "articol științific" @default.
- Q113902755 description "articolo scientifico" @default.
- Q113902755 description "artigo científico" @default.
- Q113902755 description "artigo científico" @default.
- Q113902755 description "artigo científico" @default.
- Q113902755 description "artikel ilmiah" @default.
- Q113902755 description "artikull shkencor" @default.
- Q113902755 description "artikulong pang-agham" @default.
- Q113902755 description "artykuł naukowy" @default.
- Q113902755 description "artículo científico publicado en 2021" @default.
- Q113902755 description "artículu científicu espublizáu en 2021" @default.
- Q113902755 description "bilimsel makale" @default.
- Q113902755 description "bài báo khoa học" @default.
- Q113902755 description "naučni članak" @default.
- Q113902755 description "scienca artikolo" @default.
- Q113902755 description "scientific article published in 2021" @default.
- Q113902755 description "scientific article published on 12 May 2021" @default.
- Q113902755 description "scientific article published on 12 May 2021" @default.
- Q113902755 description "teaduslik artikkel" @default.
- Q113902755 description "tieteellinen artikkeli" @default.
- Q113902755 description "tudományos cikk" @default.
- Q113902755 description "vedecký článok" @default.
- Q113902755 description "vetenskaplig artikel" @default.
- Q113902755 description "videnskabelig artikel udgivet 12. maj 2021" @default.
- Q113902755 description "vitenskapelig artikkel" @default.
- Q113902755 description "vitskapeleg artikkel" @default.
- Q113902755 description "vědecký článek" @default.
- Q113902755 description "wetenschappelijk artikel" @default.
- Q113902755 description "wissenschaftlicher Artikel" @default.
- Q113902755 description "επιστημονικό άρθρο" @default.
- Q113902755 description "мақолаи илмӣ" @default.
- Q113902755 description "наукова стаття, опублікована в травні 2021" @default.
- Q113902755 description "научна статия" @default.
- Q113902755 description "научная статья" @default.
- Q113902755 description "научни чланак" @default.
- Q113902755 description "научни чланак" @default.
- Q113902755 description "מאמר מדעי" @default.
- Q113902755 description "مقالة بحثية نشرت في 12 مايو 2021" @default.
- Q113902755 description "১২ মে ২০২১-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113902755 description "บทความทางวิทยาศาสตร์" @default.
- Q113902755 description "სამეცნიერო სტატია" @default.
- Q113902755 name "Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic" @default.
- Q113902755 type Item @default.
- Q113902755 label "Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic" @default.
- Q113902755 prefLabel "Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic" @default.
- Q113902755 P1433 Q113902755-14E35521-57A8-42B1-9389-C058DC8F6AAC @default.
- Q113902755 P1476 Q113902755-C20C85CB-E3F9-4330-8ECD-16AC05525B23 @default.
- Q113902755 P2093 Q113902755-67382160-E522-463F-BA1A-F58B49C81C25 @default.
- Q113902755 P2093 Q113902755-7DFD700D-5FC2-4113-9744-9E5EDE9C0C60 @default.
- Q113902755 P2093 Q113902755-B6FBBAAC-A328-4B10-AFA1-C742ADF9145E @default.
- Q113902755 P304 Q113902755-1A2C0F8E-0A1B-4F86-93EC-B189077DFDB2 @default.
- Q113902755 P31 Q113902755-8A9D9049-3B34-43FA-A9F1-C3616782BFF9 @default.
- Q113902755 P356 Q113902755-064BB4AC-05F7-49B9-B06D-9A8ECF26E484 @default.
- Q113902755 P433 Q113902755-465BE050-BA77-4141-91DC-96A83E1C1003 @default.
- Q113902755 P478 Q113902755-B62ABCF3-417D-498F-8C41-84F78F068F9C @default.
- Q113902755 P577 Q113902755-EF743275-1407-41D8-B199-3DEA033D7E4E @default.
- Q113902755 P356 S10703-021-00372-6 @default.
- Q113902755 P1433 Q15755416 @default.
- Q113902755 P1476 "Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic" @default.
- Q113902755 P2093 "Aleksandar Zeljić" @default.
- Q113902755 P2093 "Peter Backeman" @default.
- Q113902755 P2093 "Philipp Rümmer" @default.
- Q113902755 P304 "121-156" @default.
- Q113902755 P31 Q13442814 @default.
- Q113902755 P356 "10.1007/S10703-021-00372-6" @default.
- Q113902755 P433 "2" @default.
- Q113902755 P478 "57" @default.
- Q113902755 P577 "2021-05-12T00:00:00Z" @default.