{"entities":{"Q5167838":{"pageid":7197410,"ns":120,"title":"Item:Q5167838","lastrevid":94394723,"modified":"2026-06-05T06:42:04Z","type":"item","id":"Q5167838","labels":{"en":{"language":"en","value":"Coalgebraic Weak Bisimulation from Recursive Equations over Monads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6312314"}},"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":"Q5167838$6AF24A30-4BDB-4AF6-9A0B-63DC1B4C92BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b07e5245c368ab5296a655e990993e77a3f2ccb7","datavalue":{"value":{"text":"Coalgebraic Weak Bisimulation from Recursive Equations over Monads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5167838$CEDC1292-D6B9-4609-8E04-57B700503D70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d47d3874bd8b11865d6c7f5a109148f0e903e54","datavalue":{"value":"1409.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167838$D4F60C7B-CDC5-494D-92B3-A4EE018DC835","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6f69548e59d4e2c363a1ea49c11c27b787e4694","datavalue":{"value":"10.1007/978-3-662-43951-7_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167838$8BFEA139-3334-4DCD-9E6C-611149F0DFFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5167838$D75B981F-0071-401D-8293-207D71AB34FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfee629fa3f6313e36a8128edc940eba1a6d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":1407592,"id":"Q1407592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5167838$EEB78BE7-B0CE-4BD9-A741-A9FD4D029C56","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5167838$DAF51D52-D93A-4286-B101-7ED5BA2CABB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e60bf630f2383f14de32b8ca35633600a7b19ea","datavalue":{"value":{"time":"+2014-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5167838$80B432D2-69FC-40DD-B923-179E9461A4DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6bf974ae242385d47efe6c88f9be478b8285520","datavalue":{"value":"https://arxiv.org/abs/1404.1215","type":"string"},"datatype":"url"},"type":"statement","id":"Q5167838$E3D49C3C-E38F-45C3-B200-A273C625F134","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167838$049327D8-8050-4149-A4F4-D0D2D7DE00E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167838$5B57243F-62E8-4137-B465-E29CD91F1849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167838$8D02E878-B6FD-4774-BE0E-FB61D7C2C888","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d12363b5614f3fd7f281b09e7132621ca96a502","datavalue":{"value":"6312314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167838$F0F05090-7EBE-40C4-A3B3-4CE819BE4639","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":"Q5167838$55854657-6030-4F6A-888E-FF0EE1FDE930","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d7f9a46fb431677fa62ce8ba47318d1ea9e3dcf","datavalue":{"value":"W1518679248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167838$77826ACB-C1A0-4F1D-8BFF-7ABDD2CDD677","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee587700770f97314aea68c284cabec6b634547e","datavalue":{"value":{"entity-type":"item","numeric-id":2941763,"id":"Q2941763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db906f73dbeedb7abb9751f6bd2328d711619f1","datavalue":{"value":{"amount":"+0.94165343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5167838$80724941-0254-45F6-A60C-C9FE66927FFD","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":"533428365aa39cf97267068a9ab9856ebe272783","datavalue":{"value":{"amount":"+0.9388538","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5167838$C310CAFC-B46D-4200-907A-81131D593162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afec208cbd5da0935eb55b1f63f44bfeba2b5bdc","datavalue":{"value":{"entity-type":"item","numeric-id":3502664,"id":"Q3502664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88cc44a508a6c6f6ca1f9f8cdfc0c9450845cfc6","datavalue":{"value":{"amount":"+0.9178722","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5167838$72395EBA-40D3-4601-B407-04FC4CA3D7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c9d16c30e0f12c8ea8b505518d778ae6d141a6","datavalue":{"value":{"entity-type":"item","numeric-id":3060190,"id":"Q3060190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"578771ef7c1a00af27bd9a6de98e8cea7e5c580d","datavalue":{"value":{"amount":"+0.9171838","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5167838$F8847FCF-313F-43E6-A2E6-E79A06538264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc74ecc300e3a7ece0786330ba97a820880d18de","datavalue":{"value":{"entity-type":"item","numeric-id":2842561,"id":"Q2842561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bca39d3d610d5bd29e13ce59a6be30d11998425","datavalue":{"value":{"amount":"+0.9123373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5167838$91FA9998-74C1-4A54-91E8-2C715119DF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ae6a9775afd27d41cdfeaf61344334bda64b9d","datavalue":{"value":{"entity-type":"item","numeric-id":4621137,"id":"Q4621137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604655917931fe6064886ea60f6aae515bbe50ad","datavalue":{"value":{"amount":"+0.90699637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5167838$AAAD3C98-30E1-4815-93D7-F9CF58CB5724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56437bc5a9701315e51acd30cf500af1f18cf0ce","datavalue":{"value":{"entity-type":"item","numeric-id":2915163,"id":"Q2915163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4418d9c2d6085fa3afe2d2c413471e88a5d1a79d","datavalue":{"value":{"amount":"+0.90546924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5167838$6259CFD6-5752-4AD5-88E5-2DB9CF4B43D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3081ac765471a63258f0ed2e84423eec00a9615b","datavalue":{"value":{"entity-type":"item","numeric-id":2849887,"id":"Q2849887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"873b56d351794dfa94837b8bf0dfe6b08d3ad7cf","datavalue":{"value":{"amount":"+0.8981309","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5167838$DB36B4CE-588B-4BA8-A82B-4A2C4814051E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a945d0e16bac2e68e2e299ab9f0bdf64e55bdc","datavalue":{"value":{"entity-type":"item","numeric-id":2888485,"id":"Q2888485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64bb0726ababa8f4517b81d80cd9b3bf16098708","datavalue":{"value":{"amount":"+0.89603984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5167838$301056FD-C6DB-4826-B432-51FD9103D54D","rank":"normal"},{"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":"24d2d7e1a9a29edee4bab6dff548f3d53e205b9f","datavalue":{"value":{"amount":"+0.8954115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5167838$12FAFE8E-9CC9-4D04-A916-3F2B7F3D54C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coalgebraic Weak Bisimulation from Recursive Equations over Monads","badges":[]}}}}}