{"entities":{"Q4847394":{"pageid":6876974,"ns":120,"title":"Item:Q4847394","lastrevid":41368076,"modified":"2025-04-29T02:23:40Z","type":"item","id":"Q4847394","labels":{"en":{"language":"en","value":"An exponential lower bound to the size of bounded depth frege proofs of the pigeonhole principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 798932"}},"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":"Q4847394$19B4B541-49DC-4C79-8447-FD4C83F711BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af1807583dd702efc6a931b4db2b5b28cda7dfd2","datavalue":{"value":{"text":"An exponential lower bound to the size of bounded depth frege proofs of the pigeonhole principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4847394$493BA7DC-39EE-440B-B8B1-655CFF45290E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbdf495413f18b6212851ab7379c0e56f30c8c5e","datavalue":{"value":"0843.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847394$31F3537B-CE26-4B00-BDDE-F89310642EF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847394$F2F19A20-008A-472C-ADDB-04C0646C7A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847394$D364C668-7732-47B0-9511-4725C540DC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52d585795e88d2823ecbad6678edab4b820cb00f","datavalue":{"value":{"entity-type":"item","numeric-id":696977,"id":"Q696977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847394$549DC901-BF14-49F0-B3C3-25AB94A26686","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b030d1a78cb93972c51b9092a3012141b747eec","datavalue":{"value":{"time":"+1995-11-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":"Q4847394$B86611B2-C941-4247-9B5C-A54FB8883057","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847394$D0AEB0C7-4054-46BD-AF1C-2E39221326F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847394$906CAA42-0C0B-49F2-9A74-9CC86E82AA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847394$DC281D0A-9B67-407C-9DF8-36C7214A95B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847394$5DE0C029-6A33-4F3D-8B13-AD7935F52093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b7275e0d4b526075acce84a242d8537e929bb2d","datavalue":{"value":"60C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847394$62984F31-B680-489B-A98B-6F149DC9482D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f3b6cd05b066f2eae0428d04e5a84de49c1f14c","datavalue":{"value":"798932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847394$41969960-0459-4EFA-97DC-0167536F475E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7edadeef8bb2338ff3a07e14bdbe112375679df2","datavalue":{"value":"proof length","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847394$EF63029A-0BE6-4BB0-90A8-153282373A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"280a5ee3b953dfb98aa881b22099ccf650160936","datavalue":{"value":"depth of proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847394$9D15E289-AF35-48BC-9FE2-ACAE8E845A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f05cc30775d562c7b3d9a01fc10c4a1ee853b175","datavalue":{"value":"probabilistic combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847394$8D68D078-1B73-4A40-8591-FAE2E4363564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847394$003A59D4-5E91-4A2F-A40B-987225E928EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847394$5A43834B-7A7F-4C94-A186-D681729F56C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8cb70894e2a9655efdcbcc7408847d5fa4f57c","datavalue":{"value":"Frege system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4847394$20B00D31-2833-4F41-8863-EFD0749C47D5","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":"Q4847394$59AF4B87-0B0F-49E9-B668-028DC0B03A39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e8b0bb5c5567a6862264f44ed8c8aa702085723","datavalue":{"value":"https://doi.org/10.1002/rsa.3240070103","type":"string"},"datatype":"url"},"type":"statement","id":"Q4847394$10794D80-17A1-47C4-B70C-B212C0CD4919","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ddfe61cfe2341b36b07e3986f71911b8d5f1e4e","datavalue":{"value":"W2169713712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847394$AAA86A2C-8F8E-4267-B757-79AD66F827B7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d50a7eca20ebe51931c730a461d8f19af0fc0299","datavalue":{"value":"Q106785131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847394$A487424A-F7AB-4684-80D5-A44C84ECA73C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847394$733E0634-B843-4B38-B5F1-E93933DC6796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847394$4B082D07-4D96-4AC2-B35C-E0A29A85A951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847394$32D9FB8B-B2C9-49D7-B33C-2858BFDDCA5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1a0f260d3d6fffe4b88945ddf884d5c8ad3d5ea","datavalue":{"value":"10.1002/RSA.3240070103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4847394$C19D479A-6E02-4CE6-8E81-863941C23DC9","rank":"normal"}],"P1643":[{"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":"cfcc4a9f9bf02164c102591e451f79cd275f555e","datavalue":{"value":{"amount":"+0.88394356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4847394$2ACD9186-1072-4680-BF48-605A9C0EE897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d478ac6a9d318401b706fb64dc7d74fb19248e","datavalue":{"value":{"entity-type":"item","numeric-id":687506,"id":"Q687506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cce244b9fd2fcafd11e6ef3fd68899acdd9a602","datavalue":{"value":{"amount":"+0.8742682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4847394$E78CC553-18D4-423A-8060-9393C532A12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e652befa7c235b176c2003d479759743e719a31b","datavalue":{"value":{"entity-type":"item","numeric-id":3194704,"id":"Q3194704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a52cce752343210e22060f1cde476fb675b38e","datavalue":{"value":{"amount":"+0.8716315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4847394$CF4FAE55-095E-4879-8157-3B4FD6D5F2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217ca188c28e2635cf5bccb238de4f5c96411b6b","datavalue":{"value":{"entity-type":"item","numeric-id":1343166,"id":"Q1343166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfac66c7a675eb04831b91321326d4f8b51e19bf","datavalue":{"value":{"amount":"+0.87073207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4847394$265BD33F-ED18-46DA-8DF6-94DD6C58DED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0282f12e0a49fb96f3dac6091f4c54d187b047a0","datavalue":{"value":{"entity-type":"item","numeric-id":1317976,"id":"Q1317976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4049250daa50ad29593e337d95a8db6c11efce0c","datavalue":{"value":{"amount":"+0.8681941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4847394$382DB726-B3CF-420C-A1A2-10B8239F4BB9","rank":"normal"},{"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":"650404b39f8e5b48b62b263c6e62455864be5108","datavalue":{"value":{"amount":"+0.8559276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4847394$62C331F7-EC2D-46CE-94A2-8F2DBA455311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2cccaac9b36deb25402bd0f6ccff787ac830afb","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb6f13c5889dee583140e70a413a196b2faa63d","datavalue":{"value":{"amount":"+0.855447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4847394$3D084064-C36E-4A5A-B7DC-06B2620EC2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ef7516fef19e6ad66dadf2480597f1ae72fc3d","datavalue":{"value":{"entity-type":"item","numeric-id":3081620,"id":"Q3081620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9d137d15430a18a4f264aa650e1d9064727b092","datavalue":{"value":{"amount":"+0.8456025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4847394$9F781892-691C-4EFF-8894-92AD1D93CD8C","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":"c371219396fa58edeb535fa020b1d798bb830ecc","datavalue":{"value":{"amount":"+0.84405375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4847394$2F62980C-02B7-47C0-99CA-80D063E6B3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"578cd776d48d10dab91f5be7d3277c1ff953b403","datavalue":{"value":{"entity-type":"item","numeric-id":2344736,"id":"Q2344736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"627ff22084089428b70df3f0e2594a25dd702313","datavalue":{"value":{"amount":"+0.83998954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4847394$CD2866BD-8C77-4160-A0BA-249A78DC939C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"607ae7f7d11ced7a8909533172911c64cec6dcc4","datavalue":{"value":{"entity-type":"item","numeric-id":6486797,"id":"Q6486797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4847394$92912C6F-CF66-4051-ABA7-4266618FDEAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4847394","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4847394"}}}}}