Matches in Wikidata for { <http://www.wikidata.org/entity/Q57800773> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- Q57800773 description "article scientifique publié en 2014" @default.
- Q57800773 description "wetenschappelijk artikel" @default.
- Q57800773 description "наукова стаття, опублікована у 2014" @default.
- Q57800773 name "Accelerating Parametric Probabilistic Verification" @default.
- Q57800773 name "Accelerating Parametric Probabilistic Verification" @default.
- Q57800773 type Item @default.
- Q57800773 label "Accelerating Parametric Probabilistic Verification" @default.
- Q57800773 label "Accelerating Parametric Probabilistic Verification" @default.
- Q57800773 prefLabel "Accelerating Parametric Probabilistic Verification" @default.
- Q57800773 prefLabel "Accelerating Parametric Probabilistic Verification" @default.
- Q57800773 P1433 Q57800773-624099CD-E265-4503-BCD6-5AC846C86292 @default.
- Q57800773 P1476 Q57800773-ACD4A1A8-DE79-484B-B7CE-37A3DF33C7D0 @default.
- Q57800773 P2093 Q57800773-21B9A55A-86EC-4687-AC19-2B40D5DB7813 @default.
- Q57800773 P2093 Q57800773-30D57670-4E91-4EFA-B4D8-3868EF83F2B7 @default.
- Q57800773 P2093 Q57800773-53AB0861-F580-4FC2-BBD8-624C6651CFAC @default.
- Q57800773 P2093 Q57800773-6FA019E5-A5AF-4714-AA2D-F3FDAC108584 @default.
- Q57800773 P2093 Q57800773-909EAE8E-EF8B-4F89-8BE8-920B1D81DF9E @default.
- Q57800773 P2093 Q57800773-A0C78ABF-D7AC-49BF-9BDE-41D1A3798364 @default.
- Q57800773 P2860 Q57800773-3F42CA4D-E414-418A-9A14-8D2B2B03C25C @default.
- Q57800773 P2860 Q57800773-7145EC25-08DE-4D32-AA36-11DBA2A692B1 @default.
- Q57800773 P2860 Q57800773-DCE3EB12-FE7A-4470-9072-FF412A955B90 @default.
- Q57800773 P2860 Q57800773-E140E051-91FE-4860-A51D-E7CF84E42B26 @default.
- Q57800773 P304 Q57800773-BA6C45AD-708D-4834-9299-548AAF5904EE @default.
- Q57800773 P31 Q57800773-F85887DF-D496-49DD-837C-ECA5E4668B9D @default.
- Q57800773 P356 Q57800773-4D8EF197-D088-432A-95C2-68E70C4F564A @default.
- Q57800773 P407 Q57800773-452F8B4B-508B-4193-9656-444E936AD2EA @default.
- Q57800773 P50 Q57800773-B10EC7C9-8005-458F-B55D-8E537C6FDBAB @default.
- Q57800773 P577 Q57800773-7FA58244-1B6D-4343-8F60-8B22A4FB5C54 @default.
- Q57800773 P8978 Q57800773-2D8E6824-7845-4870-BC00-30DD5DB98C1C @default.
- Q57800773 P356 978-3-319-10696-0_31 @default.
- Q57800773 P8978 JansenCVWAKB14 @default.
- Q57800773 P1433 Q924044 @default.
- Q57800773 P1476 "Accelerating Parametric Probabilistic Verification" @default.
- Q57800773 P2093 "Bernd Becker" @default.
- Q57800773 P2093 "Erika Ábrahám" @default.
- Q57800773 P2093 "Florian Corzilius" @default.
- Q57800773 P2093 "Matthias Volk" @default.
- Q57800773 P2093 "Nils Jansen" @default.
- Q57800773 P2093 "Ralf Wimmer" @default.
- Q57800773 P2860 Q55952575 @default.
- Q57800773 P2860 Q57380212 @default.
- Q57800773 P2860 Q57801415 @default.
- Q57800773 P2860 Q57801643 @default.
- Q57800773 P304 "404-420" @default.
- Q57800773 P31 Q13442814 @default.
- Q57800773 P356 "10.1007/978-3-319-10696-0_31" @default.
- Q57800773 P407 Q1860 @default.
- Q57800773 P50 Q52726456 @default.
- Q57800773 P577 "2014-01-01T00:00:00Z" @default.
- Q57800773 P8978 "conf/qest/JansenCVWAKB14" @default.