{"entities":{"Q2946567":{"pageid":2957287,"ns":120,"title":"Item:Q2946567","lastrevid":44767455,"modified":"2025-11-25T22:56:24Z","type":"item","id":"Q2946567","labels":{"en":{"language":"en","value":"Probabilistic bisimulation as a congruence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483076"}},"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":"Q2946567$4DA29C6E-400D-42B7-9667-A4A8341C945F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"850893a8da01e025b40b78f624dfcf21c0478e75","datavalue":{"value":{"text":"Probabilistic bisimulation as a congruence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946567$5C8D6E75-B8D8-43F8-B2C2-859109E0A054","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4563ea71bf006e1d206800e51c1fa1b192abdbff","datavalue":{"value":"1351.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946567$C1CA1868-4810-4325-A92A-A649B5274CD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"719d6a0d1f32be728d82a53152e8032e1eae2f4b","datavalue":{"value":"10.1145/1462179.1462181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946567$9AF5F761-143C-494D-BBD3-66A053723EEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0230c7e6165a30b4624bfb880a34e585dd13c43e","datavalue":{"value":{"entity-type":"item","numeric-id":606995,"id":"Q606995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946567$454E5FD1-A969-416F-81A0-39D80A56E037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd4b76f0953196f6fe39bfffcac9dd860fc56e60","datavalue":{"value":{"entity-type":"item","numeric-id":236458,"id":"Q236458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946567$5B5CE1FA-A0D1-4F08-A616-EBE2EC6B9E78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946567$FC544369-ABFC-484A-9871-6753056F3553","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946567$81325F17-6DE9-4C64-96AE-F1801A475C44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946567$829C3DF3-F8E2-4C8F-824F-F3755117E1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946567$35A32275-455A-450E-ACF2-6654E352B978","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43f05adce9ed0dd7042433cdb9dcb5876ad64fff","datavalue":{"value":"6483076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946567$BD3C2C3F-57EA-4F0A-9DA8-1715605BC333","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946567$7DFFDD35-78B5-4673-BDA7-8BFAE64B6B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946567$91069C73-73F0-406A-A214-3765EF28949A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7568e4b6f6a85f7fdc738e58f2c4a6d722175e68","datavalue":{"value":"probabilistic process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946567$3EA1FAAA-D7C1-46E6-B564-971498551FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211a98ded10f88f70742c7672cbd028d4c450336","datavalue":{"value":"transition rule format","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946567$CFEDC794-9571-4CAF-AE72-A9FDDDD2BBEC","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":"Q2946567$0BBD03A7-4DF5-4BDD-8531-D1C9FA716E06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d224f2507876a50f9481d7f305736f6ad8f4aed0","datavalue":{"value":"https://doi.org/10.1145/1462179.1462181","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946567$D4EF463A-83A6-4B4B-AF3C-3565E55554FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20bee8f0d261bf41fd3e013293eb9d8df9b1372d","datavalue":{"value":"W2071882940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946567$A28C0C98-8751-4CD0-8BA1-65A02BEF05A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a726cfe2b75d6205f8651954b7c7dac02df421e1","datavalue":{"value":{"entity-type":"item","numeric-id":5412012,"id":"Q5412012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c392b01a4835b6819fe3055d75298cdb621e36d","datavalue":{"value":{"amount":"+0.9621275","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":"Q2946567$BCADCDA2-F1E0-4761-BC0A-19C171E702DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9c62cb76a8298b713a03a19641d221517b1e003","datavalue":{"value":{"entity-type":"item","numeric-id":764289,"id":"Q764289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef36fb44715b426625e54be014bcccaeb80f248d","datavalue":{"value":{"amount":"+0.94795173","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":"Q2946567$B2B0B050-1B8B-485F-8DE0-81630E9D42F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41003ea8d4b487b067798c7a7ca8c19bd3cfeb9","datavalue":{"value":{"entity-type":"item","numeric-id":5415667,"id":"Q5415667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef36fb44715b426625e54be014bcccaeb80f248d","datavalue":{"value":{"amount":"+0.94795173","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":"Q2946567$272D9657-7C1B-49F0-9FAA-CBFE3322A962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25a83d5837b7795d35bccc383385e16a7a70b18","datavalue":{"value":{"entity-type":"item","numeric-id":2495642,"id":"Q2495642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"881c86bd83ac77d72ba89a1f9e60e1e026c1d1d4","datavalue":{"value":{"amount":"+0.9427788","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":"Q2946567$CCA1CDA9-A7DE-44BB-8A0B-AF1D1AE6BE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0509920ed35473137dcf14232b632bcc1341c04f","datavalue":{"value":{"entity-type":"item","numeric-id":4535031,"id":"Q4535031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04295f85873a86e8be992295ff0ccde151a7004e","datavalue":{"value":{"amount":"+0.94251525","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":"Q2946567$3C3264C0-EE46-4F5B-A781-4D2D4E9ECF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e04e28a65958541ac34a5814835d312f57fea436","datavalue":{"value":{"entity-type":"item","numeric-id":3190122,"id":"Q3190122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e603009b46db5084498191bf9cfb61fc64e469e4","datavalue":{"value":{"amount":"+0.9331438","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":"Q2946567$5672DB63-EC89-421A-92FF-C178C050BE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"827a057f6ccc2e999f2798b8eb857bc3816480c9","datavalue":{"value":{"entity-type":"item","numeric-id":3012928,"id":"Q3012928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee127b8815d45bb73f5a1ef4d5728fbd43bd920a","datavalue":{"value":{"amount":"+0.9253272","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":"Q2946567$EE5B126B-E2F9-4532-B926-85E4A340AC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27be90a18914037a481652af0d8a4ab64e2f109e","datavalue":{"value":{"entity-type":"item","numeric-id":1941884,"id":"Q1941884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30bd2dc5795d166ec474c126a1df0c442883d91f","datavalue":{"value":{"amount":"+0.9251444","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":"Q2946567$AA3F2D40-9130-4276-9966-DD68DC0DA5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45050f9b1bfa9abcd020ea343fb6168131eb3ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3023541,"id":"Q3023541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f69876be63a48bc675ba19353313f201d977d9e4","datavalue":{"value":{"amount":"+0.9210544","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":"Q2946567$8C627AA3-23DA-4103-8A8E-0EF55A7928CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913724d19c5f2456e6de8506edc37016dd1a83da","datavalue":{"value":{"entity-type":"item","numeric-id":4536612,"id":"Q4536612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99dfa223d567a7b3c2f2b7081b2722a8533fa6e8","datavalue":{"value":{"amount":"+0.91924125","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":"Q2946567$6097A518-10B0-4C9B-9A2C-881718925232","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946567","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946567"}}}}}