Matches in Wikidata for { <http://www.wikidata.org/entity/Q57834899> ?p ?o ?g. }
Showing items 1 to 28 of
28
with 100 items per page.
- Q57834899 description "article scientifique" @default.
- Q57834899 description "wetenschappelijk artikel" @default.
- Q57834899 description "наукова стаття" @default.
- Q57834899 name "A Certified Polynomial-Based Decision Procedure for Propositional Logic" @default.
- Q57834899 name "A Certified Polynomial-Based Decision Procedure for Propositional Logic" @default.
- Q57834899 type Item @default.
- Q57834899 label "A Certified Polynomial-Based Decision Procedure for Propositional Logic" @default.
- Q57834899 label "A Certified Polynomial-Based Decision Procedure for Propositional Logic" @default.
- Q57834899 prefLabel "A Certified Polynomial-Based Decision Procedure for Propositional Logic" @default.
- Q57834899 prefLabel "A Certified Polynomial-Based Decision Procedure for Propositional Logic" @default.
- Q57834899 P1476 Q57834899-699EF648-4C22-4CC7-BBB9-1044B3F36785 @default.
- Q57834899 P2093 Q57834899-157AAF04-F4D2-4939-88E3-95350DCCA589 @default.
- Q57834899 P2093 Q57834899-1C08922B-1CD9-46DB-8B3E-F64639A7EDBE @default.
- Q57834899 P2093 Q57834899-C9FA206A-1E18-44F2-8CE4-37BA3F9575C4 @default.
- Q57834899 P304 Q57834899-A297136F-EADE-4497-BEF0-2F4B10821E52 @default.
- Q57834899 P31 Q57834899-F0EBCC15-3A38-4999-BBD0-2DE2A1BAABD5 @default.
- Q57834899 P356 Q57834899-7E44CD0E-DBF1-4D78-BD7E-6032307C23C4 @default.
- Q57834899 P8978 Q57834899-8B1B9744-AF29-4EB6-A706-3E4C768E61D7 @default.
- Q57834899 P356 3-540-44755-5_21 @default.
- Q57834899 P8978 Medina-BuloPA01 @default.
- Q57834899 P1476 "A Certified Polynomial-Based Decision Procedure for Propositional Logic" @default.
- Q57834899 P2093 "1Francisco Palomo-Lozano" @default.
- Q57834899 P2093 "Inmaculada Medina-Bulo" @default.
- Q57834899 P2093 "José A. Alonso-Jiménez" @default.
- Q57834899 P304 "297-312" @default.
- Q57834899 P31 Q13442814 @default.
- Q57834899 P356 "10.1007/3-540-44755-5_21" @default.
- Q57834899 P8978 "conf/tphol/Medina-BuloPA01" @default.