{"entities":{"Q2988932":{"pageid":2999656,"ns":120,"title":"Item:Q2988932","lastrevid":52812077,"modified":"2026-01-23T13:37:57Z","type":"item","id":"Q2988932","labels":{"en":{"language":"en","value":"Finite state approximation for verification of partially observable stochastic hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721623"}},"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":"Q2988932$0DDD1822-2199-43AD-81B4-2BB605E3E37B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32105cb233cd551e7d0244b5c165c1d937dc5f32","datavalue":{"value":{"text":"Finite state approximation for verification of partially observable stochastic hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988932$F76F28DF-3595-47E1-B123-EDE6F0281174","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e6412787b791bc9bf54142a64b61c1d46aae009","datavalue":{"value":"1364.93382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988932$61F288B4-6030-4393-B434-7FBE9929DB71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cca0feb1787bbf9dca9b4df5d76205197f44c86d","datavalue":{"value":"10.1145/2728606.2728632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988932$9508A1AA-5CA9-4429-85B6-48A5DF95C599","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a4d0278b851ddc53a7eb92ed995a1550e0e95367","datavalue":{"value":{"entity-type":"item","numeric-id":2988908,"id":"Q2988908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988932$D1F324C9-ABD0-4A99-9AEC-C6DBF66139D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988932$3A8D04CB-B48D-4C3B-A504-350B7FA902FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988932$1078678A-7B6E-432D-B569-1507CCD413F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988932$AD019BD4-64B0-4ED8-9570-2307EED51410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988932$44927405-B441-4792-9DE9-38ACCD2D2C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa3ca91474fff28e420d9cace433f8447ec799b0","datavalue":{"value":"90C39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988932$70468960-3C6D-42D2-A85B-F3554C16BB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988932$1FC340B8-AD71-42ED-9D5A-74E1D8816595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa31302a6315eb00d745d9c7dacf89c33763ee49","datavalue":{"value":"93B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988932$60815DAA-1C6B-486F-BA7B-3E4E59E5C5E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94ebc8cd9e726cb6ab2483b2b52bd0c5ce75116c","datavalue":{"value":"6721623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988932$015BD4E0-BAC0-4763-8DFA-F1BD33385AAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"355e91d9373408e05400e36ae1a4bb5d4f21b27f","datavalue":{"value":"approximate verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988932$F2F55778-1110-4AA5-8589-41017559A632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988932$B95AF7AD-A8FA-471E-9701-628C4406EA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"645ae8fabef2013167a294ff9acf303368b62840","datavalue":{"value":"partial observability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988932$520A1DD1-FE01-4596-8460-731556435E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0e0e14320342fd0a1507f6f172e1a83852da337","datavalue":{"value":"stochastic reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988932$247DD041-722D-4DA0-B16B-9F894CA7E979","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e57bdc762f9f3edfeef64e204b4ad9bd2d44d8a","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988932$2BBB67A1-A972-4450-8E8B-3979982DFD47","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":"Q2988932$68746586-03A0-49D0-ABA5-5497F53A7DB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f91ab71d7e6ca823f2732ae329d3cde30e31eef3","datavalue":{"value":"https://doi.org/10.1145/2728606.2728632","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988932$44C2B56C-810C-4848-A478-913DD77A0FB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81ae2eebffe8566bd8e0317b7aaa34f7f94f620e","datavalue":{"value":"W2063718256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988932$C74536B9-08AA-4C75-B160-638911AD1219","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b573f2c82a60be051782574a0331cb6504cfe16","datavalue":{"value":{"entity-type":"item","numeric-id":2988935,"id":"Q2988935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988932$91294D88-4D3F-40A1-BAB5-D4B5A643177E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfbbbb3a2787ace35fa94a3243cdd057a7069bc","datavalue":{"value":{"entity-type":"item","numeric-id":5476735,"id":"Q5476735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988932$C21DF4D5-DC3D-4FA4-9126-C77166C8F044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803594396d2eb7e8708b0e25432d7496a9ad24b9","datavalue":{"value":{"entity-type":"item","numeric-id":2737800,"id":"Q2737800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988932$540CBC38-9E78-48D7-A69A-79B6BD7C7134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29525dd63452ec8338e42e92d6a9b58d5844b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5703930,"id":"Q5703930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988932$F2DD2704-8F4E-4392-AC5D-B146288AD8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b365c89f16f21bafee54b40885302f602b52a53","datavalue":{"value":{"entity-type":"item","numeric-id":2842670,"id":"Q2842670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988932$CD7F7D4A-9FB2-4E4F-B94D-2C6DF07CF5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0336458108717527a0954272b55a21903491b3","datavalue":{"value":{"entity-type":"item","numeric-id":4781425,"id":"Q4781425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988932$2DF60CB4-D56C-4404-9402-AE8F2DE449A3","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":"965c23ccc6de0c5406cf92b6eb42a398aa4d0740","datavalue":{"value":{"amount":"+0.7776952385902405","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":"Q2988932$D6D2A4AD-A4D1-4CBB-A7AC-B86805B70FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0db4b9fa6254fc1affc1d8cdcbe888144c92828","datavalue":{"value":{"entity-type":"item","numeric-id":1699230,"id":"Q1699230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"301c6dcc3d7648a65093d7f41d5500237ef070ea","datavalue":{"value":{"amount":"+0.774170994758606","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":"Q2988932$FF6B96FD-32EC-446B-B69C-2B1D022CD35B","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":"9830fb28c15b7710a0d379ed81e2ece5a515fa90","datavalue":{"value":{"amount":"+0.7705696225166321","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":"Q2988932$B8B2BF1B-94F4-4483-91B2-03C9ED87F4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c613f1692099828dce9440635fa2a435fdb6c6e","datavalue":{"value":{"entity-type":"item","numeric-id":466266,"id":"Q466266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bab58fedcb482ee36321906a7ffa751cb031f3c","datavalue":{"value":{"amount":"+0.7654674053192139","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":"Q2988932$E4394109-A671-4A41-A548-B659A5311199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"455599aa24a576c7bfbacea34713159d1e675b48","datavalue":{"value":{"entity-type":"item","numeric-id":2945599,"id":"Q2945599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01defd9565924f09a519386dac7e9494d71da783","datavalue":{"value":{"amount":"+0.7606402635574341","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":"Q2988932$3075E5AD-FAB3-4DE9-A70A-B2ADAA130B51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988932","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988932"}}}}}