{"entities":{"Q795354":{"pageid":797202,"ns":120,"title":"Item:Q795354","lastrevid":64397445,"modified":"2026-04-11T19:35:08Z","type":"item","id":"Q795354","labels":{"en":{"language":"en","value":"A generalized closure and complement phenomenon"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3861977"}},"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":"Q795354$F6B72934-EA7F-467F-9B08-B3B7FDDE1BB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5444e032936e77155f6fa387a18b8093b0b21e65","datavalue":{"value":{"text":"A generalized closure and complement phenomenon","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q795354$63003CFE-92D9-4AD4-826D-97E03516119E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8297cb41faab9350abf21ea8f37a6734e2a79e3a","datavalue":{"value":"0542.54001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795354$17D5FE8E-C9FC-4647-9231-6029B66659D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75e2cd9a4a563dfa0af68de385eb573e2b2c220c","datavalue":{"value":"10.1016/0012-365X(84)90055-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795354$72564378-AC4E-4D75-94AC-021AF80D6923","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795354$E62DAB9A-3DE7-4A15-B028-D7F72484C7C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q795354$4E627A78-8F9E-4684-84B5-AC846C1F7C1A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5eaab958ea10ad9a10687deb35b5a1a7924180c9","datavalue":{"value":"The number of different sets that can be generated from a given set by applications of complement and closure operators is finite and small. This fact, stated originally by \\textit{C. Kuratowski} [Fundam. Math. 3, 182-199 (1922)] for topological closures (with 14 as a bound), and later by \\textit{R. L. Graham}, \\textit{D. E. Knuth} and \\textit{T. S. Motzkin} [Discrete Math. 2, 17-29 (1972; Zbl 0309.04002)] for transitive closures of binary relations (with 10 as a bound), is generalized to other closure operators, with different bounds. Several examples are given, including Kleene closures of languages, unions and intersections with a fixed set, transitive closures of non-binary relations and difunctional closures of binary relations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q795354$5F7DAC46-2562-4D82-B91C-A84AAECCB487","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795354$68AB320F-28B3-48D4-B4B1-089837F4749E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795354$829CEFCE-D207-45AA-B865-B14B451FE62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795354$44EB83EB-8DCB-4BDC-9B52-BEFD446DB22D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aab7b1973b823838362aa8fbdb209e4aba5f2ebd","datavalue":{"value":"3861977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795354$C07D6DF8-ED4F-456D-A665-05FEF9182310","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e53bce97feae35f39608ceab323d472349ac0b2c","datavalue":{"value":"semi-topologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q795354$A3104B06-8613-4995-979E-8B90051C17AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bdacfc00f070fa477355a17c5232246f664f3d","datavalue":{"value":"closure operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q795354$3E206B44-605E-4118-B703-CCEDC3D1CAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0545f7990fb424e14864c5d480ad6b7483f371ec","datavalue":{"value":"topological closures","type":"string"},"datatype":"string"},"type":"statement","id":"Q795354$FA9679E4-67A9-44B7-8526-2A1DD1945562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f697075f8bb591fdceb471e98e63430fa15360f7","datavalue":{"value":"Kleene closures of languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q795354$1BBFEACA-945F-405F-A17B-EE9BE959A6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6c5c807fcc057e4374a8c8679097e83dc600416","datavalue":{"value":"unions","type":"string"},"datatype":"string"},"type":"statement","id":"Q795354$8C7B1960-6C87-4CF1-B058-7DDDCD6D112F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbffb8ae14b4f37eab0c3aace9f763172d33b5b2","datavalue":{"value":"intersections","type":"string"},"datatype":"string"},"type":"statement","id":"Q795354$9F4D3492-3D04-47B9-8678-BBC4B40EF4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9191792719d893257e6d5ae0a78ac253aa3b8628","datavalue":{"value":"transitive closures of non-binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q795354$EEDAE491-F23C-4308-AF34-F5EA6015C20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a941ec2a0ff85a57e56f8e37d9057b6b9abf181","datavalue":{"value":"difunctional closures of binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q795354$543CE2EC-4AF8-4AA4-BC21-67062A9828FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27618d3afb5e8d09bd379eb0df3ccd8566897b24","datavalue":{"value":{"entity-type":"item","numeric-id":244948,"id":"Q244948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795354$1FE60336-265F-44B3-8741-DF35496B7CA6","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":"Q795354$3FBA01A6-D109-4558-8113-159159DDA4E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04199e03d1d3ec0d2b5fbfff526a164b91654871","datavalue":{"value":{"entity-type":"item","numeric-id":1838840,"id":"Q1838840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795354$D4437954-841A-4773-9EBF-8B4D1D9094D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d006f2a71b00dcd842d0ab93ea28ab0237502a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1218857,"id":"Q1218857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795354$0B06FE7F-B78D-41B2-9044-B480A5B873C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ca7a1acbb96c14c8f84c4ce6e6462daf757716","datavalue":{"value":{"entity-type":"item","numeric-id":3773337,"id":"Q3773337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795354$92E0C96D-45AD-4A95-95D5-90A82F6E73FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"909f2014cc99bc2dbcde4df5804ce90d1df8c05f","datavalue":{"value":{"entity-type":"item","numeric-id":2143383,"id":"Q2143383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef565e09cd1fb397b59d60736a8c4570f955702b","datavalue":{"value":{"amount":"+0.8248854279518127","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":"Q795354$5D6C58B9-FD4E-48DA-A60C-D026F5435F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf046256c05cee710a7fbc40c7c71e60f34e3e6","datavalue":{"value":{"entity-type":"item","numeric-id":3407128,"id":"Q3407128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12931b5d21d5189d417ad780299f1e7c7e5fb0fb","datavalue":{"value":{"amount":"+0.8241071105003357","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":"Q795354$36B9B1FD-B83D-40AB-80F5-0ED2730F62B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7615b0b6518f27ec82d3f6e3d0484547f1eacb1","datavalue":{"value":{"entity-type":"item","numeric-id":1748094,"id":"Q1748094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea243fcfb6786ec88f53a41a45c00dcb2df0c3e7","datavalue":{"value":{"amount":"+0.8077936768531799","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":"Q795354$56FD9319-B62D-479C-A149-C58841A8ECC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1854c702db0b05545dc1a92463be8a4a2c4f872","datavalue":{"value":{"entity-type":"item","numeric-id":3004580,"id":"Q3004580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6aee2f6227a8b353baf527fb3ba93262fa0b0f","datavalue":{"value":{"amount":"+0.8052294850349426","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":"Q795354$6B2DB5F6-8BF7-4B4C-811A-0523C9853113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0605a3b5ccebcec25bfa4f57148bd961621d0185","datavalue":{"value":{"entity-type":"item","numeric-id":4390476,"id":"Q4390476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92f4af183cd09c21976dd2c87e32e1c5ec02c176","datavalue":{"value":{"amount":"+0.7979319095611572","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":"Q795354$97E635E5-4119-4DCE-9D03-5AC66414B7ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A generalized closure and complement phenomenon","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_generalized_closure_and_complement_phenomenon"}}}}}