{"entities":{"Q1093363":{"pageid":1104115,"ns":120,"title":"Item:Q1093363","lastrevid":66117558,"modified":"2026-04-12T07:40:03Z","type":"item","id":"Q1093363","labels":{"en":{"language":"en","value":"A categorical treatment of pre- and post-conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4022615"}},"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":"Q1093363$A4D22152-08A9-4DF9-85B7-B2C471AA0E82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9417792e23539b9a6758028f1021d93cceb50878","datavalue":{"value":{"text":"A categorical treatment of pre- and post-conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1093363$DD0DFD1B-47BA-4E9C-A55D-12D41531D033","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c183bb9b8d14a7204580026e86ac4784ed9b7c86","datavalue":{"value":"0628.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093363$BFCF485A-B986-4B7F-976E-FEBBB74CF8F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea8211b4abea3d18af3eb7822accf42740316784","datavalue":{"value":"10.1016/0304-3975(87)90025-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093363$8336C7B5-15ED-4FB0-BE5C-90DEED9B5780","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ebf9d7de436e661fe44c64998a85f0c878859fe","datavalue":{"value":{"entity-type":"item","numeric-id":751296,"id":"Q751296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093363$421B3A86-6071-496F-94BB-C86BE3F65BBF","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":"Q1093363$1EFA9751-DFAE-4F0C-A712-38D0920F2837","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1093363$73072273-26A4-45B7-88CB-D4D79EF2895F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2e146c5407e73caee3e6f350194d2a2d6350fc80","datavalue":{"value":"This paper presents a treatment of pre- and post-conditions, and predicate transformers, in a category-theoretic setting. The meaning of a pair of pre- and post-conditions, or a predicate transformer, in a category is defined as a set of morphisms in that category. It is shown that this construction is natural in the sense that it forms part of a Galois connection. It is further proved that in the usual categories of interpretations (total functions, partial functions, and relations) pre- and post-conditions and predicate transformers have equal powers of specification and we characterize the specifiable sets of morphisms in these categories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093363$E61C8910-BB8A-4641-9693-8E35CBBC3041","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093363$AA120029-4A5C-4C13-93E6-16521865296A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093363$B9684904-78DC-48BB-A484-6D9D1D1929C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcd8ad656b1331c8754c54d4b1b75faad3d35ac8","datavalue":{"value":"4022615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093363$799BD0CA-2958-48E8-A9BE-D6F45EB92A81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093363$1A12A21D-8EB5-448F-BDE9-320314212EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728818d2de29d948f096f35c669fa7265b9147f5","datavalue":{"value":"predicate transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093363$EA27E6F8-7C2B-4F2D-B9C8-2DD76100723C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093363$93A1513A-5F03-4592-A323-A95863F12ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f714ede72bec02c2647e8100e0c52875cba092ec","datavalue":{"value":"categories of interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093363$096AE562-91D0-48E1-9425-9983232A1092","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":"Q1093363$DDB0FAC8-0FB0-429A-B9BA-A62307E3914E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d52f318f5fc2c276f6e362f9bf767eb9a4d55027","datavalue":{"value":"https://doi.org/10.1016/0304-3975(87)90025-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1093363$EA1C7030-1279-4D6C-8D2A-024EFECE72C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f25942613a27d1adee6963754a9b738161b37485","datavalue":{"value":"W2157120061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093363$AE667FBA-07B3-4E54-8683-D5C59B7AED61","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c05a5274ff4e0cdb3e6ef34d413a7f16f96d3b7","datavalue":{"value":{"entity-type":"item","numeric-id":4174692,"id":"Q4174692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093363$FD6B2F83-4869-48C6-B8C5-89A10EB6F23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093363$69256CB5-4870-4E3F-941F-3625D341DF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093363$0955981F-A4EA-49DD-9A5C-5E26893916A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093363$6CC6EB35-CCB4-44E8-9325-301FBF2980A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a441ffcbaae801c76a20cf9569b246225e79cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5682456,"id":"Q5682456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093363$CE6B8136-3F20-4FA2-843E-D5D555196A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093363$737E2E0F-4130-49D5-8132-CF970E6E055E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ac860696e668a9ea3bf009a3485e439b6a4bbd","datavalue":{"value":{"entity-type":"item","numeric-id":3859249,"id":"Q3859249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093363$C43627E4-3B0D-4451-A2FA-2A6EF1299E0C","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":"Q1093363$09549314-764A-4353-B8DF-90821609A185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a874e508ac4f79185b6e52cf9cf9cab6e9f65","datavalue":{"value":{"entity-type":"item","numeric-id":5508993,"id":"Q5508993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093363$A5304F21-9DC1-4713-8395-FC103331E42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c0c08c998a0a93f03ec352999bc5310d5a0101","datavalue":{"value":{"entity-type":"item","numeric-id":3920613,"id":"Q3920613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093363$1E4E590D-6AA9-4C5E-AE10-05BDD2E89DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340b1a67b2cb88bc1a79812f682d43444abf5b93","datavalue":{"value":{"entity-type":"item","numeric-id":3932278,"id":"Q3932278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093363$39EEF7C7-FDDA-4F4E-B792-AB7D4B9FAFCC","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":"Q1093363$5FA47372-062D-4C59-8D37-3EC379C55CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43151237f96635f1a9aa7ce6034cc4f84aa4ff85","datavalue":{"value":{"entity-type":"item","numeric-id":3718134,"id":"Q3718134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093363$4C468D43-55F4-4612-B6B7-C495273E3BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75c8131b69565f2cbbdc5d5294713184515586a2","datavalue":{"value":{"entity-type":"item","numeric-id":4725716,"id":"Q4725716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093363$734A1198-FA99-43A0-B81E-99162EB63FF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be3b04bb90ac64eb645840d6b517c16aa38d99b","datavalue":{"value":{"entity-type":"item","numeric-id":4725716,"id":"Q4725716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba6e47f7bee6809e56b9a9160c6da355aad93d0","datavalue":{"value":{"amount":"+0.8647348880767822","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":"Q1093363$41421360-11FC-40CB-9DC0-0D8A274E6483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c618dbda4a312ee643844d0b4d42c1aa2a042134","datavalue":{"value":{"entity-type":"item","numeric-id":1330446,"id":"Q1330446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7a9833246b5dbaa12385c988501b885577e562","datavalue":{"value":{"amount":"+0.7822532653808594","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":"Q1093363$975061DE-1943-4772-98B0-D8EB495FE48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"963e97bfe29ecc4051b00561305d548e4d1322e6","datavalue":{"value":{"entity-type":"item","numeric-id":3135115,"id":"Q3135115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"901c8cb95f247d8d100321e58f7365f6c35a4cd2","datavalue":{"value":{"amount":"+0.7781296372413635","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":"Q1093363$862E125A-E1CF-4206-9E9D-1474A2158399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d51c5415f5cc6dd0804ccdacf176a148df37dec","datavalue":{"value":{"entity-type":"item","numeric-id":3783508,"id":"Q3783508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f5d34bb8b6ae45158ef6dc664a95c4b896b380","datavalue":{"value":{"amount":"+0.769742488861084","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":"Q1093363$2BBF11BC-0AD4-4C69-AA63-41D4E718ABF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b67969910583224a3306c0e15d490bca1fb01f3","datavalue":{"value":{"entity-type":"item","numeric-id":3569038,"id":"Q3569038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebd1d4684f3963eff7feaf715ce31bff5296c6c9","datavalue":{"value":{"amount":"+0.7682415246963501","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":"Q1093363$C3FE7D15-CEB6-40F3-AB8E-D3CC1748E354","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A categorical treatment of pre- and post-conditions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_categorical_treatment_of_pre-_and_post-conditions"}}}}}