{"entities":{"Q2367540":{"pageid":2378283,"ns":120,"title":"Item:Q2367540","lastrevid":46297518,"modified":"2025-12-24T12:39:35Z","type":"item","id":"Q2367540","labels":{"en":{"language":"en","value":"A relational division operator: The conjugate kernel"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 269347"}},"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":"Q2367540$728BC7A2-82A3-474A-BAA8-5F1372DD1ABF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b58e8d9474a2a619abb96ef87d8fc04ae1a0845","datavalue":{"value":{"text":"A relational division operator: The conjugate kernel","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2367540$4B640F39-A329-475B-820E-2A7F39649EBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"838b485b311be0a24648c65ce35f0da0d180fa1b","datavalue":{"value":"0779.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367540$6E9333B6-A4CA-4847-868C-646A27731F8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0cbbd859854f8d71048ff3b9d09ae4e6ca1f762a","datavalue":{"value":"10.1016/0304-3975(93)90074-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367540$2B84536A-47B8-4153-9522-37B55313570B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e93c6acd4909c410ceea7da0b859ffbf56f6f0b1","datavalue":{"value":{"entity-type":"item","numeric-id":192216,"id":"Q192216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367540$CC068D54-8478-4F43-8716-406581182F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04051f49ec142d844fa7f8b1c31546f702d3e760","datavalue":{"value":{"entity-type":"item","numeric-id":967072,"id":"Q967072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367540$9FCB06E7-80A1-4792-ABA3-76C97C3C8826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b89efc04017073bfb8c5d7b0cf7f25e439024bbb","datavalue":{"value":{"entity-type":"item","numeric-id":406443,"id":"Q406443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367540$A0E915AB-B185-4C6C-B707-6CAAC4E45FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa40233ac3d99cc7af80112f7d5356ddb7e1c24c","datavalue":{"value":{"entity-type":"item","numeric-id":1077918,"id":"Q1077918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367540$0311EC4E-7E51-4F04-9590-E39C81F6A31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddc91625cf26d9f38636af1785664b029e077bed","datavalue":{"value":{"entity-type":"item","numeric-id":797984,"id":"Q797984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367540$C130C8CD-E9A2-42F4-864F-88948A817C7A","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":"Q2367540$8D0332F9-2D11-4BF9-A312-2FA119B812B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68b724eb687dbe57c6756b615ba860966fd43d36","datavalue":{"value":{"time":"+1994-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2367540$86D6593A-4965-4707-BD83-4C49B9BD2487","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4cc2b794b11ac02a0c7ff8b1375fdeb1d2bccc3e","datavalue":{"value":"A binary operator on relations, called conjugate kernel, is introduced. It is defined as a restriction of a residual and behaves as a kind of inverse of the relational product operator.   It is shown how relational algebraic methods can be useful in describing fundamental concepts of programming. The conjugate kernel operator is related with Hoare's weakest pre- and postspecification, Joseph's weakest pre- and postspecification, and Dijkstra's weakest precondition. For example, it is proven that, if there exists a solution of the weakest prespecification problem, the conjugate kernel describes an optimal solution. Furthermore, the connection between the conjugate kernel operator and the notion of program correctness is discussed and the use of conjugate kernels in program construction is demonstrated.   Finally, the results are compared with other studies of division-like operators for binary relations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367540$B83125A2-0E1A-438F-8264-808D6B365E27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367540$D8070BCD-6ADB-4629-A353-0EDD60D17D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25fe30a6fe5285f54b3a7ea7d7e97ac0b640e4f9","datavalue":{"value":"68R99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367540$A0DC2D8D-8EDC-4BD4-A649-CBF646AFFE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367540$32F8F847-FD35-4B8A-841E-2E6A35EEBD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367540$1C192750-D148-4AB3-BE8C-51FF7D7E570F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8abce2e01338690f2e4abf2a1cdee2c5612c889f","datavalue":{"value":"269347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367540$0D4CF16D-A6D5-446C-9DF1-804786D65BD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367540$6041AB0E-6DE3-42A5-8F42-6EC04C05A46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cbd0f03d24ff78ccba98a3de6eb2c3ebf6825c9","datavalue":{"value":"relational division operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367540$D21865E3-BA52-469C-B946-6193DF9DCA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c078ac6b4aa6494d6d5c36981e624a189730ba5a","datavalue":{"value":"axiomatic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367540$5A3D7343-4457-4011-A3A8-047DDF2D55BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367540$4788D79F-7AE3-4749-A392-F6971FA258A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d37755158a76f36435655e35b413d7df278569b","datavalue":{"value":"weakest prespecification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367540$B0C93557-F81A-402C-A11F-018AE306189A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367540$51A391D2-8BF2-4EBC-BD4F-A11B6B00F8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f802f3e8569c8814279d27422c34b41eaa5f1e34","datavalue":{"value":"program construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367540$B655C48E-4F09-4E7A-9120-66A4F215508D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"935d945765fc1e51f4d556383a387a6d1a7d7946","datavalue":{"value":"Q57526145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367540$D6D5D2B1-B1F8-45DA-BBDC-BBCCE4E85420","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":"Q2367540$45351267-A919-4447-89A5-2EEA84C24E00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f742a66bfedeb47878ee33519f6c17711663ceb8","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90074-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2367540$426ED5EC-9ED5-4106-ABAD-307164D88F00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01f143e90e682c6ff2edf4198c9d2ce70550b3b7","datavalue":{"value":"W2039689198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367540$A09C934D-E35D-4618-B2AC-967A9EBDD119","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b42d18e3cc0859435e91895f17f6ec094cbbbb","datavalue":{"value":{"entity-type":"item","numeric-id":5649409,"id":"Q5649409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367540$7667499B-317F-4744-B4DF-6A8B7F84E79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97864e7c6a99ece042c37b2d603f504c31d24ba6","datavalue":{"value":{"entity-type":"item","numeric-id":582127,"id":"Q582127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367540$90288DD8-695E-4EA4-BF83-9DDA09279A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367540$C8DFE6D7-60CB-490F-A67F-62A69CAA590A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e69c2d21b2a4e9a6b7c883246f58486a3267868","datavalue":{"value":{"entity-type":"item","numeric-id":5810602,"id":"Q5810602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367540$E5B5EB6E-8094-467B-9A54-0B242285EE85","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":"Q2367540$310376FD-515F-432E-BA6D-6A476AEC1058","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":"Q2367540$B8EEA1C2-F169-4146-A8AF-75B7CCBFB4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36920e8c724339b912beb4f6693eae66fb7f57c9","datavalue":{"value":{"entity-type":"item","numeric-id":3763567,"id":"Q3763567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367540$634676AC-E27E-4428-9B49-5F0760B0A9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099ed24753c6cc2436c52e6d9ab3529d0f79274f","datavalue":{"value":{"entity-type":"item","numeric-id":1091121,"id":"Q1091121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367540$10CF23CF-43C9-4722-B55A-AA83F15CD569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b40170e2f3e4a580506c9a2b7a732d2f25e339e3","datavalue":{"value":{"entity-type":"item","numeric-id":2638796,"id":"Q2638796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367540$48FF698B-26C8-49E8-A225-F497AB8DC093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dbc9d6a1236be17e29241f6802ecb226a6602a2","datavalue":{"value":{"entity-type":"item","numeric-id":797616,"id":"Q797616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367540$9ED794FE-F1D6-4D3A-9DD7-834CAAE1DBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645be4db2f9ae6c77efd2643c379d46b69eea6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1838028,"id":"Q1838028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367540$F3FF4DFD-36FF-4317-B9AF-D64D4C8FFE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d964a2ad0c16ee27066da712bce811b8a40c1860","datavalue":{"value":{"entity-type":"item","numeric-id":1077919,"id":"Q1077919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367540$40A6AF39-2EED-4459-B643-E3955B969674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0042ed39c65f1d75169344018bfff7118c7007a0","datavalue":{"value":{"entity-type":"item","numeric-id":4023410,"id":"Q4023410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367540$38D545F3-175B-4986-862D-8E5E7EEDD48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270fb51e9be69449f9993da07791d3d3ce1f0567","datavalue":{"value":{"entity-type":"item","numeric-id":1190850,"id":"Q1190850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367540$4D410BD4-178E-41FA-A924-85951F88BB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e5b1ffc1fd8073de4f976d4764db5658742b24","datavalue":{"value":{"entity-type":"item","numeric-id":5790797,"id":"Q5790797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367540$EC870C2F-E580-4F54-A8C3-CEE354A23CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00f6f383700edf21859218982546ea1989069e5c","datavalue":{"value":{"entity-type":"item","numeric-id":1168723,"id":"Q1168723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367540$973C63A2-79DF-41A8-8CF1-5DC812B1893C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b649b628290f2d9c7d2653d82bb0a3f82e6fa754","datavalue":{"value":{"entity-type":"item","numeric-id":4041054,"id":"Q4041054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367540$3AA678C2-2787-4725-AA19-E4863902DB2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef09449042c23e136d6a46b6fec9337b0532d09b","datavalue":{"value":{"entity-type":"item","numeric-id":3170455,"id":"Q3170455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"994e999de734c2c425ac8cf3f8b0ff9f065f4cf6","datavalue":{"value":{"amount":"+0.7113154530525208","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":"Q2367540$266EEDDF-CD5F-4E68-B9D8-8606C7F7A4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86d125456719acee68baa5a1175c0779e0a5f306","datavalue":{"value":{"entity-type":"item","numeric-id":1261494,"id":"Q1261494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e1fafc596532d6c671674249975d59439f2c6a","datavalue":{"value":{"amount":"+0.7064486145973206","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":"Q2367540$3BA98F28-ABCF-48B2-82D7-E2927658F29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8675c0d092cf3b1e043b0af7dcbdbed058010400","datavalue":{"value":{"entity-type":"item","numeric-id":3699439,"id":"Q3699439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36af118bf5b54c5e3b09af083db3369b190a7b3b","datavalue":{"value":{"amount":"+0.663946807384491","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":"Q2367540$4505AC33-33D3-45BB-9E72-99A6D92282EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eabba465ff24a387c44fb48a5017f167ba56068","datavalue":{"value":{"entity-type":"item","numeric-id":2267774,"id":"Q2267774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1f0456a9b19cf1e5f52713cfa2d688d6d119a2","datavalue":{"value":{"amount":"+0.6607121825218201","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":"Q2367540$5B5A9106-0F50-4EAE-A9E3-1CCDA63E1CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d7e8d1734a75ba02605764d5a1d88ec5cc3035","datavalue":{"value":{"entity-type":"item","numeric-id":1280872,"id":"Q1280872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef5dc5f22922954e9daf2e2eae7c87adda4444a2","datavalue":{"value":{"amount":"+0.6553422212600708","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":"Q2367540$099CD621-E539-4AE3-BE1B-69BEC45842C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2367540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2367540"}}}}}