{"entities":{"Q5259555":{"pageid":7289123,"ns":120,"title":"Item:Q5259555","lastrevid":55933054,"modified":"2026-02-21T06:55:33Z","type":"item","id":"Q5259555","labels":{"en":{"language":"en","value":"Toward better formula lower bounds: an information complexity approach to the KRW composition conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6451549"}},"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":"Q5259555$6C28BFA5-6929-4185-92D6-180239D0C1D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8561417a1aa9ef05471f6c3abd61d85af4880628","datavalue":{"value":{"text":"Toward better formula lower bounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5259555$D8656D7C-770D-4252-9641-C27E06C66B1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0700d9068162d163df3d71719a89e89147565b0e","datavalue":{"value":"1315.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259555$F769F9A7-028A-44AC-A907-671B3E6C0F19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a203e479c17179476d7b3479578c01988086f50","datavalue":{"value":"10.1145/2591796.2591856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259555$5E540D95-40E0-43F4-AFF4-02F3EE59F515","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2b888c5ae66c7e274ac2a3d8f8e13e969a8ff05","datavalue":{"value":{"entity-type":"item","numeric-id":2195574,"id":"Q2195574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$745ACCFE-9E2A-485B-BAA3-AC6A0C98EF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb718e8f00034269eb9e287ba3ffe75c1938949c","datavalue":{"value":{"entity-type":"item","numeric-id":260389,"id":"Q260389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$FE726BCC-FCDC-420E-AB86-37D10D7CB145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8db9122a24936742b6393e66997b397618a3e29","datavalue":{"value":{"entity-type":"item","numeric-id":343866,"id":"Q343866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$BCEE8291-3D45-45E9-B84D-DB1037912C4E","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":"Q5259555$44F2E839-A49E-4F86-9E74-EFD26F37F30E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"90ec4024f317cae195318ef8c101c050662582f1","datavalue":{"value":{"entity-type":"item","numeric-id":5259532,"id":"Q5259532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$E03F7F64-A5D5-4A2D-A409-83D6EC1359B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4795efe26ace72ea33e5b50072c8db0e5047722","datavalue":{"value":{"time":"+2015-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5259555$30551FFE-356D-4282-8715-56E4C0E766DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259555$FECAD3F0-7A76-44CA-9EC6-F5FF36063CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4264b8bf260e532ba12469970b36fcaf09f85467","datavalue":{"value":"68P30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259555$2C5290D4-2333-4655-ADCD-E7EB10CBC613","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4820cad36b873da9397c3e385d42b0c1121b5135","datavalue":{"value":"6451549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259555$02C1B7CA-2686-42DF-8263-2EE756336F6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdfcdf00c2b018a9c79f427df1b2783729abb256","datavalue":{"value":"formula complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259555$9699C34D-837E-4940-89C9-8EA717B7A4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba155bb3d869d7e9b195a1a016bb7fb0ab7581a1","datavalue":{"value":"information complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259555$6EB87842-D7E0-4F06-B04A-45C3DF69CAD0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ac11abb31a94cc34ffe427dd7cc4ed6ccb35125b","datavalue":{"value":{"entity-type":"item","numeric-id":23301,"id":"Q23301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$1D098B8B-5F1F-4746-AF62-71736CE2CC98","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":"Q5259555$178A5012-3712-47A8-9945-5BE5751ED4B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1307d47a3c7b22cd066ee10ffe5d810b0dc0a180","datavalue":{"value":"https://doi.org/10.1145/2591796.2591856","type":"string"},"datatype":"url"},"type":"statement","id":"Q5259555$40D6CCC2-EBCE-440C-824A-96F850E09DDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b96a831663a701e72b1bf9ab631ea376157d27da","datavalue":{"value":"W2057918151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259555$9ED32579-A7CB-46DF-9F6B-DAA82C7919E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62d963f0e5317025f26d2cf3089731ff50e17d74","datavalue":{"value":{"entity-type":"item","numeric-id":3408209,"id":"Q3408209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$0A38947B-BEF4-4851-B615-7CF632DB6C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada705c08a3fa5a51391df4f8d77c71c153f971b","datavalue":{"value":{"entity-type":"item","numeric-id":2986862,"id":"Q2986862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$E7F94723-CE5E-47C4-BD95-4078352115C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"491cda9c0671ed616fe70b0edf66ca0bacdde71d","datavalue":{"value":{"entity-type":"item","numeric-id":2851871,"id":"Q2851871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$8B11D780-2519-4F05-8F0E-D86F594B7890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce9cba4f0b4fcc70d22185545065b59abaf868b3","datavalue":{"value":{"entity-type":"item","numeric-id":5302085,"id":"Q5302085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$92EF9C61-12A7-4D67-BDD2-ADE72273B6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228878105b70cfacb6a3afffc96e8ff989c04b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4701165,"id":"Q4701165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$95BAF203-F4DE-406C-A04C-A0D244259E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20ec0cda573a901188aa8569ecffdb06e009c619","datavalue":{"value":{"entity-type":"item","numeric-id":2988893,"id":"Q2988893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$D03DF775-AB53-4421-9290-0D9812C30763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"552e00532019a3a63d5af7d7d1ba10428a8f735d","datavalue":{"value":{"entity-type":"item","numeric-id":2891492,"id":"Q2891492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$02C0A225-BBCE-4FB8-8DB8-E540DBC26588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b538ad7d160116191a54fdb0b3613382cb850b1b","datavalue":{"value":{"entity-type":"item","numeric-id":3593113,"id":"Q3593113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$EDD3CE9D-A8E9-4A47-9B34-1DDABC2D5B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ab1725ca7222c1bc65b4c38cdca79c82a13ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5898359,"id":"Q5898359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$FC5AD553-70AA-4D7D-AD6A-0E49B9B60D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e588221360407e02d64eb6b8828323e9051e12","datavalue":{"value":{"entity-type":"item","numeric-id":3549600,"id":"Q3549600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$86624C7D-C46F-4840-9AA6-4950FC26930F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f946ef4e894b14c54ff5556ade27d4e0111c6fd9","datavalue":{"value":{"entity-type":"item","numeric-id":5172732,"id":"Q5172732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$90356BFE-9447-4F64-8786-B6FCF5BEA020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"935f753c8fac39879c25a19a939ceba64c2a87ba","datavalue":{"value":{"entity-type":"item","numeric-id":2349860,"id":"Q2349860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$F4628C70-AE8A-4CDF-939C-A92C1602614F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0a60dfc5eb94c8c088435a529f20b12f86d2ba5","datavalue":{"value":{"entity-type":"item","numeric-id":5311555,"id":"Q5311555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$9A0B35A3-34C7-4A5E-935A-3A55A6D98A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f50511cf7df799e52cf3f2dfd473f304d686a5da","datavalue":{"value":{"entity-type":"item","numeric-id":3600235,"id":"Q3600235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$00D2688E-B08C-4A0E-9263-5B1E33AF274F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfc7afff12be8b22b52baebca68c46ae8d153304","datavalue":{"value":{"entity-type":"item","numeric-id":2891493,"id":"Q2891493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$AE15A91E-C050-4FDB-8AF3-C0C0DB144021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6009d13ccab93a32fb7dc30554b8235a8f4537b","datavalue":{"value":{"entity-type":"item","numeric-id":2875197,"id":"Q2875197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$A21A8E56-A718-4266-A4C6-47EEEB5260C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05edaff69da6df33930894531798642a9f3bd404","datavalue":{"value":{"entity-type":"item","numeric-id":2875204,"id":"Q2875204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$3F73C352-824C-4B0B-8BC0-B7DA37476DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac876866ff56d7c0168eaebbe9bf546e225835f","datavalue":{"value":{"entity-type":"item","numeric-id":3588444,"id":"Q3588444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$464A858F-1AAE-4829-B42C-C258FB76C37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"170258b8ba2c951eb4a87c91342e9aca8b7a5c4f","datavalue":{"value":{"entity-type":"item","numeric-id":2875203,"id":"Q2875203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$B21BD1DE-0BAC-49F8-90FC-7A55AC469A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ab2df91fcd2aa7b5a233d14c243500abf3bbbd","datavalue":{"value":{"entity-type":"item","numeric-id":2843303,"id":"Q2843303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$B13DC6A5-9A59-48CE-A088-75EC840AC880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b84c8f55a9968333bb6b1c9563711a564201389e","datavalue":{"value":{"entity-type":"item","numeric-id":5495806,"id":"Q5495806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259555$5A1DA7B9-FC06-441F-9310-921EC18131E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef2f27b400400a471e2dd0aef714f3ebcb3cb3ba","datavalue":{"value":{"entity-type":"item","numeric-id":2968148,"id":"Q2968148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9ce77337bb52d7f7ca0acaa361c52bae7817b6c","datavalue":{"value":{"amount":"+0.932833969593048","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":"Q5259555$BB5C5BF0-7360-41DD-B0EC-80A0EE7C4701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bb691f59d1f116321524563fd56880953215b51","datavalue":{"value":{"entity-type":"item","numeric-id":5009544,"id":"Q5009544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4be00b1e9e5976dd1870b58290ee90a2323dbf3","datavalue":{"value":{"amount":"+0.8913189172744751","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":"Q5259555$3316BA82-5BA4-43A4-BDEC-7CEC55062D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1783ac1602249e907f9846465fd68a7b1fa10ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5368737,"id":"Q5368737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffe71e2141a2ae465660274cd2a83883664cdc55","datavalue":{"value":{"amount":"+0.8830782771110535","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":"Q5259555$0203B87A-6961-4B89-9000-83656B6F19E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c497de03c3685dab29a38fe6ad0351df0d3bd8","datavalue":{"value":{"entity-type":"item","numeric-id":1616616,"id":"Q1616616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a404452eae0ed182fe9cb39a0aa800ee33fb8e33","datavalue":{"value":{"amount":"+0.8818506598472595","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":"Q5259555$3DDE68C6-0F5F-4A20-A4EF-05DA96D1684D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1431e08879f270093126b11e499b4bc7508506","datavalue":{"value":{"entity-type":"item","numeric-id":1601024,"id":"Q1601024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"795bfb3f284752d43012730f688459816b982602","datavalue":{"value":{"amount":"+0.8361251354217529","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":"Q5259555$41BF54EE-8149-48B3-BBA5-14D72A164BAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5259555","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5259555"}}}}}