{"entities":{"Q3447704":{"pageid":5185591,"ns":120,"title":"Item:Q3447704","lastrevid":52376087,"modified":"2026-01-22T12:24:04Z","type":"item","id":"Q3447704","labels":{"en":{"language":"en","value":"Parameter synthesis for probabilistic timed automata using stochastic game abstractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6499391"}},"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":"Q3447704$32FF15D3-5835-4D6E-ACEA-2FB0C4080DDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95fb370dc8934eaab9d8fcc346eab392cd56a6af","datavalue":{"value":{"text":"Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3447704$D5B3373C-3858-4E5B-B79E-852A25EE6EE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"037243e604d8e3f150a8556112d25fd476682dd4","datavalue":{"value":"1393.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447704$F7BEBA98-831C-43BA-9C08-983070830F42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b493a0913ef5bd7da93a43e65486201385dc8b4","datavalue":{"value":"10.1007/978-3-319-11439-2_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447704$6BABEFAA-A421-4237-9EEF-C9F455D87C06","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":"Q3447704$35C51A39-2287-468B-B684-DCD9F39A3559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57dae1a66b8d364756742d36de532febd4857c8b","datavalue":{"value":{"entity-type":"item","numeric-id":955246,"id":"Q955246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447704$CE87F1CC-3F38-4D63-BC0E-3FC7657627B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447704$96DC4BFD-3227-4C29-89C8-A1A1C01188D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19d39e0f031dafeaa905907e1e92731e668fffa6","datavalue":{"value":{"time":"+2015-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3447704$51AEF971-BEE9-47C5-ABAC-DFA461F1DA80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447704$E5489627-89E5-40FB-ABD1-55F1CF26C1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447704$7FBE8BA1-9AC0-4A4C-BB4A-922F30DAA18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447704$AF29E2DC-B9EE-4D04-9B48-F0B32221D0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447704$0BD3E49D-052A-40EB-AB6A-9B32965B1BF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92e06274ecbf495e7547071e65e7aaa7b4ebf19e","datavalue":{"value":"6499391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447704$0F9C2D91-D8EA-4FD7-ADF5-7CC42A199355","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":"Q3447704$3BE086A4-490E-405B-A989-72FB3B90D727","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ff805146528b66ce19f261ee985b8015209b3d9","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11439-2_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3447704$D4640089-3404-4559-9774-BEEC400D0699","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c394cc4a2c7c1668d3036ba4d0e1dac593d9639","datavalue":{"value":"W1655603041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447704$7E45AD16-17A9-4F32-B2CC-B054B2E2FCB3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447704$342AD2FA-7294-4611-B697-216AD6AEAB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447704$76265AA9-1825-48A0-B23B-7116B11CFD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0df6156cb24cdd1f06eef3803b53a38672dde6","datavalue":{"value":{"entity-type":"item","numeric-id":2248053,"id":"Q2248053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447704$63873CEE-132D-4329-B8CB-1C2916C788E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc619965c66a74b47a0342a5a69ac646fa9335ec","datavalue":{"value":{"entity-type":"item","numeric-id":1187025,"id":"Q1187025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447704$58E920DF-AF5E-40D1-B4B2-05B574F42BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abfc3b21c0f14353187ab5de281a6e5d1ac24c8","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447704$B22990CD-B599-4AF7-B698-93F11FD52D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e77662df15e30000f8aadb984eaaab2652209d0a","datavalue":{"value":{"entity-type":"item","numeric-id":3447704,"id":"Q3447704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447704$2F7B6776-3413-45A3-8CE8-936599A27431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d6e6339c8f8a3272b7cfb2e5fb19de523862545","datavalue":{"value":{"entity-type":"item","numeric-id":5326340,"id":"Q5326340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447704$DE9D3722-CC58-4A36-B26C-038841A7E33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64297dac2d9355b2fa61ee3f141a52121ebe9068","datavalue":{"value":{"entity-type":"item","numeric-id":5166678,"id":"Q5166678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447704$8BC101D1-9F2C-47F6-A37E-88C2D01097A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5809b32e0bebc46ad001f3cb604d727cd6a6d2","datavalue":{"value":{"entity-type":"item","numeric-id":600979,"id":"Q600979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447704$B031FA2B-A732-4166-AF7F-50786A88FB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797d73b7b00329be7f930f664b79de6020dcf02a","datavalue":{"value":{"entity-type":"item","numeric-id":3648833,"id":"Q3648833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447704$8F19F17A-2EC6-4E7A-9226-4A78B0241F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13aebb6e6bc4202ac98997ac8072de74b833c8a","datavalue":{"value":{"entity-type":"item","numeric-id":853731,"id":"Q853731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447704$36DD4859-4209-4B10-8B82-5C30676B1F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434d263d7d69654b3947b8d05a0fd678b7dad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447704$BF7DADB5-31B1-4785-AE1A-8B80BF46612E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ca667b81cc4da7a803ded53555710c6946a1a3","datavalue":{"value":{"entity-type":"item","numeric-id":2636513,"id":"Q2636513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50bc1ff637b8e1fd9c0e2034417549f60685076c","datavalue":{"value":{"amount":"+0.9892885088920592","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":"Q3447704$F8FA0C60-A846-43E3-A3FC-D874292BB186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a03338383f73e23079841476ae1ac0022216ec","datavalue":{"value":{"entity-type":"item","numeric-id":832050,"id":"Q832050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d742bb983303eeb10c0ac182b64f413fdc3a09b3","datavalue":{"value":{"amount":"+0.8451043367385864","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":"Q3447704$739200D7-CA91-47C3-845B-4E0891F78A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf74bfc70089b0193f8945067a6efd15d74c2305","datavalue":{"value":{"entity-type":"item","numeric-id":2934895,"id":"Q2934895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a320ede0b581865e9dd5bac6cffab95e29eaa00","datavalue":{"value":{"amount":"+0.8154839277267456","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":"Q3447704$5DDDCB9E-3BEE-4B7F-ADE9-1A8F45321E5B","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":"0eeec709ade52691e96d0d19912e0cd5da64c124","datavalue":{"value":{"amount":"+0.8037088513374329","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":"Q3447704$5ECEAE88-0014-4691-AE3F-F94F73F489AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca1eb60b224758ea028efe2a5bf57da98b0e2d1d","datavalue":{"value":{"entity-type":"item","numeric-id":2248053,"id":"Q2248053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77c1284a5394715b74ed91b911c226a60e2e13c1","datavalue":{"value":{"amount":"+0.800054669380188","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":"Q3447704$D3F2EBF0-069C-4A23-B239-94D8BA9D6A71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3447704","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3447704"}}}}}