{"entities":{"Q5311724":{"pageid":7341298,"ns":120,"title":"Item:Q5311724","lastrevid":100759880,"modified":"2026-06-05T23:02:33Z","type":"item","id":"Q5311724","labels":{"en":{"language":"en","value":"Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199930"}},"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":"Q5311724$C1419D51-7BA3-4032-B33A-FE7A93E04193","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"929956598d708aec207fcc67147c9e00093f0793","datavalue":{"value":{"text":"Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5311724$E5B3EE6A-C147-4B17-806E-AABB390908A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1dc354b1b1bc2adbfbb6f11da7de1b7e09d4cd69","datavalue":{"value":"1068.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311724$7ED53EA4-A8EB-409D-9530-D9C74D9E0D86","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":"Q5311724$33603631-776E-4B87-A1D1-99DE93096D6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311724$F9744F4E-A1BE-4750-AC16-C0386CAB4229","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bf6b2a1195bceb76e95a6eaf6480b71590f9114","datavalue":{"value":{"time":"+2005-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5311724$6E878F9D-64F2-4074-BD02-1384BA3C318D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311724$90A04CF1-4BFF-4A49-BB85-E6804810C850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311724$B6E6CBCB-0C66-4ECE-B22F-A996514CFEF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8f98182ec3cb45a372dc10f18673cfa109d02bf","datavalue":{"value":"2199930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311724$F43BAB1D-5469-4974-ABAB-0A6FD668F733","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7adb08f73618ed08b7edbcf6cc00609a1c55bfd7","datavalue":{"value":"hard tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311724$03C77C75-3CDC-4FBB-B97B-69D2D45B6DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b24e51e460d663f6ecf18860b761adb8bb29e572","datavalue":{"value":"propositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311724$DBE137DA-7705-49F8-B705-4CBA4AF9CFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"797ca31b1acf5bf389b0a92a7ae49cb449b952fa","datavalue":{"value":"pseudorandom generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311724$B8083103-5437-4F13-AAEC-0B0AE34E0CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ccd5cbe365ba34db03b09056b5b69ac87126bb2","datavalue":{"value":"computational hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311724$D3D8259E-6D47-4EBA-8E86-48AE88F92E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311724$5BCA40CB-3A6D-4EF5-A6E0-D0ABC03D752F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a664a9554c953d7c5e6b60f9d8b449098dcf1231","datavalue":{"value":"circuit lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311724$849C5275-A098-4D23-8A49-E0FA4382A06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ca725f8dc0ee223878b2f92392adf9d958dc571","datavalue":{"value":"Nisan-Wigderson generator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311724$2C3CEF0B-685B-4774-B64D-9D3CD23E9686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f59f2ed0336f82e48c7fa0cdeb275153128a5d6","datavalue":{"value":"input/output ratio","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311724$AB8B278F-F2B9-4D49-82E3-143F1F17D9A0","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":"Q5311724$127895B9-30A9-4ED8-B02A-3DFA06309EEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d4e3e4f6ae57387d655b7c2af474d0fe59bba32","datavalue":{"value":"https://doi.org/10.2178/jsl/1080938841","type":"string"},"datatype":"url"},"type":"statement","id":"Q5311724$40A7C7F3-6C89-4C03-BD87-7DE332030EFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e12c3abd8151428ebbdeeae8284c9d4e4f8d50ff","datavalue":{"value":"W1964394232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311724$69CA9B36-3E5F-48D2-A09A-B27706075C48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b409306bdf364930adcbf624496cede43048b2af","datavalue":{"value":{"entity-type":"item","numeric-id":1337458,"id":"Q1337458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311724$67529690-AF62-4289-9C5F-CAA39E6822ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b936472256c474ab8250b72e7c010873198894","datavalue":{"value":{"entity-type":"item","numeric-id":4206725,"id":"Q4206725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311724$4101F3F3-61AB-47C4-8EDB-33D287930196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311724$9CB9E406-7BC6-4707-A458-2DE9F238626D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fa561ac7459cf3efc368cd16b5bfdab0b68ce1","datavalue":{"value":{"entity-type":"item","numeric-id":1377580,"id":"Q1377580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311724$5F9861BE-97A7-4734-A916-C8A657BBF546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59453e58f7cfaf844d3b63583cdaa54741e69f19","datavalue":{"value":{"entity-type":"item","numeric-id":1383164,"id":"Q1383164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311724$928444F3-38E5-4E06-B2A1-8CBB95F8F6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ef20d70ae4a35d8a1f0191877c0c62d6346fe8","datavalue":{"value":{"entity-type":"item","numeric-id":3997125,"id":"Q3997125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311724$4CC225AE-A5EB-4AD9-BAE4-00CC34165BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f4a86512e0f02bf82877dbb62313fcd7fe9ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311724$ED836ED1-0E29-45AA-9A6F-9A011814A09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90315d4607bfa85e4ef281151392b849bd9de627","datavalue":{"value":{"entity-type":"item","numeric-id":2736584,"id":"Q2736584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311724$DE4CDC54-8D8F-4933-8A4D-40CFD1CC093E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50db42f9199207d4f2b18fa509c632877a00c82","datavalue":{"value":{"entity-type":"item","numeric-id":2773242,"id":"Q2773242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311724$21EF8577-FA70-42AB-B8C1-3C35227CC7F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9566c2af7aeffb380fe62091f19d3696ac61618","datavalue":{"value":"10.2178/JSL/1080938841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311724$E9BAED1C-F46A-437D-86F7-63CDB21914A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dbc5b5ad7f5a26a8070a759022caae77b02211c","datavalue":{"value":{"entity-type":"item","numeric-id":4630802,"id":"Q4630802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c41ea51c1b200ee03d0fc0ce092e2f0b57f5d132","datavalue":{"value":{"amount":"+0.7813493013381958","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":"Q5311724$7339A426-19CD-41FB-BCC6-97752E4EC94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e56f6cc49e8babb67d365ccbe97ecae50ca12879","datavalue":{"value":{"entity-type":"item","numeric-id":2255289,"id":"Q2255289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edadb8ccb02d41e4f0837e2b2928da0571ac7bda","datavalue":{"value":{"amount":"+0.7758330702781677","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":"Q5311724$E22C53EE-CE2F-42FB-8629-76FFC8F0C013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5a0e042b24fe5f31f61b7b6b0d22521e19d98a","datavalue":{"value":{"entity-type":"item","numeric-id":3094358,"id":"Q3094358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"909c93bf786884f13c355730fb027d94d575d1e1","datavalue":{"value":{"amount":"+0.7755315899848938","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":"Q5311724$3E4091C1-2CDF-4A3C-AE35-0CA8FFE1C75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d4fb9568a7bd9b4eebd05bcf19edb58a76ced7","datavalue":{"value":{"entity-type":"item","numeric-id":4651526,"id":"Q4651526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4148b81505471a0bc53cf9a5af42d6e328c0094","datavalue":{"value":{"amount":"+0.7744335532188416","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":"Q5311724$BAF9235E-D45C-4608-9214-6B8078F3183B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9515e734296b772d31e33404ab3ff1965f2ec84e","datavalue":{"value":{"entity-type":"item","numeric-id":5718678,"id":"Q5718678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4769824be0bac48688b160dc89856bc7467a09d3","datavalue":{"value":{"amount":"+0.7493977546691895","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":"Q5311724$4C7CAC8B-FEA7-4DE0-8A55-40EDFD65792C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds","badges":[]}}}}}