{"entities":{"Q4992498":{"pageid":7022075,"ns":120,"title":"Item:Q4992498","lastrevid":58390023,"modified":"2026-04-05T00:27:14Z","type":"item","id":"Q4992498","labels":{"en":{"language":"en","value":"Compositionality of approximate bisimulation for probabilistic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7356839"}},"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":"Q4992498$9C99AF2D-011B-4FC0-9762-AA1936191041","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f925255882d8bbbc4580afe5dd7abf80064e657","datavalue":{"value":"1464.68245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992498$5E3E20CD-9470-46F1-8C9C-AD077EBA97DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"720d2ca687b1dbefe07531061c55846f1312faae","datavalue":{"value":{"entity-type":"item","numeric-id":1660765,"id":"Q1660765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992498$10492B07-9C61-432E-8F08-C27E0BFCFB0A","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":"Q4992498$27120D23-7B83-400D-9FDE-66E59296B13A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77b5c623a3a71eb9e2cd375aecfe8a36962b32c7","datavalue":{"value":{"time":"+2021-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4992498$378CF276-6BF6-4DBB-84BA-50A0EB7E53DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4993f65f28406977dfc0173cee3216d39886489","datavalue":{"value":"https://arxiv.org/abs/1307.7442","type":"string"},"datatype":"url"},"type":"statement","id":"Q4992498$CA7739B1-26C4-483E-AC6D-42EB08662A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"96b4e4d02bea96aae4daf68fda1dfdb337ae147a","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS13.4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4992498$471019B9-2559-4C2B-B9A3-794A43B61598","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992498$9B697C51-A485-4B7B-BDD7-FDB2C717B7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992498$8A532A07-6698-4ED8-BDD8-8FEEBBE053CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74ce748b823e6ad65ba1fd2c9f12600b9d9952ed","datavalue":{"value":"7356839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992498$C39A4C6F-5D70-4D61-8871-2BFFFA678BA9","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":"Q4992498$E4A7293D-8AA9-4467-9D4C-81E17B8AD949","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a0d741e4dac94536d23ef8297ef05175a5e3c05","datavalue":{"value":{"entity-type":"item","numeric-id":2892789,"id":"Q2892789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11108c16f153e31bd692442d0cdea609e186b51e","datavalue":{"value":{"amount":"+0.8184185028076172","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":"Q4992498$FE07CFD2-5DC3-481E-ACFB-C6E263AB67D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa28cf266b343f5d69054f1fdc2cce485bea109","datavalue":{"value":{"entity-type":"item","numeric-id":5013870,"id":"Q5013870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6408b9a4bf5548f9a3632ace5b85416405c4b00e","datavalue":{"value":{"amount":"+0.7929556369781494","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":"Q4992498$5D5DEB20-5918-44B8-AA37-7A6B6E4D9DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc503710798dfad31246259e053fc1ef919bfdef","datavalue":{"value":{"entity-type":"item","numeric-id":2946567,"id":"Q2946567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd326a48ce0bdefe016faadffea1d3e9d92308f3","datavalue":{"value":{"amount":"+0.7860255241394043","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":"Q4992498$D32F27A5-9E5A-4704-BF5B-665221E036E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba5abb5c5f2b2ccd5a598bb644d2134ac581f50","datavalue":{"value":{"entity-type":"item","numeric-id":4995155,"id":"Q4995155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b179fb185659c437a6376c5ad28cba46a333cd91","datavalue":{"value":{"amount":"+0.7856224775314331","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":"Q4992498$FBB340B4-7E23-4440-9969-CA31E1813C37","rank":"normal"},{"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":"142e795a167edfb2c3a562327a6e5b11006e224a","datavalue":{"value":{"amount":"+0.7792454957962036","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":"Q4992498$7500F76C-DA1D-43E3-A3ED-287A51610B56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4992498","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4992498"}}}}}