{"entities":{"Q5376905":{"pageid":7406479,"ns":120,"title":"Item:Q5376905","lastrevid":58554285,"modified":"2026-04-05T17:45:14Z","type":"item","id":"Q5376905","labels":{"en":{"language":"en","value":"Approximate probabilistic verification of hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7057099"}},"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":"Q5376905$C6081A92-D0B5-4D47-A817-F7B4BC675303","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b83b32c473af40fa9e63295aa854cf65a1a592a","datavalue":{"value":{"text":"Approximate Probabilistic Verification of Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5376905$789996F9-59B9-443B-9C14-CE551FBA06C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29a1554b45b0042e480f02c24b726b0c9beb9594","datavalue":{"value":"1412.92120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376905$E1AB19A9-4671-4119-85FB-B170CA101269","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36384dfbf6dabc45007ff75bc627ce86fd001314","datavalue":{"value":"10.1007/978-3-319-26916-0_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376905$DBB7D8F1-ACDA-48AF-B12E-DABA59CF6493","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02554036c55560af7a0999934afccbdc4c391508","datavalue":{"value":{"entity-type":"item","numeric-id":5204367,"id":"Q5204367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376905$02A2A9D7-20D4-40E9-AEA4-F6E800448DEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47172647f90a50182889a072cc3f660611377e0d","datavalue":{"value":{"time":"+2019-05-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5376905$5D47159E-F5FE-4A76-8DD8-B6C974545335","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"516f7045a3302b119fd7f82a6e82510e48f571dd","datavalue":{"value":"https://arxiv.org/abs/1412.6953","type":"string"},"datatype":"url"},"type":"statement","id":"Q5376905$F87B7910-8B63-4D39-9BAC-48FCB8DC479B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376905$2C3A639D-7C6F-4C4E-A29D-551293BB8A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376905$7C6896BC-E0CA-4279-AC88-F47538BABEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376905$C72183ED-65EC-487D-A024-8D1E5F0BDE79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73493c50dcf2c2eea3b84b1f118f53bcb1350152","datavalue":{"value":"7057099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376905$E240F10A-7EA4-4154-965F-79672E81D710","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376905$A12FA024-40ED-4D1F-A8DE-C02EC1769BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376905$2C749465-2689-4915-853F-7272317920A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554ce1904bc7aad8ab28dec67ee5f4a3db655bbe","datavalue":{"value":"dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376905$617A597C-44F0-48A2-8618-0935F3C47769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015d53df36ae9acd1f8775cfe587734e55d5e5c5","datavalue":{"value":"statistical model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376905$331EEA04-7179-41A9-BE1B-A0DF0F6B7F67","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":"Q5376905$FEE525B4-A5E8-4DB0-8F9A-83EA2C210D4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"074ff1470489a2f263db0f6b9e3238417a005761","datavalue":{"value":"W243354212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376905$FACF7ADB-47E5-42A2-A284-19A787334EA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0e26dea4a301e8a1065cf63ea77035411c8efe1","datavalue":{"value":{"entity-type":"item","numeric-id":4965815,"id":"Q4965815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9137657029c782c610eed1afbb50db50d8d7426","datavalue":{"value":{"amount":"+0.8035166263580322","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":"Q5376905$810C7F66-E96E-4887-99DC-F797AE85FB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4797b2c604387da2c9691f4be436d2f0496491f1","datavalue":{"value":{"entity-type":"item","numeric-id":629650,"id":"Q629650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4bd16f28af416207ed6e160321315276f93b475","datavalue":{"value":{"amount":"+0.7815864682197571","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":"Q5376905$097F5202-1DDB-413A-9E87-8E601DED0DF4","rank":"normal"},{"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":"c5792a5b42e45584f10a09e76691eb1f4b995a52","datavalue":{"value":{"amount":"+0.7607271075248718","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":"Q5376905$A756F80D-D0FC-4275-A9EC-703C3FBF0E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00b9929da7c2777f750c0897bc4b8499e470e2e0","datavalue":{"value":{"entity-type":"item","numeric-id":5901904,"id":"Q5901904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d37ca7f54a8e8e8ac97e20d45f3a557e661b20d0","datavalue":{"value":{"amount":"+0.7541372776031494","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":"Q5376905$1F0D19FA-507D-4C8A-9AEE-CA67192D9AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aee26a031b3f66ef6c1139f91580f7bedce9b2c","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9cfc5d534fc1ae24186a08404378047819b62a9","datavalue":{"value":{"amount":"+0.7384457588195801","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":"Q5376905$90E2BE5A-7B55-488F-B848-6FB18659A3DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5376905","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5376905"}}}}}