{"entities":{"Q3648697":{"pageid":5678603,"ns":120,"title":"Item:Q3648697","lastrevid":90441788,"modified":"2026-06-04T20:11:58Z","type":"item","id":"Q3648697","labels":{"en":{"language":"en","value":"A decompositional proof scheme for automated convergence proofs of stochastic hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640935"}},"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":"Q3648697$5A0B014A-57BE-41F2-85A5-C6EE3C28D9AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4e0fb8eff53fd3f91b046adf3a63d445ea2d108","datavalue":{"value":{"text":"A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3648697$1B7EDE93-9F71-4794-87FE-7D2A10D489A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a400fde3eb6110589717a11150682d90323ad398","datavalue":{"value":"1262.93026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648697$A341A605-5F73-4407-A921-7F449C2C9E77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fe16a7177db06aea9b45125e95945d4d7b9ed1d","datavalue":{"value":"10.1007/978-3-642-04761-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648697$98BD4D20-5F4D-4D71-BFD7-578642FC6439","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43336df9cde431e44b1735ac1efcdc497261fdb8","datavalue":{"value":{"entity-type":"item","numeric-id":1990519,"id":"Q1990519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648697$7EFF7D58-DEE2-4529-84B8-8613399ACD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2c0ec2f8e6a6cab17f78b7120af7dd1d5ee4a8f","datavalue":{"value":{"entity-type":"item","numeric-id":394330,"id":"Q394330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648697$2F5D0D1A-D089-4679-A19A-4FA38B2D9734","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648697$FC37A373-EE44-4032-9FCB-3496AE7A0CE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8bdd78fc222a44e05f767ee071ed0c7d623c0a6","datavalue":{"value":{"time":"+2009-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3648697$E485A889-E435-47E1-BBF8-1E1C9BAEC6B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c72308024c44712d1b45ccc4033303f9087db880","datavalue":{"value":"93E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648697$2014CE0C-3AA7-4B72-B40D-8B9AF5BB7AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ea08324a913bdb8e1672d880d325e8fdf42de9b","datavalue":{"value":"34A38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648697$B832FBDA-4433-4A72-A9AC-4C70404B44C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648697$D2BBDAF5-125A-435F-B854-2347C0943BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648697$DBF1FA2B-41DA-465F-AC33-BAFCBA7949CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"747ca2a29edc80ef77db4b4376cee27cb80d39e3","datavalue":{"value":"90C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648697$0C15D884-6648-467D-8961-1B726DEB7676","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dff02d9de470dbacf6ab80ddd37ee03d47cb5e3","datavalue":{"value":"5640935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648697$42194859-9C18-416E-884F-B46BF7B3C14B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33789359f9b960afff5924d56436a42c169171df","datavalue":{"value":{"entity-type":"item","numeric-id":12937,"id":"Q12937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648697$E1B915A9-9E4A-4AA4-BBDC-D55A2A4C8A25","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":"Q3648697$FEBF4E03-F326-4794-93E2-B3EDD2CF47AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"730cbb54995c3eb57eff08dd80473ddf3a8917b6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04761-9_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3648697$F4CBEC52-112A-4800-A754-3DAD19E350B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b767cc4dca5c83d2ea27ec3bc07ebb5208dfe447","datavalue":{"value":"W1553253406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648697$BD92192E-0791-41E1-B25A-FE6C3D709949","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c65b2792be50013fd98b82773848de4213255f8","datavalue":{"value":{"entity-type":"item","numeric-id":5145609,"id":"Q5145609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acdf3abbcbb1a98f4b9470038e912e98a7cd6276","datavalue":{"value":{"amount":"+0.7554633021354675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648697$88BF91B2-ABA6-4E0D-A95A-80724831A821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa5985af9191d4805673120b1472b621d1ca031","datavalue":{"value":{"entity-type":"item","numeric-id":3523106,"id":"Q3523106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f09f2023316ae40fbd1c902c14935f7372f245a","datavalue":{"value":{"amount":"+0.7350917458534241","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648697$5A7FCA2B-5585-4764-AE49-DD20CBCC0F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0786fc46cefd3ec57c3826ac30ca151a616afb4f","datavalue":{"value":{"entity-type":"item","numeric-id":4672825,"id":"Q4672825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e240d03177eb73d0c66944345e99fdc040742fc","datavalue":{"value":{"amount":"+0.7274360656738281","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648697$EBCF1162-E947-4903-94D2-4C8AB623C8E8","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":"30e5079b42e63de2746b78d825d3e30693570836","datavalue":{"value":{"amount":"+0.7268434762954712","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648697$861D971D-319E-4685-A6AC-457D2624B5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37db6450390189796b80831ffb81db8a2690f28d","datavalue":{"value":{"entity-type":"item","numeric-id":2986716,"id":"Q2986716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25712f6869db64c6f49762d1492609ec451e56ba","datavalue":{"value":{"amount":"+0.7265989780426025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648697$172F5736-F0D9-4F42-B1BC-A5B7EA8AC7E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A decompositional proof scheme for automated convergence proofs of stochastic hybrid systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_decompositional_proof_scheme_for_automated_convergence_proofs_of_stochastic_hybrid_systems"}}}}}