{"entities":{"Q1177861":{"pageid":1188610,"ns":120,"title":"Item:Q1177861","lastrevid":66511587,"modified":"2026-04-12T10:34:33Z","type":"item","id":"Q1177861","labels":{"en":{"language":"en","value":"On clones of relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 21350"}},"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":"Q1177861$324016FA-0905-4341-9DA4-FF77632DBABE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af74512d28514c2e2cb3f19f49499912d2c15f66","datavalue":{"value":{"text":"On clones of relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1177861$78EAC5C3-FD96-4243-B7DD-4B76965D20D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"785600b0434427b5a9ea2dcf7536c0adb561da11","datavalue":{"value":"0745.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177861$36F7FBC7-F514-433C-9C30-BB3396F05F18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6dd25f17d9bc77b867eb43e919fb54991251f69","datavalue":{"value":{"entity-type":"item","numeric-id":1177860,"id":"Q1177860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177861$728DE978-D70B-4EEC-90D6-9E9F793582F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcf622d4faaaf9eb501926768589cf6bc6e37689","datavalue":{"value":{"entity-type":"item","numeric-id":213743,"id":"Q213743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177861$69AF6114-D9AC-45C3-9826-E03106A6166B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1177861$C63E95DB-971A-4DAA-825E-4047C33D8CDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18024d0220067ed9ab69470ae19879346a7a32d8","datavalue":{"value":"https://eudml.org/doc/138482","type":"string"},"datatype":"url"},"type":"statement","id":"Q1177861$47E6D96B-8293-48AD-AF0F-EF84074D08AA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f1b310a71a8adf934f4958cc68d1e174106f9079","datavalue":{"value":"The category \\(\\underline{\\hbox{Par}}\\) of all partial functions between arbitrary sets forms a diagonal halfterminal symmetric category with diagonal inversion. Since \\(n\\)-ary relations are definable as partial projections in such a category, the usual relation operations like cyclical permutation of components, exchange of first and second component, addition of a fictive component, identification of two components, intersection of two relations, cartesian product of two relations, and a modified composition of relations arise in a natural manner from the structure of a \\(\\hbox{dht} \\triangledown\\)-symmetric category. Taking into consideration two additional conditions which are fulfilled in \\(\\underline{\\hbox{Par}}\\), and therefore in each partial theory, one gets also the cancellation of components and the usual relation folding. Each so-called simple relation is derivable from the special simple relation \\(\\delta=(1_ A\\otimes \\triangledown_ A)p^ 2_ 1\\leq p^ 3_ 1\\) \\(((x_ 1,x_ 2,x_ 3)\\in \\delta\\) iff \\(x_ 2=x_ 3\\)). In the language of \\(\\hbox{dht}\\)-symmetric theories it was shown that the set \\(\\hbox{Pol} Q\\) of all polymorphisms of all relations \\(q\\in Q\\) is the carrier of a function clone. The set \\(\\hbox{Inv} F\\) of all invariants of a set \\(F\\) of functions forms a relation clone. The proof of this result requires the language of partial theories, i.e. the additional conditions as mentioned above.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177861$FCA3248F-F7D0-4F98-B7A6-63215FB8644E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6537e4dbc27d6024722d6db5255b901cc30f77dd","datavalue":{"value":{"entity-type":"item","numeric-id":1177860,"id":"Q1177860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177861$78852BE9-83F4-4A01-8A4F-F23D33F5603F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177861$3C6A635C-8AD3-4EC3-847E-05B080A5C504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177861$CB75348B-7825-4F15-9B94-7DA13D1EDF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177861$24291492-96A6-41A0-A91E-1D0B0018E31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177861$FFFD2D2C-4B25-43DB-9518-10D10717D53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"80931d057452ecc032f2d5088e7a41d514d934e3","datavalue":{"value":"18B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177861$7C502319-8262-4151-866C-3C2EBCCCD827","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abb04b30f0cbdb07baf978f4328f36d0cc45b12e","datavalue":{"value":"21350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177861$28347492-9C1C-4CAA-9D0F-FD12B5000DCC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d86a171fa82c1ea15db4e7a7c23402cbb117f3b1","datavalue":{"value":"superposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177861$C898D1CC-9BD7-455E-9EC3-C45B41C94AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fd3ac1520877b376a20ec113028993130e619df","datavalue":{"value":"monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177861$310E192B-072B-4094-AE83-10B2B0BD5DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0cc9e2fe0de6397dc6430b5c03cb94c3102bf59","datavalue":{"value":"category of partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177861$73E5DA06-BFF8-4960-88C6-905CABE1B1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef48dea06b4b3d324c2bc0021e7a57a67ba7ccd6","datavalue":{"value":"diagonal halfterminal symmetric category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177861$8853453C-3DE2-4EE3-9CE9-6527840C2C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fee230a2a320bbd6d5aa64493964b1ff1e57589","datavalue":{"value":"\\(\\hbox{dht}\\)-symmetric theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177861$52E6F452-4AB0-454F-B3DE-4F30A02ECB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab1b38b223407c2010ffb3e38c41b8c74c3e1b6a","datavalue":{"value":"polymorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177861$45BD9CF8-2DA1-4C6E-ACF0-93C9C25092F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e31cfe0fc26898b7f43f4f9cae975ab5ab7d754","datavalue":{"value":"function clone","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177861$7AF3CD5C-F4E5-4230-BB47-F4E38EF86E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177861$A6BB32B6-06C7-4006-A5FC-EC0ACA300C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"214b7029d0c43c4ce9a961be9d5026cb6c9aaa4c","datavalue":{"value":"relation clone","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177861$35737B28-A6A8-41C5-9C41-B2E2B3572E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e31bb9e4108692b96e3eb3904d6b3fd33c2b04ed","datavalue":{"value":"partial theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177861$1A7C8BE8-7784-48BC-838E-735C51AF995A","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":"Q1177861$991467AE-7B52-43CE-96CA-9D1CF55E4A05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1d57b7793ce4e900f05bebc3b34be307fb8306","datavalue":{"value":{"entity-type":"item","numeric-id":3832623,"id":"Q3832623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1560557cc3b9627dc59fc74506651bdc409d74b9","datavalue":{"value":{"amount":"+0.8235922455787659","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":"Q1177861$C15AD78A-F2F3-472A-9EC3-9F6034314B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4c3d1814f7ca8433f1d394c5260f6ee1d0cf2e","datavalue":{"value":{"entity-type":"item","numeric-id":3979086,"id":"Q3979086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcbed4432e218c5819184940a81307c98fbe4dbc","datavalue":{"value":{"amount":"+0.8133070468902588","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":"Q1177861$0615AFB1-85F9-435E-A4D3-836A69EC8E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8174a7194fb666f80aca0ec5cdc5efe43afcd4eb","datavalue":{"value":{"entity-type":"item","numeric-id":3816130,"id":"Q3816130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f94881ec71938f218b4ca2089f20001185d44b77","datavalue":{"value":{"amount":"+0.7958865165710449","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":"Q1177861$441EB158-7C93-4753-9AC2-DD4CA87CE14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd3d84ea7e5f6792c2d2e6180cc4837750b02854","datavalue":{"value":{"entity-type":"item","numeric-id":4763282,"id":"Q4763282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7581e2e41c1bdc4dc70ff5df83324298b19b1ad5","datavalue":{"value":{"amount":"+0.7887614965438843","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":"Q1177861$CF0124CA-9694-4A2C-8FF2-9F27D551F3D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On clones of relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_clones_of_relations"}}}}}