{"entities":{"Q2963581":{"pageid":2974306,"ns":120,"title":"Item:Q2963581","lastrevid":52743554,"modified":"2026-01-23T10:06:33Z","type":"item","id":"Q2963581","labels":{"en":{"language":"en","value":"Improved average-case lower bounds for De Morgan formula size: matching worst-case lower bound"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6684738"}},"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":"Q2963581$433814A6-9C9E-4582-9275-5C261F5EB6E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f251e10645db22688a31fed0cca5802464e83230","datavalue":{"value":{"text":"Improved Average-Case Lower Bounds for De Morgan Formula Size: Matching Worst-Case Lower Bound","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2963581$46251FE5-30E5-4395-A1C9-FB7C37877E27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13aac533af62702f6b5884647d836a3500683db6","datavalue":{"value":"1376.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963581$F43909B9-C7A4-4CBE-9517-2AF2DBE04CCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e67757daceac8fdc209c733de93f0fa9b88324c","datavalue":{"value":"10.1137/15M1048045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963581$66338F4F-12A0-43A0-9B31-EC9A5CFD12F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1fc71e0edbd63622f03dab4885594367551ae32","datavalue":{"value":{"entity-type":"item","numeric-id":729896,"id":"Q729896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$0C5B7560-8459-4EBA-A88B-8EAEAD928EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b481d9d1e1fd6339de38d10a65dabc0f21090cc0","datavalue":{"value":{"entity-type":"item","numeric-id":168589,"id":"Q168589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$82FB481F-CF72-40FE-8CB3-FA3B614FFE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"166681f99bdb381ae955de5692a4d3ab1ca72c9e","datavalue":{"value":{"entity-type":"item","numeric-id":397078,"id":"Q397078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$B568A367-DFF0-4F39-89E4-3B46BA19771F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$97149DE8-BE89-4687-A616-DB38A5B32F70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6500cbe85162d749257b6a2f2fa4d9eb8fe81374","datavalue":{"value":{"time":"+2017-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2963581$10D8ACD9-1318-4191-9B90-A7B1C9240BCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963581$4A4F9B7E-E62F-48BF-A4EB-9C6FB5C1F897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963581$0F5EBDB7-55F7-45C3-BD35-348FFACD373A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2940c30d1006a57fad7ab8debe8d2a4453b1664c","datavalue":{"value":"6684738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963581$B588CD13-10E1-4EBC-AE25-219D2F27B09A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ba9b57c8aa017016096d074e724eb0d87e7253b","datavalue":{"value":"Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963581$43D108BF-AB87-40DA-AC10-41061BC379AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee5b70decb4be5705224dc7888f2b6d06db61056","datavalue":{"value":"average-case lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963581$7501DD3C-FB09-4F4E-995F-2DB130B35ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"529c922a89f91bf7a35b80f127757706d707238e","datavalue":{"value":"shrinkage","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963581$3216592D-6B48-43A0-8C3B-35BD5E0999CE","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":"Q2963581$2DA79235-AEDE-4B8A-8DD9-47B1E8ACE376","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85bcbc2413915441e613dddba43820875359d54a","datavalue":{"value":{"entity-type":"item","numeric-id":1103591,"id":"Q1103591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$A32CE6E0-00DD-4FFA-B989-CE9CBE8D3E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c81ee2ca0256eec06c7cc1d6395ec3f796ec9064","datavalue":{"value":{"entity-type":"item","numeric-id":5441359,"id":"Q5441359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$B736E1C1-9E45-4AED-9CFF-B7FEAA65C23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7302e37e2f07d9f99f0e23e37df6b4199971fc23","datavalue":{"value":{"entity-type":"item","numeric-id":879611,"id":"Q879611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$00004A11-06F2-4FCA-9F3B-167503E2522B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d6452e54e5e6983bfa6dba10e55824db2fd929","datavalue":{"value":{"entity-type":"item","numeric-id":5814290,"id":"Q5814290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$A9B03D72-D37C-4ACB-9B6F-BCAD06927964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70009dfc8f09fcb3a3435bd0a77374e4e087449a","datavalue":{"value":{"entity-type":"item","numeric-id":2351392,"id":"Q2351392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$61784D91-B95E-424D-9CE7-A7D4CFE8A319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00cc836a98b164028a92037c695fee7444ce2e02","datavalue":{"value":{"entity-type":"item","numeric-id":5757458,"id":"Q5757458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$0E2F60D9-D3C7-470E-9211-8B0E3EBE6A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b13b685ebea75fca73a69c0d8054a0ad9bcc269","datavalue":{"value":{"entity-type":"item","numeric-id":4388862,"id":"Q4388862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$1ECCD868-8D41-4839-9747-6E05B0830C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08dd2cde602af137c52ba4f69c22bcd86e50c081","datavalue":{"value":{"entity-type":"item","numeric-id":5332577,"id":"Q5332577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$1760ADCB-2889-4082-9297-386BBA5FE39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad2a1cdfb01f4ab80ef167fe0e2faa2068c03d8","datavalue":{"value":{"entity-type":"item","numeric-id":5244384,"id":"Q5244384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$3567F6FC-DE64-4983-8678-FEF36E93EB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c6d2f448b6afbbf7878ca0dc26e9b064406ca8","datavalue":{"value":{"entity-type":"item","numeric-id":4696224,"id":"Q4696224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$47A9D6BA-97C5-40BC-A557-1E2E6415E30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e42c9128d887844233caee1df2a5e2ba33f6baa","datavalue":{"value":{"entity-type":"item","numeric-id":642463,"id":"Q642463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$6062FEB7-1320-4EF8-98C3-8E703F86C197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0124f525cd9c4d2930b8464c7e0a287558a3a592","datavalue":{"value":{"entity-type":"item","numeric-id":5629239,"id":"Q5629239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$BEF880EF-E259-42DC-81BE-865394E372CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45dd209926dffada2c198307b6a94ad83b7b0576","datavalue":{"value":{"entity-type":"item","numeric-id":5495787,"id":"Q5495787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$11A9C412-4DB0-4596-9660-3035E2A9A43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc88ad3f5e586e09fb41605d42c5ccdd508e82f","datavalue":{"value":{"entity-type":"item","numeric-id":2963581,"id":"Q2963581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$BD9EFFA9-7008-49B8-BCFA-D455BB095A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a6280db626b7394d33ab8fb49c65f5f25b5c1fc","datavalue":{"value":{"entity-type":"item","numeric-id":5422484,"id":"Q5422484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$3B229072-29A8-4B58-8FEA-5A4B82F2B9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05652188e444fc35e748b68b983451566933e27","datavalue":{"value":{"entity-type":"item","numeric-id":4856179,"id":"Q4856179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$18C2B193-ED8F-448B-BD0A-6D81313C0A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af4f87cf38c71954b63db4f3fc97a1994b3c553","datavalue":{"value":{"entity-type":"item","numeric-id":4696225,"id":"Q4696225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$F01AABC5-31BE-483A-8534-315CFF0293DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44540786a55cfa40dfaa85c784a8a9aa89d58a6","datavalue":{"value":{"entity-type":"item","numeric-id":5365063,"id":"Q5365063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$0E1BDD7E-690C-4C1C-B570-25BC2A220280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0867e5b8e568040593883afe89ddea2141d6360","datavalue":{"value":{"entity-type":"item","numeric-id":3281059,"id":"Q3281059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963581$235AAE12-A6FC-4A8F-985A-A1393D29550F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"237f179204adf78322fcf2e095e877b43ba239ba","datavalue":{"value":"https://doi.org/10.1137/15m1048045","type":"string"},"datatype":"url"},"type":"statement","id":"Q2963581$CD48BFFF-74E7-4C57-B99F-6F4E8CBEC924","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1099fa20f277a33e54ac680aabfa2a64cfeb9d9","datavalue":{"value":"W2585952665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963581$32D3465A-32AB-42BA-B06E-2D45FA3E7099","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4edf83b61b234b0c5998958d03d1f7788ebdaf1a","datavalue":{"value":{"entity-type":"item","numeric-id":5495787,"id":"Q5495787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0a04ee2aca9a9f75f29a0ecc28f0eb6f9c08681","datavalue":{"value":{"amount":"+0.8950747847557068","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":"Q2963581$7095B62B-4752-418F-B58D-93BE8CDB8C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d651b360b4365766b87ca606c6116029521aa2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4696225,"id":"Q4696225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ab67680b45f0dadbbffab8f133f440eb68d1d9","datavalue":{"value":{"amount":"+0.8655000329017639","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":"Q2963581$CA94520D-534C-4418-9912-BFC3E02B39E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"debd37442f3abf05d2c127941cebb5e0e7330d0a","datavalue":{"value":{"entity-type":"item","numeric-id":2922605,"id":"Q2922605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"648a51e9e5bdf47169df39d804d3a7482b7c8bce","datavalue":{"value":{"amount":"+0.8654997944831848","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":"Q2963581$9FC60260-4940-4778-BFC2-A92728EC77A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfea9b89d96319747934788d3e3761423da2c01f","datavalue":{"value":{"entity-type":"item","numeric-id":4388862,"id":"Q4388862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0776b5471dbb41282ec5a6c9c023a7d040bb48d4","datavalue":{"value":{"amount":"+0.850695788860321","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":"Q2963581$54D91078-114E-4065-94DC-023D509AE60B","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":"1f2e552ffcd468be73ae426f3d4715993e9bb9ff","datavalue":{"value":{"amount":"+0.7843241095542908","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":"Q2963581$078EAB2D-46DD-40BA-9305-173D7216AFDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2963581","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2963581"}}}}}