{"entities":{"Q974113":{"pageid":975961,"ns":120,"title":"Item:Q974113","lastrevid":65909766,"modified":"2026-04-12T06:11:51Z","type":"item","id":"Q974113","labels":{"en":{"language":"en","value":"Non-expansive \\(\\varepsilon\\)-bisimulations for probabilistic processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5712823"}},"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":"Q974113$44263CB8-1AAB-4A93-B7FC-EB7F8DD4B0DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa4cd5303e630551df25220d6ff10dac6a734527","datavalue":{"value":{"text":"Non-expansive \\(\\varepsilon\\)-bisimulations for probabilistic processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q974113$0903B2E6-FACD-424E-B8D7-42409F3F227F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5b90df6fcfe72c236e9b8c0624812ca700b4e39","datavalue":{"value":"1334.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974113$B6CD5D17-4706-4E3C-89BE-4DB2012D7E66","rank":"normal"}],"P16":[{"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":"Q974113$177D6B48-3043-4BCB-AC6B-3D09AF6DEB95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$2563EFD4-9EA1-414D-8F46-27C783C77261","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2fe2a9116b611a4e0cd03f6e91b5254a2aef5ed","datavalue":{"value":{"time":"+2010-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q974113$AD1CA31C-52CE-4397-9608-F023006380FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974113$220EC780-BFFA-45D0-B9A1-7FCBDC23EEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974113$5A133BEE-D963-4F36-A31C-6E418EE937BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974113$8AC83CBD-3A8B-4E59-8969-F35DF384ECC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1aa3b1d782a0d0b6fa556564aa7022940514cf9d","datavalue":{"value":"5712823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974113$35035D30-6D23-4748-83DF-0EC26B63836C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6e39bbfdb779b8bdffc927c0a0a164512abf466","datavalue":{"value":"\\(\\varepsilon\\)-bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q974113$59BED8F6-1D86-4E73-A895-F2C556FAB19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80e4f506db32db28d8e271da3aa3b5ab656db351","datavalue":{"value":"behavioral distance","type":"string"},"datatype":"string"},"type":"statement","id":"Q974113$A4CC319B-EB49-4497-9A13-1AEA2F652A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b9d1092d5e1c9ae27148def70c88bfe03806d97","datavalue":{"value":"non-expansiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q974113$25C03151-4663-4B6F-A528-22FBFEC401FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"264859d2a4a9cc3a096abd92d644cf5b6f41dc26","datavalue":{"value":"transition rule formats","type":"string"},"datatype":"string"},"type":"statement","id":"Q974113$C524501A-A082-428F-A1DF-0AAD9A6CE9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bd36d82941e14601c1798d58c442444057047f1","datavalue":{"value":"probabilistic processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q974113$1A101F82-931A-41F5-9E0F-D15AAE9B4088","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":"Q974113$A18F7F98-0615-4814-B778-D79A65D9CE8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ae03fc4797b180dff68ea321b54fb8edd3365af","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.01.027","type":"string"},"datatype":"url"},"type":"statement","id":"Q974113$3491646A-C6CD-4265-A21E-24AAF3AB424C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb9ae1561441720cc68bb4f5b1b438e77914aa71","datavalue":{"value":"W47800957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974113$A4FE8A02-E8F9-45BE-B911-3E78C35328EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e2261b6913a63f60b38270ef195766355d058b","datavalue":{"value":{"entity-type":"item","numeric-id":5505435,"id":"Q5505435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$6938E81B-0384-4636-AE64-DDCFE99D5C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846bd11e2686d660a49438abfbbd46392b179b05","datavalue":{"value":{"entity-type":"item","numeric-id":4535031,"id":"Q4535031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$FB214579-4A30-47E6-BB9E-ECFE5829B829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fdf0fd443743e61bb3484b43f4300cab298e502","datavalue":{"value":{"entity-type":"item","numeric-id":5204359,"id":"Q5204359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$9D5FE43E-16BA-476E-8D44-DCC31A37FF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfc5fb0376bd23f0d02b623cc2a25ba1ce77316d","datavalue":{"value":{"entity-type":"item","numeric-id":5705912,"id":"Q5705912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$D7ED14E7-B945-4DE2-A439-F3B7E7DA4608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f7f41066e9f4c31755bb0d6f58077d78d50178","datavalue":{"value":{"entity-type":"item","numeric-id":5898162,"id":"Q5898162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$9CA849A7-F943-4EEB-848A-B5992292C908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f25c3a754d4ba3631bc79a111d6fb32f5805b16e","datavalue":{"value":{"entity-type":"item","numeric-id":2946567,"id":"Q2946567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$996641BF-0244-465A-99FF-3AC7888627B1","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":"Q974113$E44E511D-6290-496C-A21C-A12018630B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f873c4fa6c09b28c724b78ca2774ca6eb3ed6728","datavalue":{"value":{"entity-type":"item","numeric-id":5901850,"id":"Q5901850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$5F61BC3E-D264-41EE-8459-A600ABF19750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdd4fea53b7d739c7649130a0202bbf906aa47a","datavalue":{"value":{"entity-type":"item","numeric-id":4270063,"id":"Q4270063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$87AD90EA-2133-41F5-9752-D7EC7B2E98B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36050cb2aebc6e0d72cd0bdca54e064168155283","datavalue":{"value":{"entity-type":"item","numeric-id":596029,"id":"Q596029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$24C4C818-E016-4FF1-9B33-0FBD3C285403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e40a1f793339ead5f008d0e9d1dbf8eefed51e","datavalue":{"value":{"entity-type":"item","numeric-id":5900586,"id":"Q5900586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$BDE5FD81-C16F-4028-AAD0-64346B7AC61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7aac5fc80d6b5dd2654373ac1513a53fac48bc","datavalue":{"value":{"entity-type":"item","numeric-id":4791270,"id":"Q4791270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$D560C0E1-B014-4BC1-9AE1-308C11D060D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ae5fa721f724c2c93f9d1963970f6ff50e63ee","datavalue":{"value":{"entity-type":"item","numeric-id":4535035,"id":"Q4535035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$47B7B344-1FC4-4971-AB93-C0F6B749BAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaedb9f602c018e3f49cab3fdcc2051049564e52","datavalue":{"value":{"entity-type":"item","numeric-id":1770428,"id":"Q1770428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$BF4A3B71-E2DC-48EA-9365-910558798035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a06d718bcc840d3b83d43940d7f5ed1f727a0ac5","datavalue":{"value":{"entity-type":"item","numeric-id":2503333,"id":"Q2503333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$06A89FF3-906D-43C3-BE9F-DF61187C744A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1cbb125a4325b962745ed7426bba0f5ede12ca5","datavalue":{"value":{"entity-type":"item","numeric-id":3518278,"id":"Q3518278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$F0CA1810-A748-42C6-A23F-C2C3EE17F89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$E019C089-DD96-4F4C-9C2C-4229DCFFED48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a5be0c101b23bfa62ae4840034b8ca646534b1","datavalue":{"value":{"entity-type":"item","numeric-id":1079949,"id":"Q1079949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$C86B95AE-4EA1-4D98-B47A-0BBAD877D671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$50946C5C-2EA6-4447-9C47-33D004C4A7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"740e35ec6a97dccfab3cea00fb5fb7d4602bef5d","datavalue":{"value":{"entity-type":"item","numeric-id":2842551,"id":"Q2842551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$494BCCC3-89EE-47F6-8693-47C2137FDE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68cd30e72facb3a17c3ce130db42caf44e920c1f","datavalue":{"value":{"entity-type":"item","numeric-id":5458377,"id":"Q5458377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$797054AB-753A-4351-84BB-A84A5E06819F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"215c24ea925c1d72b08f750cc9960d8b6c67b38f","datavalue":{"value":{"entity-type":"item","numeric-id":1899914,"id":"Q1899914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$2439E7D8-08DE-4DE6-A85E-844094545C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e910305139e3b0c5739eae6d1ad9548f45d6910","datavalue":{"value":{"entity-type":"item","numeric-id":1853593,"id":"Q1853593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$54E59147-C657-4B1F-BF97-2F2DA6E2750C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2460002d0adbe8417dfc0562899200f110b197","datavalue":{"value":{"entity-type":"item","numeric-id":4371690,"id":"Q4371690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$BD316935-3BA2-472B-9FB5-F828012D641A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7f33ca20da467faef38d779155a5b2b594538c","datavalue":{"value":{"entity-type":"item","numeric-id":1878713,"id":"Q1878713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$9FDFE10B-B89C-46EC-A8EA-A721C7ECDF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f494b826ef52cad5b9a7d9db328cf2f05835dad3","datavalue":{"value":{"entity-type":"item","numeric-id":4255553,"id":"Q4255553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$2678829B-3A9F-4220-AE90-2C5CED0F3764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d1541f94d2a3019ad963efd594514664e26738","datavalue":{"value":{"entity-type":"item","numeric-id":5282109,"id":"Q5282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$00ED5638-E7A1-46B9-BB08-E287611C15B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65450edf6b4d53f17dd2e02467fb7cf435e4edb","datavalue":{"value":{"entity-type":"item","numeric-id":5466453,"id":"Q5466453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$D11D7936-DBCC-4BE7-B2FF-CA4DA786801C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f61dbae4a30f08ddf795a4f68494f79ad4122a","datavalue":{"value":{"entity-type":"item","numeric-id":1975965,"id":"Q1975965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$15BF8149-4DCC-4ABB-93A9-CF430762EB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5df2fb86edcc40277014fb6a7645d6ed57c553","datavalue":{"value":{"entity-type":"item","numeric-id":673123,"id":"Q673123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974113$7DBE2A86-F55E-4393-8C3C-FA3DBECACF17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bed029b32adef677ef3f08ef617cc661072306df","datavalue":{"value":"10.1016/J.TCS.2010.01.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974113$E4A2ACE0-2E88-420E-8A2B-AB13BA1DB13E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d702b76897dca7b73305b6103fb6ced2507401","datavalue":{"value":{"entity-type":"item","numeric-id":5505435,"id":"Q5505435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc45579b851694f5f5f66d82a4d000edff9c02ea","datavalue":{"value":{"amount":"+0.9727262854576112","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":"Q974113$C9366BE7-1AFD-4A1B-BFB0-01388D6AED25","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":"525e0e77456b403ad6847db6f2b5da6d6cf8a059","datavalue":{"value":{"amount":"+0.7860617637634277","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":"Q974113$23E8D06E-34BE-4F8E-AF0C-6169E31A1F3A","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":"ec3854f5ad6dcd492366df2429386bccaec4f43e","datavalue":{"value":{"amount":"+0.781262993812561","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":"Q974113$893C54EF-4F85-4AF3-8882-F3F286BBB3C6","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":"a40a4089274469c3d00ecb40b39ef20905f9bc2c","datavalue":{"value":{"amount":"+0.766086995601654","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":"Q974113$C1BD05CE-6D4C-4765-AB18-38B6365AD6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4cd4f04a624973235e93ce590c05163722e3eba","datavalue":{"value":{"entity-type":"item","numeric-id":4992498,"id":"Q4992498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8e357b07960c5197052bbacb67a4a36a9d65e28","datavalue":{"value":{"amount":"+0.761186957359314","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":"Q974113$7D939588-57AD-45A5-A403-622783E6AD4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-expansive \\(\\varepsilon\\)-bisimulations for probabilistic processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-expansive_%5C(%5Cvarepsilon%5C)-bisimulations_for_probabilistic_processes"}}}}}