Matches in Wikidata for { <http://www.wikidata.org/entity/Q62638500> ?p ?o ?g. }
Showing items 1 to 41 of
41
with 100 items per page.
- Q62638500 description "article scientifique publié en 2005" @default.
- Q62638500 description "im Juli 2005 veröffentlichter wissenschaftlicher Artikel" @default.
- Q62638500 description "wetenschappelijk artikel" @default.
- Q62638500 description "наукова стаття, опублікована в липні 2005" @default.
- Q62638500 name "An effective decision procedure for linear arithmetic over the integers and reals" @default.
- Q62638500 name "An effective decision procedure for linear arithmetic over the integers and reals" @default.
- Q62638500 type Item @default.
- Q62638500 label "An effective decision procedure for linear arithmetic over the integers and reals" @default.
- Q62638500 label "An effective decision procedure for linear arithmetic over the integers and reals" @default.
- Q62638500 prefLabel "An effective decision procedure for linear arithmetic over the integers and reals" @default.
- Q62638500 prefLabel "An effective decision procedure for linear arithmetic over the integers and reals" @default.
- Q62638500 P1433 Q62638500-B4BAC5B9-BEF8-495A-8ECC-3D2290D8C23C @default.
- Q62638500 P1476 Q62638500-285C663F-5D31-4781-A35B-8572E031614A @default.
- Q62638500 P2093 Q62638500-0927A3F6-C2F9-4CDE-A6C5-655CC7BD2C86 @default.
- Q62638500 P2093 Q62638500-116FB13C-E65C-4847-B196-C2E95AB4A4F1 @default.
- Q62638500 P2093 Q62638500-D2DC46B2-0377-4596-9529-E42173FE8EA0 @default.
- Q62638500 P304 Q62638500-D67C7D94-D4E6-411D-9FBE-5DB74B2AC034 @default.
- Q62638500 P31 Q62638500-449C3005-BEDA-41D1-BD84-E9FB01F134A9 @default.
- Q62638500 P356 Q62638500-9AC1997B-5737-4BC4-9FC7-03197141F998 @default.
- Q62638500 P433 Q62638500-3B855193-F037-4CD2-A121-6367145936D4 @default.
- Q62638500 P478 Q62638500-D3A2F700-768A-4CC9-9B3C-2AD5B87EC973 @default.
- Q62638500 P577 Q62638500-75A7BF9F-77F1-44AA-8EE7-25E7A4548124 @default.
- Q62638500 P6104 Q62638500-CC17E413-203E-4E5C-9715-2FE0CAF7F392 @default.
- Q62638500 P894 Q62638500-6F7B9939-8D29-4E20-B9F3-45C360F0175D @default.
- Q62638500 P8978 Q62638500-F7E92C66-90FC-4244-BAC3-E1C4C24AB792 @default.
- Q62638500 P356 1071596.1071601 @default.
- Q62638500 P8978 BoigelotJW05 @default.
- Q62638500 P1433 Q4650732 @default.
- Q62638500 P1476 "An effective decision procedure for linear arithmetic over the integers and reals" @default.
- Q62638500 P2093 "Bernard Boigelot" @default.
- Q62638500 P2093 "Pierre Wolper" @default.
- Q62638500 P2093 "Sébastien Jodogne" @default.
- Q62638500 P304 "614-633" @default.
- Q62638500 P31 Q13442814 @default.
- Q62638500 P356 "10.1145/1071596.1071601" @default.
- Q62638500 P433 "3" @default.
- Q62638500 P478 "6" @default.
- Q62638500 P577 "2005-07-01T00:00:00Z" @default.
- Q62638500 P6104 Q8487137 @default.
- Q62638500 P894 "1407.03052" @default.
- Q62638500 P8978 "journals/tocl/BoigelotJW05" @default.