{"entities":{"Q40255":{"pageid":40311,"ns":120,"title":"Item:Q40255","lastrevid":105427616,"modified":"2026-10-09T10:07:58Z","type":"item","id":"Q40255","labels":{"en":{"language":"en","value":"Zoo Probabilistic Systems"}},"descriptions":{"en":{"language":"en","value":"AFP entry Probabilistic_System_Zoo"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"f01705abb76e2758c739e61096ade230c236ff7b","datavalue":{"value":"28541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40255$59C2A6BD-8786-4295-ABB7-1209D9243130","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"a2aec711bbc647696fbc304e2d44f88734b2511e","datavalue":{"value":{"entity-type":"item","numeric-id":2945633,"id":"Q2945633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$2E707597-2406-4D93-B3BB-748680E1209D","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$A73DEC8F-EE40-4101-9473-83352623466B","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"5fc5719fac44ba12cd8b465c3f250739ab688ec2","datavalue":{"value":"https://www.isa-afp.org/entries/Probabilistic_System_Zoo.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40255$AC8FAE77-C7EE-4355-926B-AEB1EACDABF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40255$AE458EFB-3858-4C31-AAAF-A9837CB789AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a467a32e3049b1299c9c2b688461b7f273ec943","datavalue":{"value":"60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40255$FEBD8773-E7A0-48C1-858F-0CD7F6586A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40255$7A23E030-7BF8-4EAA-B3D8-40818EE5174E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40255$DEBDBC9B-1420-403C-817E-EED60A5B6165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40255$6E427388-617A-42BF-8536-6A8AB181A13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40255$F8A6FB3B-789A-4A50-A869-59984AD7D0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d524cbea14b3375266fe3893cb26a33f13ae791e","datavalue":{"value":"5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40255$4F0DDBA2-5D22-44DB-8273-7BD6790DC64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb68336c6ece13b86917b0c80051f1685885b843","datavalue":{"value":"60.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40255$98126A3B-DDF7-4675-9C59-B09176142FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40255$27ABF539-862A-4031-A2ED-74029B60F69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca6833d3c12e329e13f5f7a45eb21803ac988009","datavalue":{"value":"91.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40255$11ABC97D-3E33-4F6F-B192-1C3E18657865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fb7b2d196cb181e838b342f41804d522dff44830","datavalue":{"value":"94.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40255$69C44992-BB20-42C6-B90E-A4AEA7F8D442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a8aa801742e290b2e6820d89349e86d8f23555f","datavalue":{"value":"90.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40255$A66AD99B-585E-4427-AD8B-06E289C392B1","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$FD45058E-3C5C-4D38-BC65-F3F698F6897C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$18067EB4-2026-4A15-B34A-26102BAC6FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$D0505F64-C3C4-4FC8-810D-36E812E62930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$376A9948-2270-4944-9749-F54178EAC31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$B2B2D57C-3AE8-4F2D-B820-6A9265F385D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$AA5BE66B-5FC1-4EBB-96B4-E16531384B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$349A30DA-FB1D-4EFE-BB9A-318AA2A5F53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"475b592b7f3c7573e79f818da959e13eb74264b6","datavalue":{"value":{"entity-type":"item","numeric-id":32994,"id":"Q32994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$DAFAE00C-AB11-493D-A341-65B8A7B2F3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3a9edbd2c1b6a0c50c92b404a365a164e64c40f5","datavalue":{"value":{"entity-type":"item","numeric-id":53713,"id":"Q53713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$910303C6-BB60-46DC-80EC-3C3BE0074744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"63dfdf554f26dc046bc1cc284387a8f2b7ee925b","datavalue":{"value":{"entity-type":"item","numeric-id":39279,"id":"Q39279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$EB986479-80E5-4C2B-9B13-D5EE671B37F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$D5ED2076-02AF-4613-8038-E75BEF72E506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"74b3e1a53a717ca62a629eb480944df7ee3187d4","datavalue":{"value":{"entity-type":"item","numeric-id":53714,"id":"Q53714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$EF10FEF1-6CD0-40EA-BCA5-245907CE2EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a3f9d192df50f24767772f5b218635cb7747b820","datavalue":{"value":{"entity-type":"item","numeric-id":21717,"id":"Q21717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$D879E6E0-8832-4DF5-BA3D-08E5E0A7D6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3a073d1e3162db58b1a890386d8dbe9eebb4637c","datavalue":{"value":{"entity-type":"item","numeric-id":40373,"id":"Q40373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$B5F2E2B7-11F0-4D62-9EE6-49FFDBBF17A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3d0f95988886eaca495735a183ff5e2ca272aae0","datavalue":{"value":{"entity-type":"item","numeric-id":24997,"id":"Q24997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$0BFA1348-813A-45E2-B3C4-3EF056C630D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7434bcf5c727d2c07e931aea1694436d0b39cd53","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$D75A7F8C-0695-4597-A89A-D685CA715FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"826b53166301e7f2710fbb9ac0613992a63d1b43","datavalue":{"value":{"entity-type":"item","numeric-id":30463,"id":"Q30463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$AED9DC05-D13C-4C7C-B433-0DA7C307B3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"244ebbac6461f60bed6d50e50ce8194b0e233968","datavalue":{"value":{"entity-type":"item","numeric-id":40296,"id":"Q40296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$48179037-299C-4A90-BA30-10C87ECBF33E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"052d875293b8aefe806d191020144342fbb3df5c","datavalue":{"value":"https://isa-afp.org/entries/Probabilistic_System_Zoo.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40255$7AE25AD3-B3F8-4685-B739-C1C89DCD20A8","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"01b202f25e5390ba0104cc409e25272c5fbddba4","datavalue":{"value":"Johannes H\u00f6lzl","type":"string"},"datatype":"string"},"type":"statement","id":"Q40255$D8EABE8E-13E1-466A-98EE-DC0E617F4092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"480a99c095fd0e6e30ce40dd951da46a627a2bb9","datavalue":{"value":"Andreas Lochbihler","type":"string"},"datatype":"string"},"type":"statement","id":"Q40255$47D5A70A-2E65-4E1E-8D97-89099CFF95C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"2500aa80beaafa12dfa4ab6c7d8363674f762e6e","datavalue":{"value":"Dmitriy Traytel","type":"string"},"datatype":"string"},"type":"statement","id":"Q40255$7FD95EF4-47EC-4FA6-B2F3-56334FD9E25F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cca76bb9741145070043d1ce64b2a6c7c929fed0","datavalue":{"value":"Numerous models of probabilistic systems are studied in the literature. Coalgebra has been used to classify them into system types and compare their expressiveness. We formalize the resulting hierarchy of probabilistic system types by modeling the semantics of the different systems as codatatypes. This approach yields simple and concise proofs, as bisimilarity coincides with equality for codatatypes. This work is described in detail in the ITP 2015 publication by the authors.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40255$911492DE-1F98-475E-A921-3DA5AA7938BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec9c7be7e42a4ec7aa166916e8f0ce8ae6f1d07f","datavalue":{"value":{"time":"+2015-05-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":"Q40255$325A9C56-7122-44DE-9FA3-AE599FFCDC18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa36b3ba793c31e2dcb6cf96d9727100585ca96c","datavalue":{"value":{"text":"A Zoo of Probabilistic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40255$CD6BB039-2BDB-47DF-AF6C-C77F9FF1242D","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$4620BB9D-6C10-4B62-98BF-EAB7805A1E2C","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"73d93a21b0749f7f2c51d7daeb11b162660cd756","datavalue":{"value":{"entity-type":"item","numeric-id":7360784,"id":"Q7360784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40255$2D76782F-5A32-41A4-B03C-AB6A3B48D093","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Zoo Probabilistic Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Zoo_Probabilistic_Systems"}}}}}