{"entities":{"Q6568359":{"pageid":14179514,"ns":120,"title":"Item:Q6568359","lastrevid":42353638,"modified":"2025-06-12T14:07:16Z","type":"item","id":"Q6568359","labels":{"en":{"language":"en","value":"Nisan-Wigderson generators in proof complexity: new lower bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7877664"}},"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":"Q6568359$AF5E56A0-FAC5-4C55-95B4-FE05A76AF3D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b27927e32bb9bcf2fe4e803c6361bae19468f8c7","datavalue":{"value":{"text":"Nisan-Wigderson generators in proof complexity: new lower bounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6568359$C7835573-7EA1-45CA-A2BE-22077A7E0BB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0be0da6e28d93880cbc639d1c84e853363b9cde","datavalue":{"value":{"entity-type":"item","numeric-id":2074811,"id":"Q2074811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6568359$D48E2003-6F51-4CB7-9AB6-930A5E958456","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6568359$05A09E56-D99D-482F-8A46-E7616E7995A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6568359$DE1E668A-DA91-4915-82C2-3D21F17D2C84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e04fc3d536dfacb6bd5e348e57b21e4c74cdb925","datavalue":{"value":"7877664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6568359$7B1F69DE-9EFA-4017-B860-28972B6A6094","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6568359$D10D3AE9-E219-4772-ABE0-C27C2FB2C861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6568359$40EE81E2-5EF2-4CAD-A498-369A5A153E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"801f9d8b9a2c44dac8a64d6801af496b0cd9bbec","datavalue":{"value":"bounded depth Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q6568359$4DE8C322-7874-4A43-B7CB-F56A4338F06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61b11f77cee607d11d090db8903628a371b40b87","datavalue":{"value":"Nisan-wigderson generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q6568359$6291FE77-0888-4554-AC6B-76B3F7C9B7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094a4c4b135f1ae2b5a83b41dcaeeeed2c55f7e9","datavalue":{"value":"meta-complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6568359$94B6667E-880E-4A85-846A-9AF0F4A71C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q6568359$6D5A48EA-B3D2-4769-8418-EDCC4459B3E1","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":"Q6568359$5BF44F84-F0CB-4ED8-846F-3B5F03B6C215","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ea23050dc099cb4dd15cc8583e7b666e3a4ad56","datavalue":{"value":"10.4230/LIPICS.CCC.2022.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6568359$896F5EC1-60C5-40B0-84F2-34FB8A54B1CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6568359","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6568359"}}}}}