{"entities":{"Q1823964":{"pageid":1834706,"ns":120,"title":"Item:Q1823964","lastrevid":49311388,"modified":"2026-01-06T22:53:38Z","type":"item","id":"Q1823964","labels":{"en":{"language":"en","value":"Minimal polynomials for the conjunction of functions on disjoint variables can be very simple"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4116599"}},"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":"Q1823964$147265B6-B7B2-42FE-9386-F6381E32A15D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c97b0a6c0f4c4f304be0f7f51a52a51c216aec82","datavalue":{"value":{"text":"Minimal polynomials for the conjunction of functions on disjoint variables can be very simple","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823964$D496E663-AF46-4CA3-A604-18226D78EB95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13bde7cf9faf2d1895ed2c9dcd0541638bf57e95","datavalue":{"value":"0682.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823964$EBF9850B-48CD-4AB5-94FD-72A24338094E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4103161dfc24a48be789b7dc0004e4d0db9e2e05","datavalue":{"value":"10.1016/0890-5401(89)90047-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823964$B25BF886-518D-43AC-8E6A-4E92554AE13A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8ce8deb48a77f4b64c6bf524f566dbd4e892505","datavalue":{"value":{"entity-type":"item","numeric-id":210454,"id":"Q210454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823964$4406B735-6F31-4B88-9F31-F059A338DAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b3e57da97cbc00a7ce7385e258f05ae9a6ec6b","datavalue":{"value":{"entity-type":"item","numeric-id":171935,"id":"Q171935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823964$A80395C3-F8CC-4036-AE2B-D50A841A6935","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823964$F68343F5-61E0-4F2F-A1BE-51C836D55FA0","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":"Q1823964$CCD77FD5-8C94-4A2C-8726-EB3A38A6EEA3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"634225d4ec661b8c2800ad2a1b11a389e53da097","datavalue":{"value":"Let \\(f_ i\\) be Boolean functions in the variables \\(x_{i1},...,x_{in_ i}\\) \\((i=1,...,r)\\) and \\(\\circ \\in \\{\\wedge,\\vee \\}\\). Define \\((f_ 1\\circ...\\circ f_ r)(x_{11},...,x_{\\ln_ 1},...,x_{r1},...,x_{rn_ r})=f_ 1(x_{11},...,x_{1n_ 1})\\circ...\\circ f_ r(x_{r1},...,x_{rn_ r}).\\)Let further the cost of a polynomial be either the number of monomials or the number of literals, and denote by MP(f) the minimal cost of a polynomial representing the Boolean function f. Then \\(MP(f_ 1\\vee...\\vee f_ r)=MP(f_ 1)+...+MP(f_ r)\\) if no \\(f_ i\\) is the constant 1 (Theorem 1), while \\(MP(f_ 1\\wedge...\\wedge f_ r)=MP(f_ 1)\\cdot...\\cdot MP(f_ r)\\) in the classes of monotone functions (Theorem 3) and symmetric functions (Theorem 5).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823964$7A3A9C9D-B424-4672-BD14-D7B438ED0640","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823964$BDAA7921-F461-4F56-B3F3-02C8EA7D01AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823964$290446D1-4B10-4CAB-AE30-C8E79D79F76D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8a086e81fa14a09cb4d112e93d15c2bff8b3eb9","datavalue":{"value":"4116599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823964$7E11BEB9-C3BF-4EBB-80E1-C376BEC2CEE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823964$AEA63603-5A53-4896-81C6-22F76884FA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"514d707bf78ae7cbccbfbe9aa4fc87cc3516f74c","datavalue":{"value":"number of monomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823964$E610A624-5273-41B8-91C0-78B7D8F43236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a45f35b21178a2970d1b73f639095933a75f1884","datavalue":{"value":"number of literals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823964$F7E8D0A8-FFB3-477D-B37A-A1EB854FF19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f8a647721a2181e574b81b946efa28c9cacf51c","datavalue":{"value":"minimal cost of a polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823964$29F5CB34-9948-4907-9C28-2C493C8EB825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6178e6e3ee3ad49e11d737a882d76361265c248","datavalue":{"value":"monotone functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823964$A46A897A-86D6-4C65-A1B5-2C288E15F7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f67740b2b8ec2cc098e24e962d44e61a0f6449","datavalue":{"value":"symmetric functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823964$CF669D0F-135A-4CBB-A4E5-B16AA3B8D3B2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"31b64c380fcc4cff66bf21399b51cdd38a2b701d","datavalue":{"value":{"entity-type":"item","numeric-id":588921,"id":"Q588921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823964$56105D0A-AF79-4187-8EDC-425B57DF16A6","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":"Q1823964$9A91CF68-3721-46A6-A275-DA72F14239D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"850367fe6c733c376fc534bb17923bd18bbd2677","datavalue":{"value":"https://doi.org/10.1016/0890-5401(89)90047-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823964$82C4B2D4-19CC-4EFB-A8BD-196ED67AFABD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f788db81e9857153641fd389f4fcb0601af2db58","datavalue":{"value":"W1974317370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823964$57080BB3-1B96-4999-BDF4-8C1831F2CCCE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"30918c5c9820991485735aeb4647e1bd88da4df9","datavalue":{"value":{"entity-type":"item","numeric-id":1159183,"id":"Q1159183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823964$784D97DC-E4E8-46BE-88B8-EADFCE954E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e676a589917f584b51e1fa51f24ff37f4ff1174a","datavalue":{"value":{"entity-type":"item","numeric-id":1239323,"id":"Q1239323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823964$339A7C0D-6D0C-4DFF-8887-2CE7395866C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbcf643f935966db868f54a2bfd21125b3da4e98","datavalue":{"value":{"entity-type":"item","numeric-id":2560820,"id":"Q2560820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823964$94D7F89B-E809-4B09-8329-85A25C948670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba598e944147fd120ad473d75341546256b952ea","datavalue":{"value":{"entity-type":"item","numeric-id":1224047,"id":"Q1224047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823964$A8241E2E-E749-4C45-8B6D-B8C9A701381D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa18a94515fff2fe5bc6d97b491d771b468bae35","datavalue":{"value":{"entity-type":"item","numeric-id":1233425,"id":"Q1233425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823964$5CE279C4-A0E2-44ED-AFAA-F6FB7A46855B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6df075f9fcb637ade0d2b695357464d89990d66","datavalue":{"value":{"entity-type":"item","numeric-id":1226990,"id":"Q1226990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823964$C794D9D7-400F-4458-8608-AE6A998532AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8624ac8b08c43bff2290ca70392ccbd3bba72141","datavalue":{"value":{"entity-type":"item","numeric-id":3762226,"id":"Q3762226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823964$C72DE635-90B7-4AAD-AB76-7E7F872256E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5653d9b8c43acd820da6f5b027288450ea80ba5","datavalue":{"value":{"entity-type":"item","numeric-id":3202956,"id":"Q3202956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3efc413742e093bb3da8914642b878a430ac65bf","datavalue":{"value":{"amount":"+0.8189043402671814","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":"Q1823964$665E684E-CADE-499E-A5E0-0DE9584983D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a8a3135f3c3b6bc64df4282ef560096cc2260b9","datavalue":{"value":{"entity-type":"item","numeric-id":314127,"id":"Q314127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d71c43e97c2dbb0465909e043d937a56b8812532","datavalue":{"value":{"amount":"+0.7917873859405518","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":"Q1823964$65E47FD5-4B26-4D84-83CF-8EFD3FF8F1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc4f5038ed7783ddee35feb910b741ff4883c7cc","datavalue":{"value":{"entity-type":"item","numeric-id":808253,"id":"Q808253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e567420665547ca8b2a9c89416a9a24d8cc58d8f","datavalue":{"value":{"amount":"+0.7828724980354309","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":"Q1823964$5B93455A-E3C2-402D-8611-66A23C988560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c3f80a5671f9f7cfdbfb0b718a48226aa1070b4","datavalue":{"value":{"entity-type":"item","numeric-id":3807127,"id":"Q3807127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64563b84432fc85e0f641318beb5c3e6e1305ef5","datavalue":{"value":{"amount":"+0.7823758721351624","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":"Q1823964$A373C4E6-938D-4C11-8E87-ACC76041A322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf4af25c69fade5276f848a16520cad3cdc8152","datavalue":{"value":{"entity-type":"item","numeric-id":4605560,"id":"Q4605560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b308d35f4c087586c976def4be41630de2573c4b","datavalue":{"value":{"amount":"+0.7764171361923218","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":"Q1823964$C0A75F5F-54BD-4C53-91F1-84B6CA24DFB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1823964","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1823964"}}}}}