{"entities":{"Q1186512":{"pageid":1197261,"ns":120,"title":"Item:Q1186512","lastrevid":46252411,"modified":"2025-12-24T10:03:41Z","type":"item","id":"Q1186512","labels":{"en":{"language":"en","value":"Multi-relations in Z. A cross between multi-sets and binary relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 36744"}},"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":"Q1186512$C532CD8A-A408-4CD5-B797-77823C59A847","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c38bfbc060d033d3e4cfb099c246d6b0b498a6ab","datavalue":{"value":{"text":"Multi-relations in Z. A cross between multi-sets and binary relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1186512$650B09C7-258A-467A-904E-C73E8177C824","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"920f3fed8d96ae71b89489226e28fc1c0d207a70","datavalue":{"value":"0744.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186512$FDA0A563-D55D-4A8A-B35B-AC95ABC670FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31eabdc5f26df552ff54099e7bba3530a3db5ece","datavalue":{"value":"10.1007/BF01178565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186512$BF803C90-7A3F-4355-BE5D-AC274B076D7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186512$72E2D348-356E-45C9-AC2B-E92E595F503E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1186512$75ECFBFC-5F7E-49FC-8C73-145B1DDB1CBE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f6c2822414e256e0e034d0df09469800d152eec","datavalue":{"value":"Both the theories of binary relations and multi-sets (or bags) in \\(Z\\) have been usefully applied to software specification and development. In this paper we examine a useful theory --- multi-relations --- which is a cross between these two theories. One way of viewing relations is as sets of pairs. Here, by analogy, we view multi-relations as multi-sets of pairs, and we define multi-relation equivalents of most of the traditional operators defined on binary relations. Multi-relations can also be viewed as graphs or two-dimensional matrices (with indices over arbitrary sets).   The use of multi-relations is illustrated by specifying a bill-of- materials system. This provides a good example of the paradigm of building a suitable mathematical theory first and then developing a specification in terms of the theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186512$F568E5C6-1598-4CE0-8FAA-C31AB70FAFE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186512$FC8F1968-18CC-46DA-80E0-225E8A5EBCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186512$246A9E14-62EB-4BDC-84FF-E7E09453CDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186512$FABE1327-2F6A-447E-AF5F-34FFE9E8D46F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7f48914af8354e049a11237d9256bc194fa1bc6","datavalue":{"value":"36744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186512$D07505BD-B8CA-42D8-8D01-8CF0A7BFC6D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e969eca443e8a5b6f7d1b70ec86234c2922cb99","datavalue":{"value":"specification and development of software systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186512$370583CF-0D16-4316-AA99-465E8397AD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b637ce835cb863da2bc2f21dc990737c370b6e","datavalue":{"value":"bags","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186512$3AA49B8C-BC77-4A15-A73F-DC4E1D1CCE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3291c05ad557a05cc7d04f4c34b5ee93daca650","datavalue":{"value":"\\(Z\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186512$291C245C-E57B-436F-9FF1-2E1764A98BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d696a52e8a0cc16cced7c366a0eb248e47f6ec2","datavalue":{"value":"multi- relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186512$CDE29758-5B6D-4AC1-A815-BA4A8A19BADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8453262f87c0cdeac18512a5efacd869511c4f2","datavalue":{"value":"multi-sets of pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186512$710513E3-0E3A-4098-AC93-60C49D66AA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2c86f995d15f3f2d3f939aa21500ad4f3fee28d","datavalue":{"value":"bill-of-materials system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186512$73F92465-7313-4089-A8FE-6AC3E0C17749","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffdb1dd75cd4312e715709efb5cc8beb218a80dc","datavalue":{"value":{"entity-type":"item","numeric-id":172105,"id":"Q172105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186512$03E4E24A-C7ED-46F5-9DDC-FBAB69128120","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186512$61DDC596-B88E-4A94-8E40-D8C4EF89D753","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":"Q1186512$F8C402F9-72CC-46C8-932D-238CE7262D0A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ffe25cf25e0e80fcbb99e36e08bce2f24c73aff","datavalue":{"value":{"entity-type":"item","numeric-id":4770975,"id":"Q4770975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186512$F795FFB5-B2DA-4292-B17D-42D297BC77FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3497625d6f2d461614cc9c9b81d227b6c8231334","datavalue":{"value":{"entity-type":"item","numeric-id":4003175,"id":"Q4003175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186512$D3F70EE5-11CB-4B49-9153-16324B3D7386","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":"Q1186512$4C360058-3551-4FB6-9491-912A588DE3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186512$4E26285C-4715-45B4-AA42-4326EB062ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186512$5F4F4C7F-2803-40FE-BC61-ABD8E09A90DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06966d21e18ae25873f04c81f8180406f06f13e","datavalue":{"value":{"entity-type":"item","numeric-id":4256050,"id":"Q4256050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1939245d4914b8bb30a2d478a113d0d9c463452","datavalue":{"value":{"amount":"+0.7812076210975647","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":"Q1186512$25A5727A-3C1E-4152-90F6-08680206E520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de3b154ed86f9307ea2535e4008e875f56bd328d","datavalue":{"value":{"entity-type":"item","numeric-id":5278188,"id":"Q5278188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754cc27c40639738d3be153a1ca6cd5de47f9558","datavalue":{"value":{"amount":"+0.7583136558532715","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":"Q1186512$650E9A02-142C-4FFD-8DE5-6CAE6B3ED9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3daef55b07b669ec231f000e16539f4d865ea3fa","datavalue":{"value":{"entity-type":"item","numeric-id":1007881,"id":"Q1007881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3fa56462679301bea87afc8029fbb39ff739c0b","datavalue":{"value":{"amount":"+0.7253514528274536","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":"Q1186512$1775091F-9D52-4B91-A64B-01EFBC31B686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24b8b818bebc7d991603811155cf71ec4bc1716c","datavalue":{"value":{"entity-type":"item","numeric-id":2969180,"id":"Q2969180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02ae834a90924b4b3c635513d6ab5dbd935c98b1","datavalue":{"value":{"amount":"+0.7202224731445312","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":"Q1186512$00A7E69D-185B-4730-9746-E170CF71BBF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1186512","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1186512"}}}}}