{"entities":{"Q1631227":{"pageid":1641968,"ns":120,"title":"Item:Q1631227","lastrevid":43252314,"modified":"2025-07-22T20:07:50Z","type":"item","id":"Q1631227","labels":{"en":{"language":"en","value":"Trace relations and logical preservation for Markov automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6989605"}},"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":"Q1631227$BEC0512B-84D5-4E0B-A505-16AF1CC18E8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2dacd6af976bffc280e69a2512770951edb1af8a","datavalue":{"value":{"text":"Trace relations and logical preservation for Markov automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1631227$A6FDFDFC-BD01-4E22-AA97-DE07310A8CFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae11f1b34290feeb1c0738b8a4f4e8deab57c669","datavalue":{"value":"10.1007/978-3-030-00151-3_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631227$EC5FCC3A-6C98-48FA-AE57-0901DF6CD51C","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":"Q1631227$B1A97335-0919-4F7A-BD1C-C21CB4D49F2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d792d11c9db1b3c1ce8b80dd0d5403f301c3f974","datavalue":{"value":{"time":"+2018-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1631227$533A9962-B936-444D-A922-B71852637A65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631227$FAE91E25-9068-401A-9F41-0EC72C8C8AC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2d390331839ffecb445733176d6021d5c7b3a58","datavalue":{"value":"6989605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631227$C33D8D5D-75CA-4F14-9649-9E1C3DB86F9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"112c2444d6b23bd3add68a00c10984da73e7264c","datavalue":{"value":"Markov","type":"string"},"datatype":"string"},"type":"statement","id":"Q1631227$BB9E7E1C-C611-4AB6-A3C1-0109AD626832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1631227$CA89FC52-2E29-4A96-B139-1FA3B8659204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49916021edccb418deb9b5c9398917147892e7c","datavalue":{"value":"trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q1631227$6B84D469-D024-4B2F-9787-7398F45FE6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1631227$DDD562AD-9A23-4558-A4E5-3417F8755836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1631227$4CA4BF09-846F-4A4F-BE82-FAF803CD862E","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":"Q1631227$F814D97A-F2B9-4456-ACC2-D56CD4E5E7C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d14a701ea829c330b742cdbccd6a43fd0f37ad6","datavalue":{"value":"https://doi.org/10.1007/978-3-030-00151-3_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q1631227$EEA539A3-1BAE-4C19-9BFB-6571D8B5AB72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6665dfd0298dd90eb63762ab38da79f8de5ecf17","datavalue":{"value":"W2888000169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1631227$47888236-AE89-4897-AE2B-F59AA62CE769","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5cccbdf38a5826561a74ae0c6a05d79f7fda6ee","datavalue":{"value":{"entity-type":"item","numeric-id":1675807,"id":"Q1675807"},"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":"Q1631227$4BFFEAF9-D95D-4A80-A2AD-CBB9D4396212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7892b33ab909e8ae2d9ada76f4b93abd29a05f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1951578,"id":"Q1951578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa0b035359a86b6006ff5f759fac54f36ce263a","datavalue":{"value":{"amount":"+0.86939764","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":"Q1631227$D616BADE-6533-4299-A29C-094BA7244BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f2cd0b7f4ed7e5883351a0c7b573b1f0396e00","datavalue":{"value":{"entity-type":"item","numeric-id":3012929,"id":"Q3012929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa0b035359a86b6006ff5f759fac54f36ce263a","datavalue":{"value":{"amount":"+0.86939764","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":"Q1631227$EB7708A2-D217-48E6-8A7C-1A9E3FCC2FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67439d03f826f911097b915046d6c27d207eccf5","datavalue":{"value":{"entity-type":"item","numeric-id":6098148,"id":"Q6098148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2cbe65b94cfc8a849771212f6b6a7494dc53e4b","datavalue":{"value":{"amount":"+0.8550819","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":"Q1631227$8367A5E0-C687-46CF-8EF5-600619016731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"410325629b48e9ff0354c0f84fe38561c46d9471","datavalue":{"value":{"entity-type":"item","numeric-id":2863904,"id":"Q2863904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf8653bea50011f9865c49665d87f64542208bf","datavalue":{"value":{"amount":"+0.8505468","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":"Q1631227$B5F815CF-4E4D-44AB-A81A-8B76F7D58023","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":"c2d0f95ec17fbbeca1850251971a252f0dee9a23","datavalue":{"value":{"amount":"+0.8494042","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":"Q1631227$B8B23FEA-5A0A-4040-A77E-8586DCFCE07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"805cd1c1f3583b76f5447b92cc7c69e3d2f5ce6d","datavalue":{"value":{"entity-type":"item","numeric-id":4633525,"id":"Q4633525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55cd72841c8cf65c1a17491f6ef2f533927c9e2","datavalue":{"value":{"amount":"+0.847258","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":"Q1631227$1F1A4EFE-6A12-42D2-BBEC-E3EFFEF03C7F","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":"44992098b775b4d61c347b23f89dccbde1fef1c3","datavalue":{"value":{"amount":"+0.84643716","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":"Q1631227$CEE9C42B-ED22-4372-9795-29C797484336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0527d70c0bc24ecbff404e8e586ce1125e8cd9ea","datavalue":{"value":{"entity-type":"item","numeric-id":5452023,"id":"Q5452023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a45514c05171fce547e9b969d7a96381bfee63d","datavalue":{"value":{"amount":"+0.844815","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":"Q1631227$BF02758D-AF70-4A2F-A8CC-6EC1532A96E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2320e64fabee3c48092b517dbfe8e9909f1bb45","datavalue":{"value":{"entity-type":"item","numeric-id":5479151,"id":"Q5479151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61ab330fbc9e8855b11c9a8fbee5b80abd7ae318","datavalue":{"value":{"amount":"+0.84348536","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":"Q1631227$807DF56D-79E9-4D84-B79A-C7A298E838AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1631227","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1631227"}}}}}