{"entities":{"Q5145666":{"pageid":7175237,"ns":120,"title":"Item:Q5145666","lastrevid":53912939,"modified":"2026-01-25T22:25:00Z","type":"item","id":"Q5145666","labels":{"en":{"language":"en","value":"The surprising power of constant depth algebraic proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299498"}},"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":"Q5145666$4A143B50-3C48-4056-B2CF-387F70B2377A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcf0f7ac22bcf690e04c43d73a9669806b1e2338","datavalue":{"value":{"text":"The Surprising Power of Constant Depth Algebraic Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145666$1EACBF12-6696-484B-B563-5117006D04B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fa3e0676944e8efa05dec9ec5f8ae064bc2f7d5","datavalue":{"value":"1498.03151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145666$7EBDB88F-B15C-4345-BF04-90FC5DC73B26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a23dcf199ef92fa019af4bbc2cd6c54d809c03e6","datavalue":{"value":"10.1145/3373718.3394754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145666$1E788279-A81E-444C-8EFB-50AD11D41AE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afbdf0b4b75e6a0dfd1ecc76c9480c04f5fced5d","datavalue":{"value":{"entity-type":"item","numeric-id":202088,"id":"Q202088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145666$7080A4A7-26E0-4764-B178-F15FF54335BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcd6fcceb355c64cead61f95ec846d085bd94110","datavalue":{"value":{"entity-type":"item","numeric-id":5145665,"id":"Q5145665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145666$AEB3ED29-510F-4DDF-8410-021121E76DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b40ed6cb099fba5da493703b11839c0af89042","datavalue":{"value":{"entity-type":"item","numeric-id":202089,"id":"Q202089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145666$4ACE7D7C-31F4-43E8-809F-1514B9DB21FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145666$54076C67-3127-43D2-9463-CF4AD7D59A98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145666$5DB9E39A-A8D1-4BE5-A3B9-7FF7E17814AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145666$D911D97C-A126-4F12-BA62-1C3435887203","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d94904bbf79d1a73327c6a0a44c60afff182025f","datavalue":{"value":"7299498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145666$45FB4D98-7FDD-47D3-87CB-76D0D30C6E4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81f1052021b52a3a670670e0d66b3981fa57a93d","datavalue":{"value":"\\(\\mathrm{AC}^0[\\mathrm{p}]\\)-Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145666$54570030-AEEB-4FB4-87C3-679D01CD24D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2e1cdce634c94330d8f6c771015592e86c335a2","datavalue":{"value":"algebraic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145666$1FE67F39-ABBD-4622-8D55-2BE40AA0D7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211f3c345d1c27387d231726f7e79d65298863cc","datavalue":{"value":"polynomial calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145666$2E2A3AFA-F144-4C38-A2FF-1125AAC91F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145666$0EA0EC2D-C0AD-4285-9F6B-E4DDC4D6B0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3367f4ac1325a53515a02f25f5fdf8ffdebb33ef","datavalue":{"value":"bounded depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145666$C1D6ADBF-6B40-4B9F-81F9-8E31DF4813A5","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":"Q5145666$D3B5CA56-062F-4A6A-93DF-A65FC0BCB441","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d140b252c9ba04a8fa3b6dc09b7f518dead6e89","datavalue":{"value":"https://doi.org/10.1145/3373718.3394754","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145666$34255D72-B842-4D3F-8B9B-C92C4DE033FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b301f67db742796a1af3a738a951e3e1ab7aa220","datavalue":{"value":"W3028950990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145666$47D28AD7-471C-4C20-A027-72E198CCDE22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c7c1dccd05c45134ae7633581f809a089e7818","datavalue":{"value":{"entity-type":"item","numeric-id":1377580,"id":"Q1377580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87d5884469a6e06529e471bfdf03654536d65e85","datavalue":{"value":{"amount":"+0.8334905505180359","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":"Q5145666$0BABB9F3-D4D9-4D37-B6FD-63D5700C1D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de25000160749644b5aa741c3522ea36e026fc0a","datavalue":{"value":{"entity-type":"item","numeric-id":1024659,"id":"Q1024659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87d5884469a6e06529e471bfdf03654536d65e85","datavalue":{"value":{"amount":"+0.8334905505180359","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":"Q5145666$3F757DDF-1BC7-4125-8790-BDF5C7E8436B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a71db7b0f6d1d263e0d7ae3afa9d94db29aba7f","datavalue":{"value":{"entity-type":"item","numeric-id":4617974,"id":"Q4617974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ffa8e4c14012063972d84e0aa9ed60c1b4e8f67","datavalue":{"value":{"amount":"+0.8146600127220154","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":"Q5145666$AA51F755-6EB7-4712-BE72-2CEBB18D648C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5fca757ff0b40cb6d44feae636527d30c9e15c8","datavalue":{"value":{"entity-type":"item","numeric-id":4625658,"id":"Q4625658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8668e2a4c422d4650e23bc35ff086251156785b1","datavalue":{"value":{"amount":"+0.8093772530555725","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":"Q5145666$46E4E2F6-B199-4809-A899-7F9BDB155B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff284c1b45b5920d5f515f016243c9855548eed","datavalue":{"value":{"entity-type":"item","numeric-id":1293358,"id":"Q1293358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9fcc040e32984814de785bea54d27d5ee4875dc","datavalue":{"value":{"amount":"+0.8078057765960693","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":"Q5145666$35D69F9A-41E3-47A0-B769-EE3F85EF1BC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145666","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145666"}}}}}