Matches in Wikidata for { <http://www.wikidata.org/entity/Q57979701> ?p ?o ?g. }
Showing items 1 to 39 of
39
with 100 items per page.
- Q57979701 description "wetenschappelijk artikel" @default.
- Q57979701 description "наукова стаття, опублікована у 2010" @default.
- Q57979701 name "A System for Solving Constraint Satisfaction Problems with SMT" @default.
- Q57979701 name "A System for Solving Constraint Satisfaction Problems with SMT" @default.
- Q57979701 type Item @default.
- Q57979701 label "A System for Solving Constraint Satisfaction Problems with SMT" @default.
- Q57979701 label "A System for Solving Constraint Satisfaction Problems with SMT" @default.
- Q57979701 prefLabel "A System for Solving Constraint Satisfaction Problems with SMT" @default.
- Q57979701 prefLabel "A System for Solving Constraint Satisfaction Problems with SMT" @default.
- Q57979701 P1104 Q57979701-64B54A72-1AD4-444F-80C0-4D4743243F22 @default.
- Q57979701 P1433 Q57979701-C4BA61C2-6E2C-4215-9453-32624ACE523B @default.
- Q57979701 P1476 Q57979701-D905EB61-0345-43FC-86A7-41702647B94D @default.
- Q57979701 P2093 Q57979701-4ED0528C-0418-4D0E-8E6E-843D49E7A1C8 @default.
- Q57979701 P2093 Q57979701-CA9D711A-56B5-48B1-9CA0-BAD16433692B @default.
- Q57979701 P2093 Q57979701-DCAA8851-7507-4B47-9166-7B8C54D56CFE @default.
- Q57979701 P304 Q57979701-8F27E24B-59B1-4AB9-9B42-2F968273FA40 @default.
- Q57979701 P31 Q57979701-BC7DB743-E871-43E6-821D-D1F472A99A80 @default.
- Q57979701 P356 Q57979701-C267A27F-8C22-43F5-8426-5E22907A1ABF @default.
- Q57979701 P407 Q57979701-80AAF189-DD3B-4B1F-8F95-4D720785356B @default.
- Q57979701 P577 Q57979701-BFF8F4CA-7155-4590-B9C4-43D2E9532BD7 @default.
- Q57979701 P6104 Q57979701-3E372C6A-717C-4F42-95D8-BE856296897B @default.
- Q57979701 P894 Q57979701-AC760947-1CD1-45B6-8129-EA98B8172247 @default.
- Q57979701 P8978 Q57979701-661F1BC5-7B48-4820-B684-C3726B06A0BC @default.
- Q57979701 P356 978-3-642-14186-7_25 @default.
- Q57979701 P8978 BofillSV10 @default.
- Q57979701 P1104 "+6" @default.
- Q57979701 P1433 Q924044 @default.
- Q57979701 P1476 "A System for Solving Constraint Satisfaction Problems with SMT" @default.
- Q57979701 P2093 "Josep Suy" @default.
- Q57979701 P2093 "Mateu Villaret" @default.
- Q57979701 P2093 "Miquel Bofill" @default.
- Q57979701 P304 "300-305" @default.
- Q57979701 P31 Q13442814 @default.
- Q57979701 P356 "10.1007/978-3-642-14186-7_25" @default.
- Q57979701 P407 Q1860 @default.
- Q57979701 P577 "2010-01-01T00:00:00Z" @default.
- Q57979701 P6104 Q8487137 @default.
- Q57979701 P894 "1306.68153" @default.
- Q57979701 P8978 "conf/sat/BofillSV10" @default.