{"entities":{"Q106785131":{"pageid":102054625,"ns":0,"title":"Q106785131","lastrevid":1962962133,"modified":"2023-08-28T07:26:31Z","type":"item","id":"Q106785131","labels":{"en":{"language":"en","value":"An exponential lower bound to the size of bounded depth Frege proofs of the Pigeonhole Principle"},"nl":{"language":"nl","value":"An exponential lower bound to the size of bounded depth Frege proofs of the Pigeonhole Principle"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"nb":{"language":"nb","value":"vitenskapelig artikkel"},"pt-br":{"language":"pt-br","value":"artigo cient\u00edfico (publicado na 1995)"},"it":{"language":"it","value":"articolo scientifico"},"eo":{"language":"eo","value":"scienca artikolo"},"tr":{"language":"tr","value":"bilimsel makale"},"gl":{"language":"gl","value":"artigo cient\u00edfico"},"ru":{"language":"ru","value":"\u043d\u0430\u0443\u0447\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f"},"ast":{"language":"ast","value":"art\u00edculu cient\u00edficu"},"ar":{"language":"ar","value":"\u0645\u0642\u0627\u0644\u0629 \u0639\u0644\u0645\u064a\u0629"},"he":{"language":"he","value":"\u05de\u05d0\u05de\u05e8 \u05de\u05d3\u05e2\u05d9"},"ca":{"language":"ca","value":"article cient\u00edfic"},"cs":{"language":"cs","value":"v\u011bdeck\u00fd \u010dl\u00e1nek"},"tg-latn":{"language":"tg-latn","value":"maqolai ilmiy"},"sr":{"language":"sr","value":"\u043d\u0430\u0443\u0447\u043d\u0438 \u0447\u043b\u0430\u043d\u0430\u043a"},"fr":{"language":"fr","value":"article scientifique (publi\u00e9 1995)"},"bn":{"language":"bn","value":"\u09e7\u09ef\u09ef\u09eb-\u098f \u09aa\u09cd\u09b0\u0995\u09be\u09b6\u09bf\u09a4 \u09ac\u09c8\u099c\u09cd\u099e\u09be\u09a8\u09bf\u0995 \u09a8\u09bf\u09ac\u09a8\u09cd\u09a7"},"sq":{"language":"sq","value":"artikull shkencor"},"pt":{"language":"pt","value":"artigo cient\u00edfico (publicado na 1995)"},"en":{"language":"en","value":"scientific article"},"nn":{"language":"nn","value":"vitskapeleg artikkel"},"sv":{"language":"sv","value":"vetenskaplig artikel"},"es":{"language":"es","value":"art\u00edculo cient\u00edfico publicado en 1995"},"ro":{"language":"ro","value":"articol \u0219tiin\u021bific"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f"},"tg-cyrl":{"language":"tg-cyrl","value":"\u043c\u0430\u049b\u043e\u043b\u0430\u0438 \u0438\u043b\u043c\u04e3"},"id":{"language":"id","value":"artikel ilmiah"},"sk":{"language":"sk","value":"vedeck\u00fd \u010dl\u00e1nok"},"de":{"language":"de","value":"wissenschaftlicher Artikel"},"ja":{"language":"ja","value":"1995\u5e74\u306e\u8ad6\u6587"},"ka":{"language":"ka","value":"\u10e1\u10d0\u10db\u10d4\u10ea\u10dc\u10d8\u10d4\u10e0\u10dd \u10e1\u10e2\u10d0\u10e2\u10d8\u10d0"},"hy":{"language":"hy","value":"\u0563\u056b\u057f\u0561\u056f\u0561\u0576 \u0570\u0578\u0564\u057e\u0561\u056e"},"da":{"language":"da","value":"videnskabelig artikel (udgivet 1995)"},"zh-cn":{"language":"zh-cn","value":"1995\u5e74\u5b66\u672f\u6587\u7ae0"},"nan":{"language":"nan","value":"1995 n\u00ee l\u016bn-b\u00fbn"},"zh-hk":{"language":"zh-hk","value":"1995\u5e74\u5b78\u8853\u6587\u7ae0"},"lt":{"language":"lt","value":"mokslinis straipsnis"},"ko":{"language":"ko","value":"1995\ub144 \ub17c\ubb38"},"tg":{"language":"tg","value":"\u043c\u0430\u049b\u043e\u043b\u0430\u0438 \u0438\u043b\u043c\u04e3"},"sr-el":{"language":"sr-el","value":"nau\u010dni \u010dlanak"},"tl":{"language":"tl","value":"artikulong pang-agham"},"el":{"language":"el","value":"\u03b5\u03c0\u03b9\u03c3\u03c4\u03b7\u03bc\u03bf\u03bd\u03b9\u03ba\u03cc \u03ac\u03c1\u03b8\u03c1\u03bf"},"ur":{"language":"ur","value":"\u0633\u0627\u0626\u0646\u0633\u06cc \u0645\u0636\u0645\u0648\u0646"},"zh-tw":{"language":"zh-tw","value":"1995\u5e74\u5b78\u8853\u6587\u7ae0"},"bg":{"language":"bg","value":"\u043d\u0430\u0443\u0447\u043d\u0430 \u0441\u0442\u0430\u0442\u0438\u044f"},"zh":{"language":"zh","value":"1995\u5e74\u5b78\u8853\u6587\u7ae0"},"fi":{"language":"fi","value":"tieteellinen artikkeli"},"vi":{"language":"vi","value":"b\u00e0i b\u00e1o khoa h\u1ecdc"},"fa":{"language":"fa","value":"\u0645\u0642\u0627\u0644\u0647\u0654 \u0639\u0644\u0645\u06cc"},"hu":{"language":"hu","value":"tudom\u00e1nyos cikk"},"zh-my":{"language":"zh-my","value":"1995\u5e74\u5b66\u672f\u6587\u7ae0"},"th":{"language":"th","value":"\u0e1a\u0e17\u0e04\u0e27\u0e32\u0e21\u0e17\u0e32\u0e07\u0e27\u0e34\u0e17\u0e22\u0e32\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c"},"oc":{"language":"oc","value":"article scientific"},"pl":{"language":"pl","value":"artyku\u0142 naukowy"},"zh-mo":{"language":"zh-mo","value":"1995\u5e74\u5b78\u8853\u6587\u7ae0"},"zh-hant":{"language":"zh-hant","value":"1995\u5e74\u5b78\u8853\u6587\u7ae0"},"zh-hans":{"language":"zh-hans","value":"1995\u5e74\u5b66\u672f\u6587\u7ae0"},"yue":{"language":"yue","value":"1995\u5e74\u5b78\u8853\u6587\u7ae0"},"wuu":{"language":"wuu","value":"1995\u5e74\u5b66\u672f\u6587\u7ae0"},"et":{"language":"et","value":"teaduslik artikkel"},"zh-sg":{"language":"zh-sg","value":"1995\u5e74\u5b66\u672f\u6587\u7ae0"},"sr-ec":{"language":"sr-ec","value":"\u043d\u0430\u0443\u0447\u043d\u0438 \u0447\u043b\u0430\u043d\u0430\u043a"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"5a61a2649f027bdc2a91af93ddca0b5737014e7d","datavalue":{"value":"10.1002/RSA.3240070103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q106785131$2ACD6810-3C7F-43DA-BB54-AF9E47E8505D","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q106785131$B9B239CF-C148-4EED-A2B8-72F7AA07CCEF","rank":"normal"}],"P889":[{"mainsnak":{"snaktype":"value","property":"P889","hash":"c0070a46447b24e323495f43a940985f3f527d17","datavalue":{"value":"1346282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q106785131$6F1C4EC4-3A3D-4FAB-8EF8-02A70838232A","rank":"normal"}],"P894":[{"mainsnak":{"snaktype":"value","property":"P894","hash":"cda931a031e2901b4af6026048d95c6b73f1380d","datavalue":{"value":"0843.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q106785131$A4D398B8-4D8D-48B6-8965-15E4F09BA873","rank":"normal"}],"P6366":[{"mainsnak":{"snaktype":"value","property":"P6366","hash":"c81f3706e06931949a37937e2a02173a222f6a2a","datavalue":{"value":"2169713712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q106785131$3AF7B4CF-7CEB-44A3-97B9-01CAB60CFD4A","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"0e231c7d24fc4f011a358126d4ff5f1339dd8d8b","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":"Q106785131$83D494D8-F3BF-4E8D-BA7C-D0456FEBF947","rank":"normal"}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"962ed10012ef254020e2a8c8a6c8ba7647d35a12","datavalue":{"value":"1","type":"string"},"datatype":"string"},"type":"statement","id":"Q106785131$073097E4-EEDD-4665-889A-4920745B1C60","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"2984e936187315d437ba4baf930de1aa9e672f19","datavalue":{"value":"15-39","type":"string"},"datatype":"string"},"type":"statement","id":"Q106785131$BEF7C2BC-68FA-49CD-A420-665853DCD2C4","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"ebae015dda839a12e8926ee3601e5a040bc3775d","datavalue":{"value":"7","type":"string"},"datatype":"string"},"type":"statement","id":"Q106785131$E663C650-714C-459E-97C8-31C0B9E982FF","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"61563a1790af27255032bfce11a254fd6a4068df","datavalue":{"value":{"time":"+1995-08-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":10,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q106785131$E62D2864-E886-45BC-855F-D6436F4EE5E4","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"adede943695d7181c251815fbe981f338ad45ca1","datavalue":{"value":{"entity-type":"item","numeric-id":15759844,"id":"Q15759844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q106785131$6764409E-AA4D-4187-9BF4-DE842FB01771","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"92322b47f0cc7c909ef35c0a9fdca07344786e4f","datavalue":{"value":{"entity-type":"item","numeric-id":62560079,"id":"Q62560079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q106785131$9B944F07-547B-429D-B5D9-9559477E8B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P50","hash":"7818ae77040902c7946fcdac5cb499863bc99212","datavalue":{"value":{"entity-type":"item","numeric-id":79089251,"id":"Q79089251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q106785131$620C8CF0-5697-4E17-AA86-1AA531E0B38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P50","hash":"c2b3d136838ec360520b69cadadd75aa57e52733","datavalue":{"value":{"entity-type":"item","numeric-id":102398406,"id":"Q102398406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q106785131$8F037C90-3921-4C58-8038-75CD970A4C4E","rank":"normal"}],"P6104":[{"mainsnak":{"snaktype":"value","property":"P6104","hash":"a27c5fdb35b42381f12b2a603711e56d98dd77fd","datavalue":{"value":{"entity-type":"item","numeric-id":8487137,"id":"Q8487137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q106785131$7C45FA98-C77F-4FC3-8D62-8CB7B2D180C6","rank":"normal"}]},"sitelinks":{}}}}