{"entities":{"Q549196":{"pageid":550963,"ns":120,"title":"Item:Q549196","lastrevid":62671866,"modified":"2026-04-11T07:40:25Z","type":"item","id":"Q549196","labels":{"en":{"language":"en","value":"On cool congruence formats for weak bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918239"}},"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":"Q549196$7CE7065A-6634-4A2C-839D-1140B3DE9692","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e37bd20403cd4b14b0201dc1f570039595774421","datavalue":{"value":{"text":"On cool congruence formats for weak bisimulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q549196$15597838-0ABD-4799-88D3-CA9D6F7D119D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3c7504c206e0ddc89beab6eb250506e110ac7b9","datavalue":{"value":"1216.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549196$E67251C2-48CD-480C-ABC7-4890E681F0EA","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":"Q549196$0DCD360C-67A2-4040-8A29-DB28DB22FCAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q549196$2BBCC4F0-855A-4313-825F-CB6850122AD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549196$286EFFB0-4079-47FE-97BC-2D42C9B10E0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27976dd765fa7e93e88df9c397246a7012106c03","datavalue":{"value":"5918239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549196$3A624847-474F-4D4C-B2DE-26C444B8A829","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q549196$50DF5DCE-99B7-4152-87E5-CD58A4350898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q549196$295E9196-7212-4385-A85F-52BD64B735BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q549196$801D8004-3068-49B9-AFF5-A7B6FF75A6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q549196$C07248D6-1223-434B-A3D8-7AEC56FFC411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bdcb6c6a7e0b4c9bdfdd4689583b799e2a826f4","datavalue":{"value":"branching bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q549196$47055199-96A7-4487-B5A6-12396914727F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ecae80238df093db5a4d5d7875dfa8210799c9b","datavalue":{"value":"\\(\\eta \\)-bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q549196$A12DE5F0-DFE5-409D-ABAE-92DCE55577CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af184eaeaa7f9ca9eaaf8bef7050daf5b12b7df0","datavalue":{"value":"delay bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q549196$4C9A50F2-5E27-451F-B3E1-D5A773B65CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0652d69d3bb722adccc86703c4029f8e936b3bb5","datavalue":{"value":"weak bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q549196$FCE3B543-8B02-4E0A-9E1E-D9760E8133CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549196$0EF470D6-E6BE-4448-8566-1F8F62DE6A36","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":"Q549196$38F6599D-A1A7-4656-9217-CE9D83CB2CB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"723673b691afe96d664d8c3ab16bd1f618860757","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.02.036","type":"string"},"datatype":"url"},"type":"statement","id":"Q549196$62E5C350-2745-4E3F-8A74-54FF3502EB93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc0a2a64f8d2a6f3b3c727ce61456a1e0932d40b","datavalue":{"value":"W2104917880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549196$ABA811E5-1677-4C2F-BD60-8DEB7DCCC089","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe703542a77b0dc5e0b564742fb1d6fe55ad9d4","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549196$9BDC9494-7D22-408B-B7A7-AFA3AA9A2894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4ddd70adb898992a0a52ba8ed78c1e961e471e0","datavalue":{"value":{"entity-type":"item","numeric-id":1350620,"id":"Q1350620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549196$142E9A48-4E8F-43B7-A806-55798AC7C7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8acecb45d527064474401487c6d252f74914ae2a","datavalue":{"value":{"entity-type":"item","numeric-id":3742698,"id":"Q3742698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549196$F2C855F1-D2DC-42D0-9278-E5F3458A6FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549196$11D8B033-F293-4929-82D8-89D9116A9FC2","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":"Q549196$6CA08771-12B3-4811-974F-1E11BC81A191","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":"Q549196$74A293A9-DDED-4226-AB87-BFC960D76C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549196$EA51C40B-6F8D-4185-B419-F1A0A037138F","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":"Q549196$013A6877-DB19-44DA-919F-ED2AC3023142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d849fb1349f204194ae932b827b64352c2f610","datavalue":{"value":{"entity-type":"item","numeric-id":3591399,"id":"Q3591399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549196$BA23B248-E381-4848-BB81-6ADEE50FCEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e6db4c4ba4aab57d75f901fdc419b5157f0d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2852097,"id":"Q2852097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549196$ED294A13-34A9-4A41-8B73-D7F30E550DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ac74a31301a5e3e6b70414cb56c7e0b33f20b6","datavalue":{"value":{"entity-type":"item","numeric-id":5898149,"id":"Q5898149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549196$D8C2CF11-4E43-41C3-A751-476B924C0DEB","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":"Q549196$DC8A353D-2659-4A49-8DED-1192D9884398","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":"Q549196$33419A03-9896-4BFC-A9B5-122CCC98AA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549196$5B0BD07E-0E78-4190-8EF5-11BF4E6E8B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808cf189af5754ef03dc35e25b5f8b08308ea0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1060838,"id":"Q1060838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549196$3544DCA0-2F7A-4451-9305-3F500BC04A7F","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":"Q549196$C763256B-B353-4416-8308-C541A0CE1FA7","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":"Q549196$96C8CFC0-9301-4694-8611-DC9D98525795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d0fcbb5e6356255f5fef09569ca437cfc21d66","datavalue":{"value":{"entity-type":"item","numeric-id":1854563,"id":"Q1854563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549196$3484DB20-90B3-4655-BB8F-5C7F9A20BAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b2c3818eb29d879ad387886680e3a7124c33e01","datavalue":{"value":{"entity-type":"item","numeric-id":4536608,"id":"Q4536608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549196$36D26116-D079-4B8C-AF98-B8B925EAF08D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"966f2e5e1d1d97eceb3cba672eadad92f7da28da","datavalue":{"value":"10.1016/J.TCS.2011.02.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549196$FA905F97-7CEA-4775-8785-0FF51C48BAA8","rank":"normal"}],"P1643":[{"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":"6650c204498fc1b61072d9e41d79c1a4e5b3d788","datavalue":{"value":{"amount":"+0.99153805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q549196$67381E05-5A5B-47E9-8C54-2A9E528432D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71e2654c3f5c92e1425cf36a40e35656b6ad3d8","datavalue":{"value":{"entity-type":"item","numeric-id":5898149,"id":"Q5898149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4edc26b6ab635c68735ffc55afa2d6b10649df51","datavalue":{"value":{"amount":"+0.9110942","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q549196$6A7EDACD-B4FD-401F-8CE4-31D401156426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6741a1fe901bd7d54a0a9cb83126e526be43fe4","datavalue":{"value":{"entity-type":"item","numeric-id":5897490,"id":"Q5897490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c9aa476dc1c25230c26c5f6fa3a78c9edc5d346","datavalue":{"value":{"amount":"+0.8984495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q549196$2CFF18DB-458D-4D5A-A6C1-D400D68DE267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a112640ab83e45a2a30af518b8493f996cf0d009","datavalue":{"value":{"entity-type":"item","numeric-id":2945724,"id":"Q2945724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b708a1f3bfa1d64e0e6eaaf68c6636a5e0dd01","datavalue":{"value":{"amount":"+0.8905391","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q549196$4D07C8AD-A941-47A9-96EA-5281D46D73DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb3b61c8e64f8d558217a846ba401523ccda8990","datavalue":{"value":{"entity-type":"item","numeric-id":2841308,"id":"Q2841308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c07a0e1e4ad0513a7041c7e132d97e7fd3e63f","datavalue":{"value":{"amount":"+0.8885174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q549196$CFC0C568-B53C-4920-8D76-BAADD152FD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c607a4b8b66f3845b0775e63f52ebd26ea4c9fa6","datavalue":{"value":{"entity-type":"item","numeric-id":1184736,"id":"Q1184736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e829d65dad1a861982862ec9b95658e0a2dc93e","datavalue":{"value":{"amount":"+0.8884645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q549196$5F3D6477-6AB4-4595-BE81-B0222E1802BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c1ae854a598e2599d172d2038cab7e640d5c90a","datavalue":{"value":{"entity-type":"item","numeric-id":2848127,"id":"Q2848127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"717483b02ab450156610cadc5cec914c407364d1","datavalue":{"value":{"amount":"+0.87758017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q549196$9257C72A-614C-4788-9FE9-A509E18990A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e83fbb2ee5fa43a80e55ef7b6bcc731c51bd192","datavalue":{"value":{"entity-type":"item","numeric-id":3613350,"id":"Q3613350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481095eb067c8b5c4965f7d8bb82887881e6e28b","datavalue":{"value":{"amount":"+0.87659955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q549196$CD3A5923-2E60-412A-82C1-9AC5733AE297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691c4fcc24b80d472ddd285468fccb7cb5bd892a","datavalue":{"value":{"entity-type":"item","numeric-id":2373744,"id":"Q2373744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b450590c458c0ecd447fe8dd78b27b01300f935","datavalue":{"value":{"amount":"+0.8761319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q549196$654CEA5A-AEC2-4A03-B2FF-9F33E4E7A222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7848e47b1432638e0e5ec030b2250b1971bc51b5","datavalue":{"value":{"entity-type":"item","numeric-id":510897,"id":"Q510897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2704985e49a7757aba027d9bad0e9522f1f9ff67","datavalue":{"value":{"amount":"+0.8727253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q549196$50E5BD66-EE27-4F32-8FF5-22B66E64CBB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On cool congruence formats for weak bisimulations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_cool_congruence_formats_for_weak_bisimulations"}}}}}