Matches in Wikidata for { <http://www.wikidata.org/entity/Q62652837> ?p ?o ?g. }
Showing items 1 to 41 of
41
with 100 items per page.
- Q62652837 description "article scientifique publié en 2005" @default.
- Q62652837 description "im Juli 2005 veröffentlichter wissenschaftlicher Artikel" @default.
- Q62652837 description "wetenschappelijk artikel" @default.
- Q62652837 description "наукова стаття, опублікована в липні 2005" @default.
- Q62652837 name "TSAT++: an Open Platform for Satisfiability Modulo Theories" @default.
- Q62652837 name "TSAT++: an Open Platform for Satisfiability Modulo Theories" @default.
- Q62652837 type Item @default.
- Q62652837 label "TSAT++: an Open Platform for Satisfiability Modulo Theories" @default.
- Q62652837 label "TSAT++: an Open Platform for Satisfiability Modulo Theories" @default.
- Q62652837 prefLabel "TSAT++: an Open Platform for Satisfiability Modulo Theories" @default.
- Q62652837 prefLabel "TSAT++: an Open Platform for Satisfiability Modulo Theories" @default.
- Q62652837 P1433 Q62652837-7CA91BEE-7814-4146-9405-379FA4673EB4 @default.
- Q62652837 P1476 Q62652837-237B6D18-BE84-40C5-AF59-95683E257C17 @default.
- Q62652837 P2093 Q62652837-0BC38F3E-2591-448B-AEC1-C1FA840BEA47 @default.
- Q62652837 P2093 Q62652837-3A76B580-248F-4C2C-9D46-4D1390D8705B @default.
- Q62652837 P2093 Q62652837-3E6147A4-0CC0-4F31-ABAF-CE2C3ABAC560 @default.
- Q62652837 P2093 Q62652837-716FF7D8-3FA7-486E-A0A4-DDE4B20C0A67 @default.
- Q62652837 P2093 Q62652837-74423F20-82B8-4B53-A90F-ADC00448B384 @default.
- Q62652837 P304 Q62652837-0D26EC0A-8CA4-4BD3-8A59-CEF3342AC458 @default.
- Q62652837 P31 Q62652837-1F4345AF-3720-4AE5-8812-CDED95922374 @default.
- Q62652837 P356 Q62652837-9F3ABEBC-4DE3-4663-B48E-48C99E17726C @default.
- Q62652837 P433 Q62652837-A8675E3E-BE0A-4074-AC34-7420199E4DCB @default.
- Q62652837 P478 Q62652837-0F8DEAE4-B98F-4514-8556-1255A832C0AA @default.
- Q62652837 P577 Q62652837-BAD83941-8BF2-40D7-BB56-631262AF4191 @default.
- Q62652837 P8978 Q62652837-ADFDC6C8-8B08-4633-8A07-D5B9D50603E8 @default.
- Q62652837 P356 J.ENTCS.2004.06.065 @default.
- Q62652837 P8978 ArmandoCGIM05 @default.
- Q62652837 P1433 Q5358287 @default.
- Q62652837 P1476 "TSAT++: an Open Platform for Satisfiability Modulo Theories" @default.
- Q62652837 P2093 "Alessandro Armando" @default.
- Q62652837 P2093 "Claudio Castellini" @default.
- Q62652837 P2093 "Enrico Giunchiglia" @default.
- Q62652837 P2093 "Marco Maratea" @default.
- Q62652837 P2093 "Massimo Idini" @default.
- Q62652837 P304 "25-36" @default.
- Q62652837 P31 Q13442814 @default.
- Q62652837 P356 "10.1016/J.ENTCS.2004.06.065" @default.
- Q62652837 P433 "3" @default.
- Q62652837 P478 "125" @default.
- Q62652837 P577 "2005-07-01T00:00:00Z" @default.
- Q62652837 P8978 "journals/entcs/ArmandoCGIM05" @default.