{"entities":{"Q2986935":{"pageid":2997659,"ns":120,"title":"Item:Q2986935","lastrevid":85304588,"modified":"2026-06-03T06:49:02Z","type":"item","id":"Q2986935","labels":{"en":{"language":"en","value":"Control design for specifications on stochastic hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718254"}},"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":"Q2986935$DF48D02B-E3AC-4B41-82E9-91C23D1242A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f896fd22efa3a4630a29156952233661d4be51a6","datavalue":{"value":{"text":"Control design for specifications on stochastic hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986935$EF362303-920D-4B92-A996-93F765BF903E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d779c52f397fd8db0db9535f76753fe02e2322fd","datavalue":{"value":"1364.93263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986935$70F63C71-BAFD-445A-88E0-8C6437FBAD06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"babece3d7c51249911ec0cbd17fb2589a6a8f90a","datavalue":{"value":"10.1145/2461328.2461374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986935$31DCDEBF-C085-4F0F-B077-18FC72ECD80D","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":"Q2986935$E7ED3350-2776-4C13-9570-EDE47CE74CC1","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":"Q2986935$4FE821E3-8280-4977-84BC-2ACF209D3607","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":"Q2986935$0D9976AE-30EE-4B53-8465-951EAD2A9239","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6451d3247f0abc57e95c36b772cbc5d6298df016","datavalue":{"value":{"entity-type":"item","numeric-id":2986904,"id":"Q2986904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986935$73E5C758-14ED-4E58-AD93-4FE3479220A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986935$B7452E51-6FC3-4C4A-8D4D-0A1D0DEA5A11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986935$6ECD5062-BBCA-4DC0-8D20-AB1576587CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986935$9095777B-497A-4E3F-AD91-54261539B376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986935$2846ECA2-4D2F-4241-ACA3-2B6353281C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa3ca91474fff28e420d9cace433f8447ec799b0","datavalue":{"value":"90C39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986935$44695025-D851-462C-833C-588B519D2F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986935$684343AC-09C4-42E8-BB11-69460D6D5CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986935$0991EB61-E4F7-4F35-9F38-5E385FDB2B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986935$CB9D3D15-DCF9-4AB6-AF4B-CACBA26E87E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986935$B69CD359-9E39-4C20-8285-1885C748E70C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff1bcb4ebb3843b26b415cf6495313ebd3bf456b","datavalue":{"value":"6718254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986935$072F8A50-DE64-4D5B-9051-F228E0DD7C3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59eda70c244fb8c63c77f7a6a36a125fd8085ddf","datavalue":{"value":"hybrid automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986935$BA5C3EA4-5514-4CB5-ADCA-7120E52D5FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7980fc6c1e8346b614db31a7b3f14b187fc145c5","datavalue":{"value":"control synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986935$541137BE-88B7-4573-8F08-DD98E661F374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d82cfa81638332a8c825bcbbd9d7f7f9c0c45be","datavalue":{"value":"dynamic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986935$143BD04F-CEC6-4578-97B1-9E4BAB894B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986935$873DA2D0-1DEF-4C9C-A7A9-80C1F7B74780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6255abf574cd911ce0441a5a04032698806b52fe","datavalue":{"value":"stochastic hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986935$B0976FC5-856C-4B0C-A18E-4AC50C903F9D","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":"Q2986935$BF794DB7-8F0E-4229-8A38-251F253EA7A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a440b5ab30aeb4bba6ad36b437ec5763efafe796","datavalue":{"value":"https://doi.org/10.1145/2461328.2461374","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986935$0CC1EA76-8AAA-4251-869F-67C72425A3A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92fe761434731c8543bd3f5c0b7806c70464c009","datavalue":{"value":"W1976952121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986935$99EEDE96-D00B-47BA-82DF-54180EB1A553","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986935$97EC34A2-1416-405A-BBFF-3804AA4711BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487448dd707475ff2ae733502dd4fc7b7a38882c","datavalue":{"value":{"entity-type":"item","numeric-id":3000664,"id":"Q3000664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986935$C9B31E1D-E94D-4CAF-AF37-CCAAC26979AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0803f111cd4e855bc5fba7f06e46df59b58592a0","datavalue":{"value":{"entity-type":"item","numeric-id":5281971,"id":"Q5281971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986935$EA996F34-AFF0-4F3A-BDDF-EAE74D15158B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c3a5cec6206d4035998713017a253092f6d405","datavalue":{"value":{"entity-type":"item","numeric-id":1606310,"id":"Q1606310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986935$E8BE8DF4-7DF1-4119-9D31-F03C75DED535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378212bde2f853c9fc1900b4f7d4451454b04df3","datavalue":{"value":{"entity-type":"item","numeric-id":5452707,"id":"Q5452707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986935$8563A09D-53EB-4ADB-A3FB-40758B0D981B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94babe1e0ab5a5866969f10cff2ac8dc5e87e54c","datavalue":{"value":{"entity-type":"item","numeric-id":4506554,"id":"Q4506554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986935$4ADE12CE-4DEF-4750-9841-0FCC973F0228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b989f45b85fa44137ad22092706b6102fd241bf","datavalue":{"value":{"entity-type":"item","numeric-id":78129,"id":"Q78129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986935$A7AC0BBB-6FAD-44F2-B29A-A446808781A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cfadda0faa512cfc7404e1701fcf546dc198dfb","datavalue":{"value":{"entity-type":"item","numeric-id":4472258,"id":"Q4472258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986935$C8C9B280-0C31-4F4A-B1E7-4E127DC19C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1964c95e59063e92317da65c8b196839c0f5e2","datavalue":{"value":{"entity-type":"item","numeric-id":4974124,"id":"Q4974124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986935$3D1D1C0F-1F3F-48C5-8F38-EBFEDE5347B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986935$D1415644-1E47-44FE-93DD-F69BCFD0708B","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":"Q2986935$EBDCEC65-4766-48CF-989A-F590CE83EF46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f672dd5ddb4cb65b76f1c11afba8dc51e22805c7","datavalue":{"value":{"entity-type":"item","numeric-id":503162,"id":"Q503162"},"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":"Q2986935$1CDDD76B-2206-425B-86B7-AC36E7785973","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":"239445ebbb2d20f991c19be2ff5459ddc7c4247d","datavalue":{"value":{"amount":"+0.8440893888473511","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":"Q2986935$CDCE000F-EF21-4096-80F0-DB1200B2CD1F","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":"67df537424dd89987be2ce2c6cff927f718d9be3","datavalue":{"value":{"amount":"+0.8286678791046143","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":"Q2986935$5C877E57-F5A2-48E0-84DF-F3CD0EAAB9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a87d7b3029b20b70299b6564dd73d769f1349929","datavalue":{"value":{"entity-type":"item","numeric-id":1301405,"id":"Q1301405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07927925a790ae2595feb5fdd52cafa3cd604f0c","datavalue":{"value":{"amount":"+0.8165753483772278","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":"Q2986935$92258E66-7143-4E83-9EDB-98BB96AA1BFF","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":"f687818ff06f0dbe9f76dc6799a488139c5f3ae8","datavalue":{"value":{"amount":"+0.8165751695632935","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":"Q2986935$25940696-FBE7-4E18-82E9-5AD57DED32ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Control design for specifications on stochastic hybrid systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Control_design_for_specifications_on_stochastic_hybrid_systems"}}}}}