{"entities":{"Q5458058":{"pageid":7487617,"ns":120,"title":"Item:Q5458058","lastrevid":41550492,"modified":"2025-05-05T18:27:14Z","type":"item","id":"Q5458058","labels":{"en":{"language":"en","value":"A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262033"}},"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":"Q5458058$5C217650-C485-4B21-AC8C-3E9428BF4499","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efe40c217c82e0a42f6818f0c97f71f217ea8c0b","datavalue":{"value":{"text":"A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458058$05B82A86-14BD-4A78-8E94-8EC48B5A8AB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fc68e9f602d556b227bb5410313948f743ee53a","datavalue":{"value":"1141.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458058$97E5C631-7292-4929-906C-CA4795BB2D57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc704ba51a5a85381eca80377faf5f19781f1c99","datavalue":{"value":"10.1017/S0960129507006408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458058$8A7B1B92-281A-47E7-BD2D-623850C68DDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b01b28361973f8f6aa733f4b48583b04bbaecd","datavalue":{"value":{"entity-type":"item","numeric-id":199201,"id":"Q199201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458058$E0A9B0F3-C1D3-4FAC-AA88-53B0563235D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1092c041374b2a53529d421064998dd9a7106db","datavalue":{"value":{"entity-type":"item","numeric-id":2863903,"id":"Q2863903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458058$97282C9B-96A7-48DE-BEFD-EFB7FC1E16FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458058$8A0A7D6E-C9F1-49BD-AA55-C684B003F77D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"82c68e2887d99211d0a3e890ee79d206b638ec05","datavalue":{"value":{"time":"+2008-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458058$9B604108-07E2-485C-8220-BB9146C36073","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458058$F59B652C-036A-4050-9424-88B5C61418E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458058$0005BA07-7018-45AA-8FED-CC51BAF0A67B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ff32fa75cd1850c2861475f608000776bcdebbd","datavalue":{"value":"5262033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458058$F7723BC6-5BB2-401C-A98E-B2D6E8C4FA65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458058$03BCB2F2-CA6D-4D87-9A26-04D7563949A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458058$2551D60D-D228-49EE-9A28-43587E18A7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49916021edccb418deb9b5c9398917147892e7c","datavalue":{"value":"trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458058$494E7203-30EC-4007-8160-A7DF30D140AB","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":"Q5458058$40FC8977-8170-4D5E-AB24-9FAEE7EB8DC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458058$9B0ECBA6-AF8D-4CB8-B60C-D6FEFA0E715F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458058$C490FFFA-ECF6-4B9C-A064-A4E1D8D0EAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21ebee4e08f0592a1c4f5546d5d1edfcf28d498","datavalue":{"value":{"entity-type":"item","numeric-id":5462953,"id":"Q5462953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458058$1ACDBD2D-9A20-43E5-9D24-E28A930F23D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8abc2120959d494e9ab3121d3b96b6cd93de7992","datavalue":{"value":{"entity-type":"item","numeric-id":1854314,"id":"Q1854314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458058$5F0B153D-7BFD-4723-80DC-CAFB509ED4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458058$DB4CD96F-28BC-4186-BB1F-418D69E51E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44983e2ae363bc5c2752c63f157ff2598b292b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3771649,"id":"Q3771649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458058$3D2EE6C6-56D1-48AA-BC08-E7E78BDC90DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458058$CAC9921A-89AF-40D6-A442-6A6D656D326B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e910305139e3b0c5739eae6d1ad9548f45d6910","datavalue":{"value":{"entity-type":"item","numeric-id":1853593,"id":"Q1853593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458058$F6CAE537-CED8-4255-882B-681E0327583B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458058$4989D408-DC5E-4D4B-9FA1-459ABBE16787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cac37f4c2e1368ce86e5603c98ab39d19c67116","datavalue":{"value":{"entity-type":"item","numeric-id":1853585,"id":"Q1853585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458058$28B58953-19D0-472D-8328-488B951A26C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3889c3aaae9df20ce7481b19c53c5a0516bc52f","datavalue":{"value":{"entity-type":"item","numeric-id":580965,"id":"Q580965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458058$02244B16-B3B9-41FD-B904-9ED13573EFB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b33e5d03417cef85b116c18e3b1fcdb4f6370687","datavalue":{"value":{"entity-type":"item","numeric-id":2257984,"id":"Q2257984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1118207000586381accd9c53a93ebbcc0dbb9fd2","datavalue":{"value":{"amount":"+0.88718253","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":"Q5458058$32787AD9-E341-4B54-A2F7-174BA26CFA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56527f09640bd97f1c6f0fd470a4d29c2d0b9add","datavalue":{"value":{"entity-type":"item","numeric-id":2937395,"id":"Q2937395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0509ab4e3958a09d932df3789a6a1d6a79fbd82","datavalue":{"value":{"amount":"+0.8809709","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":"Q5458058$1607FED2-0605-4C0D-B1F8-5EC8322FC62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b08ff72287eb0de764ac4ee939466adaee2dff96","datavalue":{"value":{"entity-type":"item","numeric-id":2937731,"id":"Q2937731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a753cabb9b32abd523387624baf28f4987506f76","datavalue":{"value":{"amount":"+0.8705853","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":"Q5458058$A38F0698-B6C9-40D3-8667-582CA33B1714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97fae32948e303594a9a93df512dc2263f347b0b","datavalue":{"value":{"entity-type":"item","numeric-id":843096,"id":"Q843096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1efbb0466af446b1e29bf522062015cc4723079b","datavalue":{"value":{"amount":"+0.86516964","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":"Q5458058$B2757508-A914-4C29-82B5-90E9ECCA83D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b50730eb802fef2c783d947c8c167924c99070d8","datavalue":{"value":{"entity-type":"item","numeric-id":947269,"id":"Q947269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c1fa28a3aa520c03389ccddd341719c8e2b856","datavalue":{"value":{"amount":"+0.86426127","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":"Q5458058$0AB15DDB-EAD1-40B8-885E-D8D070A2BE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ff0324fa15cc4da2a87d1dfaf4a5f364c1e1fe","datavalue":{"value":{"entity-type":"item","numeric-id":5395116,"id":"Q5395116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec171a71d82cc30f1a12630ffa330e952140ead","datavalue":{"value":{"amount":"+0.86324704","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":"Q5458058$A531DE6D-4EC9-45A7-A3BF-55B66C1A8DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1900d074ed56995c43540c206fdd53936ce6f72","datavalue":{"value":{"entity-type":"item","numeric-id":4268462,"id":"Q4268462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dc8023d48f95ff037462d706ee20b6a4004620a","datavalue":{"value":{"amount":"+0.8600131","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":"Q5458058$FFC1568C-FF36-471A-91A4-40CD2B0B4299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af307dc145a5e9e7d113ab3aa670de7e93ec8426","datavalue":{"value":{"entity-type":"item","numeric-id":4992526,"id":"Q4992526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"134eae87818ac6b4ce7f57102bb3145c5653ae9e","datavalue":{"value":{"amount":"+0.85816324","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":"Q5458058$A7F567B8-9469-433A-9B4E-661FE925B654","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458058","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458058"}}}}}