{"entities":{"Q4571977":{"pageid":6601566,"ns":120,"title":"Item:Q4571977","lastrevid":53133515,"modified":"2026-01-24T07:02:11Z","type":"item","id":"Q4571977","labels":{"en":{"language":"en","value":"Bisimulation for probabilistic transition systems: a coalgebraic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6898400"}},"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":"Q4571977$7ED60DC9-19CA-414F-9EEC-E85DC35DABE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58bd0791afac75908e17d3274b2a79e486418949","datavalue":{"value":{"text":"Bisimulation for probabilistic transition systems: A coalgebraic approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4571977$F0172646-D2B7-4BCA-878F-857931BD99D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b324e9d8e6de90f7fdaa8d3b075c1ff5dcaa4e75","datavalue":{"value":"1401.68236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571977$75120199-2B82-4A75-BD29-C5DCBCB170D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be3f5f033a7611f1ec487e08cca5e9513ea0cfde","datavalue":{"value":"10.1007/3-540-63165-8_202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571977$1CFB7AB3-DF9D-4A78-A05F-E17EC7E90393","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a50c23c3978492e58521f1c41f776352eabb0d","datavalue":{"value":{"entity-type":"item","numeric-id":541684,"id":"Q541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571977$175C39F2-D536-47F3-AE53-66CFED0D75F1","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":"Q4571977$FB4EDDB2-9E65-4669-9969-001AC5C2AE7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571977$F2877B14-B6CC-49D5-9B50-A8834A339DCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a2469e9547180e8da9b9320d063ac8110297525","datavalue":{"value":{"time":"+2018-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4571977$A42784A8-B8F9-4565-9B60-D71B7479AE2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1437d27da0d887c1dc76eae00e74f825bc905c2b","datavalue":{"value":"https://ir.cwi.nl/pub/4629","type":"string"},"datatype":"url"},"type":"statement","id":"Q4571977$C200B5EF-7E2D-4B96-87E6-960E16BC782B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571977$26ED5AD2-EB11-42B2-BF47-1CF1836C80DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571977$99766895-1844-434D-97D8-4B814419CA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571977$7348B9A9-9C18-4692-A0A6-1B18EA553456","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb715f40ddcbb387f382d690b92abe7645b3053d","datavalue":{"value":"6898400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571977$01221B04-9F06-4B5E-BFD0-2F4ED1B99FC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4571977$01F8BC47-123A-48C3-9DD4-86F53C1B509F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df5caeb0f616abe98e5252bff541e59b91dfcd89","datavalue":{"value":"probabilistic transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4571977$70455D5E-CB5D-4985-8198-0002CEB29DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4571977$95113F2D-2C47-4421-ACC6-350553AE3182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"763a6b6ac86a06b1183033ef82c2b01236d3ebb6","datavalue":{"value":"ultrametric space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4571977$36C945F7-C87F-4406-89C6-D0BD9C3DB125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ed890afa69ab6b43c36133419095eb883f9912d","datavalue":{"value":"Borel measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4571977$5AA2AC73-CECC-4579-9CC0-BD32B5C07981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"201529493a264c73b3683cd320fd5f9e315f58e6","datavalue":{"value":"final coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4571977$B6CD6915-3634-4DC6-92CD-3E784826C1A9","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":"Q4571977$ECF344D7-7B58-4087-9662-E4C3799D5870","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5284af503fefe17fa13af8df5e600063b39b3371","datavalue":{"value":"W1907364945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571977$112FF450-F52B-4EC9-BFDB-0CBF2563630B","rank":"normal"}],"P223":[{"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":"Q4571977$242F6088-96C1-40A2-ABE4-151A56638AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab4ee3ee8ef05ab2de5721210c2223252774bf","datavalue":{"value":{"entity-type":"item","numeric-id":753944,"id":"Q753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571977$3E24F2AC-8A18-4216-96E1-32A108530F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571977$6C1AA524-5BE4-42CD-B02E-2F7D6E69B8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eece21ee5f735c2580a17912d99a0d76651b555","datavalue":{"value":{"entity-type":"item","numeric-id":4348453,"id":"Q4348453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571977$216B8E7D-6740-4989-9815-926A23D3A685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571977$04D15F1B-D92B-4626-999B-D24C0A124AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8893272790e5a9fb218bfdc18525e63f375c582","datavalue":{"value":{"entity-type":"item","numeric-id":4645189,"id":"Q4645189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571977$BF0CD887-7BD2-4A89-994D-36067D49E92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907218b6a78566b8f5d426df9d0073e6f50f7ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3203061,"id":"Q3203061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571977$4F325C6E-FED0-4221-B0E5-F63B98F7CFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571977$9C2F1499-FAFC-4EAC-99D8-7197BCC0B947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33a29cfb9dfb0456d8d170feedbf51136ed7f567","datavalue":{"value":{"entity-type":"item","numeric-id":5516901,"id":"Q5516901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571977$0110CEFF-2020-4438-AC95-5AEA0F067981","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7788b629a24741a83a77059e6c66cb77a96d49b2","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b308dac2eca72625037c684f3292033b521382","datavalue":{"value":{"amount":"+0.9803615212440492","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":"Q4571977$75DE102C-F772-4DC4-9E28-741F22C4CB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25a83d5837b7795d35bccc383385e16a7a70b18","datavalue":{"value":{"entity-type":"item","numeric-id":2495642,"id":"Q2495642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcda1a7af4a80887be9e568dd5296e76f9a480cf","datavalue":{"value":{"amount":"+0.8612346053123474","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":"Q4571977$C92D6886-4692-4B46-AB29-274CBBEFA896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4905eaa37afdc8da4a52871d57274ea671d963ed","datavalue":{"value":{"entity-type":"item","numeric-id":639648,"id":"Q639648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1679a2e2a31368a928fc6ee3acdb442b5630381a","datavalue":{"value":{"amount":"+0.8456228375434875","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":"Q4571977$40D6212D-39A3-4D51-B357-19A545E0B522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b158564105e72aa2e5e8cb1be85c43dd08cb1e4","datavalue":{"value":{"entity-type":"item","numeric-id":3003316,"id":"Q3003316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98bee8456114c85850fe3f13cb7b008af49c5de9","datavalue":{"value":{"amount":"+0.8425467014312744","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":"Q4571977$A0EE8D46-0D3B-4A08-B302-81DD7459FEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef81862bca1afbd34a6a39bb10b75740caa503e","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6943c02b133e561847b41688444b840682058770","datavalue":{"value":{"amount":"+0.8328882455825806","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":"Q4571977$A8875CDD-9C0E-43EB-888A-B4EC0BE7ACF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4571977","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4571977"}}}}}