{"entities":{"Q503162":{"pageid":504929,"ns":120,"title":"Item:Q503162","lastrevid":62320251,"modified":"2026-04-11T05:16:46Z","type":"item","id":"Q503162","labels":{"en":{"language":"en","value":"Control synthesis for stochastic systems given automata specifications defined by stochastic sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6673700"}},"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":"Q503162$8A1C9F95-7871-4295-B34A-8FDD2723744B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc7c650f91063591cb62625188e4db98151aba6e","datavalue":{"value":{"text":"Control synthesis for stochastic systems given automata specifications defined by stochastic sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q503162$733D6B89-017C-4045-BF55-73BE1ACBFB3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7df54eccda7277331392e016d944c98f25699dbe","datavalue":{"value":"1352.93045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503162$0DBA8724-0AD6-4F54-A60C-ECC861EB8699","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43621a00392d778ada3b5567c3407cbd5dd6bf35","datavalue":{"value":{"entity-type":"item","numeric-id":445155,"id":"Q445155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503162$3946A0B7-F7BF-4EF7-A991-E6F91BFE8B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1953bdc24bf42b2efa9a94afeb090cf127c8b5f","datavalue":{"value":{"entity-type":"item","numeric-id":503160,"id":"Q503160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503162$989F1F95-A757-4FB9-9612-F1F0922FFB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db210d2463266df4c7f3ce874a966939b72de73f","datavalue":{"value":{"entity-type":"item","numeric-id":503161,"id":"Q503161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503162$B450971B-6D08-4DEE-853C-EF1694E6460A","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":"Q503162$F156F6E6-E306-4AEA-BAA0-2B486A3C574B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503162$28348CEC-396F-47CA-8CB5-CC899788B20C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"279070e611f2298850bed427831a83010cbb2be1","datavalue":{"value":{"time":"+2017-01-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":"Q503162$20A80680-9D26-4CC7-82EE-6599645DE1C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503162$DDD74B07-032A-46F5-A532-BAE6F37B74A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503162$8E1C812A-FF7A-4C18-9112-0F83B622A85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503162$38204451-C01B-47E9-B675-AFBAC60C5F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c05236ba6c6eb01728e5ef50a3d845c0afa0da1","datavalue":{"value":"93C41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503162$FD418033-1058-4A7F-BD78-676C9F9E40D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef467b2cf38f041b75fb171eddcd05fd3daccc46","datavalue":{"value":"6673700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503162$2C9ECE50-BAF3-4E85-951C-AE5EE3E1D259","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e101f7f59f22564ca505a04735b03a71301737","datavalue":{"value":"stochastic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q503162$98DC1430-F934-4F99-862A-A82EB3C9AD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd27e46592f130330ebc1251c159880402faa66b","datavalue":{"value":"dynamics","type":"string"},"datatype":"string"},"type":"statement","id":"Q503162$F850DD9C-4428-453B-90AC-8DBAF3FF15DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7980fc6c1e8346b614db31a7b3f14b187fc145c5","datavalue":{"value":"control synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q503162$903A6540-E765-4733-AC3D-E7102377C376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93ad8756c4793605a09174736f60d1dcb20e55f8","datavalue":{"value":"hybrid","type":"string"},"datatype":"string"},"type":"statement","id":"Q503162$6ACD0E3B-12F7-407E-8585-474A827BF58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b628ee37bb1de264bc13811ff0dbdcc706e2c5eb","datavalue":{"value":"automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q503162$8CB89D27-2557-4CD0-AC50-B45481B76413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q503162$066A29A3-84FB-4B07-B174-C854AC6D0718","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":"Q503162$F47FFD63-CB3C-4284-9345-F06A832A1681","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d28afd94877ef472cfadb327d57c957b9f556250","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2016.10.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q503162$9CAF9CD7-9C5F-4EBD-A1FE-364A986AB174","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dacde30cf8c627843d163c0764b57250573e9971","datavalue":{"value":"W2560497328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503162$7DB08CCC-3DEC-43D6-9B48-749D69BF1449","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6d0d2c10245b4f0e952ac1ef991224e36fe19be","datavalue":{"value":{"entity-type":"item","numeric-id":2986716,"id":"Q2986716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503162$81710B6A-867B-4E2A-A96B-17356E0A1B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea67ed95d1f053285243b5bc166dc74f203ace9","datavalue":{"value":{"entity-type":"item","numeric-id":2377974,"id":"Q2377974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503162$199AFC8C-538E-4827-A376-429FAB398205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"653c76d83373fc20269900c7b497aa4b5783d3b4","datavalue":{"value":{"entity-type":"item","numeric-id":2628473,"id":"Q2628473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503162$02629A60-3378-469D-9D8F-C838ADC8059D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db93349199195e492cdd6311f447f3ebef17ca42","datavalue":{"value":{"entity-type":"item","numeric-id":2871352,"id":"Q2871352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503162$B864E687-7705-4857-86A9-F69E232AAFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad772b9f8f3d355ea62d5749b7e362495aba60d","datavalue":{"value":{"entity-type":"item","numeric-id":2986935,"id":"Q2986935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503162$375E8031-71FD-4152-A4A8-F29B19C31596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f505434c35766099f1dae96c516ac5606db2643","datavalue":{"value":{"entity-type":"item","numeric-id":5371013,"id":"Q5371013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503162$EDAD9D66-E8DF-4113-882E-4D7049D92478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53db8db2bc00b755528f5903065b5d470f2af903","datavalue":{"value":{"entity-type":"item","numeric-id":2982621,"id":"Q2982621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503162$CB700B71-A45A-41BE-97D9-9FDAEDC6C386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48cb98ab1c252605ef9493e5322ab84aa3228dc","datavalue":{"value":{"entity-type":"item","numeric-id":2986941,"id":"Q2986941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503162$BC54F483-A63E-41C7-A50B-F41334656455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807701b11cfca17d83d854b0a0d8f4d0ca5bacdd","datavalue":{"value":{"entity-type":"item","numeric-id":2985889,"id":"Q2985889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503162$9567ED65-4DC1-4290-B1A1-4D07E7CAC07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e975822ea4cb4623977e0808edbadde53984221a","datavalue":{"value":{"entity-type":"item","numeric-id":2986736,"id":"Q2986736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503162$2D73FDBB-583E-44B8-9A88-062AEBDE5C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53b953580086d8ea66f2cf1265a5c7955e78e0c0","datavalue":{"value":{"entity-type":"item","numeric-id":2628510,"id":"Q2628510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503162$5589DA24-9F8A-4EF2-9B3D-F769F286FDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b667e53d08053bfe2d5d60effdeeabbed17409ae","datavalue":{"value":{"entity-type":"item","numeric-id":624936,"id":"Q624936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503162$71FF0D6C-F502-4BB5-B8CF-7672B71E2D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f5e7b9368615051c1055b4de5c53078517205c","datavalue":{"value":{"entity-type":"item","numeric-id":5281987,"id":"Q5281987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503162$FA3924B4-3429-4E8B-8262-20D6E6EDE064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f044759284fd8083b0664a825d09fe3fe5f9b375","datavalue":{"value":{"entity-type":"item","numeric-id":2986934,"id":"Q2986934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503162$02E0781F-4F4F-4CFE-8CFA-2C218ACFD220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1a3b54a2e5ef3ea09f6af9ccb4be610b88e93d","datavalue":{"value":{"entity-type":"item","numeric-id":2985871,"id":"Q2985871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503162$196223CE-53D3-4666-8462-33071CD2A8ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d11c9c8061ef6dbaba8abf5f205342b1af69157","datavalue":{"value":"10.1016/J.AUTOMATICA.2016.10.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503162$C44D24FD-CDDC-4BC1-A866-447C5B24E9A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8763926d4ccef4879ea3784a46ade38368e6cc8","datavalue":{"value":{"entity-type":"item","numeric-id":2986935,"id":"Q2986935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e51ef405ef0bb0a95a35b46d9f9ec951c8e74cc1","datavalue":{"value":{"amount":"+0.8572342991828918","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":"Q503162$64072E34-734B-4D8F-92C5-63E3C2C9798D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad301d362d0650827628133dd52bac4d37ddf25e","datavalue":{"value":{"entity-type":"item","numeric-id":2628510,"id":"Q2628510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e0a68fcd0a3cca4c8918eda78bfadda33565788","datavalue":{"value":{"amount":"+0.8526085615158081","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":"Q503162$78BCFE61-F50D-477E-AAE1-02B77D156DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b800f08b632fb196292b49233dbce1167f11021a","datavalue":{"value":{"entity-type":"item","numeric-id":2986934,"id":"Q2986934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db1b571d755bdf6401c3796d0db7f2b29614370","datavalue":{"value":{"amount":"+0.8240597248077393","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":"Q503162$12F54B0E-6815-4371-8D5F-E8B20D09BBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8108225661709c6fe6b03b4394fa5500a39cc0","datavalue":{"value":{"entity-type":"item","numeric-id":2103672,"id":"Q2103672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c394a33782c1935461c151ac98af681304e6806","datavalue":{"value":{"amount":"+0.799064040184021","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":"Q503162$76D17BAE-0EB2-4267-80FF-DFA551FA2B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4ddd07bcdb4f921acefffddaaaad50bab69f723","datavalue":{"value":{"entity-type":"item","numeric-id":2158881,"id":"Q2158881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d174557acee52aa1ae2866353bfbd0ac807a4a5c","datavalue":{"value":{"amount":"+0.7892370820045471","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":"Q503162$BE747CDF-5C9C-4E88-84FE-EA42D3A426DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Control synthesis for stochastic systems given automata specifications defined by stochastic sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Control_synthesis_for_stochastic_systems_given_automata_specifications_defined_by_stochastic_sets"}}}}}