{"entities":{"Q629650":{"pageid":631498,"ns":120,"title":"Item:Q629650","lastrevid":63087885,"modified":"2026-04-11T10:30:01Z","type":"item","id":"Q629650","labels":{"en":{"language":"en","value":"Approximate model checking of stochastic hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5863454"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q629650$B4462A41-1703-4C8C-9343-A56B0AF0454F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4bd35b5c104fac5de7bb10cd559dec0ac2fefa5f","datavalue":{"value":{"text":"Approximate model checking of stochastic hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q629650$F5ADDF57-8B2A-4305-945F-22DA132994BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e295bfd0dfb87227fbccb5a374ec055495441abd","datavalue":{"value":"1216.93091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q629650$6BF8A957-F71A-4B52-B561-4B62014F45CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ee102668cf74a79a0e773bbc2518f14c3421c12","datavalue":{"value":"10.3166/EJC.16.624-641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q629650$CBFA199B-9D77-456F-85D1-B17BFF62D4AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e149cd480f45d2379e65fc119900d9656b0738a3","datavalue":{"value":{"entity-type":"item","numeric-id":262436,"id":"Q262436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q629650$6B783C0A-0270-4089-B815-F2A75849D36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q629650$D31023A8-EB2E-4EFF-BBF1-15EE91A381AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3eb46cd344108c864b2f16861a4edec764c0ae87","datavalue":{"value":{"entity-type":"item","numeric-id":290822,"id":"Q290822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q629650$78D07872-43F5-4350-8AA0-CF24B280A8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21610f3ba195682fa4ec9ccaa37e34eadbc0ceed","datavalue":{"value":{"entity-type":"item","numeric-id":290825,"id":"Q290825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q629650$3EB8669E-3E58-4B81-84DE-DD7E6F31648B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45f20bc078972fb8087b47a09eeaa25cf327dd63","datavalue":{"value":{"entity-type":"item","numeric-id":285794,"id":"Q285794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q629650$FFFFCE37-6990-44A8-9937-DB956993AC1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"791243a770867bf9a828ca3fa60256efae5a0523","datavalue":{"value":{"time":"+2011-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q629650$E97F9378-88E5-40DA-8C50-4941F5CB2C87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q629650$EE1E1C2D-A23D-458E-AFD8-E7715C109F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q629650$C06289F9-4258-46F1-AD30-2200B5AAE894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q629650$A55DBB0C-19B8-489A-AA40-2C44AF2AE194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cdf15533e26fc0c4c2e22d28e655c364dfe77a6","datavalue":{"value":"60J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q629650$3221EC72-1CCD-463F-9E9D-44471C0B9433","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"214dd4ea5584d9bcf5f32311a119bdf90bac3f5f","datavalue":{"value":"5863454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q629650$F83BE5F9-CB56-4885-94D1-0EE53285B0EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6255abf574cd911ce0441a5a04032698806b52fe","datavalue":{"value":"stochastic hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q629650$290E6EBB-5A7D-4556-A737-20BBF8D271B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q629650$0567715C-FE7A-4CAE-834D-7F268CBC8C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc6105e7c3f2b0823cc0752b673daed53facd9ae","datavalue":{"value":"probabilistic invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q629650$709E5A12-18B3-4B65-9636-C368B92F7DF8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fc8ab9195a4b6912627f75d53e20401c768711b5","datavalue":{"value":"Q57801394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q629650$D69DBB61-CC31-41B8-A63C-8F1119EB7E62","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1d7c89f8c4a43a132064ef87f7add4215ef6c5f","datavalue":{"value":{"entity-type":"item","numeric-id":16314,"id":"Q16314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q629650$61238E0C-D70B-4795-9803-CA17C5F02A32","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q629650$25C51084-3A11-4427-A3C5-76C452D41501","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ce07cc0f1bfbc93db1cdf2e6e2d67bf5cd474ae","datavalue":{"value":"https://doi.org/10.3166/ejc.16.624-641","type":"string"},"datatype":"url"},"type":"statement","id":"Q629650$7FB983BF-C092-4328-AA13-5E3232896123","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa455f529685346456f096d01303217771e8b49b","datavalue":{"value":"W1993112505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q629650$179DF75E-E157-4D75-9A27-EE2572454855","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"cf103b96b546baf1b090bd27a06f5a1082ebfcf7","datavalue":{"value":"journals/ejcon/AbateKLP10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q629650$F1213005-8D82-4B05-B28A-E2D4772A0AE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b6e6b975c6f81145c00174cbb495c82870694f6","datavalue":{"value":{"entity-type":"item","numeric-id":4649312,"id":"Q4649312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f7a062776098399cb91d5a36f4457004b9ecaca","datavalue":{"value":{"amount":"+0.9382116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q629650$DD8983F7-178C-4386-81D0-DED446F9276C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10865d482832e5d9f7c155b363746eecafb04bad","datavalue":{"value":{"entity-type":"item","numeric-id":5376905,"id":"Q5376905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5859b96ccb378eb19db273be167b8cbfb56e070a","datavalue":{"value":{"amount":"+0.9302647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q629650$4BCDD8FB-D6D6-4CEC-996F-09E08B3F98E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72811d654a0e7e33d0ca2dbde14a86b7c6a66268","datavalue":{"value":{"entity-type":"item","numeric-id":5347900,"id":"Q5347900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbd2a1ae48b0c61a41510fb21fa7b373a5d26d60","datavalue":{"value":{"amount":"+0.9289955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q629650$98F50324-7054-456B-9727-9D854A1EF588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f1d9c784000e688741a50ec567172aaaa0ea95b","datavalue":{"value":{"entity-type":"item","numeric-id":2988932,"id":"Q2988932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2eb427431db6739c81971519c174e1b03d0fc4","datavalue":{"value":{"amount":"+0.9233956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q629650$D4DB26A8-0A50-40AC-874B-4C6F7C301A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a130a4288260334ac89eac7d4b2f2e7f869d4843","datavalue":{"value":{"entity-type":"item","numeric-id":5899000,"id":"Q5899000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fff4bd69d06d38dbb9f5c96d03b373f38edad841","datavalue":{"value":{"amount":"+0.923223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q629650$765DBC09-FD06-4DDD-BBDD-61FCF1D06DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c7a626bda9e6943deabea5e935c6a725cd8dadc","datavalue":{"value":{"entity-type":"item","numeric-id":3612955,"id":"Q3612955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29aa9f2099fbcc862ce467ccf5340387ebfe179c","datavalue":{"value":{"amount":"+0.92242247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q629650$50FFD4A4-5E38-4CBE-A806-8EC0F2C95C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d0ec086a0248bad95f82b766c51408ac666456b","datavalue":{"value":{"entity-type":"item","numeric-id":2403530,"id":"Q2403530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2d18c8e29cfb9eabfd30b75345cc5d6fab8742c","datavalue":{"value":{"amount":"+0.92103446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q629650$E2596528-1F7A-4E69-87CE-291CDD09BDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92311e4c3534136e7ac0c4d59975e5e12e06db5d","datavalue":{"value":{"entity-type":"item","numeric-id":4974594,"id":"Q4974594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4127ee5a4e58d7cf48a97941c2dac66f3c0a7024","datavalue":{"value":{"amount":"+0.91999835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q629650$0BBEF27E-698F-4EEE-9A44-7EAF14723384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9035fe3e7f33b46efac6db5a9c7bdc45ffe22a35","datavalue":{"value":{"entity-type":"item","numeric-id":5898991,"id":"Q5898991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"251d87a7fa3cbd0256ccb8a15431f81364dd199e","datavalue":{"value":{"amount":"+0.91944283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q629650$5BC83664-F6F9-4593-B337-7DD0249D8E5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximate model checking of stochastic hybrid systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximate_model_checking_of_stochastic_hybrid_systems"}}}}}