{"entities":{"Q5412012":{"pageid":7441586,"ns":120,"title":"Item:Q5412012","lastrevid":51985637,"modified":"2026-01-20T16:51:34Z","type":"item","id":"Q5412012","labels":{"en":{"language":"en","value":"Probabilistic bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6288586"}},"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":"Q5412012$1128990C-6802-4A9D-86C4-9AB0242E6101","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6d5ee3964a9cfc221f8aff9e33529ef0ed45c2d","datavalue":{"value":{"text":"Probabilistic bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5412012$F2038A10-316F-40F3-8927-B1E1705FC637","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"663f64655114e6273d0dc40d81525dffe7689b84","datavalue":{"value":"1285.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412012$7F3E3043-3A68-48D5-868C-6F71ACC77EA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c0a81a156b202e1eca91e1b2a31e1084eb92092","datavalue":{"value":"10.1017/CBO9780511792588.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412012$5B723C08-28DC-46D2-884E-8731641D90B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a55516c9acfe06eeff291481b7f91efa8e1b2799","datavalue":{"value":{"entity-type":"item","numeric-id":283764,"id":"Q283764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5412012$E08886F6-ED4C-457C-B04C-92795D261A20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6d927eede0b11e6531a43cd8385429ddeb958c3","datavalue":{"value":{"entity-type":"item","numeric-id":5411639,"id":"Q5411639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5412012$13585998-1362-4B8E-9FC4-D7EE6FBA1053","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07323bd4d87d7b63802000e5f173e59ae08b7683","datavalue":{"value":{"time":"+2014-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5412012$1B775768-8E8E-4BB3-9CA6-C635ECFE3794","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412012$36BC2F1D-170E-4F82-80AD-6424215EFD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412012$EBC06B26-5EE6-4324-8D58-0DAB0AA19E09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbb178dabce4c5b47f1393769f566f761b2ad0f5","datavalue":{"value":"6288586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412012$7D1B7BB0-7145-4357-B2B1-935F0F57134F","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":"Q5412012$FB72B15A-A4F9-4C66-A530-469C216262F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b722f8426cd5e6a2fbbdf9c74ad22dfd2c72e9bc","datavalue":{"value":"https://doi.org/10.1017/cbo9780511792588.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q5412012$18046EC7-C899-44C8-8B20-A5BDE2D026AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5058da0d70be9e777f48a637d1e1628c923d6200","datavalue":{"value":"W361477699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412012$DAA24DF7-BC40-41F8-A8FC-3B059B4A5F3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf58f55d5aecca1bbc6d4ca51438fba6991270a2","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72bda352fd391e7219b785db6022b8598e6e74ca","datavalue":{"value":{"amount":"+0.7784885764122009","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":"Q5412012$C987FAA4-BA2A-4EE8-BEEC-5FB5F80C4986","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":"c1030249e48c2199e639e08821653a90af3c6fa7","datavalue":{"value":{"amount":"+0.7773032188415527","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":"Q5412012$8A7CFFFB-1689-457F-BF0B-493953E6057D","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":"362214a4b55ef75cad1404604bb320a38ca725f3","datavalue":{"value":{"amount":"+0.7750430107116699","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":"Q5412012$338022E0-357F-4BFE-8B4F-C6FFC24A8F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f87faa6beb87e9c1201e4f6345c71fdd194879d2","datavalue":{"value":{"entity-type":"item","numeric-id":2760248,"id":"Q2760248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66b8cd7d29db931d7b42931f9d1b5df4cad5e617","datavalue":{"value":{"amount":"+0.7682572603225708","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":"Q5412012$F3E95CBB-5E5F-4A1B-AA45-19E76AD3D28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef81862bca1afbd34a6a39bb10b75740caa503e","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99551d14e5364033ad2ec75f95c7d2efe78ebde7","datavalue":{"value":{"amount":"+0.7671376466751099","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":"Q5412012$5796EC2A-0174-43C7-9C74-2C7458C81987","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5412012","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5412012"}}}}}