{"entities":{"Q5079754":{"pageid":7109330,"ns":120,"title":"Item:Q5079754","lastrevid":55409851,"modified":"2026-02-17T15:49:03Z","type":"item","id":"Q5079754","labels":{"en":{"language":"en","value":"Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533354"}},"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":"Q5079754$F18FA3FC-2DF4-4D77-B0DF-98C5D3EE4B41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3a3ca3a5f0edb5fdac065e2aefb4a71dce60f91","datavalue":{"value":{"entity-type":"item","numeric-id":3384924,"id":"Q3384924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079754$0D075FF1-8CFC-4398-9D9A-1D5B149FE1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"828c233951e066b486329c606d84f57a51b408d0","datavalue":{"value":{"entity-type":"item","numeric-id":685385,"id":"Q685385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079754$BC201530-5C6B-4B3E-B324-C4B7E820A07B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a86b7f6396ef59f89bc1a16a5090a2410ec1949","datavalue":{"value":{"time":"+2022-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5079754$92218544-6198-4727-A207-96907AA69995","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079754$35AD6B66-A810-493E-983B-69A8CA280F5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"708fa47724d288ea7c78a36dcad32072f757d3cb","datavalue":{"value":"7533354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079754$32307A0A-0E65-4773-B7ED-940C1CCE9A24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079754$BC48F519-D525-48BC-B090-98994F5EC16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67349c6be58a5d9a0c2386b802eac1530b65e644","datavalue":{"value":"algebraic effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079754$B61E23B7-55C3-4D68-9A47-29596864AE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079754$455186A9-DCEC-48EB-B25E-E3940B3A0783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079754$3BB3DF71-E9FD-45B5-8649-90BF9A1B5E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079754$313F08FE-40FA-4315-9804-32E2A8185054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3da67f766d04a4c98f3a10b4d5c3c162c340ed5a","datavalue":{"value":"probabilistic choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079754$FD19D2CD-A741-448D-9541-2DF6E6F9673B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8cfb635100bcc8a85463e6beac1ce534f15033d","datavalue":{"value":"Markov decision process","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079754$BCFC5D82-031E-4F5E-9CDC-E31BA887B93E","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":"Q5079754$117DED7C-6418-4F82-8C95-3F3CBFC8F68E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d084445455614909fc3077fa2ee195426771b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":5144664,"id":"Q5144664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079754$CC553D5D-C784-45F3-A82A-5CC641DE4B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbc9867511b5f255398d72fa9a0202f4558fdec9","datavalue":{"value":{"entity-type":"item","numeric-id":478400,"id":"Q478400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079754$E95CCA5F-595B-49D9-8148-1D70B26789EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ef5e2be131ee771dd78b0fdd83dda0ecf7ba9b","datavalue":{"value":{"entity-type":"item","numeric-id":5360215,"id":"Q5360215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079754$57E8C4AD-1B58-440F-B816-42D17808581C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3acaf3ff6d4f048b664ed45362d020b6c99b35","datavalue":{"value":{"entity-type":"item","numeric-id":1349652,"id":"Q1349652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079754$77503E1C-E9D2-46CF-98E5-C01B501B0665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a322738c92ab9ef22948d2d6883bfa28116e11","datavalue":{"value":{"entity-type":"item","numeric-id":2500483,"id":"Q2500483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079754$17BCFA47-FF98-439B-9D23-2F04943DA5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabd95059fb207199eba42dc770ae0ce2a2d6fde","datavalue":{"value":{"entity-type":"item","numeric-id":2980964,"id":"Q2980964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079754$836C2515-AAED-446E-A649-93BF77B5C994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f182afa47ea37b09a1d1a3075ffe1edef8370b5","datavalue":{"value":{"entity-type":"item","numeric-id":1063584,"id":"Q1063584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079754$131C5F67-DBC7-4E18-8493-49378D6299A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079754$1540A061-E6DA-4523-99B7-38009B557C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a706c8654280b64d416d77fde7c6265a8bf7a076","datavalue":{"value":{"entity-type":"item","numeric-id":5410682,"id":"Q5410682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079754$42697866-6590-4002-B560-C19213E23524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88d9f48f74f421576fdade1de250a250b0bbc10","datavalue":{"value":{"entity-type":"item","numeric-id":2847403,"id":"Q2847403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079754$B7205790-2BEC-474E-876F-2E294AA9F8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8268597bdde49d3cc93a9ac70309842e53cec529","datavalue":{"value":{"entity-type":"item","numeric-id":2771052,"id":"Q2771052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079754$C0814396-2FF8-4D57-85B6-F4C7BC5D87A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25909eb9351cf0344054fe076659323e4a16467f","datavalue":{"value":{"entity-type":"item","numeric-id":4738236,"id":"Q4738236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079754$AEE544A4-CFFC-476F-9213-AD924AE5F6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b1ed24dc50793e308079ef8e2bfc8aa15ae2a1","datavalue":{"value":{"entity-type":"item","numeric-id":3617692,"id":"Q3617692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079754$BCCC360C-4CA3-4BFF-8A98-D59D4630A5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7406857ede3ac3a439bf82484f21d07eda28f9d4","datavalue":{"value":{"entity-type":"item","numeric-id":4868226,"id":"Q4868226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079754$B304FC32-6CC7-4611-A6F0-9BB0549CD94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eea205372336754e5826163fa36da93022c220a","datavalue":{"value":{"entity-type":"item","numeric-id":2323978,"id":"Q2323978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079754$F5C24BAA-441C-44CB-B92C-C14C7118296D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b9668e64fb5e559efd1831f417d632f1180e5","datavalue":{"value":{"entity-type":"item","numeric-id":3316563,"id":"Q3316563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079754$E1CACFF6-45D2-43C9-9D13-B82857A0B8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3c28f35f22708ba27ad5d96b0a37f74c26c6e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5271089,"id":"Q5271089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079754$60C0127E-917F-4B50-AB32-58785CA763C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2c7ca13e70d3e8faf04a058e006d27ce9b92cb","datavalue":{"value":{"entity-type":"item","numeric-id":371259,"id":"Q371259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079754$B1CB7AA1-93F1-48A7-927A-F016E81AD412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9d219c448aa712a35ee812c047663f1dce1c75","datavalue":{"value":{"entity-type":"item","numeric-id":5466795,"id":"Q5466795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079754$BC700D2D-B32A-425C-938D-8EF268AE958B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08cc3a3065695cb832fb5b83d7fdc98c006b3fe7","datavalue":{"value":"https://inria.hal.science/hal-04360090","type":"string"},"datatype":"url"},"type":"statement","id":"Q5079754$0F4ED0E9-8E1A-491A-B4C0-9781492DDD84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb3efd0ae8d435fbd742a6ae13f5f0fcdfea43e3","datavalue":{"value":"W2889362727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079754$89A0021D-4C82-4BCA-AA4A-22870CF893F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a942b345f91f312546b1a29ff0b02b3d9410852","datavalue":{"value":{"text":"Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5079754$1ACA4E09-C5CA-44FE-96D2-06F442263E38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"655638d2deb6661065114b83ae9c66a3dc9fc153","datavalue":{"value":"10.4230/LIPICS.CSL.2018.29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079754$3DB261E6-24A7-4648-9CE1-AAFE90A13DDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f37598a78e11556d622c1b7f0138a8e2c21c2c7","datavalue":{"value":{"entity-type":"item","numeric-id":2289090,"id":"Q2289090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"996f9a398af5de7d26139bae3a5862114d28fe5b","datavalue":{"value":{"amount":"+0.7544831037521362","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":"Q5079754$116BF520-2A59-4073-B210-5AE8E29FCD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b9f405f87517a77edc8c5f2f27df14114a21e8","datavalue":{"value":{"entity-type":"item","numeric-id":5739352,"id":"Q5739352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f479a453b44b9c9d9e9cf671d7fb9d9428e90d2","datavalue":{"value":{"amount":"+0.751936137676239","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":"Q5079754$70EC3ECE-5E55-4CDF-AD6A-D1E5535B9275","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":"f944708c464e1c0505bddf5cd6d4dde509632938","datavalue":{"value":{"amount":"+0.7475650310516357","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":"Q5079754$DBF7BDED-397A-4C0F-B4B3-E6335A234CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"932a6440c6755cf4b972aa5c84f9d885d8c33383","datavalue":{"value":{"entity-type":"item","numeric-id":3455643,"id":"Q3455643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea25f04ad5ea071766fe246ca16a79f7340ea04f","datavalue":{"value":{"amount":"+0.7354743480682373","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":"Q5079754$837D7661-EDE5-4BE3-BBBB-DB3787DE8EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b913f165a8fefe78a91adfa4e1c74ea7c146ca8","datavalue":{"value":{"entity-type":"item","numeric-id":2771052,"id":"Q2771052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b62fe38494dbf36b185726feb286ba690431727","datavalue":{"value":{"amount":"+0.7345433831214905","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":"Q5079754$D5944D7A-271E-4A94-BA5F-2288081C84A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5079754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5079754"}}}}}