{"entities":{"Q5145654":{"pageid":7175225,"ns":120,"title":"Item:Q5145654","lastrevid":53912921,"modified":"2026-01-25T22:25:00Z","type":"item","id":"Q5145654","labels":{"en":{"language":"en","value":"Combining probabilistic and non-deterministic choice via weak distributive laws"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299488"}},"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":"Q5145654$A7260BE5-7443-471E-9D1F-CD3DC020A9BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fb9aa304ee01946a67ceeb1c76e5fc60ca8849e","datavalue":{"value":{"text":"Combining probabilistic and non-deterministic choice via weak distributive laws","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145654$D3E60DAD-FE2A-4F81-B40A-FC35EFD44125","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07a9641cc6d21cba03612a0babad2e85d9b47a6c","datavalue":{"value":"1502.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145654$3F23AAE2-737E-4784-9B80-FD4C8E56C86C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1176c7f4befdb08cec980ffad14ae3a3c23ca0ef","datavalue":{"value":"10.1145/3373718.3394795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145654$4315E7DE-2645-418C-AECD-C467D3E3223D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b43afffffc35c80d9f5baf8005608ec700aa969e","datavalue":{"value":{"entity-type":"item","numeric-id":1798788,"id":"Q1798788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145654$FE35A872-C9D7-48E0-AF33-D5CE0B274411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e59cf96319a2d9edcb34f80de5d6e5dd10c4b763","datavalue":{"value":{"entity-type":"item","numeric-id":523131,"id":"Q523131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145654$C537B652-3538-4441-A6F7-BFD2DCB54225","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145654$B80BAEB5-51A0-4FEB-94E6-79F7CCC6985B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145654$28418E8E-5434-434C-BA3D-7DCDBFBBEF42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145654$9D52DA11-46C1-4A44-844B-BF898AA285C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145654$576D7A20-6F7E-4A41-A2EB-18BC7DE88003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d68cc4155d2917dd1c4226f85d9cb66872255c31","datavalue":{"value":"60B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145654$053E7718-5D6C-4CD7-AB7B-3B9526242E9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f9ee9b917f43691cf15cc4a51003b8fcdb6a61c","datavalue":{"value":"7299488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145654$155C3A9B-1014-456E-B966-1E65A083A8DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a9f9f32f12a33241ca1a8b54c96cbc6deab43d","datavalue":{"value":"behavioral equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145654$0FB417B4-A1E5-47DC-ADE7-4BB8992459C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6859e74eb870380d2f097c81ac0a7015a712ff52","datavalue":{"value":"convex powerset monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145654$CD4A92B7-7494-4F73-AC77-19E037A21774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f84cbccf105b35257b927ccf1f915779e9f4af6","datavalue":{"value":"finite distribution monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145654$F71CEE3C-6651-49E3-99C3-10B4183D9F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf708c9f6e9488802c3788c51f5c19d067cfd1cd","datavalue":{"value":"non-determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145654$20BECD3A-93EA-4B01-9296-B18F504C2F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d28ab0532863d1fdfbdcc9d6c397ce2e2a173c1","datavalue":{"value":"probabilistic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145654$7787D43F-82FD-4AB7-834A-CC4A664F3199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b4c65f1932723e758d611f0e45f29f11ae5669","datavalue":{"value":"probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145654$61651349-F7F9-4C75-BD51-17DCC3EF50BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9f76983631ce055ac17bdfc33897c5e163bdfa","datavalue":{"value":"trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145654$9119D293-8458-4F3C-AA8F-FA623CB3D516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c9ce037cb050f0dcc287bc3182b8112910c720a","datavalue":{"value":"weak distributive law","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145654$54F3C9B8-2DDF-464D-B5FD-E6460C5C306E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30e25827eddd6e7d6d09b73d16b7717a4dece62e","datavalue":{"value":"weak lifting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145654$25A5BB3E-14C8-4537-AA7C-167587203595","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":"Q5145654$15422A74-D5EE-47D6-9BDB-E68E85A383F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90e906b572b715aeca5aa6d764b271148b12805a","datavalue":{"value":"https://doi.org/10.1145/3373718.3394795","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145654$060AFD3C-2AC4-46E7-9888-2C5D0342B6F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73074d4a4a7b3534084af2127dd2ef4f91c15899","datavalue":{"value":"W3024760727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145654$92E43EFC-F31F-4196-9E9E-34F0A38F14D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22d8eaaba6452c9eaa7cf9ebe2ea5fe25b2db530","datavalue":{"value":{"entity-type":"item","numeric-id":5466795,"id":"Q5466795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6edfc62a0529d8c443d94e50f29d0e9c2f5d9964","datavalue":{"value":{"amount":"+0.8172333240509033","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":"Q5145654$BF6D9C23-C6DD-43FC-BA01-4D0D5ECCA88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457bdd376bd3f56e1c69562d5a90677949a601a6","datavalue":{"value":{"entity-type":"item","numeric-id":1623129,"id":"Q1623129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a0862ffedb9bffd155f723accd2b4f44a12bee","datavalue":{"value":{"amount":"+0.8000110983848572","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":"Q5145654$FD8B1FBA-A558-474F-87D1-F21C93ACFA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f8fd09c758665bb88f5cae6fd2cc092dba84762","datavalue":{"value":{"entity-type":"item","numeric-id":371259,"id":"Q371259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5375845e067c95b1b9f3aa6d315f72670a08703","datavalue":{"value":{"amount":"+0.7669338583946228","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":"Q5145654$052B5F4E-BD79-4C14-B578-D6CAD8E05033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26735b3f36f3bf5caae115f6891e8dc60ae34044","datavalue":{"value":{"entity-type":"item","numeric-id":4536613,"id":"Q4536613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c5ca573b46275d2efdcf7fee723c0b2f148d412","datavalue":{"value":{"amount":"+0.7579023241996765","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":"Q5145654$DEEF9FA1-8D0A-4566-957E-16D83CA12F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcc448c4fa1e8698e233866d3e27834f96ca6af5","datavalue":{"value":{"entity-type":"item","numeric-id":5152658,"id":"Q5152658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee1344738b5499b1bf748d10814862195cc2c334","datavalue":{"value":{"amount":"+0.7530277371406555","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":"Q5145654$C7C1FE9B-7942-4855-93F8-00B790F81585","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145654","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145654"}}}}}