{"entities":{"Q1920692":{"pageid":1931434,"ns":120,"title":"Item:Q1920692","lastrevid":46388553,"modified":"2025-12-24T16:46:46Z","type":"item","id":"Q1920692","labels":{"en":{"language":"en","value":"Separation of clones by means of hyperidentities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 916357"}},"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":"Q1920692$BE7CC1DE-3930-4F83-998F-A1AF0844B001","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d17376ab5e1d215e09beab70ef991f53783c0bf","datavalue":{"value":{"text":"Separation of clones by means of hyperidentities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1920692$9C71030B-94F4-4A5F-A232-14EDB528C1B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e47ba7e883c40dbbabb91b41708125b70772c03c","datavalue":{"value":"0854.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920692$B28A22F6-E88A-4D6D-B2AB-A144E679DBFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50f09d5b23bcef3e1d0c9d89722712698496ef68","datavalue":{"value":"10.1007/BF02104775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920692$D232DFB5-D2AD-40A8-B8A3-E65B48D02E41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81e7dac54a8cdf2b6cf7a8456b26c158212ac160","datavalue":{"value":{"entity-type":"item","numeric-id":922569,"id":"Q922569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920692$46D1FCDE-EE5D-45F8-860F-20C0EF364D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48a3ff1d817d1b69c87ea41d273be250b65bac94","datavalue":{"value":{"entity-type":"item","numeric-id":345246,"id":"Q345246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920692$D64B93DC-27A0-4D0B-96CC-99D249462CB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920692$C19E7F60-FDA0-4AD7-ABF8-31B12CFBE849","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c5efe12b4b796cabf569169f3743c01b2ffb72e0","datavalue":{"value":{"time":"+1997-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1920692$6B1A1547-A6BD-462C-8297-B45A89FFE042","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3739b8abd4c0e31d28e8f0ed384076421f91afc5","datavalue":{"value":"It was shown by \\textit{K. Denecke}, \\textit{D. Lau}, \\textit{R. P\u00f6schel} and \\textit{D. Schweigert} [Contrib. Gen. Algebra 7, 97-118 (1991; Zbl 0759.08005)] that, given two nonisomorphic clones \\(C\\) and \\(C'\\) of Boolean functions with \\(C'\\not\\cong C\\), \\(C'\\nsubseteq C\\), and \\(C\\nsubseteq C'\\), the clone \\(C\\) can be separated from \\(C'\\) by hyperidentities. This fact is not true for arbitrary clones of functions defined on a finite set with more than two elements. In this paper we give a more general criterion for separation of clones by means of hyperidentities and we use this result to obtain a new proof of the theorem stating that Boolean clones can be separated by hyperidentities.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920692$5D0A5714-9FE6-4788-9159-0C67DBA3A77D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920692$E9ECA17F-AB41-4954-B1BE-2EF15AAF42A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fd7fed8fbbddf1fc3847744e415fc5ae7debb79","datavalue":{"value":"916357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920692$BF689E5D-4996-4BBA-BADC-C3A9031E82F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"212576feecb7c335d03f3f770b23e48fd7c6a5ac","datavalue":{"value":"clones of Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920692$0B6EFB68-8106-46E1-A647-D9D111C77D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b5ef52bedc0db72dc2f4f18042199799bed1ceb","datavalue":{"value":"hyperidentities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920692$48596DC7-D6F7-4219-97CF-3340AEE7DC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49caa540983fbf38caffd17639d7e2973ab80d80","datavalue":{"value":"separation of clones","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920692$01FEAABF-DDE7-4934-871D-D4814F929DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"151b8c7cdd5f5e5f35bc56bd64ecfb88f958bf13","datavalue":{"value":"Boolean clones","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920692$6A4A6744-2423-4135-A669-B922F999F5F0","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":"Q1920692$63F09F64-7DC8-4178-B521-A13265FE7BE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a957ee393446dc04f0c81742a1da7b0dcaae904e","datavalue":{"value":{"entity-type":"item","numeric-id":3979090,"id":"Q3979090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920692$839C71AF-6DA2-41E1-A662-6DEA2D49C003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43645a68f02a761842016cdd513e67366168a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1167196,"id":"Q1167196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920692$1C85EFAD-5BF6-4377-BD42-2B4C67FD9FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed7893b526cc9e9f9028691e634d5a1769da19b","datavalue":{"value":{"entity-type":"item","numeric-id":805646,"id":"Q805646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920692$74885944-BED0-4229-B076-CDCBF3BB5687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744fe28f002739ea54a9990c99efd537371a7e6b","datavalue":{"value":{"entity-type":"item","numeric-id":2264663,"id":"Q2264663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920692$D4FFA899-F51A-493A-A1C4-2BE9FB56D591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07286ca8db123e917580e34b0e90edd3578b2152","datavalue":{"value":{"entity-type":"item","numeric-id":3988517,"id":"Q3988517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920692$539E9C71-41B9-470B-AD18-08110BC69345","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a5dba083fd2615fbb348a41c9d02e2e89f6e222","datavalue":{"value":{"entity-type":"item","numeric-id":1921845,"id":"Q1921845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62305be945260f850cfc01c11b68400068cbc3b5","datavalue":{"value":{"amount":"+0.9517499208450316","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":"Q1920692$C7BB9B02-15C5-4F56-B5A2-39CDAC9E8238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b19d66c2da1e21421ef97609dd828c00db188a","datavalue":{"value":{"entity-type":"item","numeric-id":3988517,"id":"Q3988517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a089d391ebc77f4e1587bec88e6533a1c1b5b2","datavalue":{"value":{"amount":"+0.8631587624549866","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":"Q1920692$14A346A0-D3A6-49B6-926C-AD0C76E1213D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3057470e8beaca1697e5db25eb3b6f7118eebe","datavalue":{"value":{"entity-type":"item","numeric-id":1703281,"id":"Q1703281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f1df11738362965b0def73d8e4d391e2c6901f0","datavalue":{"value":{"amount":"+0.8400033712387085","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":"Q1920692$3A527235-9A17-4A29-935E-1763075A05CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b10cbc682c7d68726819e079810cece9b4362485","datavalue":{"value":{"entity-type":"item","numeric-id":3979181,"id":"Q3979181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26dbfe93114b41d1d2c44ea16b7817a2bd815e26","datavalue":{"value":{"amount":"+0.8315489292144775","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":"Q1920692$8B63DB38-2E5D-46E4-9597-8DF866C09528","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1920692","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1920692"}}}}}