{"entities":{"Q2986716":{"pageid":2997440,"ns":120,"title":"Item:Q2986716","lastrevid":85741856,"modified":"2026-06-03T11:20:43Z","type":"item","id":"Q2986716","labels":{"en":{"language":"en","value":"Quantitative automata model checking of autonomous stochastic hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6717991"}},"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":"Q2986716$A7C59BBA-9C7E-49C7-A36C-6A12327ACC24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e31833849d5a86de0f198b4a2c5f7a150aee530","datavalue":{"value":{"text":"Quantitative automata model checking of autonomous stochastic hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986716$9482890C-9C8A-43FE-99E2-346600B256BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc79e8c59e53c3a56f3a9cb9bde193557e132213","datavalue":{"value":"1361.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986716$8119A5B8-5F0A-4647-B5A1-A2C729ED56F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ee17a1333d560a29a8adf70147aaa503e570ded","datavalue":{"value":"10.1145/1967701.1967715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986716$814C788B-4598-463D-A222-2837BD6360AD","rank":"normal"}],"P16":[{"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":"Q2986716$71C80C53-C7C0-4BFD-804F-2DF3B49479AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4439e65a9803a6e1ec53eae8fa5fce4484aafb9c","datavalue":{"value":{"entity-type":"item","numeric-id":515572,"id":"Q515572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986716$45E22AE8-214A-435D-A81C-1D2CE973FB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986716$0287602B-DC20-48E3-B14D-DB4A3FE0E022","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984d74fbf1f2dcac2a23d24afac7178667c2dabe","datavalue":{"value":{"entity-type":"item","numeric-id":2986705,"id":"Q2986705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986716$FAB57AEB-E83D-42E3-9C08-5C1BC5DA3208","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":"Q2986716$39D7D4F4-BB94-4205-87E7-A94558B2C366","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986716$14583066-2346-4BFB-850D-F4E507B5A121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986716$5C61C849-6012-4571-9238-9076DB489E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986716$627BB34E-6FDD-4968-B90A-A84F87E8287F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9f1caf41f55084486a703cc91ff323ecd005b83","datavalue":{"value":"6717991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986716$7E53D695-AECE-4DE5-89BD-D6507A478BE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c041fe86c2cc24c4d74a3b149bc730195409c12","datavalue":{"value":"finite state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986716$E3853E6D-46E1-401E-98D3-09DA8C0448A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986716$D9C7EC21-AA80-48C2-B648-8CA38539BF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6255abf574cd911ce0441a5a04032698806b52fe","datavalue":{"value":"stochastic hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986716$446265CD-BA3E-487F-A9E8-CA57D5DE8596","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"63bc01552eb90e855935cb769ef182301605b868","datavalue":{"value":"Q57801293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986716$EF52CA5D-6767-45D2-892D-062F479E8EDD","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":"Q2986716$4BC9E358-83CB-41F6-BE4B-2B3F68E25440","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"caef8e561e6a3938d605419f6def2547311c6e4b","datavalue":{"value":"https://doi.org/10.1145/1967701.1967715","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986716$D7B75B3E-4DDF-4BCE-9297-81A80E3AB684","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07f4fe30559176436b783e99a5127ecd3e7d744c","datavalue":{"value":"W2053807562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986716$324F0382-FEB3-48A1-8A15-96569493B13F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb54c6371a1e6178d7b119dc9dd1c73e309ed08","datavalue":{"value":{"entity-type":"item","numeric-id":2766628,"id":"Q2766628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"995be2c4813affa70250c0b3c132428835ba5ba4","datavalue":{"value":{"amount":"+0.7975884079933167","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":"Q2986716$2811C817-6302-4609-9E55-72DFF2B8A09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2821836e4a21e7ee690d699fb435a1909b3fddb6","datavalue":{"value":{"entity-type":"item","numeric-id":1734511,"id":"Q1734511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99289db15bc7c97ef9b63e39d4cbe3af7db6fcaf","datavalue":{"value":{"amount":"+0.7954616546630859","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":"Q2986716$C9608E56-EB59-4C5B-A20C-C0956F8FBDA5","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":"0684368a0ce70f5c0de75f1853b55befd13f9767","datavalue":{"value":{"amount":"+0.7909749746322632","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":"Q2986716$63031FFD-3A3F-460C-8E5A-511DE893358C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d0ec086a0248bad95f82b766c51408ac666456b","datavalue":{"value":{"entity-type":"item","numeric-id":2403530,"id":"Q2403530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"367bf677bae299a5fd5d84b3a96164da1e95b13b","datavalue":{"value":{"amount":"+0.7878628373146057","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":"Q2986716$C74A9413-8235-4F36-8A30-CAB12030B586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e21c99bf07500d3938272ed9aee412d14045571","datavalue":{"value":{"entity-type":"item","numeric-id":2945577,"id":"Q2945577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4a702a52419fd04dda14bcc07dd08f496389b3a","datavalue":{"value":{"amount":"+0.7874614000320435","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":"Q2986716$F0468F0C-B66E-48B4-B026-37F8B249B8E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantitative automata model checking of autonomous stochastic hybrid systems","badges":[]}}}}}