{"entities":{"Q6970221":{"pageid":21324390,"ns":120,"title":"Item:Q6970221","lastrevid":84048335,"modified":"2026-05-08T19:34:49Z","type":"item","id":"Q6970221","labels":{"en":{"language":"en","value":"Composing codensity bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8054027"}},"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":"Q6970221$61F38731-B02A-4BCF-8D52-AC9A2F066D8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1aae1ea954d53a41adbe417665f2d076cf4c9925","datavalue":{"value":{"text":"Composing codensity bisimulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6970221$E389D9EB-A999-4BC8-A2B6-74EB5604083C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b09ffe06ece54ea61752bd1e157ac9a4bafe862","datavalue":{"value":"1573.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970221$0707F9BE-D949-460A-9508-3F00FE235840","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c064d4955cd3603aa4c7671c6437e33f604b375","datavalue":{"value":"10.1145/3661814.3662139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970221$ECDAD628-C216-49EF-A811-F0A99AE78FAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f2a634dcce0cbb84a663e2fb10d41eab380178e","datavalue":{"value":{"entity-type":"item","numeric-id":6134266,"id":"Q6134266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$90F5CF9E-B16B-4D74-8687-C50D07AF20C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0075d00bb2b1ce19961686191d4ab8eba1806148","datavalue":{"value":{"entity-type":"item","numeric-id":6530312,"id":"Q6530312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$0C73FED3-445B-4E75-B2BA-1A263551B1DB","rank":"normal"},{"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":"Q6970221$DB77F5F1-734F-4A7C-A5D5-9879E3DE97C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c03210fd9ce4ad9876a1650d95ea915c3881207f","datavalue":{"value":{"entity-type":"item","numeric-id":1652970,"id":"Q1652970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$236EB83B-CDE7-466A-8A36-A2E464731369","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66c9695eb20dc9e6bcc46cab6b3e0d2faaff014c","datavalue":{"value":{"time":"+2025-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6970221$AC2FA205-34B1-4438-90A2-ACCAB7C98F2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970221$6BD54D00-ADB8-4514-BF8A-86565F779B65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5eb17f203606a5c0b8a9e267a1331e5a672941c5","datavalue":{"value":"8054027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970221$D65F7E96-0DF1-4E31-9F48-1A80D918D8C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970221$5512B965-C4E5-4DB0-98D2-3D53ABEBE45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d34c2c8da631f644c90e4c30a7170a787e873122","datavalue":{"value":"distributive law","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970221$914462F8-BA1E-49A4-9B91-B60A8FEA3EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970221$3EEB1FFA-2316-4770-A11C-DB53CF1FB414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"751e37efbf8082f0fc895bdc4895d3880e1bb01f","datavalue":{"value":"fibration","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970221$DC4D0857-20BF-48DA-8FAA-FB97A1F1A4BF","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":"Q6970221$189086BC-3D82-486A-9DB5-390901FE399A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5d3de901be6fcb31b3d5b2f374093d03b491cb","datavalue":{"value":{"entity-type":"item","numeric-id":2978531,"id":"Q2978531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$D9065E41-1398-4A04-891A-35AF7F591119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"078674df8daffb21caf6680646427875d9ba7189","datavalue":{"value":{"entity-type":"item","numeric-id":4683862,"id":"Q4683862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$5E2D9EF7-89B7-442F-AD9F-EE81D3C5D795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4edca767fdf507ce57c3d96fd9da997d87f31203","datavalue":{"value":{"entity-type":"item","numeric-id":6902716,"id":"Q6902716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$4E42344D-88B0-4B35-8D4C-4622CB473AB5","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":"Q6970221$1728AA45-075A-408C-9879-AB69736CCD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6963cdf23c5c6491e4f2f740f56bd737d6216da6","datavalue":{"value":{"entity-type":"item","numeric-id":5009431,"id":"Q5009431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$CC0D5BEC-EB38-4648-9AD3-FC710ECD5BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2492274137c4b617350f8d9336d65412a34d4985","datavalue":{"value":{"entity-type":"item","numeric-id":523132,"id":"Q523132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$50B13F58-C361-431B-B55C-FC1F2B459ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d3d649a3b4fbfd64e2e99b77ad126ecc960044","datavalue":{"value":{"entity-type":"item","numeric-id":7014294,"id":"Q7014294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$86D51CF6-B558-4966-A559-46AF4162470F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36050cb2aebc6e0d72cd0bdca54e064168155283","datavalue":{"value":{"entity-type":"item","numeric-id":596029,"id":"Q596029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$7FCDBAA8-26D9-49E0-9A52-17B7082F894B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0bc5936c7ce525cabba3d3781dafb9c27bfe596","datavalue":{"value":{"entity-type":"item","numeric-id":5111437,"id":"Q5111437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$6AE03C3F-25DE-4A68-9F8C-78ACA5248199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e7dc235488563e4ff4bbbc98d62979a18dc95ee","datavalue":{"value":{"entity-type":"item","numeric-id":6649498,"id":"Q6649498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$FCEDDCEB-6F2A-4AF2-AFD8-78E045F9ED17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd44bfa4f14cb3c2f188606a926586fcf6964ea3","datavalue":{"value":{"entity-type":"item","numeric-id":2974795,"id":"Q2974795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$AAA62F89-24BF-4A05-8CB9-4E3C975CD50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c73dd83a09c3429eef0296d00da705aa26467462","datavalue":{"value":{"entity-type":"item","numeric-id":6091180,"id":"Q6091180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$FAA6141A-2A34-48B2-9151-1007AE09F7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825c9f76b7a8acf39870673d5e76c0d8ab6a367a","datavalue":{"value":{"entity-type":"item","numeric-id":6643071,"id":"Q6643071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$831E9610-1BC0-43BE-B03C-5580B376237C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43af2d6ba24c19a28824b7b5baf6f6a4bac6dae6","datavalue":{"value":{"entity-type":"item","numeric-id":6629517,"id":"Q6629517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$44165550-5401-4660-B234-B03D9A8C38B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6953572d91399dae0d4ba9563d114aa9ccb99da9","datavalue":{"value":{"entity-type":"item","numeric-id":4606703,"id":"Q4606703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$844869CD-A670-4320-B423-7D8AC2203063","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":"Q6970221$81359A1A-1FCB-4904-A110-DA73F147AEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fed011b6477d8a38f891520002eb83b89a25ac3","datavalue":{"value":{"entity-type":"item","numeric-id":4776572,"id":"Q4776572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$AABBB74C-1885-4A55-942F-347ABD0A092C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3403dce4e0e5c6922c01329aaf00bbcd05ac3fd0","datavalue":{"value":{"entity-type":"item","numeric-id":5275349,"id":"Q5275349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$95789EE5-2B24-43D7-B670-70D25ECB71DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45dfec62a3b57280c51bf9451ff387180bda96e7","datavalue":{"value":{"entity-type":"item","numeric-id":4553284,"id":"Q4553284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$1635B4CD-BF5D-40D4-871A-8C787EA92156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f05bbb37ab3698e4741360870e0666c589a790","datavalue":{"value":{"entity-type":"item","numeric-id":6651966,"id":"Q6651966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$19F4969F-892A-47D3-9359-C58B4C5614CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8b9a45d71dba8fbe83d1c440aa47a0889383bd4","datavalue":{"value":{"entity-type":"item","numeric-id":5009455,"id":"Q5009455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$971067D6-BA42-497A-A70D-3D5238E34230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db720f82066587d6281de0bf593238a85130f927","datavalue":{"value":{"entity-type":"item","numeric-id":6970221,"id":"Q6970221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$9B608B84-3471-4E49-92F1-4FDD0FAB9682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4a0ba67395a5072056c4628657277143d3c9b9c","datavalue":{"value":{"entity-type":"item","numeric-id":6967308,"id":"Q6967308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$DC0B6FAC-DDB3-4EA8-8E85-F2BC4051141A","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":"Q6970221$1CDE4392-67DC-439F-91FD-50489654FAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0c4cc508d02765ef12103f5a3aaa61b4f1d7664","datavalue":{"value":{"entity-type":"item","numeric-id":1798795,"id":"Q1798795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$EF7EE6B0-33D2-4A91-AF42-F5211D42B5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e08c2f5dc607acb8f166240ad52e7a9c5c2491","datavalue":{"value":{"entity-type":"item","numeric-id":5158369,"id":"Q5158369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$3FBCA71B-4AD1-40A7-A585-7E7CDC41C2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad763e33fe47115b7aae8d11b49c91399b915876","datavalue":{"value":{"entity-type":"item","numeric-id":4238502,"id":"Q4238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$F533D6B1-2A12-424C-8F78-AD5F8C7F65DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1424d3923cab562852f11485cc358a530b55ff","datavalue":{"value":{"entity-type":"item","numeric-id":6643051,"id":"Q6643051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$BD832F7D-3DF2-4E73-BC8A-67510BB053CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaedb9f602c018e3f49cab3fdcc2051049564e52","datavalue":{"value":{"entity-type":"item","numeric-id":1770428,"id":"Q1770428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$B6D10CC1-5806-49BD-BFB9-570D5A670CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61101b857a33b8dcbb92a269a2c197509ad10645","datavalue":{"value":{"entity-type":"item","numeric-id":5900191,"id":"Q5900191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970221$786E5B3C-D8E6-46E9-A9AA-C3B6961F831A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Composing codensity bisimulations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Composing_codensity_bisimulations"}}}}}