{"entities":{"Q2506488":{"pageid":2517231,"ns":120,"title":"Item:Q2506488","lastrevid":74166204,"modified":"2026-04-14T18:45:40Z","type":"item","id":"Q2506488","labels":{"en":{"language":"en","value":"Bisimulation for labelled Markov processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061603"}},"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":"Q2506488$99360D9A-D31D-4E6F-BBCF-A08D3E77BC2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f267fa864d2e85f6616178187e54adf27f9f458","datavalue":{"value":{"text":"Bisimulation for labelled Markov processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2506488$456F911F-BBF6-4ED8-BD64-B631A3A3C15F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46d4ef5b758aadc03235a26c5706d75ac326f160","datavalue":{"value":"1096.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506488$4C794D2A-98BD-4063-92C4-D910269FC38B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d8ddfb0d343fe3cfdb2f7d5a790a7afcf3447f3","datavalue":{"value":{"entity-type":"item","numeric-id":383366,"id":"Q383366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$AF2511CC-A00D-4A7E-86CD-591E845ABEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d89b85073cc702d9235bfb4bacc4df7d4f53a93b","datavalue":{"value":{"entity-type":"item","numeric-id":483297,"id":"Q483297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$76D8AF09-42EB-484B-B9AC-5E16A1458910","rank":"normal"},{"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":"Q2506488$494CC201-2147-422E-8B72-CA9EC8B31A49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$571AA032-1DFE-479F-966F-B44DC821BFF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17d5dc9e06bd48c78f65617b39b2f452c61f43e4","datavalue":{"value":{"time":"+2006-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2506488$EA71B498-F2AB-4695-9BE6-3434EB03FF10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506488$9AC017F3-ACCB-409B-96A3-3F09ED864180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"314e54fbb18d33f780194e79b8f7d977d400cb90","datavalue":{"value":"60J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506488$6C61536F-C467-4300-A39F-D66EE5BABF9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0aab088458980d9dbd1b3733a7d0053c4844be1","datavalue":{"value":"5061603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506488$CBC8FCBA-1E2C-42B8-B93C-71905F955D2D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$25C1106E-D925-4A24-9923-BFC8DC5A5B41","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":"Q2506488$B2F6B7E4-D851-4946-953A-5464C01BC4FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa055acd95b1f5b98c6e87dc2e66b9408693c1e2","datavalue":{"value":"https://doi.org/10.1006/inco.2001.2962","type":"string"},"datatype":"url"},"type":"statement","id":"Q2506488$635D1802-3CBE-459A-B5C9-2B063DF04548","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"655b4894e610f25335c472da7b7fdd942b559ce1","datavalue":{"value":"W2100893927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506488$E8AD1A48-5714-4B56-BC14-6893A26C806C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$6BF8BEAA-3F49-4C15-8642-E48074F621FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$0BE2AA60-D186-481D-A753-A21C4A665F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4861ad6b832bac12a95a11f6298cd74a8cad1bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4289659,"id":"Q4289659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$7AD792B0-10F9-447B-8786-8C4DD01F4A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e9f51174dda7c2dcccdfe8d51f717eabcb9ae3","datavalue":{"value":{"entity-type":"item","numeric-id":4112980,"id":"Q4112980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$06F3676C-F9DA-4C5F-BFF2-767FA3337802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6dc871fe926fe9c59d18f813417643cc900d049","datavalue":{"value":{"entity-type":"item","numeric-id":4606219,"id":"Q4606219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$EA9C28C8-A219-440B-A31E-7E2B71F423C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c26807c2efabfe4028eec4255a13eb24be3d6d8","datavalue":{"value":{"entity-type":"item","numeric-id":4836494,"id":"Q4836494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$118C250E-F4E8-42F8-833C-2313C1921537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"088b32c44048c251fc5ff6645f61a3bd446aa88f","datavalue":{"value":{"entity-type":"item","numeric-id":4222911,"id":"Q4222911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$EF23BFF2-5C2A-485A-8536-4C7D6863AD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb42ef3186723b03c43059645273e3bcb51eb4e","datavalue":{"value":{"entity-type":"item","numeric-id":1365673,"id":"Q1365673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$7ADBF948-DE93-4A4B-9AEF-6D1E7D4256AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d63a6f79a14efad928fe8e487c963f37b2a8003","datavalue":{"value":{"entity-type":"item","numeric-id":4037401,"id":"Q4037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$BAC3E4ED-3F6C-48CD-BA87-C79144C60A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe990a0a6638fafb8b73b1532a8387e4c0110d3b","datavalue":{"value":{"entity-type":"item","numeric-id":5528194,"id":"Q5528194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$E4A8A607-6209-4DC8-8A82-5A13ED4CDCBD","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":"Q2506488$96556D79-0247-45FF-BCD8-30BEA34C39FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cc62ec28770affad7708bb4ba62d22879ec2a2","datavalue":{"value":{"entity-type":"item","numeric-id":4780024,"id":"Q4780024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$D190C791-06AA-408A-AE70-C6787F260B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7eb418764ae243753274c2b93b3d69488191fa","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$2015CDD5-7D74-4155-950C-9D52C81A9675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5045740bd57765d3dbc2538788e02ec3e8dc04a","datavalue":{"value":{"entity-type":"item","numeric-id":4719350,"id":"Q4719350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$FC1837B3-2624-4EC3-898C-B0A149FF72B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$1A83FA78-C9AF-49F5-97C9-4C0F29759501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2e29a2c8b72d4adae39d2fcfa943d6ed3f236a","datavalue":{"value":{"entity-type":"item","numeric-id":4769223,"id":"Q4769223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$266DF0D6-BE64-497F-896D-88846772745B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$03290069-9344-40BF-B675-4E2748DA7EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$17AB042D-5845-49D6-A867-AFF2AE7661A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$F91B19F4-831C-4B9A-ACB9-C455FF165ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3832e3dc267ceb2e4bb4d3a758f9c5723b89426b","datavalue":{"value":{"entity-type":"item","numeric-id":1159979,"id":"Q1159979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$8E15BE9F-186D-48AB-B156-89F32A1F61D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f182afa47ea37b09a1d1a3075ffe1edef8370b5","datavalue":{"value":{"entity-type":"item","numeric-id":1063584,"id":"Q1063584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$E815D783-7FEC-4DC1-B1F7-F5E79CCFF5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29be9f894bb67f8dfc727b0b2a2db40bebb6dcc","datavalue":{"value":{"entity-type":"item","numeric-id":5558296,"id":"Q5558296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$08B87809-1AC7-44ED-9C40-3B4A08331FBD","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":"Q2506488$F1E51A63-9F89-47EC-AD35-2BEB126C0D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$B399CED1-E22F-42EE-9A8B-C1F4BE6608DD","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":"Q2506488$47CADD02-E566-467F-ABD6-2FFA7250752B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$4D4347F6-6BD7-4161-9345-2C521EDAC21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23bed7506874310355fff12383c11b903c05008c","datavalue":{"value":{"entity-type":"item","numeric-id":5533878,"id":"Q5533878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$45193AFB-02F0-473F-8F45-FE2142E4942B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c303769c93de867084cf6f828db3ca78e852da7","datavalue":{"value":{"entity-type":"item","numeric-id":4325547,"id":"Q4325547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$F94BF5C0-94E6-44F1-B1BE-896B5BFAE365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89eb63f677ab0a580462b02ef040fb3a39b506da","datavalue":{"value":{"entity-type":"item","numeric-id":5526190,"id":"Q5526190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$E592736B-82FC-40F0-B562-ED3363AE145A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$F34928DA-7303-484F-A205-9DF81B6C1128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f815b333bb881989d9b818874a2a5f2de3414597","datavalue":{"value":{"entity-type":"item","numeric-id":4179849,"id":"Q4179849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$AAE99E36-5F43-41E8-B0D4-CB47F9716E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe4277615c121681e25d9d93b68a6f0566c8115","datavalue":{"value":{"entity-type":"item","numeric-id":1139367,"id":"Q1139367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$3FE3C4C2-9E33-4288-B3C8-0F49206068AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb949ba9b807fd21d908060c7f9ae5d57788502b","datavalue":{"value":{"entity-type":"item","numeric-id":3998903,"id":"Q3998903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506488$3AE094FA-04B0-4F9B-B38E-4572805266E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f1343be033dec77b425061dabfc40d810b8f7ac","datavalue":{"value":"10.1006/INCO.2001.2962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506488$7A3F3BCC-8CA1-44D3-AD45-3B25ABA5B07B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e1b267484066afff79512a6586de0009975d53","datavalue":{"value":{"entity-type":"item","numeric-id":4737187,"id":"Q4737187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a9cdebcf164b6b16536c177699cfecd1742d10","datavalue":{"value":{"amount":"+0.915653109550476","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":"Q2506488$0286DA63-0CB9-4BF9-BE35-D347D0EA4440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd56029ff1a956d2d233670412aeff688790877c","datavalue":{"value":{"entity-type":"item","numeric-id":5111437,"id":"Q5111437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b72f91811fad073c106d53d1c7d017ef89d676","datavalue":{"value":{"amount":"+0.8965976238250732","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":"Q2506488$6D15A98C-AF05-4658-979F-CB578D122A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e05c717366aeb6ae7d04dd13214b43db8161e7a","datavalue":{"value":{"entity-type":"item","numeric-id":1683448,"id":"Q1683448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"952f7d653a291971179ff123b507181df910a6a2","datavalue":{"value":{"amount":"+0.885772705078125","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":"Q2506488$EC7C8A73-C272-406C-B08B-F2BD32FC8DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d46ba54601f163b675063e5c03a22cdf97caad","datavalue":{"value":{"entity-type":"item","numeric-id":3225737,"id":"Q3225737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dacc50c124bbf5bd60449660ce77d2ffb266eb54","datavalue":{"value":{"amount":"+0.8671650886535645","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":"Q2506488$E969C14B-845E-4076-80D7-DF2368437039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43621669fa72f2c09090eab148ed1d48d89efa24","datavalue":{"value":{"entity-type":"item","numeric-id":1770416,"id":"Q1770416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc2667c54d14dd608e1a02653b416ca0bcf99291","datavalue":{"value":{"amount":"+0.8609446287155151","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":"Q2506488$31AE45B1-4655-41D8-A1C7-E99AA6577898","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation for labelled Markov processes","badges":[]}}}}}