{"entities":{"Q5259548":{"pageid":7289116,"ns":120,"title":"Item:Q5259548","lastrevid":55932937,"modified":"2026-02-21T06:54:36Z","type":"item","id":"Q5259548","labels":{"en":{"language":"en","value":"A super-polynomial lower bound for regular arithmetic formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6451542"}},"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":"Q5259548$A005360B-69A0-4DEE-8E1A-861A904E24EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08a63e82e9af7692dab9a15ba040ebb613470917","datavalue":{"value":{"text":"A super-polynomial lower bound for regular arithmetic formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5259548$31D9E86D-03EC-41B5-918C-389E002576B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54224e4eb7045beaa49c06cce4df60d11b086a0e","datavalue":{"value":"1315.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259548$6AC825F6-4AB2-443F-B658-67EAB7CC1547","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82aeafea3c1b6152905e76a020f6f5899c6d63f8","datavalue":{"value":"10.1145/2591796.2591847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259548$69CA556A-C2DA-43AB-8D2C-73961DC87C31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78a2f2415fc1ea0c66cb2986c1f74600ee6ceccb","datavalue":{"value":{"entity-type":"item","numeric-id":301525,"id":"Q301525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259548$CA20F6EB-674A-4684-A297-798B13BDD975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4497ddc3b23d0bed398f18099b8ffa4b9a5490","datavalue":{"value":{"entity-type":"item","numeric-id":301526,"id":"Q301526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259548$621546A7-74AD-4688-93E6-BB31C46C2F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80e97589b936f73fa1cfb98e87e5a687eac6e08b","datavalue":{"value":{"entity-type":"item","numeric-id":1947038,"id":"Q1947038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259548$11284C06-E067-45DA-9561-781930196F23","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":"Q5259548$D50663D5-CDE6-4729-9952-30E510263DBC","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":"Q5259548$5FCFB46D-0A25-44FE-B8A2-9BCEA6161C9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259548$C01CD79A-4D70-4D1D-A082-A9476904CD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259548$8C5F8BD9-4013-4FDE-8A60-1EAD411E2B82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04c4bea3e467c7b30d46962394994508c5ae7130","datavalue":{"value":"6451542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259548$948C2374-AE11-413E-BA4F-91F54D73965A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33ac53fcc63cdbcb70f6a6c30e90c7889604e3e0","datavalue":{"value":"VNP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259548$5AB1A542-F80F-4679-BD67-10FB7843A066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9991454881e3e24abc265d411d52546be70fdf70","datavalue":{"value":"VP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259548$2C01BB43-10A4-4D6F-B1E0-D54C022375BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"916f2a5439f7e4b36d4fe8bc533c45ce2dc6fc9f","datavalue":{"value":"arithmetic circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259548$0E87BE09-68FB-416F-98CA-0E3FB2FF6587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12448214170908f08d464d260fd44eb572695b9b","datavalue":{"value":"depth-4 circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259548$2ACBD035-9DBF-418B-8EC6-FD28E15B72A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259548$1E3DF2F2-7834-4F63-A810-54D8C9B01A95","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":"Q5259548$AC99CF93-1F04-4ADD-AF71-9EB0A59125A1","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":"Q5259548$0B118E12-EFF5-4AAD-B772-899101883E8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0759812ded732e35eb83ef68d0eeb8a20675256d","datavalue":{"value":"https://doi.org/10.1145/2591796.2591847","type":"string"},"datatype":"url"},"type":"statement","id":"Q5259548$DDB1E865-0B07-48D7-8571-565914B4E046","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a81745e09d2376e922f2255a394f3d4ea01d9951","datavalue":{"value":"W2069546133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259548$46E550FF-94C7-4ADF-9E4F-F30D4AFAE945","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":"Q5259548$3A270E32-8AA0-4219-AD2E-C896F4B53C52","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":"Q5259548$612B37DA-6FA1-4B26-8275-B715498139EB","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":"Q5259548$A2667607-7D8B-4CB1-B0A2-A6E1B2E7D794","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":"Q5259548$92D58434-5D9B-40DF-B07D-6E240A5939B8","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":"Q5259548$08FD4D9D-593D-4B58-BD20-5BC383BA5E28","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":"Q5259548$3DD4BB02-3A47-4C81-A778-28F5F7C62057","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":"Q5259548$FA2A28CC-5F49-415E-8743-E104F9C936B5","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":"Q5259548$DC6642EB-3A27-47B5-AA98-776E08C13B4C","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":"Q5259548$E0EE0E4A-DAB2-4A91-899B-0B10CF95A53B","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":"Q5259548$44258B81-B52B-44D9-BE6C-C997AB7E8511","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":"Q5259548$53CF5F3B-1DA4-49E2-A096-63338FD871F9","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":"Q5259548$E73EE620-EA01-4B1F-8EB3-01EF1456C732","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":"Q5259548$45D04A28-D931-49C4-AFCA-AA29E8A987FE","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":"Q5259548$DE7661A7-ED81-4C48-9CD2-55F3DB11832A","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":"Q5259548$A363C0D7-57F0-4A52-8DC3-0EE1A7A52FF9","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":"Q5259548$C4E6C764-3769-419E-90C1-37287045C5DF","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":"Q5259548$926D79C2-AA62-4A17-9ABA-4B9CD3ABE7B4","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":"Q5259548$583E5A39-88BA-4A58-B3E8-8AB3EDE66F1D","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":"Q5259548$53459A8D-06AD-4DCD-B705-D30AE8A4E983","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":"Q5259548$62A95882-7FA4-4618-BCE5-F3DD7FE02B04","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":"Q5259548$A3500425-0257-469C-A432-6F240DDBFF19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bbf46a40e6ee996cb26d67c57dcc19c1bf4f84a","datavalue":{"value":{"entity-type":"item","numeric-id":5259545,"id":"Q5259545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c77ccac6b51e089cc276d1d5ce48be7f11c1a728","datavalue":{"value":{"amount":"+0.8065059185028076","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":"Q5259548$E1DDBCFB-790C-43CB-A6F4-15EA191E7DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7e522002bb86747298d212b5d190aeb8dcb496","datavalue":{"value":{"entity-type":"item","numeric-id":5395735,"id":"Q5395735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64ef3b9dd5762b1d0f1dd41f85ebcd3e7f59ece2","datavalue":{"value":{"amount":"+0.8001232147216797","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":"Q5259548$8110E63F-9D0A-401C-B257-2611D2597DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb088d6d5bd51e3b92360d71ea8d9a7442e7312","datavalue":{"value":{"entity-type":"item","numeric-id":2968156,"id":"Q2968156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ac2107e76584731fbdd8c58b2631f7c0f71bd5d","datavalue":{"value":{"amount":"+0.7995091080665588","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":"Q5259548$FE2726BE-B3B4-4752-A6AC-2F620484B993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"379f79e1475911d5a91ff260f7cd538c8e33e980","datavalue":{"value":{"entity-type":"item","numeric-id":2875193,"id":"Q2875193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a7449210b53f648596bd349307bc54c06ed4b7","datavalue":{"value":{"amount":"+0.7993585467338562","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":"Q5259548$88405BBF-7126-47C6-8958-71A53BD99EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e423a6f645254325039891a7ac4b9958acbd9af","datavalue":{"value":{"entity-type":"item","numeric-id":3451754,"id":"Q3451754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b1de7918c53196eb30c1e06a56e5ae8732ad3a7","datavalue":{"value":{"amount":"+0.7856767773628235","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":"Q5259548$E7249C76-593C-48B7-945F-F483A266078A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5259548","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5259548"}}}}}