{"entities":{"Q5368766":{"pageid":7398340,"ns":120,"title":"Item:Q5368766","lastrevid":58541517,"modified":"2026-04-05T16:21:32Z","type":"item","id":"Q5368766","labels":{"en":{"language":"en","value":"Proof complexity lower bounds from algebraic circuit complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6789297"}},"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":"Q5368766$C6E82568-0F58-4B17-8687-879BF83892B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64c973671479e7334f55a8e4139235f23f0d032d","datavalue":{"value":"1380.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368766$B055660D-6CE7-4DF7-AD2E-B108C7E59F85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df2818b2e5985ee3ec3527ee35ad6a4603a9b58d","datavalue":{"value":{"entity-type":"item","numeric-id":232998,"id":"Q232998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5368766$1E2FAF20-E276-42AA-8184-0CBD7DA266E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4a6664b25304aa809ac73273551b57c46981097","datavalue":{"value":{"entity-type":"item","numeric-id":642519,"id":"Q642519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5368766$224AE262-12D5-42BB-9174-716AAC933DA5","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":"Q5368766$950798B5-2CEF-499D-AF15-A8CD0CA6F182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12211f2cfb99702feb869713a156f77447dc047d","datavalue":{"value":{"entity-type":"item","numeric-id":1690266,"id":"Q1690266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5368766$B96B4171-7B4C-476E-AC72-15BBEF04F76F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffb8b9712e9833c9efd07973ed7e21575a4bd2af","datavalue":{"value":{"time":"+2017-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5368766$EE1720A0-E408-4C55-A44A-B5A0F070448E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37458bb81bebac760558bdbd16e4694d133ef45a","datavalue":{"value":"https://arxiv.org/abs/1606.05050","type":"string"},"datatype":"url"},"type":"statement","id":"Q5368766$3842CB06-8452-421E-8631-52CD7772B3D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368766$FA4C87A8-8C91-4153-92CB-E95F63E1B8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368766$F004A913-8429-4602-9AF0-1B0596EF39B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368766$29EC2A05-A4F8-4508-AFA8-7195E95CE947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368766$6E9A355B-3F0F-418E-98BD-24BAEA68EEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368766$9ED28F05-886D-4647-8E7C-9B2D7F9346AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9984018c94802c081ebc5edb24829da5c5ad82b4","datavalue":{"value":"6789297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368766$1AE9CA43-8DD4-45A9-9867-E272D8ECEFED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5368766$515B9F3D-B4E4-4969-8C99-D9EA6C8AFEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"010c7d2ed2de24e1d8a535188cc19c40627ba1be","datavalue":{"value":"algebraic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5368766$A761D408-D927-4A1B-AD6C-2D896FF27B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"393ea5959b60028dd155de81a4c97d51567f82f7","datavalue":{"value":"Nullstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q5368766$2F726895-BC23-4B93-BC83-19E189C51499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"347efe8d23f1321fcd4b56c20deb75bd3210c646","datavalue":{"value":"subset-sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q5368766$042D75E8-83C8-4308-AFF5-06A225DEC42A","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":"Q5368766$26EA45D5-D061-452C-9AE9-37247CD439C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b9ed89362c8b6c6cecc35a3775515d2ab1fd4fa","datavalue":{"value":"10.4230/LIPICS.CCC.2016.32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368766$A9623FAD-87DC-40F7-9136-1FCE949DD6AA","rank":"normal"}],"P1643":[{"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":"e849f3cbbf4f5fcf69c04f635a9fbc58e243c517","datavalue":{"value":{"amount":"+0.8268073201179504","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":"Q5368766$444F87F0-2630-44FD-9139-26E67BCBFD86","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":"89e92b425bd8fb317d6cc93b77d4435685d5ae4c","datavalue":{"value":{"amount":"+0.7914456725120544","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":"Q5368766$F60495A2-03B9-4BD3-A920-4B7D0339B4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ea5cf7cb0e23e6cfd1151eb8ebd39ce739b9d","datavalue":{"value":{"entity-type":"item","numeric-id":5145666,"id":"Q5145666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3e879b6c805256ad2fe4248e65f9be238d6c28d","datavalue":{"value":{"amount":"+0.774493932723999","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":"Q5368766$FA9289AD-D1C1-43E5-A176-BC6F059B3F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95eacb479d2773df039c6d33d8beb0a1550f97cb","datavalue":{"value":{"entity-type":"item","numeric-id":4577770,"id":"Q4577770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94662203487633f23ca2a8b060546e75de75e3d8","datavalue":{"value":{"amount":"+0.7716552019119263","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":"Q5368766$D2A47749-1A6C-4516-A140-F48A2779B8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a18c052eca9cdbb0ccfe521094c6c8c7982a82","datavalue":{"value":{"entity-type":"item","numeric-id":2333803,"id":"Q2333803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"319e3baed6203b07411889aa54e25fcc4c27c203","datavalue":{"value":{"amount":"+0.7671099901199341","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":"Q5368766$B4238CFC-DC1D-4A40-8794-4C120ACF1596","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5368766","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5368766"}}}}}