{"entities":{"Q4863976":{"pageid":6893556,"ns":120,"title":"Item:Q4863976","lastrevid":47387710,"modified":"2026-01-01T14:33:16Z","type":"item","id":"Q4863976","labels":{"en":{"language":"en","value":"Lower Bounds on Formula Size of Boolean Functions Using Hypergraph Entropy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 838846"}},"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":"Q4863976$45D1DBEA-C197-40B1-9586-E19FDC42E6BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e77ebc3a9e1ea2c75f3642db99aa0959d8fce834","datavalue":{"value":{"text":"Lower Bounds on Formula Size of Boolean Functions Using Hypergraph Entropy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4863976$FE752D94-5BB2-44CA-A08E-58CEA6BBFCFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ec23ad0809b4046823879a3f4c095cfbc168b44","datavalue":{"value":"0841.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4863976$1A87C0AB-C160-4373-84CE-3833E20AB68E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64d462234b5ae0b4d6e86f77c101ee708e39e6f0","datavalue":{"value":"10.1137/S0895480190283595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4863976$0F4C0EB1-781F-4F00-A755-9E834CF1825A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f43e474a770325110ee7928e67f304b07a143821","datavalue":{"value":{"entity-type":"item","numeric-id":430842,"id":"Q430842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4863976$0E5A7A06-C3B4-4F14-8062-88B081D12B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a028a6348dcfc7b43c17e257a75b67ed9a2b7db","datavalue":{"value":{"entity-type":"item","numeric-id":178716,"id":"Q178716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4863976$B06A9927-2C0E-485B-8864-49FB45F0F360","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"39a509948a5fd41054da3e7af81581f39adaebc1","datavalue":{"value":{"entity-type":"item","numeric-id":2706174,"id":"Q2706174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4863976$137CDD25-ED00-41F3-913D-F5B977D342A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"063a0d3cba64ba888027c35a5829fc70c72f9f35","datavalue":{"value":{"time":"+1996-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4863976$C3F8AC5F-CDCD-46F0-857B-7AF0EE09221B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4863976$6E7A3462-ACB9-415C-889C-8D2863859BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4863976$5CF8E8B7-7A50-4953-9D83-4995EE051EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e35cfda1c439de499de525a8a9009114d934bb37","datavalue":{"value":"05C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4863976$BE5384DB-8819-40AC-8391-8970D43E84E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4863976$59855C34-AAFD-47C0-9F18-E70B979E1035","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"025966e96af7c9494c6ff4a368fa824831c042f8","datavalue":{"value":"838846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4863976$1164B5B2-D386-49E5-B124-7014401B14A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0cb341ca7876bc8468eee4ea8e9008984980e7","datavalue":{"value":"circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4863976$020AE77B-DCBC-4FFC-A0BD-69DDA5A1A887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53e4d6781b233a5e23f1d342d16da9b28d1014bb","datavalue":{"value":"graph entropy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4863976$276DF950-7C10-423A-A752-ED301C49D4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab911d4dd7bd3d9545b36e1242bf7494db223e21","datavalue":{"value":"low-complexity functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4863976$328DA976-9EFC-4249-8B6B-98FE1A3AFA14","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":"Q4863976$E22F6452-3695-4AA8-BA98-65B8ECAE649F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1665994a1946c124778244abdd31feccb29dd46","datavalue":{"value":"https://doi.org/10.1137/s0895480190283595","type":"string"},"datatype":"url"},"type":"statement","id":"Q4863976$22887D26-B5FE-4F4B-B3FD-A2B6332D2E16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1bbc5491054d1b555e5e6b52657e30ea15e3aee","datavalue":{"value":"W2039213367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4863976$280F274C-1FAD-4EC1-A5DC-EC49FB86DFFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2388f161d040874f6de655e23371f138158ffe1a","datavalue":{"value":{"entity-type":"item","numeric-id":1109754,"id":"Q1109754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"446a923b7d99cc92a62e0d2d49c808a959fdb5be","datavalue":{"value":{"amount":"+0.7845330834388733","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":"Q4863976$0D9CF7D7-3F2E-47A0-8D26-70024629EB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c2374536506f2ff7ba2cf41e125144dcbf38b2","datavalue":{"value":{"entity-type":"item","numeric-id":4696224,"id":"Q4696224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d17de4ef423e5c95fb32b299c7ad7dbf1d30f1a6","datavalue":{"value":{"amount":"+0.779674768447876","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":"Q4863976$305382F8-3694-4D14-B70C-C7036AD4EEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"694dbcd29efdbfbc930700c6b96b39afc631f559","datavalue":{"value":{"entity-type":"item","numeric-id":4503366,"id":"Q4503366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b655db9cce9b8d4aa51cf067e7624347ec3761f","datavalue":{"value":{"amount":"+0.7769932746887207","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":"Q4863976$BF705681-9774-4B85-A4B3-D84F887D4D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8260d02ce0d4d6c7f30cee2ab4a39643f1ec565","datavalue":{"value":{"entity-type":"item","numeric-id":3033329,"id":"Q3033329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e81515e39eb10bba2455888707876c089ae7576","datavalue":{"value":{"amount":"+0.7767300009727478","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":"Q4863976$CDE0EBE0-4887-455D-98F1-D0A4FC3ACB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fad62047912236eafcbf7c29bdc9feb9dd5bf53","datavalue":{"value":{"entity-type":"item","numeric-id":3754637,"id":"Q3754637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ac085eca620dad42b3ac0858018e0ee4d2dcd4","datavalue":{"value":{"amount":"+0.7749256491661072","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":"Q4863976$F9706A5A-9C99-47DD-A829-186581A6D737","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4863976","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4863976"}}}}}