{"entities":{"Q2986936":{"pageid":2997660,"ns":120,"title":"Item:Q2986936","lastrevid":85742510,"modified":"2026-06-03T11:20:51Z","type":"item","id":"Q2986936","labels":{"en":{"language":"en","value":"Rewarding probabilistic hybrid automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718255"}},"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":"Q2986936$8A0080CA-451D-425D-8C2D-830B5E6DAA68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0177985956c3923d393303af7fe7695649043967","datavalue":{"value":{"text":"Rewarding probabilistic hybrid automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986936$871B3E58-7693-4305-B779-1CFC1C9CE06C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"124ac34d5f2a135f6f473482574e800cc71555bc","datavalue":{"value":"1362.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986936$4BEDA597-95FA-4AF1-BF1B-2A6E6277B1B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd7d5f7e0bf737d8f08f8a65c85652d9094b55ea","datavalue":{"value":"10.1145/2461328.2461375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986936$1DD9D162-9222-43AE-80F4-6D7416D93639","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dffa8575a90582a7e362ce4ca416eabc864ff69c","datavalue":{"value":{"entity-type":"item","numeric-id":389834,"id":"Q389834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986936$258D942C-FC05-48C7-A37C-851D5390768F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d570ab9528618e94eac06ac4735a35751c2a1ea4","datavalue":{"value":{"entity-type":"item","numeric-id":236071,"id":"Q236071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986936$9834765A-AE04-4EF2-9BFE-7D3C782045BF","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":"Q2986936$B35B3D9B-369D-4152-8633-7FD4040D4222","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":"Q2986936$E1055756-94E1-412B-A33F-671BD9A04927","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986936$22C07640-BD84-4AA2-A322-182A6379A5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986936$D71726DF-8F49-41F2-8EB6-175F8B963BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986936$D62E481F-B781-46C5-B1FB-C4D577CA603A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02299e2f7b29fd3e650e24ca4552bd7a30bc4195","datavalue":{"value":"6718255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986936$ABFF2376-ADCB-4900-AA09-304D8AF3DA76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986936$34C97F8C-C207-4ED5-A3DE-B559CE4CB6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2fe9a8b5dadca96554617a2d16001c7f61783e","datavalue":{"value":"continuous time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986936$1CDAE49E-2433-4115-A85F-4FFB79E61C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4a1c98160472698c1ba41b0c1b24de624e21ce3","datavalue":{"value":"expected rewards","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986936$584DB244-BF85-447F-AA9D-6692330DD5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986936$C759672D-97FF-4FD3-939E-29792FF7014B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986936$DF2517D2-E405-4554-A1E7-0C3A1092737B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2c0c7097c866152241ebd4ea5d234a94b553d15","datavalue":{"value":"performability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986936$30B0F7D0-CBF3-48C1-BE0A-F927645AF86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7ecd2d3ae1d3dfca86ff8d6ec61198bf541cfd6","datavalue":{"value":"performance evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986936$A40A3AFC-8C0C-446A-AC23-4C68FF6E55CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4752c09cf731d1ad75f442b74d94faa3296dfd06","datavalue":{"value":"probabilistic automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986936$251F96B7-595A-4C46-BFE5-0390424CDFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e67611a26e46684cfa0f01678771f2e2e5dcaabd","datavalue":{"value":"probabilistic hybrid automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986936$D2E1D620-5C62-4A7F-9237-ABC640945224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548fb38e0e5082d1d0202592e69ac8e93ecf206b","datavalue":{"value":"simulation relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986936$031256CE-94C7-4989-9017-DD0F4A39F999","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":"Q2986936$6324B571-9893-4BAA-8AE7-2E7FF2190721","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c7cd3f1675da4bc29cec2b20214e2b649546c22","datavalue":{"value":"https://doi.org/10.1145/2461328.2461375","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986936$3B26F307-2DE3-4EB0-87F4-59A8B71B94D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb001fe198bc682ccc91eabe4dab534699c69c4b","datavalue":{"value":"W2078477686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986936$C3020171-5CD4-45BF-A14A-F6A192F446AB","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":"Q2986936$7B51398F-6AFD-4721-8BF7-93600C69DCBD","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":"Q2986936$81488932-0AE6-4597-94E4-77FE63A70FB1","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":"Q2986936$73DF8F53-CD85-44E6-92E2-CD175EC5EAEA","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":"Q2986936$4CE53DD3-1FDE-4F10-A5BA-8D5EA55894DF","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":"Q2986936$04791F30-7794-485C-AE2E-39757D5B5101","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":"Q2986936$D47E1646-11F1-434D-A167-5BC0B6C87DBE","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":"Q2986936$48E03CD3-93FE-4972-8543-FBB539A0F3B5","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":"Q2986936$62653C95-1AC4-40F8-9350-2C89DC9DBEB2","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":"Q2986936$8799DE3C-79D7-4AC3-AF20-AE39201AF070","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":"Q2986936$EF1FE017-103D-4A98-A2F8-9E5CEF963A33","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":"Q2986936$2E3D208C-DA32-4DB9-A76C-1A1086C0538C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a873c125fa8140c4d5e23041e3ee33ad70b1032","datavalue":{"value":{"entity-type":"item","numeric-id":389835,"id":"Q389835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51d8e908a5b81115a2be26de0d26141ca8b44a54","datavalue":{"value":{"amount":"+0.7886936664581299","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":"Q2986936$76877CFA-A65C-4A22-BCB0-C35866A72972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d17c8b6a190f764e7993828c3ed332cc8d34a4ce","datavalue":{"value":{"entity-type":"item","numeric-id":2986712,"id":"Q2986712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f264bec9b0d018ca30c20bcc2782c3b2f91d0a6","datavalue":{"value":{"amount":"+0.7694971561431885","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":"Q2986936$D2BC5E0E-22DD-49E4-9157-E31E844CC63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb2a8fd006c17291e0a23513f47d45cfd5747885","datavalue":{"value":{"entity-type":"item","numeric-id":5217307,"id":"Q5217307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f667fa50fbb6cd06f08c188299721a8df76ed43","datavalue":{"value":{"amount":"+0.7688215970993042","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":"Q2986936$DDAAEE33-E351-49C0-95EF-A7A537120756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"793d40034cdf739aa2c97e9407999ed56e58c778","datavalue":{"value":{"entity-type":"item","numeric-id":3457788,"id":"Q3457788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e81d303045100080c8de1926e3c4c8c38fd4335","datavalue":{"value":{"amount":"+0.7667753100395203","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":"Q2986936$23379D6D-E614-4ADD-AAC0-113A6023D278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4944ce155b44ba868c8d12c45200ef23ac0da0f6","datavalue":{"value":{"entity-type":"item","numeric-id":4536598,"id":"Q4536598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e5ec2059bd6fcfac7e9cd75972307a369bbc12","datavalue":{"value":{"amount":"+0.7659431099891663","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":"Q2986936$7227A6DE-6260-4B30-A927-C385AAC3D273","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rewarding probabilistic hybrid automata","badges":[]}}}}}