{"entities":{"Q1675807":{"pageid":1686548,"ns":120,"title":"Item:Q1675807","lastrevid":55929769,"modified":"2026-02-21T06:14:28Z","type":"item","id":"Q1675807","labels":{"en":{"language":"en","value":"Trace relations and logical preservation for continuous-time Markov decision processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6802664"}},"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":"Q1675807$CB7E883D-56CA-4AC1-B28F-F0BFCB3303A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11b6c1636a10da2540857ac7f372ad83ec08305f","datavalue":{"value":{"text":"Trace relations and logical preservation for continuous-time Markov decision processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1675807$0316AE06-31CC-44A6-9087-FB45515DE24D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3ebac17e403525977cfbdd54de7c72f21198571","datavalue":{"value":"1444.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675807$DB798059-1855-461E-A2D0-BBFD2669C131","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f3cd1c92f1ebeb79a51f544250bb4b030bb2408","datavalue":{"value":"10.1007/978-3-319-67729-3_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675807$586B3E26-40A3-4ADB-85B2-D2B4B8BA86FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"001317fa250c2509908567df4740c68883b2a6e4","datavalue":{"value":{"entity-type":"item","numeric-id":1631226,"id":"Q1631226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675807$C6D2A5C5-1BE3-4B8B-910D-256734231770","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"67aba7197112cbac1f8ed2910c0f63c4d1f0c462","datavalue":{"value":{"time":"+2017-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1675807$E4A1D82A-297D-4801-9E3B-F3E98AF01BF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675807$970EBC16-86BB-4F31-89B1-D10F448B3E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675807$483DE714-313E-4B93-BDD8-7CAE43CF2039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675807$7DE50334-101D-4A81-BD31-6D374F748034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675807$1472C095-53BA-4E76-86DE-46D0EA0D6056","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"492f3aa24dd4b1de55aea90c9441821893a0dd4b","datavalue":{"value":"6802664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675807$C6BE7C56-C288-40F2-801B-06FB68ED7B7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"234199a288eaf2c4b3846975331b2cd7884c9f1b","datavalue":{"value":"scheduler","type":"string"},"datatype":"string"},"type":"statement","id":"Q1675807$362234CD-8612-4B5C-AA4B-1E99455E7A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a57f448d3d46db77a29981b20638773aaad2e68","datavalue":{"value":"trace equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1675807$FAE19D01-182D-41D7-B6E1-06C393B2F2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1675807$6DAA0183-BC8C-454B-8792-62D90B9BAC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"561abd8670388ff9e3e0e66e81347de6b0fa97be","datavalue":{"value":"timed automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1675807$46763073-66AE-4186-810D-7D7FD3FBCEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1675807$7A5FFE5A-2DC7-4CDA-8F5E-D88C4C555E76","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":"Q1675807$21225D5F-F616-44F8-8B40-BCE760BE5CB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca74709ab6051bacc3e2cfb50fc80408a333e58f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-67729-3_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q1675807$9E96B08B-F7E4-4A96-A9BA-49904CE39D48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56600ff2417a8d3af0f65540fd68da9d09eb5a9f","datavalue":{"value":"W2755950393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675807$AE3AC213-5AB6-4DE0-BFF5-25F326301FB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccaee7d1a3864eb05f9d3c900e64260416850ded","datavalue":{"value":{"entity-type":"item","numeric-id":1631227,"id":"Q1631227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c94a336ef03194138b18dbb18125548a728dd832","datavalue":{"value":{"amount":"+0.93123335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675807$7E477298-B9AE-4F69-868F-2FFC65E5C824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6602b721326ec54fa3bd0f4de8a5090bd411951","datavalue":{"value":{"entity-type":"item","numeric-id":3525652,"id":"Q3525652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eac88c57b12040d4a97f2f88f88ab387d1d995e","datavalue":{"value":{"amount":"+0.8963301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675807$D834498D-80AB-4074-A7DA-2BC6427B5FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a2ea736acbf6ee19cdd28ac3718961359c4d11","datavalue":{"value":{"entity-type":"item","numeric-id":2983881,"id":"Q2983881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba5fb637ec3353c234d150d0cebeffeac3de41f1","datavalue":{"value":{"amount":"+0.87691736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675807$5B83C32C-D51A-42BA-A1E8-4512000FF448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956cee4819a0a4ba105abb08cf477c7ed805c30c","datavalue":{"value":{"entity-type":"item","numeric-id":2938063,"id":"Q2938063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5fcd36bb7d7970b5d048ae9c843e839b081fc48","datavalue":{"value":{"amount":"+0.8707872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675807$632A71F0-360B-475A-990A-699E04634F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a9174ca69fe603288d23227e4abe4c083508ec","datavalue":{"value":{"entity-type":"item","numeric-id":2915679,"id":"Q2915679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd2488ba3798ea7e894ad6a405270980865f704","datavalue":{"value":{"amount":"+0.8486481","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675807$1FB509A0-694D-4BD1-BEC9-6EBB3FEFFC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"510459a73e2c157360c99bc3b48ddb335c4cd488","datavalue":{"value":{"entity-type":"item","numeric-id":2323974,"id":"Q2323974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d12c2ab29879f3380c1ef45b621c43b3a951225","datavalue":{"value":{"amount":"+0.84838104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675807$05ABC7A4-C7CB-4C79-AE51-419ABBAFF49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0786edfd85932470b6a848d09549f2aae13419a5","datavalue":{"value":{"entity-type":"item","numeric-id":2699030,"id":"Q2699030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f85c9ffad3ed9508868b94df7f98f31d23c0265","datavalue":{"value":{"amount":"+0.8471085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675807$D53A2E32-962D-44C0-B9DA-52A73051F8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a7c4c4fd26d8a25515e65cf37d6193faea61e51","datavalue":{"value":{"entity-type":"item","numeric-id":5144637,"id":"Q5144637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a176e7e39c4a58ac9ef8ee749ceb39badad54cde","datavalue":{"value":{"amount":"+0.8440588","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675807$E5401CA6-2F58-442A-80BB-519AD8FBB913","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1675807","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1675807"}}}}}