{"entities":{"Q3172860":{"pageid":3183570,"ns":120,"title":"Item:Q3172860","lastrevid":51341834,"modified":"2026-01-17T20:25:26Z","type":"item","id":"Q3172860","labels":{"en":{"language":"en","value":"Observing continuous-time MDPs by 1-clock timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954738"}},"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":"Q3172860$BCB61F7F-E577-4E22-BE3C-D86CAB5F9EA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c490533e94224fef82a01c4a85999a965139a208","datavalue":{"value":{"text":"Observing Continuous-Time MDPs by 1-Clock Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172860$2163C998-56EC-4A01-AFF5-AADAC7428C1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f1c79d5427b8cb86ca06a1396cc0a1e4036b734","datavalue":{"value":"1348.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172860$7AF4CA44-90BE-44AF-AD40-0885B15EA91F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"518214ee70bc8e9ebb2687bd41adb01347329496","datavalue":{"value":"10.1007/978-3-642-24288-5_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172860$E722FBA2-079B-4EDE-88B4-41527C657866","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f2720d61eed3832eaa70475ebf459e0738ce91","datavalue":{"value":{"entity-type":"item","numeric-id":310083,"id":"Q310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172860$0763877E-4401-426B-B617-1B6F4F435D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7212e30b632f2e93de3964c7abeeef134479d1ec","datavalue":{"value":{"entity-type":"item","numeric-id":458373,"id":"Q458373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172860$EFC12654-2DC6-48F4-8855-7A868B70FCAF","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":"Q3172860$31789CCA-9A41-4217-9B01-99C34F1F6DE9","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":"Q3172860$C564D1B7-57CA-4A7B-B826-EC0FEA8F5661","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":"Q3172860$DE5EBA8E-AF90-4F92-822B-44E08226FDEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172860$5F83E5C8-021D-489B-BA68-3F4BD7CABB4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172860$7055DA91-4ACC-4A36-A5F9-4E0CF5397A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172860$ABB4FB5D-FC4A-485F-8C15-61C32A1F3138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172860$F008D2D6-CD2C-4A38-BE67-4DF0ACB7AA81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e882452765ddf47f0d7af5e06a6620e71fe2252","datavalue":{"value":"5954738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172860$16AE0F25-A99C-4420-ACAF-AE5311EFFAEF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7f169c4d09af0412b7573c60590fc61433bf35d6","datavalue":{"value":"Q57801283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172860$A77562DF-365F-4133-9100-14FBE4355518","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19ea0268485aa3f9787caf2b44c02b981e5e73ce","datavalue":{"value":{"entity-type":"item","numeric-id":16320,"id":"Q16320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172860$006ACBF8-B1C0-4CA3-A805-9EFC6F082D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1d7c89f8c4a43a132064ef87f7add4215ef6c5f","datavalue":{"value":{"entity-type":"item","numeric-id":16314,"id":"Q16314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172860$9C6C3F7E-4ECA-4BB2-B845-6861949FF41F","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":"Q3172860$7AE8D4B2-EB4B-4766-B7A0-B88AB113AFC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28768c506ca41684e5fde3645ac1e7ccf58ea1a4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24288-5_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172860$F63C5E56-1D4E-4D30-9EC4-52D4DA59819B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11c2327c174c51b9e57af62b58ffaa9fbbbe11c6","datavalue":{"value":"W9281975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172860$D53AA26F-2F01-420D-89D6-F92808FD0C2E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"649c6a2777986bb091004ec09cd96a579d55c089","datavalue":{"value":{"entity-type":"item","numeric-id":3003315,"id":"Q3003315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e724596044fed452a00a75d9019fc1516dbff574","datavalue":{"value":{"amount":"+0.8669595122337341","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":"Q3172860$3A103093-1231-4DCF-AA93-69165FA9EB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf4e340cf6706297ef41001a1a61d408fbe6764","datavalue":{"value":{"entity-type":"item","numeric-id":2248080,"id":"Q2248080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba85c0709b4ff58f91638d3092596f210e16da3f","datavalue":{"value":{"amount":"+0.8660309314727783","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":"Q3172860$72428946-133B-415F-A26B-ACEEAB59DC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c37da2f642cc8d27ff571cf4e717368214c3b34d","datavalue":{"value":{"entity-type":"item","numeric-id":6041132,"id":"Q6041132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6103e73b0573133b808ec11c656d467bf637231","datavalue":{"value":{"amount":"+0.8415318727493286","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":"Q3172860$92520423-AA89-4BA2-ABB7-394D1EF4D52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"570e46a58fa84ca1108991782d73eb20dbd97665","datavalue":{"value":{"entity-type":"item","numeric-id":2575731,"id":"Q2575731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd99eacecfd3f5be8fa1965374be7f1632472a2d","datavalue":{"value":{"amount":"+0.8164834380149841","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":"Q3172860$BAAF1200-DCAC-4F3C-8928-CF596FBF66D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e3673d86179a68b447e8da2a04d42220e5e9103","datavalue":{"value":{"entity-type":"item","numeric-id":5308389,"id":"Q5308389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f403657c558d12eaf01aa20ba93ea2028bfc8061","datavalue":{"value":{"amount":"+0.816033124923706","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":"Q3172860$A2B9FB1A-C762-4390-9888-09513489A527","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3172860","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3172860"}}}}}