{"entities":{"Q582127":{"pageid":583894,"ns":120,"title":"Item:Q582127","lastrevid":62935893,"modified":"2026-04-11T09:05:39Z","type":"item","id":"Q582127","labels":{"en":{"language":"en","value":"Symmetric quotients and domain constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4130047"}},"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":"Q582127$693CF927-FB71-4F36-8321-7076DB166F44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6487661a4c3aa9c63efa5694e1279b35635a68d0","datavalue":{"value":{"text":"Symmetric quotients and domain constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q582127$740F2BDB-150F-429C-A7F8-58766A5F859C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"763e790d76d2ec22dcc7f148c9ac42a75b9cc7e8","datavalue":{"value":"0689.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582127$265BFBD9-DAE0-401A-8557-D4A921630D39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d178d6b8ee27295272b5cdf9c17f970251deab6","datavalue":{"value":"10.1016/0020-0190(89)90197-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582127$E664D963-1A7B-4BE2-A782-5144DC2E0004","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"299080fcb4d10db6bc9f243afdb0b2f6a4f09785","datavalue":{"value":{"entity-type":"item","numeric-id":246438,"id":"Q246438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582127$5E9D24D0-27DC-4BB7-99C7-9AF424E19CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f1f956a7591bc4e9e816c85c12c82c3cea62066","datavalue":{"value":{"entity-type":"item","numeric-id":238922,"id":"Q238922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582127$03712F86-BE10-4BB3-90E4-2D1607B47F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3ffa4994338efd06013be21830dd4928bee170b","datavalue":{"value":{"entity-type":"item","numeric-id":582126,"id":"Q582126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582127$27BB89E2-7381-4BD1-9EA3-74364E2226AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582127$861C2D28-3077-4F2A-9FB1-A856C4282952","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q582127$BEA4E8A6-05FA-45D4-9F4C-7AC2B796FDEB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fef33a01e29f0fbefb845653d3dcdb9ba5f247c1","datavalue":{"value":"We introduce the symmetric quotient of two relations as a new construct in abstract relational algebra generalizing the notion of a ``noyau'' of Riguet. After exhibiting the main properties of symmetric quotients we study applications in domain theory. In particular, we give a monomorphic characterization of powersets and function domains.","type":"string"},"datatype":"string"},"type":"statement","id":"Q582127$701C0803-64AE-4B27-A350-25222C1617FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25fe30a6fe5285f54b3a7ea7d7e97ac0b640e4f9","datavalue":{"value":"68R99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582127$65904EBA-0455-4EAB-A4E1-6F670AA41B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582127$88C7D18E-D509-44BE-AD49-B7A5E115AB17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9899a47a9b9a4540e8fef8dc645be01a019ce3e2","datavalue":{"value":"4130047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582127$18ABF0DF-304F-43BD-AD2D-16B13812BB59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f40cd831f0edfd206625b06ee83ccd05bacbcf0b","datavalue":{"value":"discrete mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q582127$061AC774-2365-4BFE-814A-021B1C847AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q582127$1367F6D6-369C-4742-8D4A-86CDD0C3109B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d92d83950e30d7dfdb7f63cbaf36d7d0a983b35","datavalue":{"value":"domain construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q582127$AC884969-53FD-4373-9FC4-CEFEA5B318C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f37a034e647f80843b21640ec1d9b6824b15e6b5","datavalue":{"value":"relational algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q582127$6CA7C264-7E44-4155-AC5B-BE7AAEC2941F","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":"Q582127$1B079182-4FC3-4E40-8B2E-E8DA744101A0","rank":"normal"}],"P223":[{"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":"Q582127$7C8ACC5C-7C0E-4A48-9F2D-E9C76554E550","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":"Q582127$BE6251AC-7F07-4786-B43F-49760D286179","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89024e1e396213c4d3725694335fd192966a1161","datavalue":{"value":"https://doi.org/10.1016/0020-0190(89)90197-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q582127$46488B36-699B-4ECD-8A7A-2DF8F1871D7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"027a2574f73056901c13c7ec33ee6b66778b0b53","datavalue":{"value":"W2009265696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582127$EA7CB351-E042-4446-8A14-0D5C2E2C6CD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0014578735a8aaea6a76a9ae8155bb381b2f0907","datavalue":{"value":{"entity-type":"item","numeric-id":2171000,"id":"Q2171000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a50777e34b4186de214a054c4aa17b4787cab2e","datavalue":{"value":{"amount":"+0.90670836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582127$0D476B4F-E9D1-435D-841E-E0AB03BA6991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d781109c9a7990555d90fececb808381e39ce4","datavalue":{"value":{"entity-type":"item","numeric-id":862142,"id":"Q862142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f07deb11c8fb3aca0a07e1ed9c50808e9e40d98","datavalue":{"value":{"amount":"+0.8991727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582127$F6B7E3F4-A274-4530-9016-6FC9B9EDBF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a874cefd46cdc1cf201b1be1e50a490cec8c3aa8","datavalue":{"value":{"entity-type":"item","numeric-id":1902882,"id":"Q1902882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09146d4573b193045d35d0985667372ffc407968","datavalue":{"value":{"amount":"+0.89342505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582127$40D091C6-8208-4ED1-8FE8-900033C2E585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e5ac9c970ad382008f9c4e55749d0cc7bf26f9","datavalue":{"value":{"entity-type":"item","numeric-id":493011,"id":"Q493011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db2b69a25e25015866ce880ee9538bbd6918745","datavalue":{"value":{"amount":"+0.8919468","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582127$F2AFCD2B-C2F9-464F-8239-AB0E1842D6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453448e44038246c48e3afad085375ceb90b1111","datavalue":{"value":{"entity-type":"item","numeric-id":5950816,"id":"Q5950816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3f741637768ac23674c2d687fe450f054883fbf","datavalue":{"value":{"amount":"+0.8822644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582127$545A8A34-0C97-482E-B9C0-6B351DC5A005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0a403807d77db8b8299aaa50849332278ff6040","datavalue":{"value":{"entity-type":"item","numeric-id":4308056,"id":"Q4308056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21eeb2676f12ac457b376072a567e89291634f8d","datavalue":{"value":{"amount":"+0.8808314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582127$888C7462-F36C-443A-A37D-1EA2D822BACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02f6c8a72d1991f399ad34fd30fc8993b24d5116","datavalue":{"value":{"entity-type":"item","numeric-id":2734849,"id":"Q2734849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1d616787553b985ef1a0ce178be83c181b63789","datavalue":{"value":{"amount":"+0.87747145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582127$F3C9347D-3DC6-4E2D-83AB-873C30D62A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe86ae377e8bafa46e79d87fa331167a79a16396","datavalue":{"value":{"entity-type":"item","numeric-id":3704102,"id":"Q3704102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e48b8f2b18ca40ed0afc58f4b3ff8933a4ce0c5","datavalue":{"value":{"amount":"+0.875992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582127$965E0484-3C12-4D07-9B3F-3C8B5B6E5039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7bb9ec585d584af55a3ac43e697ef0754fc0121","datavalue":{"value":{"entity-type":"item","numeric-id":3474783,"id":"Q3474783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e830c6bc6368da1c47d5616cc65ac9dfadafdee","datavalue":{"value":{"amount":"+0.8749609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582127$3A79EC98-7E63-4B4F-A2D6-69F7373191CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f870252cf07fab7f53c5371985e412b1a3b2049","datavalue":{"value":{"entity-type":"item","numeric-id":3605862,"id":"Q3605862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b76f6beb073afce66971a7ff1b44c9c78466218","datavalue":{"value":{"amount":"+0.8717604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582127$EFBE7226-6501-49B5-89EB-190E2A89D8E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symmetric quotients and domain constructions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symmetric_quotients_and_domain_constructions"}}}}}