{"entities":{"Q5361143":{"pageid":7390717,"ns":120,"title":"Item:Q5361143","lastrevid":96246740,"modified":"2026-06-05T10:46:35Z","type":"item","id":"Q5361143","labels":{"en":{"language":"en","value":"Enhanced coalgebraic bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6780910"}},"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":"Q5361143$5DA2E10E-B0AA-4E6B-A040-47B1BE490874","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e77c2aa23e0ebb0d0771ccd4ff8695df7ceb802e","datavalue":{"value":{"text":"Enhanced coalgebraic bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5361143$750A1B2A-3D18-434D-AF50-441E60B38BBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7dd52149713d72782c20564b3cfc1a1c8a45f53c","datavalue":{"value":"1380.68300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361143$3CC115C1-E268-42C8-86FA-622A2D16F283","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6d1b0572b1cdb8c0406a71259d011befa9b0533","datavalue":{"value":"10.1017/S0960129515000523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361143$B7CD09FA-4938-48D4-8B5E-D1A35B00C120","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3fd3af9c88c99f68f4296c6bf25bdaa24b9f76","datavalue":{"value":{"entity-type":"item","numeric-id":265818,"id":"Q265818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$309ED5C7-5ACC-4D47-A3DF-21C144CF72F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68534f975dd295216ca3c8a9d82e5e3a57e3f17","datavalue":{"value":{"entity-type":"item","numeric-id":308153,"id":"Q308153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$2A306CCD-72D8-44B8-B16C-26BA7C626B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdc2aa840d155fa6d7f395ddbc0ac0dce6f38cb","datavalue":{"value":{"entity-type":"item","numeric-id":265816,"id":"Q265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$E22DE9CB-A78C-40FF-9E0E-7E72C545153B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$75DE02D7-9814-440A-AE6B-024E36CB2197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$66492ABC-6577-4717-A887-2EF52F9B57BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaa4f2c1db3cb0f04ca81dea1f1e9fb956669c43","datavalue":{"value":{"entity-type":"item","numeric-id":919833,"id":"Q919833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$580AB10E-41CC-4821-BCD7-526022A24BB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23d30c439537d32c3fa1ef5645003f6830c886af","datavalue":{"value":{"time":"+2017-09-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":"Q5361143$1B13392A-7565-4C68-8C45-7DDBB6783FF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361143$5CDF0AD6-7ABE-4E39-9564-7F85DBD2545E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361143$E5EB4667-7DC2-43DE-9A52-E887C808545B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361143$C9BAA03E-4B1A-4B60-A5F4-AAE3ACEA515F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361143$A87208A3-73DE-4939-B830-18AA87E35AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361143$089FDC0C-9B38-465D-AE17-B6F0F161F18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361143$4AB3E41D-2678-44BB-B931-080FAE769D4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b89ed1a8e518fb8b869874c1be913bef2da85533","datavalue":{"value":"6780910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361143$24B1E800-A78D-4795-882B-87AEE6ECF51D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361143$389A4BB7-6763-48FC-9279-DEAAF5A39268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361143$C46D8333-81CD-4C6E-93E2-ADD38ED28E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361143$D988F5AB-3C51-4CF3-A12E-AFF6E377D390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361143$612580B4-8E88-46A4-869D-76AB7705D499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361143$384CCB7A-26C0-4EA8-A203-5C3C0B572762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d0bb41d8362ed9653d7f982793705be2f306716","datavalue":{"value":"weighted automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361143$679B6515-7D46-4D0A-83D5-728BEF7CFDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361143$5E9EB01C-2481-4D92-9CE3-FC2D1AE74D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96138c298326f1730022a62b40f04d8f61f011b1","datavalue":{"value":"stream system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361143$A7802EA8-12C3-429C-8A49-A49564EF7772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"493cad500f2a0fa1092bd069ab3b5270727c7846","datavalue":{"value":"up-to-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361143$EA36DFEB-4546-4D2F-8383-E08B09ED1597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3d479ea7653781e889cc3702076e8ac5fecf2d8","datavalue":{"value":"up-to-union","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361143$C806A2BF-A227-43F4-BB0E-B9D40E2132E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e88d0eca9d7bf2fc3e0c6d4d91c7169a515bd85","datavalue":{"value":"bisimulation-up-to","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361143$83FCF7B2-7C36-4340-94AB-78FEFC44E76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed55c39ffc63da72946f6775fd198cadd784debe","datavalue":{"value":"up-to-bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361143$23168A03-398E-4E49-B43F-F9469331D6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7864041d712ac9420e7b8774c43d4c4f890e2fe","datavalue":{"value":"up-to-context","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361143$140ABFCD-8063-4C78-9214-779F71A83991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"134dddd3384c301ff862810cccb2ebc75b34de90","datavalue":{"value":"\\(\\lambda\\)-bialgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361143$5CE9E57F-20C0-45E7-BE12-7B0BD433B370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07545e3190c10d222c4524317f97cc37cdf2b23f","datavalue":{"value":"behavioural equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361143$1E70A3A6-F40A-40EB-B49E-C2F106B10F8B","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":"Q5361143$DEEDC847-B2B4-4308-AEB3-C118A6B72138","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":"Q5361143$A5AFFB73-78D0-4C7E-B05F-44B9DE044C03","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":"Q5361143$9725CE77-0468-4C85-AD3E-465753C0D2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cd971e37a4db47daa15da73bb4c1ec9b9a08614","datavalue":{"value":{"entity-type":"item","numeric-id":4457308,"id":"Q4457308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$6B2DA63A-4BBF-4852-B3BA-42D3163FEFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3913a579b628d4f8deae9c770eb511538508ca80","datavalue":{"value":{"entity-type":"item","numeric-id":3994777,"id":"Q3994777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$26B68035-8703-44B4-A8A5-F6F7DDD632FE","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":"Q5361143$8DF0D85B-902A-43B9-93E6-B54ACDAF65FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b10043574401804d8bdd7c3653c3ff3d4446380","datavalue":{"value":{"entity-type":"item","numeric-id":418134,"id":"Q418134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$B9179AB1-8920-41BA-87AC-7AED23712537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d8f096e8bdd951b14d48b7b92532eb34a11b8dc","datavalue":{"value":{"entity-type":"item","numeric-id":4635603,"id":"Q4635603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$1BBA5C96-30A8-4F27-BECC-349B894C9A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0712512ae39e64635b9634cdec19b25e852ac","datavalue":{"value":{"entity-type":"item","numeric-id":2931822,"id":"Q2931822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$F94AD529-403F-44EA-84CC-078F24E215ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"581de0a530416ad3e96039d3d44cfb8f60cd070d","datavalue":{"value":{"entity-type":"item","numeric-id":5891183,"id":"Q5891183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$C1D801CC-6D2B-46AD-AC48-72001B53E8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a26a90f9291d6b9b8041cf50dfb00b652c5b49","datavalue":{"value":{"entity-type":"item","numeric-id":4798042,"id":"Q4798042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$DCD5B08F-1829-44FC-A1CF-CFBF8113E5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$287E3AF4-89ED-42E1-B882-9D95523F8B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fb5104ed059296c1a716cf4b6d6422462393e5b","datavalue":{"value":{"entity-type":"item","numeric-id":5327356,"id":"Q5327356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$CD48AFAC-C753-4197-AE38-61022D51B4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2803ca579abe915c27350846bb0ef301e46e6070","datavalue":{"value":{"entity-type":"item","numeric-id":2848953,"id":"Q2848953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$68A6DD75-ED6B-497C-A370-C702132CB339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f17ffd9ea5ad72715e5c8b14d93f72c4489370a","datavalue":{"value":{"entity-type":"item","numeric-id":4499310,"id":"Q4499310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$76869ABD-3C91-4EFB-9CD7-5E1D04EBDF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c3fe4fe60e46216ce5fae043f36e24fe49d426","datavalue":{"value":{"entity-type":"item","numeric-id":4917038,"id":"Q4917038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$7FAD117B-43E7-4C0F-B7F5-5B89A3072141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78d52393200885454eb7a1569a92861051e7397","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$81F3AEC3-7FFF-49AA-A4BC-434AB340D6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b473c9c36129e08c9103b0cfba5f9e3ac9f87d7f","datavalue":{"value":{"entity-type":"item","numeric-id":3184746,"id":"Q3184746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$6A279BAF-471D-4BDF-AF2F-625912FAB0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ce10e2b1fb07550fba97d8e7cbd91e0c4a573e","datavalue":{"value":{"entity-type":"item","numeric-id":639646,"id":"Q639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$2D5F7D38-DD2B-40B4-8FA3-BFFD956BCCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4afd5d01d325e6477a6401ded12b1a584ba549d","datavalue":{"value":{"entity-type":"item","numeric-id":4256307,"id":"Q4256307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$5B508DD0-2FE2-4BC0-BA51-1349105987C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d2af99d6b473896566689317eadbb771e387b5","datavalue":{"value":{"entity-type":"item","numeric-id":4499306,"id":"Q4499306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$38990DED-18F1-4B8D-8412-7A031F401B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31862ba1a6e135191931a51c3d4974b59863c42","datavalue":{"value":{"entity-type":"item","numeric-id":3000597,"id":"Q3000597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$8D9840DE-6519-4563-9979-B5CE6911976F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec4a2646b3ec82a4decb329cac1845b9ac4656e","datavalue":{"value":{"entity-type":"item","numeric-id":2863897,"id":"Q2863897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$275EE33E-C7E0-4BD9-B663-6D01ED99CAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466538defb5fd0c5751d614e46e56a1ff57e4ea9","datavalue":{"value":{"entity-type":"item","numeric-id":2914681,"id":"Q2914681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$12C753C0-7015-433F-92C6-FCE30C8308FF","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":"Q5361143$8CAE5F28-50A2-46F5-BA25-FA412A1639D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$E40EA6A6-E640-4B9D-94FC-01F10BE5140B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$8856B4C2-6C83-4552-B4C0-590DF523DB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c5c50666947331e6627a00bf159a6a4deda17b","datavalue":{"value":{"entity-type":"item","numeric-id":3498446,"id":"Q3498446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$D87568B9-CA83-478A-9672-92AB7476DED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd2d5f9bee76143adcf1dd7ff9da058c58dd1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5412011,"id":"Q5412011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$12249BAC-561B-4268-8E6C-59012FBB5CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e8bc6da0a69ecc6000abdfd349f1ea784188078","datavalue":{"value":{"entity-type":"item","numeric-id":2927660,"id":"Q2927660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$D472365C-7DD7-4126-A3B4-64D725C6CC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c586e2a571a01372ee3c45d9d4cc83f747302025","datavalue":{"value":{"entity-type":"item","numeric-id":4910486,"id":"Q4910486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$0529D1AE-03BC-4F64-BBC3-3E344FD2CC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08ecf77721553e717b7e8c38ae17e8422685bb33","datavalue":{"value":{"entity-type":"item","numeric-id":4222961,"id":"Q4222961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$21AC2F44-4054-42D8-A0DD-5F1D87C6DEF7","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":"Q5361143$399732B2-E2EF-4D06-951B-0D20F001C335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69f8f34a60bf9705498c10e9caa4fa85b208af2","datavalue":{"value":{"entity-type":"item","numeric-id":1884876,"id":"Q1884876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$9B8B22A1-1180-44DF-B364-7399722858EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb6290412741acf231ec58be371ffd9c5ecc534","datavalue":{"value":{"entity-type":"item","numeric-id":4155837,"id":"Q4155837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$EA955669-B9C3-423C-883D-2A65647F72A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$B99EB187-80F1-480C-BFE1-CA7E1C603043","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":"Q5361143$DB6A0375-CF5C-4750-9441-89B6A31C3A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2e8f3a5a320336c6de7fafe54e5ec000b5382ee","datavalue":{"value":{"entity-type":"item","numeric-id":3003316,"id":"Q3003316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$EC4205B4-451E-4EE5-96FB-D04BCE12A087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cb223025dd20ac9b8e18c998e53102198d6a226","datavalue":{"value":{"entity-type":"item","numeric-id":3900996,"id":"Q3900996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$779A8BFA-4DE1-43EF-8207-66197803DF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca10f4d6cf2008d7f06bb93662277717b2a7c42d","datavalue":{"value":{"entity-type":"item","numeric-id":3090880,"id":"Q3090880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361143$BC38DF25-D46C-4759-BB37-A03877613876","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bc7eff5eb7f75b97c04ad8dbaef2ddb809e716","datavalue":{"value":{"entity-type":"item","numeric-id":2927660,"id":"Q2927660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffec61b7dd2503a8ac44f757e7ef10bab9740b63","datavalue":{"value":{"amount":"+0.943759262561798","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":"Q5361143$07675884-74CD-4308-8A58-4F89B1F53AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9773ee3d70debc794eac4ab34c8a660087718bc5","datavalue":{"value":{"entity-type":"item","numeric-id":3591388,"id":"Q3591388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751b7d6bc68fc7a7e97b8824da4da8bb635c94f3","datavalue":{"value":{"amount":"+0.8647109866142273","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":"Q5361143$95EE50CD-BFD8-4E6C-937B-1A2BAC127C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef65eab2c4369c40ecafa90adcdc2b0fa4acf334","datavalue":{"value":{"entity-type":"item","numeric-id":523132,"id":"Q523132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a2b39a39d903e8c2b29aab788502833f536236","datavalue":{"value":{"amount":"+0.8583634495735168","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":"Q5361143$DBD5FE31-ECC7-4F25-B9BD-8AAE62F92CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c050a6f973d0161395fbeffd77322ed8533ebc2","datavalue":{"value":{"entity-type":"item","numeric-id":2863897,"id":"Q2863897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44cce73bd6558c023c39f327a464be5f96317bf4","datavalue":{"value":{"amount":"+0.853462815284729","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":"Q5361143$DE915F58-F070-4BF3-B53E-595F62726A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a2c69a2ef12c76a4abd1b71822c03c31c1b6fa","datavalue":{"value":{"entity-type":"item","numeric-id":4635603,"id":"Q4635603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b3be59a76a559deb70bd501d4039e88a9b8e68","datavalue":{"value":{"amount":"+0.8500801920890808","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":"Q5361143$B332DB13-4885-40BD-ADAD-783E845C4DD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Enhanced coalgebraic bisimulation","badges":[]}}}}}