{"entities":{"Q5756596":{"pageid":7786147,"ns":120,"title":"Item:Q5756596","lastrevid":50157758,"modified":"2026-01-13T07:24:45Z","type":"item","id":"Q5756596","labels":{"en":{"language":"en","value":"A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187253"}},"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":"Q5756596$63C242E4-9E38-4C7C-AEA4-BD28524541D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"084b2548eff7367396e7a03b56abdfb2bafeb25e","datavalue":{"value":{"text":"A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756596$FE9EA28F-6257-4A3E-AF6C-8CA000FEE659","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa9f4c60307b5a56709f9209535809fa383bb85b","datavalue":{"value":"1151.68502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756596$3DF5804C-4140-4038-B801-4958891F402F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca00d9df36c5650cc3ce1a10a48ead6b4e5d9936","datavalue":{"value":"10.1007/11817949_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756596$9FC09D45-B11F-48EE-9865-8A3305D337F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5f8f253e349e54e13b7bb591e43e3d03254b865","datavalue":{"value":{"entity-type":"item","numeric-id":5756587,"id":"Q5756587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756596$5A2C3F10-9FED-4DEE-AA04-2D2830C2A4F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756596$385AE587-776B-4088-AF5C-637706008460","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756596$471474FD-94A5-4BD5-BD38-C6B82C46FAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756596$5FE5FB29-B1D0-40C4-8A41-90C15968C556","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb8d2ae34c7e27b5598c7310cfd5757f16c32b84","datavalue":{"value":"5187253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756596$D1E5B3B9-3F0E-4418-BE9A-3D185B333D6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d16005753db8d274fdeef9a295ce92917824fddd","datavalue":{"value":{"entity-type":"item","numeric-id":764286,"id":"Q764286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756596$29212D69-796D-4A90-9FF7-0D3010A9F38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20fc068db4ead04187daa6b8252b30a410683b6","datavalue":{"value":{"entity-type":"item","numeric-id":393088,"id":"Q393088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756596$F46FEFBF-7602-4074-8288-6D3848B43E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cca7caa26c1edecee311baf10734f3d68d8795b","datavalue":{"value":{"entity-type":"item","numeric-id":960854,"id":"Q960854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756596$5193E95B-2695-4B6E-89C9-4C589236CF5D","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":"Q5756596$57EBB592-C218-4DDA-BA45-37E17E4896C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90d509d7edcbb9d8da8d4f866f0a31aca4431da1","datavalue":{"value":"https://doi.org/10.1007/11817949_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756596$F813DCE9-0C95-4DC3-A600-AE8EC336397E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e86f4db3a0f473cc4a113aa630839b8a45d0cb60","datavalue":{"value":"W2135324040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756596$B5208A67-EEE3-46A5-AC76-FED5252A7C6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61ed46f73999ff1c62562bb5af8e3fed2d88837","datavalue":{"value":{"entity-type":"item","numeric-id":3599065,"id":"Q3599065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e71a6d192e3c0ce871fa525a610ff0a194342c06","datavalue":{"value":{"amount":"+0.8571957945823669","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":"Q5756596$5C32C2E0-EEC8-42A3-A62F-5A44BBEFCE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b00681069ef15af0071db80d1699eed4ad63c6a1","datavalue":{"value":{"entity-type":"item","numeric-id":2769588,"id":"Q2769588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d268c982d06ec4baaa1752330d6188829c896db","datavalue":{"value":{"amount":"+0.8263854384422302","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":"Q5756596$10FA3B3B-4ED5-4C0E-BF00-CE008F11F3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a9063ce4f8ee99742dba24e7a6d1df1ef75eacf","datavalue":{"value":{"entity-type":"item","numeric-id":3727367,"id":"Q3727367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e3a08f78ea0128970a2ba6ef4bf1fb4b76bc5d6","datavalue":{"value":{"amount":"+0.8112367391586304","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":"Q5756596$391CBF58-25C3-4614-B8CA-DDDF25CF18FE","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":"d7a724b126cc9e77ca73b470d67c7a8c9f06ea4c","datavalue":{"value":{"amount":"+0.7658945918083191","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":"Q5756596$17E807B0-8167-4AE9-B4EB-2C32EAD6A40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b839ae9a8c9f96dd6824a64a60e39664472dceb","datavalue":{"value":{"entity-type":"item","numeric-id":2491633,"id":"Q2491633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b9fbf436e177beda41b4e01b44a5eda357c1646","datavalue":{"value":{"amount":"+0.7535735964775085","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":"Q5756596$6CEBD0E6-1C79-4C93-A929-7155ADF2DF64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756596"}}}}}