{"entities":{"Q890377":{"pageid":892225,"ns":120,"title":"Item:Q890377","lastrevid":65177340,"modified":"2026-04-12T00:50:13Z","type":"item","id":"Q890377","labels":{"en":{"language":"en","value":"Dijkstra and Hoare monads in monadic computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6506678"}},"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":"Q890377$5A19C2AD-6D37-44E3-B6BB-E10E7A82B2A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fb03dd60a4ae3160961b717ff8f520577e7684d","datavalue":{"value":{"text":"Dijkstra and Hoare monads in monadic computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q890377$D6D5CE27-C650-4923-BB96-BB34A79055DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efbefc509d5da0cd82144d0b17f477b860a4dd21","datavalue":{"value":"1330.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890377$0AE4677B-D0AB-4139-AC54-02F54B0E46FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$7784C9D0-1429-4475-A3DD-BE33106774F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$06B32E4A-62A1-4155-9295-60C7FA80DF08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"076824462e9739de83dbd861126210324c665107","datavalue":{"value":{"time":"+2015-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q890377$BD4F115A-F6A8-4D4A-B164-6759ED5D82FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890377$70DEE9B3-2473-478B-BB34-F1CFAE677234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890377$375D47B1-833E-4E44-8649-EBC59533A157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890377$4B42DE97-79A2-4C51-8FA3-6399D3381AF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86435c8d4b9324740b9409b1f31896dcc5a3e9d7","datavalue":{"value":"6506678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890377$49486688-172A-4474-A427-28316650EC38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q890377$B8E43E6A-426D-4058-B11B-2496833C90A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1478f0080b70574ea441c7d2a3b6db779c2f9c","datavalue":{"value":"program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q890377$8E523B45-62D3-4BE3-ADC1-1CFCC2DE9EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q890377$88F0E7EA-8252-4F88-B05F-D19BD5B158B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q890377$ACF79229-1DDD-4215-AA79-6DDE94449F7A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4dfe52116eea178df8e98fcb66fd7e4802fcbfc","datavalue":{"value":{"entity-type":"item","numeric-id":24263,"id":"Q24263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$4CC45C3F-EC8A-43BE-9C75-4F304AFF3ACB","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":"Q890377$503BEDEA-A186-4618-8490-5FC9C9F36D72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbc97823f2965da30f50ef2787a96966541e3dcb","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.03.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q890377$139D20A1-84C7-4FC1-B6F0-765AB39852EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c89d317e6c51b5171bb296772319250be25ccdd","datavalue":{"value":"W2127203965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890377$439F69D3-5649-459F-8959-5425E5F3B8BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$2231A517-C71D-4A48-9E18-B787C397CCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee4f835eeb4b0a4b78347e358a1cb5c85da8739","datavalue":{"value":{"entity-type":"item","numeric-id":5472797,"id":"Q5472797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$EB186436-369D-4601-8EB7-3EF1DF2FB9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba5ad8860e2dfafdd492a4ade42b23f462631c32","datavalue":{"value":{"entity-type":"item","numeric-id":5261508,"id":"Q5261508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$F808D5C8-4F6B-4FEF-B41A-73DF7D1DCF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8712f1bc207788f59922bec79e7d5594f8f5eb3d","datavalue":{"value":{"entity-type":"item","numeric-id":5482269,"id":"Q5482269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$01FD4FE0-2060-4FD6-A61D-93A952364E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$2D2CC774-E806-4228-A70E-3992A53BD939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e201da94cfd0398227782cf6dd631186efd358f","datavalue":{"value":{"entity-type":"item","numeric-id":2762622,"id":"Q2762622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$93D20BB8-7810-4424-BC24-8BAA703AB872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe8a6414565de4b925309387d853c97cd4c176f","datavalue":{"value":{"entity-type":"item","numeric-id":541810,"id":"Q541810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$6C31C0A2-2C7A-458C-94CE-1E987A05D18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32b0c4f231eafd91c4a1ea3a0ef032ca601b072b","datavalue":{"value":{"entity-type":"item","numeric-id":2848945,"id":"Q2848945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$DDDF9DE6-C7BC-4BDD-A518-5EC9FA5593B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cfa32b070453670aaafb71dde7169a05b69350b","datavalue":{"value":{"entity-type":"item","numeric-id":3114231,"id":"Q3114231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$940BB7E3-FC1F-4CC1-907E-F2B8EE92EEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6847b6230dd7a27075d197b8daec7a7f5de2e850","datavalue":{"value":{"entity-type":"item","numeric-id":1337357,"id":"Q1337357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$15B20BCB-B8F3-4DD3-8A2C-AC465C1D8FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$05BEF94F-F876-4B48-88C0-DBD5144AC2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ebdb88097e4f36f4105b618b74b7f7dc8ba057","datavalue":{"value":{"entity-type":"item","numeric-id":3163868,"id":"Q3163868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$9F2D77C1-1942-4964-86CF-283255DCB318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36042f62929551fa96793f2ddc8e4ea6d35d16aa","datavalue":{"value":{"entity-type":"item","numeric-id":5271043,"id":"Q5271043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$D46E2974-5188-43B2-BA08-EBD7701D2D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6475596a264bb75b96ecd34ee695429541bdef30","datavalue":{"value":{"entity-type":"item","numeric-id":2942780,"id":"Q2942780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$038E7AC9-D0B3-4055-AF3E-B5EDC303DE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d91f9858e6cf7b81d163efd0684d3e3fd796dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1929301,"id":"Q1929301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$1247D780-C661-4FC3-9338-EE00CE1DB145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4f21adddd755ac6f111c1077ba22448270a12a","datavalue":{"value":{"entity-type":"item","numeric-id":4986190,"id":"Q4986190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$48751D42-9296-453F-93D3-9F01CB8074FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ad3f95524b6dac38c5347708a9cf5f58cdb5950","datavalue":{"value":{"entity-type":"item","numeric-id":3978977,"id":"Q3978977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$79475C36-0ED7-4B2D-804F-A5E61165AAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9990ab53676ce82206bee6b215cf08d74ea92ac","datavalue":{"value":{"entity-type":"item","numeric-id":5579534,"id":"Q5579534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$36AE3D97-AE7D-473F-B5AF-EC2463424059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4fc08f8e576738bd6a5cc0a1ffb02ed98b2880","datavalue":{"value":{"entity-type":"item","numeric-id":2958541,"id":"Q2958541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$34B9907E-A0BB-40E0-8EA9-7E4DD0068A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$16E07205-8837-42CC-BBC2-0CEBDD0DB488","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":"Q890377$E0F048B8-AEFE-42BA-9F16-83BC98949103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96080269f1ac57df102d277e6fe30615563ee72","datavalue":{"value":{"entity-type":"item","numeric-id":5178765,"id":"Q5178765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$1B9CA4D7-A71E-440A-900D-7E0297385B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c57f5c3128b4ed81f43929171529e8239f16025","datavalue":{"value":{"entity-type":"item","numeric-id":4675502,"id":"Q4675502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$DCDF5FAD-D669-482F-854B-25F169847E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ee9ee071826b0221c35a0113d5a38d3d4882d7","datavalue":{"value":{"entity-type":"item","numeric-id":2648502,"id":"Q2648502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$B478B7C9-8388-4648-B15B-229C4BBC25AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211ccd5b5f94c4e816f76718008ebbfd030c7f86","datavalue":{"value":{"entity-type":"item","numeric-id":3183544,"id":"Q3183544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890377$98C95BA6-5B34-4E06-A94E-031D3E065931","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da63c410d343fe7d5c25fa47d1e874569cdce2cf","datavalue":{"value":"10.1016/J.TCS.2015.03.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890377$776EDFF6-FD10-406F-90CE-3CBAA19DC12F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527587a1ff474d835d5707030072688b1eed0c75","datavalue":{"value":{"entity-type":"item","numeric-id":2942780,"id":"Q2942780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2efe319dcb1c3818603ceb349060c6a0a96118b2","datavalue":{"value":{"amount":"+0.9580801129341124","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":"Q890377$AB29CC8D-43EF-4FFD-A76C-8B3F70F90B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb88fee278b797ab7d310392c9af78a612623688","datavalue":{"value":{"entity-type":"item","numeric-id":5370885,"id":"Q5370885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14ff9646809f76605b30db9c9567f6fb61f066bd","datavalue":{"value":{"amount":"+0.7938655614852905","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":"Q890377$57C239A3-1FB4-4870-B533-8BFBDF1F90ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f97ef92fc18eae7506018001a310e958af424e2","datavalue":{"value":{"entity-type":"item","numeric-id":4417837,"id":"Q4417837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b779739e81a31df8d9c23eeb571eb1418ff3c4e2","datavalue":{"value":{"amount":"+0.7862282395362854","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":"Q890377$0873D286-1CC8-49FC-BCC5-B3B06835E752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c7a77fd9131d33a9ed5c2488606264fc304b83","datavalue":{"value":{"entity-type":"item","numeric-id":3698294,"id":"Q3698294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5c8d600bbf7887f406a8aa7a618c8e944efbeb","datavalue":{"value":{"amount":"+0.7640553116798401","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":"Q890377$29E670EB-389C-45CC-B8EE-6297647CEC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82e4ff5b7e600e49ca88eab283110bc7e70f2771","datavalue":{"value":{"entity-type":"item","numeric-id":5270088,"id":"Q5270088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ba18e6d69a5b2c1c0b88b3c1ea9e673ee8d4ea","datavalue":{"value":{"amount":"+0.7638965249061584","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":"Q890377$D08610F7-1D54-4712-A8C3-BDE6C52DB907","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dijkstra and Hoare monads in monadic computation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dijkstra_and_Hoare_monads_in_monadic_computation"}}}}}