Matches in Wikidata for { <http://www.wikidata.org/entity/Q59590563> ?p ?o ?g. }
- Q59590563 description "2017 nî lūn-bûn" @default.
- Q59590563 description "2017年の論文" @default.
- Q59590563 description "2017年学术文章" @default.
- Q59590563 description "2017年学术文章" @default.
- Q59590563 description "2017年学术文章" @default.
- Q59590563 description "2017年学术文章" @default.
- Q59590563 description "2017年学术文章" @default.
- Q59590563 description "2017年学术文章" @default.
- Q59590563 description "2017年學術文章" @default.
- Q59590563 description "2017年學術文章" @default.
- Q59590563 description "2017年學術文章" @default.
- Q59590563 description "2017年學術文章" @default.
- Q59590563 description "2017年學術文章" @default.
- Q59590563 description "2017년 논문" @default.
- Q59590563 description "article científic" @default.
- Q59590563 description "article scientific" @default.
- Q59590563 description "article scientifique" @default.
- Q59590563 description "articol științific" @default.
- Q59590563 description "articolo scientifico" @default.
- Q59590563 description "artigo científico" @default.
- Q59590563 description "artigo científico" @default.
- Q59590563 description "artigo científico" @default.
- Q59590563 description "artikel ilmiah" @default.
- Q59590563 description "artikull shkencor" @default.
- Q59590563 description "artikulong pang-agham" @default.
- Q59590563 description "artykuł naukowy" @default.
- Q59590563 description "artículo científico publicado en 2017" @default.
- Q59590563 description "artículu científicu" @default.
- Q59590563 description "bilimsel makale" @default.
- Q59590563 description "bài báo khoa học" @default.
- Q59590563 description "naučni članak" @default.
- Q59590563 description "scienca artikolo" @default.
- Q59590563 description "scientific article published on 22 February 2017" @default.
- Q59590563 description "scientific article published on 22 February 2017" @default.
- Q59590563 description "scientific article published on 22 February 2017" @default.
- Q59590563 description "teaduslik artikkel" @default.
- Q59590563 description "tieteellinen artikkeli" @default.
- Q59590563 description "tudományos cikk" @default.
- Q59590563 description "vedecký článok" @default.
- Q59590563 description "vetenskaplig artikel" @default.
- Q59590563 description "videnskabelig artikel" @default.
- Q59590563 description "vitenskapelig artikkel" @default.
- Q59590563 description "vitskapeleg artikkel" @default.
- Q59590563 description "vědecký článek" @default.
- Q59590563 description "wetenschappelijk artikel" @default.
- Q59590563 description "wissenschaftlicher Artikel" @default.
- Q59590563 description "επιστημονικό άρθρο" @default.
- Q59590563 description "мақолаи илмӣ" @default.
- Q59590563 description "наукова стаття, опублікована в лютому 2017" @default.
- Q59590563 description "научна статия" @default.
- Q59590563 description "научная статья" @default.
- Q59590563 description "научни чланак" @default.
- Q59590563 description "научни чланак" @default.
- Q59590563 description "מאמר מדעי" @default.
- Q59590563 description "مقالة علمية نشرت في 22 فبراير 2017" @default.
- Q59590563 description "২২ ফেব্রুয়ারি ২০১৭-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q59590563 description "บทความทางวิทยาศาสตร์" @default.
- Q59590563 description "სამეცნიერო სტატია" @default.
- Q59590563 name "Satisfiability checking and symbolic computation" @default.
- Q59590563 name "Satisfiability checking and symbolic computation" @default.
- Q59590563 type Item @default.
- Q59590563 label "Satisfiability checking and symbolic computation" @default.
- Q59590563 label "Satisfiability checking and symbolic computation" @default.
- Q59590563 prefLabel "Satisfiability checking and symbolic computation" @default.
- Q59590563 prefLabel "Satisfiability checking and symbolic computation" @default.
- Q59590563 P1476 Q59590563-D64FF42E-BBC4-4738-ADAB-2B58332105AD @default.
- Q59590563 P2093 Q59590563-06872AF5-031D-4042-AD77-538970BFDB3E @default.
- Q59590563 P2093 Q59590563-24063B46-17A9-4F68-91F7-CEAFFFCA512E @default.
- Q59590563 P2093 Q59590563-4B1EFC6F-778A-4DFF-BDE5-515B4F09EB1B @default.
- Q59590563 P2093 Q59590563-668E531C-0305-4BE8-B052-AEC724DA33BF @default.
- Q59590563 P2093 Q59590563-6C94FF22-8F09-472A-90D9-4F6DFB525EC8 @default.
- Q59590563 P2093 Q59590563-AFDE71C0-94C9-49EF-9CFA-7E75D8F8A3EC @default.
- Q59590563 P2093 Q59590563-C5AD9F8A-6954-4BE3-A135-EA69F83FA684 @default.
- Q59590563 P2093 Q59590563-D7F21343-D4A6-444F-A185-849DB30B1084 @default.
- Q59590563 P2093 Q59590563-DA72EED6-AC3B-484E-B532-3EA33572467C @default.
- Q59590563 P2093 Q59590563-DDAE51A2-F198-4DBF-9ACF-699A77F6631C @default.
- Q59590563 P2093 Q59590563-E95290DD-1782-408A-A220-2695E90C4E5E @default.
- Q59590563 P2093 Q59590563-E9EFC880-B710-40E5-ADE8-951EF8104593 @default.
- Q59590563 P2093 Q59590563-EDA9ACA1-B7DA-4813-9326-E983AB8228E5 @default.
- Q59590563 P304 Q59590563-2AC73E9C-3A89-4A16-AA0D-713C2B3136F2 @default.
- Q59590563 P31 Q59590563-D7A908A5-3C6F-4EDA-8C34-65C942C297F6 @default.
- Q59590563 P356 Q59590563-43E2A0DA-8DB0-4863-8F49-6BE5DDB0042A @default.
- Q59590563 P433 Q59590563-6B0839B6-1D3F-4F52-AD1E-6A26B547881B @default.
- Q59590563 P478 Q59590563-454BC8C7-1D31-4B91-B77A-D1D3BA829246 @default.
- Q59590563 P50 Q59590563-8BA934B9-1E1A-4E2A-811C-DE78B0A120A1 @default.
- Q59590563 P50 Q59590563-A42C39FE-0DD6-4AD9-BABD-8AE1687068AE @default.
- Q59590563 P577 Q59590563-CC8AEA20-DF03-45E4-BA25-14CD2E4AF9F4 @default.
- Q59590563 P6104 Q59590563-35F7F05A-2EE6-4CB5-A49B-E47DC3C52A46 @default.
- Q59590563 P724 Q59590563-D02111F1-CF5F-4917-8908-514915161042 @default.
- Q59590563 P818 Q59590563-A88F0389-9045-4F3A-A1A7-B5A5C9EA603B @default.
- Q59590563 P894 Q59590563-F41D1FEC-5CB5-4A58-8B9D-03193173163C @default.
- Q59590563 P8978 Q59590563-FA7C6E62-07E5-4399-8C9E-329BC22C9BF2 @default.
- Q59590563 P356 3055282.3055285 @default.
- Q59590563 P8978 AbrahamA0BBBCDE16 @default.
- Q59590563 P1476 "Satisfiability checking and symbolic computation" @default.
- Q59590563 P2093 "A. Griggio" @default.
- Q59590563 P2093 "A. M. Bigatti" @default.
- Q59590563 P2093 "B. Becker" @default.
- Q59590563 P2093 "B. Buchberger" @default.
- Q59590563 P2093 "D. Kroening" @default.