{"entities":{"Q5275319":{"pageid":7304894,"ns":120,"title":"Item:Q5275319","lastrevid":52849067,"modified":"2026-01-23T15:37:30Z","type":"item","id":"Q5275319","labels":{"en":{"language":"en","value":"Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6741660"}},"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":"Q5275319$27559914-A2CC-4F34-A245-3E2BC960A990","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a387a200df4862947267c5bdb59aebe072d62dd7","datavalue":{"value":{"text":"Reachability Computation for Switching Diffusions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5275319$B22FA347-271D-434F-8CE9-40A5AC5E2AFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4d9eab34ee287b3f996985236473b67f1b7cc26","datavalue":{"value":"1369.93728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5275319$257F425E-C960-4E7E-AA67-2284DA238392","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9bb4b9ba93f019fc2ab329dd1584c07111f6ec56","datavalue":{"value":"10.1145/3049797.3049812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5275319$78511ADA-984A-4BCF-BF95-526FF65DC35E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93cabda11b21ba70f8ae7fe40e630688977aa7b8","datavalue":{"value":{"entity-type":"item","numeric-id":1693118,"id":"Q1693118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5275319$DFF2FFC4-4BBB-4FDC-9D32-402CFCF2ADF6","rank":"normal"},{"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":"Q5275319$76242DC8-DCD3-4E0A-AABB-E69C0E3C4C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c08f373ed6dd47de29844f015be15a75e84a8bb7","datavalue":{"value":{"entity-type":"item","numeric-id":259040,"id":"Q259040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5275319$664CA694-035B-4C68-AC73-F6618E46F0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"391ea0a2eccd2e1ffb7d70cb5807f87e3011ae63","datavalue":{"value":{"entity-type":"item","numeric-id":418827,"id":"Q418827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5275319$C1F6B7DF-2169-4F50-A877-B6BED6EE7DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16c6b8ec8130ff9aedec0af96f2fb34ae07f3ccf","datavalue":{"value":{"entity-type":"item","numeric-id":1702920,"id":"Q1702920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5275319$415A1E5B-4FE8-40F5-92A3-F5D967DBB9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5275319$C4612669-3648-45BD-8988-A5942EB6CDEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0b04db1724fba50cba59351e866ae2c0dbc98cb","datavalue":{"value":{"entity-type":"item","numeric-id":5275311,"id":"Q5275311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5275319$F92FB99D-D809-40B0-89D6-B8E290BF5A0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36126af85f516d980d0b869c922f8c59e73fcf3a","datavalue":{"value":{"time":"+2017-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5275319$0E867A29-B5AB-49B3-B818-C59BA320FBFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c15fc5b552da2164fcbae119962e97168cbc3a1","datavalue":{"value":"93E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5275319$968C6AB4-25FB-4059-AE52-237C0631AA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1355fbb4f7dce5b1a2a667a659d4b16ecef07e4","datavalue":{"value":"60H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5275319$15A4C1E4-7621-4C11-A7BA-8AA81BF2C199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5275319$C9957809-3B82-4853-975B-0659EFBABFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cdf15533e26fc0c4c2e22d28e655c364dfe77a6","datavalue":{"value":"60J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5275319$A0EDEBCA-C6C4-407C-A5E1-E838C624B144","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e6e947ee724fe709d2876d749b638b94d11b811","datavalue":{"value":"6741660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5275319$41C19730-5610-4463-A98C-8EF81ADEEEA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5cc8d05852a11a4939ceb17acfb4fef8f8b6dfb","datavalue":{"value":"finite abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5275319$ACC809EE-D4B8-4082-9FB9-3E0470847AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1409b8cd049f3cf2ffe2b5b979826eb62c46a77","datavalue":{"value":"numerical computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5275319$44DBD86F-3DB6-483E-AEF2-B8C6404D27DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eb5c53c29ae3a5603d89e01ff3e4270bc6e9a91","datavalue":{"value":"reachability and safety analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5275319$2A4D626F-3CE9-46B2-86F1-B9ED693124DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c76196498c5f8026b5dee539e70fa873047fbe24","datavalue":{"value":"stochastic hybrid models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5275319$D911BEAE-B026-4EB8-851D-6F7E04A5A0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c21f3be36ae26d4f23701ec3cb95650b89726dc4","datavalue":{"value":"switching diffusions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5275319$34FC869A-379C-4E1E-A7BB-934A6BC2113D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b4814e39d97dbb8f21a5899b2e81b5de9e3d690","datavalue":{"value":"time and space discretisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5275319$09F915B4-32A9-4C21-AD2B-E5F76B7A827E","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":"Q5275319$549A2B0E-A1A7-4B5C-906C-F1CD69BDA8AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bb5366080a9f7718faa38f40302f892e67ef7c3","datavalue":{"value":"https://doi.org/10.1145/3049797.3049812","type":"string"},"datatype":"url"},"type":"statement","id":"Q5275319$65D21495-9C09-4DD6-B43A-DB4ADE221277","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fd5f0e8062660637c62d64af53df9db45348375","datavalue":{"value":"W2607025636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5275319$6141CD16-5808-4E62-9296-45C4B4A5D88A","rank":"normal"}],"P1643":[{"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":"16def21dad314fe5779197fe2b32b27b37dd8ef6","datavalue":{"value":{"amount":"+0.7721660137176514","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":"Q5275319$888B359C-5370-44AD-9FEE-68326FCEB0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c9630cc7655466e9fc5cba0b2dc74d9ba946493","datavalue":{"value":{"entity-type":"item","numeric-id":2377974,"id":"Q2377974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e08eee46544a53c82cea69aed9a6519b1d3db77","datavalue":{"value":{"amount":"+0.7627259492874146","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":"Q5275319$77024564-DAD0-4D4A-9A9F-271DADE16BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87ea12419bd56d308806fb90418eacf81e597b88","datavalue":{"value":{"entity-type":"item","numeric-id":3523143,"id":"Q3523143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e149a7dde16dd4e4767c3a51b3c515c7cd24511","datavalue":{"value":{"amount":"+0.7594642043113708","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":"Q5275319$3E749444-AC6B-46FE-9BC1-69636C584C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e3f205980325d0ac456f136121b553b12734b36","datavalue":{"value":{"entity-type":"item","numeric-id":5898969,"id":"Q5898969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43b32fa55b99ca49d7b0785a56e668014a937f1f","datavalue":{"value":{"amount":"+0.7521032691001892","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":"Q5275319$2FE3FB5E-B74E-4503-9977-230B39E102C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed2f1e6f47998e616b62fb193529e09192184410","datavalue":{"value":{"entity-type":"item","numeric-id":4417983,"id":"Q4417983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a5841743e792c017899edaf9009583ffe28f336","datavalue":{"value":{"amount":"+0.7500812411308289","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":"Q5275319$B496F0BF-B71C-459E-9C84-B997B807ED04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5275319","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5275319"}}}}}