{"entities":{"Q2945724":{"pageid":2956444,"ns":120,"title":"Item:Q2945724","lastrevid":79790894,"modified":"2026-05-06T14:43:05Z","type":"item","id":"Q2945724","labels":{"en":{"language":"en","value":"Weak bisimulation as a congruence in MSOS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481952"}},"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":"Q2945724$860D6444-C001-4746-B7E0-2663A86E3EF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5aaf83c688709b215ed59b565772449fb7573a4a","datavalue":{"value":{"text":"Weak Bisimulation as a Congruence in MSOS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945724$47354CA0-3355-40BE-859B-C051C94CC10A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84176e42ab64d8b53b42d6f53d31239988e469b2","datavalue":{"value":"1321.68363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945724$44FBD4E5-EABD-4EB3-A623-E11F1ED59A06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2cf9f65e52d2257791fd39a762eff42fff357a86","datavalue":{"value":"10.1007/978-3-319-23165-5_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945724$C3BD04D3-0810-43D9-937B-E22C23C96CCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73fae7aa6d0c7c2cab5ae77c738df9d6a0e9e85b","datavalue":{"value":{"entity-type":"item","numeric-id":516040,"id":"Q516040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$FFE828C3-0621-41A9-B292-274E0E46EE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7303b677b56b4d3baa8bfe779b8d94cbe7a01f5f","datavalue":{"value":{"entity-type":"item","numeric-id":2945723,"id":"Q2945723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$98CA3B34-FCF3-4188-A4ED-16936F54B183","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$7E72CD12-A45C-4180-94CB-0DAD88426044","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945724$769169CB-DFA7-4F0F-8711-E53F94073ED0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945724$3A82D73B-9752-4439-A711-DF740D49E3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945724$443E6DA3-7DF8-47EC-90EE-28BBB83BDCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945724$21F31068-195E-4966-ABFB-7667073BE08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945724$BB736454-A42E-438C-A78E-33A5BC309DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945724$EBFAAA5A-96A3-4BD1-BC73-5834AB6B9194","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb40c976f0a97da32a95fd260867bb74d1dd828e","datavalue":{"value":"6481952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945724$7B6AC07E-50CB-45E5-AB28-35F60649E6B8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cc5b8db4b00537daaff49af650809ad993f86497","datavalue":{"value":"Q57783373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945724$357FEC9A-EE58-4F19-B710-D6B95B865CF7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$84BA66D1-CD4D-4900-B102-7638DC2D6AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$3932CDE4-38ED-49F2-8A94-98CF6F484614","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":"Q2945724$122BA066-3944-445F-AE29-FA26E0379952","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4051fe5680cef0896cf25e580a75d19572fa04d8","datavalue":{"value":"https://doi.org/10.1007/978-3-319-23165-5_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945724$3198D3F8-F362-4002-A5CE-BC50C26EA408","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbdbdaa9e8127d03696263ea49cad27c5711a1ab","datavalue":{"value":"W2293498240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945724$7B31441F-40B5-47B4-B877-118030D12B1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$90539399-7304-4571-8823-62EB6AA73D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672d742f9083697d3e0cc58dbf60b9bab3721515","datavalue":{"value":{"entity-type":"item","numeric-id":1422256,"id":"Q1422256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$7CB04AD9-0CDD-4461-B73A-D1D658DA010E","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":"Q2945724$771768D8-03B9-4E01-BFA2-6FEF7174F9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$C7667B8E-5112-4B4E-8BF4-E04741FEB111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5ea7a0ae92cf2dd34bc2e47acea6a8076d2c33d","datavalue":{"value":{"entity-type":"item","numeric-id":2767190,"id":"Q2767190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$41694992-A588-4CFB-99C2-76EA559F3D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de066f90ca966c57957d7d6f8ddd85b903555b5","datavalue":{"value":{"entity-type":"item","numeric-id":3079927,"id":"Q3079927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$8044D4C1-4867-481C-91F7-0628FD9C76AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab35871a1fec77f933ff9898974fa9d467d9574","datavalue":{"value":{"entity-type":"item","numeric-id":4910414,"id":"Q4910414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$CA170603-53B1-4C05-95A4-0EF7DF7406DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$01E7B078-DFDB-4D5A-90F6-C6FCCBDE0101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7029317a5f94cc73979296e01633b9e1b95a332","datavalue":{"value":{"entity-type":"item","numeric-id":3753475,"id":"Q3753475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$7CBC1831-2B4F-4E9E-819C-D7D62422F014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84b9663f98ebea6a0f02394d36a1fc6b5806948","datavalue":{"value":{"entity-type":"item","numeric-id":549196,"id":"Q549196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$52115E0D-FF3A-4419-8BE1-23171BAF9872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3171cc2d64eac85f0ce885a0f10fe64ad407fc56","datavalue":{"value":{"entity-type":"item","numeric-id":3817573,"id":"Q3817573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$1A13EEB3-8CED-4A8E-840B-9297DAE627FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c5ce624e253d3b568d117b876a6499bb57454ea","datavalue":{"value":{"entity-type":"item","numeric-id":3906381,"id":"Q3906381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$9A940C44-7406-4AF5-AD84-EBF620DF97B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3388784066552dbe30b5bf9917261a8daba9ae5","datavalue":{"value":{"entity-type":"item","numeric-id":3719824,"id":"Q3719824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$30C6DD6C-BC63-4209-984D-20210081BB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c28bddd65e590b0412fcd5f41b0b1a4685933c","datavalue":{"value":{"entity-type":"item","numeric-id":1803659,"id":"Q1803659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$FE6BACD8-8320-4D14-B7CB-C27BB1290FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$65AA4221-A76E-41AF-B561-3BB4A74BE2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$99C8A781-E3B6-43BB-AA3E-443BC00D6105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a563464d434ef2d751986d83ad2c2fbce7bcf156","datavalue":{"value":{"entity-type":"item","numeric-id":3795207,"id":"Q3795207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$A746C5FB-17B1-4EB8-8D23-78523896AB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c73c4001000eb02721d5ba68097f163c82dcd83f","datavalue":{"value":{"entity-type":"item","numeric-id":4222859,"id":"Q4222859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$BF78A239-BFAB-4D91-A70F-BE3FD774407B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$662B4DF4-D661-4DC1-89AD-7E0A0BEB8579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adba304ab69ecbf36e183562254fe384e23caee4","datavalue":{"value":{"entity-type":"item","numeric-id":3184745,"id":"Q3184745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$54CD6BC9-D8DD-4025-8325-E83C58873B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2737e8d4322f9f87afda426facd81d5c8bc2f98","datavalue":{"value":{"entity-type":"item","numeric-id":1931904,"id":"Q1931904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$677B28CF-F93D-4C38-B993-337294ED7831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a48cf94712d9db5fa1f83c5cc88da6cdf9bd311","datavalue":{"value":{"entity-type":"item","numeric-id":393080,"id":"Q393080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$1D9B42FF-8F0F-43C9-BDD5-8C37D8461265","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":"Q2945724$1F30E5D6-5D9E-49C6-B257-CDE5220EAF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$7F180030-0823-46D0-9819-BBA3B82D6231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb899c7586ad0dfc222ed75e74347f254c4ca5c2","datavalue":{"value":{"entity-type":"item","numeric-id":4941890,"id":"Q4941890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$1892731F-7DB0-46B8-BB6C-75C0FBB275D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b857eaafe9249ba9da76d983fc343ee915b0d5c","datavalue":{"value":{"entity-type":"item","numeric-id":2996131,"id":"Q2996131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$D2C83054-BC29-4C30-A1C1-2E3217EAAF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d4ae7bdbe48148468de7cf4b48ebc920235126","datavalue":{"value":{"entity-type":"item","numeric-id":1878712,"id":"Q1878712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$6B18F336-D93D-436D-95B8-B5E04054F490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce9eb6c941375c753f19057467c47613aaec27a9","datavalue":{"value":{"entity-type":"item","numeric-id":1881752,"id":"Q1881752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$E3914DBF-1C54-4036-866D-6EBC7C8CDBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c39142fff873d813c1be479c744bda858be2b9","datavalue":{"value":{"entity-type":"item","numeric-id":2945724,"id":"Q2945724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$135CFFDE-02F2-47DD-88CE-FC44DB48B65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76218017137beb3b9737323c750b2d479072697f","datavalue":{"value":{"entity-type":"item","numeric-id":5705905,"id":"Q5705905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$05A2034F-8F7B-4ECB-B427-0068B43584CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e608391d5fff20267259ee8e0ce0bb8fd94bb4f5","datavalue":{"value":{"entity-type":"item","numeric-id":877025,"id":"Q877025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$8D1BFE81-46AF-47AE-8B5C-08DAB51A15F4","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":"Q2945724$6BE87CF9-1392-4A04-BE30-E0FF2715D60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945724$925FD3F4-14F0-4120-8C6D-0C032CF8A661","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29becb5bd10583c5f6229ac851c6c7d86cae46da","datavalue":{"value":{"entity-type":"item","numeric-id":673123,"id":"Q673123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e407180316014239aba0d7dfd45c9d7c0e3b322","datavalue":{"value":{"amount":"+0.8020412921905518","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":"Q2945724$E4466D2A-8527-4164-954C-2FCB8BD16FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e43a14dbdadc39895a935fc6cecfaa8d27099ccd","datavalue":{"value":{"entity-type":"item","numeric-id":549196,"id":"Q549196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0446ff7050f0900da129ed5f9b2c90170948f40a","datavalue":{"value":{"amount":"+0.7716017961502075","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":"Q2945724$CD22F501-190A-42AC-BEC8-5B25EA151B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b6ece8bcc7816a4788e66092ed565d648f8f5a","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feb5c439f9638ca6fa45d08228c3a59e23a75fa4","datavalue":{"value":{"amount":"+0.7713823318481445","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":"Q2945724$25EAFEEF-7C00-4734-8AE8-BBF1ED79EDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eadca66d5e1009001903063ae09191965bce4e2e","datavalue":{"value":{"entity-type":"item","numeric-id":5395109,"id":"Q5395109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f92af28c173775f6edbc6abad1bae3b2cc4c49","datavalue":{"value":{"amount":"+0.7708187699317932","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":"Q2945724$2F8DBC66-B1AE-48E8-B3A9-B411FCECD127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21eaa7a5124dd17c38fcef3e55807ee6c43eab9b","datavalue":{"value":{"entity-type":"item","numeric-id":5082196,"id":"Q5082196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef1937f3ec87b9bad0b825ef9554a1a5be17475","datavalue":{"value":{"amount":"+0.7705681324005127","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":"Q2945724$390C2398-625F-4D53-ADB7-6B4D021BDAD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak bisimulation as a congruence in MSOS","badges":[]}}}}}