{"entities":{"Q794625":{"pageid":796473,"ns":120,"title":"Item:Q794625","lastrevid":64428561,"modified":"2026-04-11T19:48:05Z","type":"item","id":"Q794625","labels":{"en":{"language":"en","value":"A Boolean function requiring 3n network size"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3859045"}},"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":"Q794625$10BB99CF-CF56-49DE-941A-3CF6D0E5F8EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"989e8976aa15407dc643ba69e3f989c5538fc969","datavalue":{"value":{"text":"A Boolean function requiring 3n network size","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q794625$21D62447-C122-4B1D-8C0C-D3C146B89445","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63df12e2c23349b84867592a9c041e21b4f767bb","datavalue":{"value":"0539.94036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794625$B0D8E7EF-784D-4438-968E-98ECEA0095C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08131e7df347bd9f8c4a917a9f56590bc7002234","datavalue":{"value":{"entity-type":"item","numeric-id":672726,"id":"Q672726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794625$6AE2B404-E462-4425-ACF6-BB954D392368","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794625$3D4D942F-8C10-41FA-B744-16FE760413EB","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":"Q794625$B6C4B0A9-76CE-4860-A9D9-7DAFCB8B5122","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cc3dbdcbff8d4da04bdf0327a4b30f5d31a07321","datavalue":{"value":"One of the most difficult problems in complexity theory is proving a nonlinear lower bound for the network complexity of an explicit Boolean function. Although it is well known by a counting argument that relative to the full basis most Boolean functions need exponentially many operations, only linear lower bounds with small constant factor are known for explicit Boolean functions. \\textit{W. J. Paul} [SIAM J. Comput. 6, 427- 443 (1977; Zbl 0358.68081)] has proved a 2.5n-lower bound over the complete basis over all binary functions for an explicit Boolean function. We modify the definition of Paul's function slightly and prove a 3n-lower bound for the network complexity of that function. This is the best known lower bound over the complete basis of all binary Boolean functions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q794625$39ED6602-41FF-488A-97D7-C498E78B5DE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794625$C7D495A0-BC9C-4330-9B63-A18289FDB02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794625$FD3408BE-0FD7-46DB-8AD3-C6F6FB059469","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05c986651e9f3a7e2e9e5d9d2a3fcd7a6ab2f394","datavalue":{"value":"3859045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794625$B03272AD-7636-4AF6-93FA-F1E4E5E3771D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q794625$4BD91C18-65C1-40C1-93AC-9850BC8D368D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e3b265c3d831485d0c3382221401d77b13509d","datavalue":{"value":"network complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q794625$5D0C348C-399A-4DFB-AEF6-5F63401B2E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q794625$4071B48D-59E3-4A82-A57D-C1B5C9689910","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":"Q794625$F4D176C9-083A-4A89-90AF-4CA29FB60758","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f2e8a6a7431d8c715c31ed35ac8ee34c4ca3bb7","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90029-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q794625$23E8628B-CB84-4A71-8B8B-3641737466A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21b6588b5cafe54ef7aff4a13788ef23ab895806","datavalue":{"value":"W2023412106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794625$629764D0-DEE6-4F35-BA63-5E8DD6401908","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e266c332c8c722703a0d32ad33eb1d65fa4f734","datavalue":{"value":{"entity-type":"item","numeric-id":4131019,"id":"Q4131019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794625$C67C576B-C952-4B3F-A7C5-992E523A26C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6036bf43f265b8908f5fed788c1a5dda8ab233cc","datavalue":{"value":{"entity-type":"item","numeric-id":1220384,"id":"Q1220384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794625$E6122B25-B924-4884-947A-7D829D4A8A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fab0be9a740208b5992a5b6d794dacd40f808511","datavalue":{"value":{"entity-type":"item","numeric-id":1142030,"id":"Q1142030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794625$835C6A25-D471-4478-B537-8008DA7AC653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7753b2c0a0136d36e0e6594c32ff134628ef23","datavalue":{"value":{"entity-type":"item","numeric-id":4146674,"id":"Q4146674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794625$602C8E18-97B1-43F6-9D21-5E9AC409C371","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a51fd10e9b63e01942a2517419c149bef7d3bf37","datavalue":{"value":"10.1016/0304-3975(83)90029-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794625$11671848-32BC-4C36-A862-A027EBCEF084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0b99f7654e1b491d4732a759ba36d3bd9b44f18","datavalue":{"value":"10.22028/D291-26095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794625$CAE887B4-106E-4310-8D3F-F81F37756335","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a63c85571ec1de4afc57a1cb7c3b5eb9a062c47","datavalue":{"value":{"entity-type":"item","numeric-id":3335688,"id":"Q3335688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4b25fbf61182663d23a61c90779921375f1c8f6","datavalue":{"value":{"amount":"+0.8483977317810059","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":"Q794625$8AC78923-EF58-472C-A89E-8A463597EB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd4ea5ef93c981f328271a967fef6c477c8d2804","datavalue":{"value":{"entity-type":"item","numeric-id":798294,"id":"Q798294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5418f9a98a772316db0683c1b14e6b10d9b025b9","datavalue":{"value":{"amount":"+0.8166821002960205","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":"Q794625$EEF0A384-F5C7-44CE-9C01-909D52C1C672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac6a81790e75b1593a6746011e1030979879c5d3","datavalue":{"value":{"entity-type":"item","numeric-id":5175995,"id":"Q5175995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ba63cd1db29cec0e4315810cb7fcc61e83cc3b8","datavalue":{"value":{"amount":"+0.8165223598480225","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":"Q794625$B836C32B-AC6F-4E78-83C6-AD702CC0711F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7adc71462f56e3487dc972cf4447b7a12816c97f","datavalue":{"value":{"entity-type":"item","numeric-id":3644711,"id":"Q3644711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4b88dfd5e39fea27bef495ff8773846df0d538b","datavalue":{"value":{"amount":"+0.8027496337890625","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":"Q794625$EE7C6275-EE54-4198-8E6E-725F3CEE4E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed048414354445bd2eedc20c939c3b1cfa3e3d28","datavalue":{"value":{"entity-type":"item","numeric-id":914382,"id":"Q914382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba2f79a364b090d9d6a9b3122e82b414565bb36e","datavalue":{"value":{"amount":"+0.7994668483734131","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":"Q794625$A787C5F7-63A6-48C0-A166-4493E44DF17A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Boolean function requiring 3n network size","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Boolean_function_requiring_3n_network_size"}}}}}