{"entities":{"Q1346768":{"pageid":1357507,"ns":120,"title":"Item:Q1346768","lastrevid":70209153,"modified":"2026-04-13T13:10:43Z","type":"item","id":"Q1346768","labels":{"en":{"language":"en","value":"The weakest precondition calculus: Recursion and duality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 742708"}},"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":"Q1346768$00BEC8E1-77B2-4BB7-A455-A698FC24B819","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6244b938aa14615c744ae179112d8f8ad7b55e3","datavalue":{"value":{"text":"The weakest precondition calculus: Recursion and duality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346768$596D7A34-9F95-49B4-9534-D57433F27E62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db16bac0bfd69ec44171a492b2c06ddca2c6c1dd","datavalue":{"value":"0816.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346768$B9AFC6B5-F2AE-45A6-AD68-FE2AF3792FCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45508ff33a3c463bf920a5676f03715d4fa0c272","datavalue":{"value":"10.1007/BF01213603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346768$1DF2B488-00BB-42F5-B4CA-FB61E53528D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdc2aa840d155fa6d7f395ddbc0ac0dce6f38cb","datavalue":{"value":{"entity-type":"item","numeric-id":265816,"id":"Q265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346768$2F1B13AF-5136-4CDE-B069-B8C1ADEDAA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c84243db84b9ad11e29e4f07f7d5740f9c0b8a","datavalue":{"value":{"entity-type":"item","numeric-id":671990,"id":"Q671990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346768$723260A7-6577-4420-9E26-587F557DDA14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346768$1BB8BF4E-CE4A-423E-B755-BAEB376C5EB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"231115b38b8392c07a175c06d4f6a9502ba4f74e","datavalue":{"value":{"time":"+1995-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346768$9AAD96D8-736C-4F2A-9A85-3D656775E7F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346768$21897F32-D208-47AE-9ABF-26D7491A2553","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f6b31fa215b7671e85b66b2c26c3a3eeea8657c","datavalue":{"value":"742708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346768$B0A30460-EE09-47F0-9065-A13DCE09E12E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346768$2358B11A-1E52-4B50-8961-B337B6E4CB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346768$8976390A-6C14-4F54-AF37-32C5C6EC31DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b81c26c06e55b8196df782f32f23de7b7881513","datavalue":{"value":"Smyth power domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346768$6FC55F9B-0664-4A6D-B63C-AA65ACC558CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca34e8472cbe73350dccd54b79063bd1eb9151a6","datavalue":{"value":"Egli-Milner power domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346768$883DD51D-7756-4867-BA28-9896F54EA917","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fd6b4651a78f649288224df47ee378d445b20f94","datavalue":{"value":"Q56504619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346768$5430518A-4475-4389-91CF-B4C047E564D2","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":"Q1346768$A28FBB11-A335-4CA9-9DBE-5AF1F3D7F08A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26e00c153459bdbd242c7f50de953c2bdc3daaa","datavalue":{"value":{"entity-type":"item","numeric-id":3917476,"id":"Q3917476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346768$867364B4-0C4D-45FF-AC80-465446E11B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2204ee7d30bcfa8fbee857183801f78bafc2ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3763571,"id":"Q3763571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346768$F376B738-3AA0-469C-8ACD-816C1EB5CEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7469a14c6b3d5214a08da9b6d9960375ad8bda98","datavalue":{"value":{"entity-type":"item","numeric-id":3898009,"id":"Q3898009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346768$DE085AF6-8CD3-4018-8313-D8FB239E3E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2976aa90eeca3f6092c5fdf4fa1ff69fee0cd4","datavalue":{"value":{"entity-type":"item","numeric-id":1157144,"id":"Q1157144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346768$3B4D239D-7371-4EF3-A726-C1E3852C4121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346768$95CE12B2-DEE4-43DB-8E58-6C53A4CCAB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af42b6525e74d0c7a473f66b772df1ef341512c","datavalue":{"value":{"entity-type":"item","numeric-id":3657408,"id":"Q3657408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346768$D8DB21CA-084E-4D2C-B5E1-1F7526D30A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a11817647451a09b7ac16bf5b82754a12d16fa0","datavalue":{"value":{"entity-type":"item","numeric-id":1346768,"id":"Q1346768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346768$6FEB81D2-2855-4D8B-B173-2B66412BA109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7493c00c260f207a238f41e9e5a3d8b8ed81bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1075045,"id":"Q1075045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346768$CCD349CC-39A4-41CD-AC05-0F43F3630EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346768$6A443F3D-CF8C-4676-9F50-EEBFC782B32B","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":"Q1346768$38BC6604-29D6-4019-817B-8413A2DA3065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f087dff48842332d802254dba119bc69b17ba868","datavalue":{"value":{"entity-type":"item","numeric-id":1101439,"id":"Q1101439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346768$259B2986-7D68-43B3-9D9E-DDE98E7F8630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bf8ce9aac73bf50a8b75ec97283321f86bf552","datavalue":{"value":{"entity-type":"item","numeric-id":4168046,"id":"Q4168046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346768$3EE960A4-0D46-4571-81F5-CF09D42A5618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db45f234f354c516e6967660fb11814401792350","datavalue":{"value":{"entity-type":"item","numeric-id":578892,"id":"Q578892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346768$527C8DC2-CEC3-494C-85D4-6EC468DC5A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f293d0fef92619b42dc4811f7c0a2dcd5fe3a1","datavalue":{"value":{"entity-type":"item","numeric-id":4109269,"id":"Q4109269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346768$A2FE1BB8-5B3C-4607-A3E2-1ED746776DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346768$AD33E155-11DB-442A-9DE5-55DEB49ADC83","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":"Q1346768$EC2ABF22-ED5D-4A64-88F5-272A6342BBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2e7b06432ec7b5a42afefe1a67d993283dc430","datavalue":{"value":{"entity-type":"item","numeric-id":1243116,"id":"Q1243116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346768$D806C167-38F6-4088-9225-3FCB3DA659D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"480ac3461c32f3b9c6cd4575d719f9d6578b620c","datavalue":{"value":"https://doi.org/10.1007/bf01213603","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346768$28F29716-1671-47E2-88BB-AECAEAA18EDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e598ddd21ae1d2c40acf11a271d2ea17d8e89107","datavalue":{"value":"W2012569382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346768$6C393083-4D50-4C82-97E3-1BCAAB273C58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b88e7fc444b61b2c5fd045c40ec97d8427b63ca8","datavalue":{"value":{"entity-type":"item","numeric-id":3740201,"id":"Q3740201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6256645c33158ce2653f95fc8a51f4f3486a94d9","datavalue":{"value":{"amount":"+0.8087359070777893","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":"Q1346768$A8F977B7-0A0F-4042-8FF6-56E32FC1D6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be9108c8fcfb83f075bfefb84dde5377179e381","datavalue":{"value":{"entity-type":"item","numeric-id":1101439,"id":"Q1101439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32db0f66f2d070a64ded5f5458294dc4dabd99eb","datavalue":{"value":{"amount":"+0.7913427948951721","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":"Q1346768$022FE34E-4596-4E28-B06C-D429F425E4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ac4512ced2c72f7a0c125e13a4ae5338f9ee55d","datavalue":{"value":{"entity-type":"item","numeric-id":911748,"id":"Q911748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e02c79b1c46f80b4f18cc392bd761b01dbb1de5","datavalue":{"value":{"amount":"+0.7846135497093201","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":"Q1346768$01C84517-DFE0-488A-AF54-39BB5B8E20FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20ce930fd9c71c609518a930b12704562e8d0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1903075,"id":"Q1903075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4b25d7648bc363f39d0304a8e367bf3c24bef32","datavalue":{"value":{"amount":"+0.7808319330215454","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":"Q1346768$DAF321C7-E81C-4BC7-8F21-BCB7F9A76815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4fe22d1556e7ca2eff76b184c70e7109dd4cdbd","datavalue":{"value":{"entity-type":"item","numeric-id":1330453,"id":"Q1330453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb3e2b022e29b064bdca2b9f7052e36b2fef0be","datavalue":{"value":{"amount":"+0.7727142572402954","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":"Q1346768$55FA4A13-B7F9-42A8-A98E-DAB1104B3742","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The weakest precondition calculus: Recursion and duality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_weakest_precondition_calculus:_Recursion_and_duality"}}}}}