{"entities":{"Q2946607":{"pageid":2957327,"ns":120,"title":"Item:Q2946607","lastrevid":52347170,"modified":"2026-01-22T10:11:26Z","type":"item","id":"Q2946607","labels":{"en":{"language":"en","value":"Lower bounds for bounded depth Frege proofs via Pudl\u00e1k-Buss games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483115"}},"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":"Q2946607$1E91C4FE-D5D2-4498-9F80-960D56E3B9D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e99b0538fc2fdce56fd89cb1159127f65f88671","datavalue":{"value":{"text":"Lower bounds for bounded depth Frege proofs via Pudl\u00e1k-Buss games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946607$FE9A8915-B2FF-497A-859E-881D21559F0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2434cf059903eb4cc8a044178e080f8e01817441","datavalue":{"value":"1352.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946607$E4C87F1C-7C4A-4ECC-A90A-524A12EF4254","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a40f1a3a4ee1131851208d248b26a00c8f37af4","datavalue":{"value":"10.1145/1740582.1740587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946607$169DED88-ABD1-4C8C-A1AB-67ABAB96A4B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dd3094b0d0097c1754f63d55999ed1b4931a5c0","datavalue":{"value":{"entity-type":"item","numeric-id":496302,"id":"Q496302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946607$9ED654CD-EEF9-4F82-95A7-F57FAB1CFF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9abb3f311c74ce5beb8057d468547315cd4c4c8","datavalue":{"value":{"entity-type":"item","numeric-id":210279,"id":"Q210279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946607$7BDD5460-E60F-4B2C-AAD4-B6A5CFD03AF8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946607$5B2FACE1-E75C-4689-8E21-137D524D2E39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946607$E84311B3-177B-4291-B3B6-8937CEE404B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946607$735318AB-A454-4379-B045-6E59FE2F84BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8d58fec5e4fe3a2f4ba34a7ff51b1180760ce43","datavalue":{"value":"6483115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946607$DDC1CD4E-E5ED-4296-9403-4F2DD66A247A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3315f7ae696ba4306ec76c2d09c57d6ec4966735","datavalue":{"value":"Frege proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946607$151794A0-5C07-499C-9062-D2C61D5F1F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946607$C42F2EE6-DC67-427E-A312-722B2D36273C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946607$F989A62B-A965-4E42-9364-834BFF38219B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946607$26095F0C-B75D-41B0-BDAF-D05F2622F5F2","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":"Q2946607$7D2529C8-443B-405A-A00D-9D170296DAD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b41d61b1596d28e90867f08da007b2d3cab933a1","datavalue":{"value":"https://doi.org/10.1145/1740582.1740587","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946607$672272A9-547F-4581-B627-53C653025922","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6596d672839432b2446b26b40213eae4ff5fd8ec","datavalue":{"value":"W1990362734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946607$806FE49D-DED0-4CC6-9B8D-ACD1D8417E78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0b36f4f048ba74d5c86c997359e7b201233c52a","datavalue":{"value":{"entity-type":"item","numeric-id":4651534,"id":"Q4651534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c4e8b505ab56c213f6a0c536d14c87f58a5e31","datavalue":{"value":{"amount":"+0.8513152003288269","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":"Q2946607$52BF6405-87CB-401C-863C-D2C92FF585DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8619ab5791ecf083dffaaaa18e3233c03cbac4","datavalue":{"value":{"entity-type":"item","numeric-id":4847394,"id":"Q4847394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d652cca71a4dca4173b8b2eff764558b0b06d897","datavalue":{"value":{"amount":"+0.8472851514816284","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":"Q2946607$94853568-9A62-4A03-A81D-C1C62DA70F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eda7772d16e6e106d24625359a7baad5dafff220","datavalue":{"value":{"entity-type":"item","numeric-id":2216035,"id":"Q2216035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1beadc886ae6adf4fd71d8fc36c65d5dff054448","datavalue":{"value":{"amount":"+0.846774697303772","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":"Q2946607$F263CF8B-97D7-40ED-A379-18609AB199B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8111f0c19f92dbadfd4732ee48029b08b6bd9bfd","datavalue":{"value":{"entity-type":"item","numeric-id":4027856,"id":"Q4027856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22b2a34bc97999580064c6b851b87f544420378d","datavalue":{"value":{"amount":"+0.8215097784996033","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":"Q2946607$F4DC05AE-3CB5-439A-954D-353D608EDADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccd342851f82092c36d356a3c8af859406901c2","datavalue":{"value":{"entity-type":"item","numeric-id":1374208,"id":"Q1374208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ed44d1f3b967a983a16fd7134d00a0e1d71c7b3","datavalue":{"value":{"amount":"+0.8197005987167358","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":"Q2946607$CA872E3E-2961-4669-BCE7-4A0DF6D62A4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946607","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946607"}}}}}