{"entities":{"Q3090825":{"pageid":3101540,"ns":120,"title":"Item:Q3090825","lastrevid":86180549,"modified":"2026-06-03T15:49:06Z","type":"item","id":"Q3090825","labels":{"en":{"language":"en","value":"Bisimulations meet PCTL equivalences for probabilistic automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945186"}},"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":"Q3090825$2D091784-39B2-4D65-9892-56B55C4F3D54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e738045d7a9af3f10fe43d7fcd824bfd4e6e15c","datavalue":{"value":{"text":"Bisimulations Meet PCTL Equivalences for Probabilistic Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090825$9A2D99BA-F7B9-465C-86F2-BED918ED461F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f27a6e91d1fbf27f417cc7a5b359b5f8795518f1","datavalue":{"value":"1344.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090825$553CF0A9-BFB3-40BF-91F7-54E4A9D7DA51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc127d18c6746e165b5302bc3424e3ae5d7ef4f6","datavalue":{"value":"10.1007/978-3-642-23217-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090825$E689400C-AB91-437B-984E-45A6B453D6DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd2ccd250df2979e12e8ab152e5336c2c8ac3f55","datavalue":{"value":{"entity-type":"item","numeric-id":441757,"id":"Q441757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$0D471F66-C4EE-4C30-AB00-B4CFD1E2F343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"409dcc0134810fd6a98d8456ebcc7f11492f7070","datavalue":{"value":{"entity-type":"item","numeric-id":1671243,"id":"Q1671243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$75D22442-3211-40E4-B09A-38A9E686E6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$B1D840AE-8EC3-4217-ABBF-DAA44AA90E63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d4b52f40151daea00ff3da0acb2c051d987d247","datavalue":{"value":{"entity-type":"item","numeric-id":3090816,"id":"Q3090816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$AFEA3F6B-549B-4E42-A641-D389E21172AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3090825$CD26BE2F-3339-4D33-B396-9ED04EB14933","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090825$7B41E190-9677-4AE9-8EA3-30670DC9D1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090825$60EF3726-D187-47A2-A4D9-1FF7594233C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090825$374E9F85-658A-49A2-BC3C-650212C18C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090825$1EE61994-A449-4A2E-9676-82233D8965DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090825$3D7DBFBD-DC25-4B0D-9DB5-3DA60F2660A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0e3cfc63a02aeb12302e7d27069bd16925c83b5","datavalue":{"value":"5945186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090825$B77D79BF-93D9-46DB-AD45-EC91366CA056","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":"Q3090825$3BC1ED59-ED5C-46E1-BB75-2ECB219B629C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4048d7174686ce51f3a71775230c02040d19d66c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-23217-6_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090825$D7E1715E-593F-49B9-B438-9FB248C3AC08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9661b3b8b63a8e462b681afc8bd9433778c3ac4b","datavalue":{"value":"W2103972329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090825$77D638C5-BDC1-4203-BA87-ACB4FBDDA927","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c365e25ffb1da604bb143141e561fe2efa1863","datavalue":{"value":{"entity-type":"item","numeric-id":1975973,"id":"Q1975973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$32A6D8FF-6ACA-4FBF-9D4E-A61557083646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$FE247217-5572-41D0-A1F9-A59818FDC4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2679c29c0d26197f91a356070d95bfb2b5e55c98","datavalue":{"value":{"entity-type":"item","numeric-id":2387196,"id":"Q2387196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$A09C9C22-7886-4512-B50D-D8E911463983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$3E69B8E6-CC7D-4A98-8ED9-CF2A31E4DDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e354b3f60be40c9b21990800bea8c83e572518","datavalue":{"value":{"entity-type":"item","numeric-id":3510814,"id":"Q3510814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$64F1A794-3330-462D-91E9-C135B72846E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ee182ed547c34efddf0b14b92016a0567e7200","datavalue":{"value":{"entity-type":"item","numeric-id":4484499,"id":"Q4484499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$9748D8B1-0D83-474C-AC9E-A09F091D8671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebdf580c22f4f5a53dfd663e2e613d1e499e3b15","datavalue":{"value":{"entity-type":"item","numeric-id":3535612,"id":"Q3535612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$B942E248-8E85-47A7-BDC1-A34A57F0C04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55e8ce4ec20f9f894e2d7db5e6084d390bc1c76","datavalue":{"value":{"entity-type":"item","numeric-id":2266992,"id":"Q2266992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$9D177915-6E3E-4E28-9DF5-0558C4E007E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$EBD631CB-5B72-4B9D-B903-F060E80245FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$567732ED-8FDE-4C39-A200-464D085A0AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8432f01401c49ada6550faac9dbee25ecd47b2c","datavalue":{"value":{"entity-type":"item","numeric-id":627128,"id":"Q627128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$8CED9500-F541-421E-B267-208B1FE48E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa72f87654ba7f41667d5c3d8d163316ecad186","datavalue":{"value":{"entity-type":"item","numeric-id":2760248,"id":"Q2760248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$85159F63-0A2C-48C2-836D-D4398917F3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b57acaca409c758f44add32bdf32d5248711258","datavalue":{"value":{"entity-type":"item","numeric-id":5758103,"id":"Q5758103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$8DB6F2C1-42FA-4DB4-BFE8-52FF2B01BA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$10EA9C1E-91F5-433C-81CE-9CCFC5BF218A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$B268E587-8FE1-4A16-9C22-F9A7C576BC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc15cea0e01e2a84509c7d2b5a4b258a406efdc4","datavalue":{"value":{"entity-type":"item","numeric-id":4536612,"id":"Q4536612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$D8AEC7CF-1582-48A0-89F2-CCA80B05415A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$098C009C-0437-467D-BF15-C3605E6891E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af1b8d7a51db5facac5bbe8437b86cde82b90d24","datavalue":{"value":{"entity-type":"item","numeric-id":5299841,"id":"Q5299841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$1ED89277-3735-4E29-B90F-3E324E1F5264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090825$EE453AB1-CE52-4D76-8446-1BB4BDB2F671","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"744cb71baa45b8de9207c30d5fb72bd4059db3eb","datavalue":{"value":{"entity-type":"item","numeric-id":5299841,"id":"Q5299841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc952adc8a9a3323cc390e2218ff7114a4cf604a","datavalue":{"value":{"amount":"+0.9796981811523438","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":"Q3090825$0AEF2765-8F5B-478D-B017-B285242D80E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91972a2ecb21bbd5b95fb7326091283a597c0fd7","datavalue":{"value":{"entity-type":"item","numeric-id":5415456,"id":"Q5415456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eebe7c34b9ea5feac3c4a8f5cca3fe0ef595b80","datavalue":{"value":{"amount":"+0.8223527073860168","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":"Q3090825$11F9E771-BBA9-4B14-B3B9-44152135DB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11cdf29caa07a9f843ffa8b503d3b8cda24aa5e","datavalue":{"value":{"entity-type":"item","numeric-id":5758058,"id":"Q5758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a2e90d2d40a509e6eda05f05992f113155c42f3","datavalue":{"value":{"amount":"+0.8206969499588013","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":"Q3090825$FEBEF411-F6DD-4343-883D-0489D02F28F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db4b9861897f83c40098c84a5af140f149965003","datavalue":{"value":{"entity-type":"item","numeric-id":3588096,"id":"Q3588096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41a6ea9245de9cc94b46bfcd0207d833a50c3c78","datavalue":{"value":{"amount":"+0.8082504868507385","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":"Q3090825$6A44033C-306B-45E6-9846-1179CAC6C5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8aa0238386727077afe32748af2ef27ba6f471f","datavalue":{"value":{"entity-type":"item","numeric-id":5891113,"id":"Q5891113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1769d8ba25484695cb42758c04de91ba12aa6378","datavalue":{"value":{"amount":"+0.8056418299674988","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":"Q3090825$965D748E-828F-4918-A328-5EBBF0B149A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulations meet PCTL equivalences for probabilistic automata","badges":[]}}}}}