{"entities":{"Q6489033":{"pageid":14067802,"ns":120,"title":"Item:Q6489033","lastrevid":55605211,"modified":"2026-02-17T19:36:37Z","type":"item","id":"Q6489033","labels":{"en":{"language":"en","value":"Verification and Control of Turn-Based Probabilistic Real-Time Games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817560"}},"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":"Q6489033$17503E72-5F35-4F23-A3A5-4624F13228C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ed254c003fbc84be75842a0637462712a53e40e","datavalue":{"value":{"text":"Verification and Control of Turn-Based Probabilistic Real-Time Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6489033$682C2507-894B-40B0-B9A4-4560DA52BC32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb44fe0be7a4d4a24a4dc309a51dd786df4887d9","datavalue":{"value":"10.1007/978-3-030-31175-9_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489033$636B6A1B-FA46-4326-BA06-CC0AA45F2400","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6489033$1B253340-2AB3-4F43-A0B4-3285B1BECC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31452a7b9d2814abb45eb9a3a707bde26241b486","datavalue":{"value":{"entity-type":"item","numeric-id":278755,"id":"Q278755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6489033$FEE189EE-ED5E-4108-99F7-ED96BD177A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7082411e9d8fffc47a14ee0f73e6a8e7309517","datavalue":{"value":{"entity-type":"item","numeric-id":540995,"id":"Q540995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6489033$31F14B4B-BE31-4FC7-840D-EB886428F5F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6489033$515C1BC2-2584-4B60-BA42-37D93ACC7A8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489033$19A9D90A-ED57-4423-B97D-1F2808F510EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489033$A07AE2B7-F682-4C41-94AA-F730B35D3082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489033$868C68A9-86FA-45A7-8165-F6A4BA24C609","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed727f237728afe6b201f06cac3f5531a7265368","datavalue":{"value":"7817560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489033$89818504-5632-429E-B610-3DB7666245C0","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":"Q6489033$69F5F303-0BC0-454D-B827-496F2412B492","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c36b1edb5129434efe5e8a336d9b9541063f9748","datavalue":{"value":"Q112268303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6489033$024C5D86-0EE9-499F-B512-A8E654BFED70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e918711360c484e2665b80676868ed47ff869e5","datavalue":{"value":{"entity-type":"item","numeric-id":328165,"id":"Q328165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95e6431cb3bcc12d6d7fb4354a2872a8b0b9282d","datavalue":{"value":{"amount":"+0.8028550148010254","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":"Q6489033$0E5A02F1-F949-4FED-A1F5-DA8503991419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af635cfe46cc8d109f58b1ea11cb5e3ee0142ee1","datavalue":{"value":{"entity-type":"item","numeric-id":3648833,"id":"Q3648833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bda30add2e99fb756be04d97eaaf5b3cc7ef127","datavalue":{"value":{"amount":"+0.7847110033035278","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":"Q6489033$B91BFE5F-AD81-48CF-9061-51B07DE8A516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ea4377983e95d0b646e0e7578c5018c3ba0cc2","datavalue":{"value":{"entity-type":"item","numeric-id":6104811,"id":"Q6104811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6403b78ba221c51f965bc2798ff903135299b53a","datavalue":{"value":{"amount":"+0.7802145481109619","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":"Q6489033$87CD5FA3-62F4-467C-AE87-3F40A2E73B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c38df574bcda4459ff8af7b227358dc29f7cc426","datavalue":{"value":{"entity-type":"item","numeric-id":4598136,"id":"Q4598136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3aaa0440803702ee5e048fdf42e432f9cfa54e9","datavalue":{"value":{"amount":"+0.7782851457595825","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":"Q6489033$8A5A3974-C105-4EE2-A4CF-004E9AF0A9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"046b70682a14fed891a2bc285b821103f9d2d165","datavalue":{"value":{"entity-type":"item","numeric-id":2894279,"id":"Q2894279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f644f783c0be40785a4db76b42b29c72834fef31","datavalue":{"value":{"amount":"+0.7647411823272705","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":"Q6489033$17A03517-7335-4FB8-90D4-7750FA49ED8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6489033","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6489033"}}}}}