{"entities":{"Q5758058":{"pageid":7787609,"ns":120,"title":"Item:Q5758058","lastrevid":50161238,"modified":"2026-01-13T07:45:30Z","type":"item","id":"Q5758058","labels":{"en":{"language":"en","value":"Logical Characterizations of Bisimulations for Discrete Probabilistic Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5188991"}},"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":"Q5758058$F3E6CE62-D0CD-4C35-823C-C5D995525193","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"463a348ff695a66f81464119ccdeb11d966baca2","datavalue":{"value":{"text":"Logical Characterizations of Bisimulations for Discrete Probabilistic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758058$AB452765-F78B-44EE-8D9A-E33F4A34EA8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5079328190af495679b51c2cb3bd086006095434","datavalue":{"value":"1195.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758058$D0B56003-C860-4A4D-A513-74107EFB269A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca06f0a21c81edfc37dfaf055c9d3a0f0fc966dd","datavalue":{"value":"10.1007/978-3-540-71389-0_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758058$22158B52-319C-4B0C-9660-055A441AD0A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16f83d96a6aab26e433d3410a3b255bf2619d164","datavalue":{"value":{"entity-type":"item","numeric-id":627125,"id":"Q627125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758058$D27B8154-474E-4824-AE41-FAAF8EDAF317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9b93e9c4da01bb33a6752e107e968e98464f50","datavalue":{"value":{"entity-type":"item","numeric-id":627126,"id":"Q627126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758058$0567F38E-FABF-4C22-930B-6941DE8EB01E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758058$CF7C910B-A490-4E1F-A90B-5F776D8473E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a0f126e0f773412df6fca1aea3308e338ba6e0c","datavalue":{"value":{"time":"+2007-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758058$8443F72B-B375-497C-8868-F91DECECD9FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758058$41994ED2-8B5E-4FFE-AEF8-AEA2BE9F62C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758058$4178BEE5-E3D5-47F2-8220-A6B5DBC79561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758058$F33178FD-CEAA-479E-B3DB-9A436533EE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758058$9225EB6D-34F0-4C8A-96E2-DA211CB37BF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a945aa4caa98b7d3e703449735f1ded7f6c4460","datavalue":{"value":"5188991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758058$5D134418-3947-4FF2-8104-7FEC38C93470","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":"Q5758058$ACBC2B28-4FC6-40FC-94E4-471CADACB234","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4835bed383dcb8651113c28a19add0a3dd9574d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71389-0_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758058$5DD4C433-86BA-4532-99F7-5635CD0351A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e26f366607c6c4867c180db9597dcf44a56898d7","datavalue":{"value":"W1505927408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758058$41E487F5-0557-4091-88E2-C1F059F1B0E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"563362faca7ecb977ddf3d4d44c3d3ac88865357","datavalue":{"value":{"entity-type":"item","numeric-id":1731513,"id":"Q1731513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88f066584ff14b8b7f4ad09daf6b11cb16a37d0d","datavalue":{"value":{"amount":"+0.8641554713249207","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":"Q5758058$1019B1A3-10DC-40F7-80AF-C05739AE2240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29369768311e13d8051e44e759a601b77940edbc","datavalue":{"value":{"entity-type":"item","numeric-id":2946748,"id":"Q2946748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b957105218906aaf8cacd3a3aae562d0fd4a37","datavalue":{"value":{"amount":"+0.8560936450958252","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":"Q5758058$399BC730-855C-4B2A-9A50-474925FB4EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dfab547d55c5c21ded489a129f471ed969063e5","datavalue":{"value":{"entity-type":"item","numeric-id":627128,"id":"Q627128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca1c2abb27d9a64ecc27169b7cf663b965603966","datavalue":{"value":{"amount":"+0.8471289873123169","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":"Q5758058$06C0352F-A596-469E-B88D-C550D31DECD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b98ec27b8a77e1bfbc9a753e90565d7ad8248122","datavalue":{"value":{"entity-type":"item","numeric-id":2417857,"id":"Q2417857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ebc66f6abeef22c058d74e24a96f0f14ccfd23","datavalue":{"value":{"amount":"+0.8320239186286926","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":"Q5758058$4ED4E9E6-A819-4E94-A095-D3BDA27784B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7399737823428672f9cfb76c9043353de824b4c5","datavalue":{"value":{"entity-type":"item","numeric-id":2830042,"id":"Q2830042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"112c04403ef6aab06f17d39b9191b18b9242816b","datavalue":{"value":{"amount":"+0.8243990540504456","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":"Q5758058$1191F7C0-E733-4994-BC35-764A9810B6C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5758058","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5758058"}}}}}