Matches in Wikidata for { <http://www.wikidata.org/entity/Q62652847> ?p ?o ?g. }
Showing items 1 to 40 of
40
with 100 items per page.
- Q62652847 description "article scientifique publié en 2005" @default.
- Q62652847 description "wetenschappelijk artikel" @default.
- Q62652847 description "наукова стаття, опублікована у 2005" @default.
- Q62652847 name "SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective" @default.
- Q62652847 name "SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective" @default.
- Q62652847 type Item @default.
- Q62652847 label "SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective" @default.
- Q62652847 label "SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective" @default.
- Q62652847 prefLabel "SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective" @default.
- Q62652847 prefLabel "SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective" @default.
- Q62652847 P1433 Q62652847-5888F6EE-2C4B-46D5-BDC2-685BF94B8CB0 @default.
- Q62652847 P1476 Q62652847-E9EEE309-186E-4F88-808E-A5E3E926AB2B @default.
- Q62652847 P2093 Q62652847-3F0ED48C-44AC-4F86-B988-C7986D924F80 @default.
- Q62652847 P2093 Q62652847-4DFC3118-9A96-41F0-B5D4-CED4545FE4C3 @default.
- Q62652847 P2093 Q62652847-5AF70C2C-DC61-4E34-A2CE-EFD1626719A1 @default.
- Q62652847 P2093 Q62652847-EA8E7B0C-D4BE-405A-813B-209C78D633B4 @default.
- Q62652847 P2093 Q62652847-ED2503AD-BA47-42F2-B97F-82A8C64AE64B @default.
- Q62652847 P304 Q62652847-0320BECD-F027-489F-9E18-5C997B22C2B0 @default.
- Q62652847 P31 Q62652847-F3AD4F38-6B93-4D8D-85E0-1B649F621B33 @default.
- Q62652847 P356 Q62652847-C0EAF424-229E-469A-A38A-CCACEFFE9C10 @default.
- Q62652847 P407 Q62652847-3B031DD2-53A9-4B74-8DAC-98BFF44BF6C0 @default.
- Q62652847 P577 Q62652847-3369001D-7703-404B-B88B-715032A0269B @default.
- Q62652847 P8978 Q62652847-710B7B09-521E-42BF-B1E9-3A3836CE3BA8 @default.
- Q62652847 P921 Q62652847-B1F0747D-6844-4162-8C8B-B140D9B07013 @default.
- Q62652847 P356 978-3-540-32254-2_4 @default.
- Q62652847 P8978 ArmandoCGGT05 @default.
- Q62652847 P1433 Q924044 @default.
- Q62652847 P1476 "SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective" @default.
- Q62652847 P2093 "Alessandro Armando" @default.
- Q62652847 P2093 "Armando Tacchella" @default.
- Q62652847 P2093 "Claudio Castellini" @default.
- Q62652847 P2093 "Enrico Giunchiglia" @default.
- Q62652847 P2093 "Fausto Giunchiglia" @default.
- Q62652847 P304 "46-58" @default.
- Q62652847 P31 Q13442814 @default.
- Q62652847 P356 "10.1007/978-3-540-32254-2_4" @default.
- Q62652847 P407 Q1860 @default.
- Q62652847 P577 "2005-01-01T00:00:00Z" @default.
- Q62652847 P8978 "conf/birthday/ArmandoCGGT05" @default.
- Q62652847 P921 Q184199 @default.