{"entities":{"Q2226751":{"pageid":2237494,"ns":120,"title":"Item:Q2226751","lastrevid":57798561,"modified":"2026-04-02T14:08:59Z","type":"item","id":"Q2226751","labels":{"en":{"language":"en","value":"Stochastic games with lexicographic reachability-safety objectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307975"}},"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":"Q2226751$F332F962-CDD8-40F6-AB1E-B2BB8BA546F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aaa54474756a80a1a8c4515afc9a1a7b69a0bcb4","datavalue":{"value":{"text":"Stochastic games with lexicographic reachability-safety objectives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2226751$68D78CEB-4D98-40C4-87F4-8A209339EDC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cacc509cc12794f62253bc1c661cd6d4ec42680a","datavalue":{"value":"1478.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226751$34FA39B3-9EA4-4CD9-B8EF-0BC235B574D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdd9c6b2719905d7b09da377fded4a289bc764a3","datavalue":{"value":"10.1007/978-3-030-53291-8_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226751$F3957E09-B052-486D-A58F-65CC114F8D67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226751$E112C85E-E120-4A46-A7E5-1B7C279FC020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a70f6e80168da84558fa1083018adeced588b8dc","datavalue":{"value":{"entity-type":"item","numeric-id":2105471,"id":"Q2105471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226751$F5A0787A-386A-4802-B41D-91DBADE65FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb296b2dad8f388c595907da7ffba03f4720cd35","datavalue":{"value":{"entity-type":"item","numeric-id":2119117,"id":"Q2119117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226751$6B9CD60A-3B95-4768-93B8-42A914C73FEF","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":"Q2226751$9BD03F22-0893-404E-B528-3DA0C5CA4988","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44995ee145c1f02a174e4b3916219598c7e9c4ff","datavalue":{"value":{"time":"+2021-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2226751$DFA18986-A043-4492-B892-DF3A2BBA4419","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72806673bea4825d19a1c6aac73d1b48c15785f9","datavalue":{"value":"https://arxiv.org/abs/2005.04018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2226751$4BC2D565-A162-40CF-8969-668AD109B697","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226751$1270A3E3-B098-423D-A041-0E3C44C84213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226751$7B6CA79F-7E15-433A-9B6B-1037BF5C36BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226751$6DEF9641-726D-4952-AF08-C1D9E9DAE212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226751$C9B15627-98A3-494B-9FA1-76BBEA7A4AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226751$C71E1606-CF96-4106-B95C-527B31C7749F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226751$DA9AC4BE-17DF-45DF-8CB5-5E666301C8E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef9cb4bba2fc6e311b6be2c80282201d5c09af3c","datavalue":{"value":"7307975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226751$CF3DBA8A-93A1-4B5F-8685-98CFD8F73EED","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":"Q2226751$CF806653-EBFA-421E-B12A-C4D9EC60ADB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"380a61cbcf4d111ea47b80292f824b179f1d8f33","datavalue":{"value":"W3046820103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226751$66571C08-A934-4E25-B7D7-4A2299D9BB26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8417852a259fe50b81a39f32c81d2cfa14033a1f","datavalue":{"value":{"entity-type":"item","numeric-id":2849916,"id":"Q2849916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f55e9a5b4f30a9ac4750c7a0cab7658cbefb918","datavalue":{"value":{"amount":"+0.8266089558601379","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":"Q2226751$A504023E-6012-4A9E-B33B-E7227C28BD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b460aa4328aa66d936ab7f07900f952075dd4e1f","datavalue":{"value":{"entity-type":"item","numeric-id":4635880,"id":"Q4635880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368d84ca71ccf3d138b9b8efdbba196732aa973d","datavalue":{"value":{"amount":"+0.7956552505493164","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":"Q2226751$6562C313-9C41-4AD0-BAEE-827F13F9769C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b9c1a92f6556ccd5f4b50fe44ab364fc4934ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3182912,"id":"Q3182912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb239fc4bc2bb89494aa8039106ba212b287fd30","datavalue":{"value":{"amount":"+0.7935028672218323","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":"Q2226751$7BE558A9-B63D-4B44-BAF4-401F9517E544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3f92c4ef99b0064665eb4dd9c1b0e27ce25624","datavalue":{"value":{"entity-type":"item","numeric-id":355506,"id":"Q355506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b6f3235fffa70053771a929090036f77aaee7b","datavalue":{"value":{"amount":"+0.7911434173583984","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":"Q2226751$6EA129E4-F84D-4514-922D-8A39142122AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6649e3c41b27475be84281ec958f96ff46d78da1","datavalue":{"value":{"entity-type":"item","numeric-id":3638081,"id":"Q3638081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1713e097e29cc1c4039eec1d97f31209fc401a20","datavalue":{"value":{"amount":"+0.7858750224113464","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":"Q2226751$DB4AEA90-5FDF-47BC-9382-339C3D97B2FD","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226751$EC7F9EC1-54C0-4BCF-B640-65A82EFE7244","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2226751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2226751"}}}}}