Matches in Wikidata for { <http://www.wikidata.org/entity/Q58028889> ?p ?o ?g. }
Showing items 1 to 41 of
41
with 100 items per page.
- Q58028889 description "wetenschappelijk artikel" @default.
- Q58028889 description "наукова стаття, опублікована у 2015" @default.
- Q58028889 name "PANDA: Simultaneous Predicate Abstraction and Concrete Execution" @default.
- Q58028889 name "PANDA: Simultaneous Predicate Abstraction and Concrete Execution" @default.
- Q58028889 type Item @default.
- Q58028889 label "PANDA: Simultaneous Predicate Abstraction and Concrete Execution" @default.
- Q58028889 label "PANDA: Simultaneous Predicate Abstraction and Concrete Execution" @default.
- Q58028889 prefLabel "PANDA: Simultaneous Predicate Abstraction and Concrete Execution" @default.
- Q58028889 prefLabel "PANDA: Simultaneous Predicate Abstraction and Concrete Execution" @default.
- Q58028889 P1104 Q58028889-43ED3DB3-1A0A-4CE6-8805-B1598F6D2F88 @default.
- Q58028889 P1433 Q58028889-B8333CE2-E83E-42E2-9640-C42BE6E34B5B @default.
- Q58028889 P1476 Q58028889-56B62140-9E5C-4513-A811-5155D092E6BA @default.
- Q58028889 P2093 Q58028889-74C2BE1B-23CD-42AB-83DC-7241F4697356 @default.
- Q58028889 P2093 Q58028889-A5C56614-6DDE-4158-BB6F-A9BF8D789860 @default.
- Q58028889 P2860 Q58028889-1A35CAE9-8A84-4AC3-ABF3-3D0ADDDEAD6C @default.
- Q58028889 P2860 Q58028889-25D620F1-409C-4F63-9FB6-D32756DDCCD5 @default.
- Q58028889 P2860 Q58028889-38F43EB6-E98F-4485-A77C-CE2A45AF7421 @default.
- Q58028889 P2860 Q58028889-C7C980E9-18D6-4517-A2EA-A970BAA83DCD @default.
- Q58028889 P304 Q58028889-E8617997-D2D1-4FA5-860E-B79E246E4002 @default.
- Q58028889 P31 Q58028889-DECCE911-2148-4AA1-A4B8-03CEB7EEE026 @default.
- Q58028889 P356 Q58028889-EFA48F97-CC01-4016-9816-2ABD3393D408 @default.
- Q58028889 P407 Q58028889-91CA7603-1A46-4883-BE77-8E2BD5552717 @default.
- Q58028889 P577 Q58028889-B2EF710E-104B-4090-8A97-CF17070B2D3C @default.
- Q58028889 P8978 Q58028889-6DC15803-8CC2-4943-8A37-CDF011CD7B8A @default.
- Q58028889 P356 978-3-319-26287-1_6 @default.
- Q58028889 P8978 DanielP15 @default.
- Q58028889 P1104 "+17" @default.
- Q58028889 P1433 Q924044 @default.
- Q58028889 P1476 "PANDA: Simultaneous Predicate Abstraction and Concrete Execution" @default.
- Q58028889 P2093 "Jakub Daniel" @default.
- Q58028889 P2093 "Pavel Parízek" @default.
- Q58028889 P2860 Q56225930 @default.
- Q58028889 P2860 Q56454323 @default.
- Q58028889 P2860 Q58158313 @default.
- Q58028889 P2860 Q62040461 @default.
- Q58028889 P304 "87-103" @default.
- Q58028889 P31 Q13442814 @default.
- Q58028889 P356 "10.1007/978-3-319-26287-1_6" @default.
- Q58028889 P407 Q1860 @default.
- Q58028889 P577 "2015-01-01T00:00:00Z" @default.
- Q58028889 P8978 "conf/hvc/DanielP15" @default.