{"entities":{"Q2133179":{"pageid":2143922,"ns":120,"title":"Item:Q2133179","lastrevid":55407310,"modified":"2026-02-17T15:47:28Z","type":"item","id":"Q2133179","labels":{"en":{"language":"en","value":"Quantitative logics for equivalence of effectful programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7515965"}},"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":"Q2133179$704A3FA5-7AE0-41AD-89EF-EC19582C6336","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fe177efe7af1fd23ec567f1986120d907a1d6a3","datavalue":{"value":{"text":"Quantitative logics for equivalence of effectful programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2133179$AB2CEA4B-5357-43F7-A835-E87109FEDFD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60ac403d6762b3192c735da485a78f666e362961","datavalue":{"value":{"entity-type":"item","numeric-id":1688947,"id":"Q1688947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133179$A21FB54D-2F22-4521-B531-63D56212B459","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c80bdea672e4cd14dd9cbe0c46e1f9abbfc09a66","datavalue":{"value":{"time":"+2022-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2133179$8C278AED-9BA8-4B82-8906-A37C377F27EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc2780775e6ee41a4ac1f00f723b67f3937270f1","datavalue":{"value":"https://arxiv.org/abs/1904.11771","type":"string"},"datatype":"url"},"type":"statement","id":"Q2133179$8C2C2EDC-0D01-46A2-BC39-C52D8B68AE86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133179$943B709F-6D53-416F-ABDE-D02FCBFE3B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133179$86719EBA-028D-40F4-A97E-C9A7C8096284","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7ff902e065baeeb648be3254c9681ee6db30da0","datavalue":{"value":"7515965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133179$08CE8BD4-FC1C-49B5-9241-5B6C061ED744","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216b76ccde76ad20b67a49b68bd1e5f2c4650a5f","datavalue":{"value":"quantitative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133179$5DD0857E-793F-4B5F-86C7-D0194DF1DDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133179$D25A9766-5CFA-4091-BCE0-310F7A0B078B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67349c6be58a5d9a0c2386b802eac1530b65e644","datavalue":{"value":"algebraic effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133179$3F24E99E-DEAC-4C7D-B635-B71114547360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07545e3190c10d222c4524317f97cc37cdf2b23f","datavalue":{"value":"behavioural equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133179$B94E3A46-1D0A-4171-B1F4-6F6455E32031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e27cd0f42960491075c9306a4410434cf93f80e","datavalue":{"value":"applicative bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133179$7C1865E6-1B41-4238-8B3E-D23960EF60FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829188eb2ee377bc98adf76b2d300d08c99601d0","datavalue":{"value":"modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133179$E7235C2F-31C1-41AD-B0E1-E93E407F07B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25fb84930e1ac9108ddd697c730f78d686fc511e","datavalue":{"value":"call-by-push-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133179$242A7210-9D8F-460A-B8A7-5932479BE3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b4c65f1932723e758d611f0e45f29f11ae5669","datavalue":{"value":"probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133179$681AC64B-1E1A-4AE6-B29A-48483C3C4210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133179$07B75A24-7743-46A4-98C9-4B87D9FAE7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24d52c0eeb49f3ba7128156a03d95081f9f8f593","datavalue":{"value":"global store","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133179$6B233C76-7076-4E0E-A636-81EF6488D8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49f3c32915436067b90c79424d0ee0337a156dfc","datavalue":{"value":"error","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133179$49AD0C5F-41A5-4977-8D14-D6F1484029AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7591ef74b22b7fb4e534bdfee46d56c01b4d922b","datavalue":{"value":"effect combinations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133179$9AABA8CC-A6C5-47F1-9AA4-AEB51856C95E","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":"Q2133179$7451CBCC-4D8E-4F0D-999B-0575984264DD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0364d813d3fab9333fc65faf00e6a96e3aaede3a","datavalue":{"value":"Q113317348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133179$0D8BD68A-BC0B-4EF1-A434-66CF54EF7D68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0ad7bc585b8ed4c2f3afd1e52a2a86fa76ad78a","datavalue":{"value":"W2996172477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133179$03E7FD14-A74E-42DE-9563-2DCBE72EFEB6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13637c329a859369d956f00d5ad44bbfb24c2365","datavalue":{"value":{"entity-type":"item","numeric-id":1136494,"id":"Q1136494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133179$084E581C-511F-4383-A7FE-D100C42615ED","rank":"normal"},{"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":"Q2133179$7EDAC049-C9C7-456B-B1ED-B3E3F486E9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dc0439572c4f8f14b6f1047e849379886cf07ca","datavalue":{"value":{"entity-type":"item","numeric-id":4261084,"id":"Q4261084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133179$99FA13B7-8BD1-4DE9-A97E-2F191A31DE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea1f72848cfa87c362b9b7757f714b25c30fb10","datavalue":{"value":{"entity-type":"item","numeric-id":4635626,"id":"Q4635626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133179$C2085B3D-D987-4261-A137-83D7657C98BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c5be0178f4fbcce9b9a39729c1bf5508121de6","datavalue":{"value":{"entity-type":"item","numeric-id":5145320,"id":"Q5145320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133179$51E012D9-C62A-4699-ACBA-D1B7B5E8E78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea309f37c981e5b0b2835f097b6a2ae230d10a51","datavalue":{"value":{"entity-type":"item","numeric-id":890376,"id":"Q890376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133179$2C029F3B-5613-4454-99B7-98B49587CB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133179$2B7DE3D6-EE11-4542-99A2-44E4C0CA8CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978af8987770da9ce87981964976dc7a47a0da09","datavalue":{"value":{"entity-type":"item","numeric-id":3204055,"id":"Q3204055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133179$883ABC24-2D3B-4F4C-9D13-42E0AF25E521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133179$EFE40240-5E7B-4688-997C-2D38DF0915F1","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":"Q2133179$3ED3E379-DD51-43AC-8925-019A3C0BB639","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":"Q2133179$5A0DFEEA-6D50-43BF-9F35-C6EA098CBCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e61ef78a2ac35e332b4ecc523df23636244889f","datavalue":{"value":{"entity-type":"item","numeric-id":857915,"id":"Q857915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133179$4FBAFB6F-7D1E-4B16-AFB1-9AE84DE533E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31862ba1a6e135191931a51c3d4974b59863c42","datavalue":{"value":{"entity-type":"item","numeric-id":3000597,"id":"Q3000597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133179$47BC0B0A-877D-4CB1-90CF-440FCA6087A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"927989fe88eb83ab443c6509f660e2d7a1b2c13b","datavalue":{"value":{"entity-type":"item","numeric-id":5079754,"id":"Q5079754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133179$5FE928C3-D905-42A8-A9CF-4C65786AE7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb0dffb4f53d966bd71a12fcad1413ceb580454","datavalue":{"value":{"entity-type":"item","numeric-id":4635933,"id":"Q4635933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133179$52B9FC47-C3EF-4305-BE08-C5583948B3A6","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":"Q2133179$9F653A6D-535D-42AA-BB98-E6F117EB9F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133179$FFC4BB05-A836-418E-99B8-542E90522C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133179$B6484F8D-45AC-4AC5-8457-ACB1D75F2953","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":"Q2133179$5650D126-E3E9-42E5-9C69-FA80AA9BEF71","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":"Q2133179$58DA53D7-8047-468E-9D4B-4576ACA14CBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"518263c9e4f79baaf5f3881b79ab0575d5e45417","datavalue":{"value":"10.1016/J.ENTCS.2019.09.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133179$DF5ABAC1-D6D0-4B63-8537-3042FC6DB4CE","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":"c5846a0b35825f5560fea8239011d397a8564913","datavalue":{"value":{"amount":"+0.8072226643562317","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":"Q2133179$410AE2FC-F86D-4E56-8FA8-8D28708A1D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7833bb0ac3837d346692405d6da087b1028137","datavalue":{"value":{"entity-type":"item","numeric-id":5145320,"id":"Q5145320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8845805ea70fbacd30f734150f99b8aafff3c34f","datavalue":{"value":{"amount":"+0.8066474795341492","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":"Q2133179$05C25479-0569-4485-B023-DC87371BBD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98aecb1d15b1185427bf464f6cfc45d8649eccd2","datavalue":{"value":{"entity-type":"item","numeric-id":2323978,"id":"Q2323978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098fe8d8bd5ccd40705f7476e18ed10415b7576f","datavalue":{"value":{"amount":"+0.8063045740127563","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":"Q2133179$55C260BE-977C-4628-AF7B-EDA0933B633A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30a673a1feaf7b769eadaefa44f4fd2bcb084cb","datavalue":{"value":{"entity-type":"item","numeric-id":5020616,"id":"Q5020616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99deba9c873d875958a87b8b2181d98f93820044","datavalue":{"value":{"amount":"+0.7714381814002991","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":"Q2133179$C35D50FE-CA83-4C30-8889-FE5433AE5AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e26451f27c289025ae847318871dd88f9c7915cf","datavalue":{"value":{"entity-type":"item","numeric-id":1989333,"id":"Q1989333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e62c8e15081348d81efbabaa289e2cd6a2e8b3a4","datavalue":{"value":{"amount":"+0.7586005926132202","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":"Q2133179$8FC755B6-F698-49DC-8C17-C6146EF63CA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2133179","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2133179"}}}}}