{"entities":{"Q1854546":{"pageid":1865288,"ns":120,"title":"Item:Q1854546","lastrevid":73667100,"modified":"2026-04-14T16:50:51Z","type":"item","id":"Q1854546","labels":{"en":{"language":"en","value":"Lower bounds for the weak pigeonhole principle and random formulas beyond resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853275"}},"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":"Q1854546$0C07FA96-46D0-4830-A2B6-E82CBDA28410","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c4e16cb0de33beb5b3f34eb4c62991174dd11f9","datavalue":{"value":{"text":"Lower bounds for the weak pigeonhole principle and random formulas beyond resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854546$1C7FBB2D-AAE8-478D-924F-7CD414ED9FD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdb7d55d27dd0a0dbac10d1dba5128dd3d0d4ed0","datavalue":{"value":"1012.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854546$51C9EFAB-7580-4870-A508-A6E4B02C6002","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"691b2efa6b7a6124eda9dac7addda22440a9eb76","datavalue":{"value":{"entity-type":"item","numeric-id":458459,"id":"Q458459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854546$8963BF1E-C372-459C-B6F1-18FDB9289A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e092db0e8dd3eb069452d08315b921747f610dc1","datavalue":{"value":{"entity-type":"item","numeric-id":360041,"id":"Q360041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854546$38833FA6-61F6-4FBD-98DC-03743E8BDB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5990fc688a0be5bf789cc262f818490a3efa1eef","datavalue":{"value":{"entity-type":"item","numeric-id":1014443,"id":"Q1014443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854546$3BF3C325-A956-4699-A431-2DACEF47F411","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854546$82288634-917A-40D6-B6C7-9DC2F6D64410","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854546$FEC62760-459C-4261-B738-37A03FFBE662","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0c586e948a921396acee5ba2144528d46a7f29e","datavalue":{"value":"https://semanticscholar.org/paper/3dba7df9fea3bc9f7f89d6d2c124ef467de7894a","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854546$347B9795-9C16-46BB-9F52-B7EAFE891B44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854546$883CA263-5806-4E42-B6CC-C80B2CA0BCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854546$E4114A09-6F48-449B-A0F9-6AFB3CF18571","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f56b5e2744363ddd8d9c2ad5a1d8241779619a91","datavalue":{"value":"1853275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854546$A6CFEE1B-B79D-4267-AFD3-165853E00023","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":"Q1854546$FB9532A2-E7B3-4F26-ABAE-1E82D0B3B07F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b40c66f0748e21e2db2525b13aa7419065fc1df","datavalue":{"value":"W2041857712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854546$B983C6B4-63A2-4C05-B2D4-067D11A69C92","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"656d5cb78b4a18739dd00ffcdd5277039618e5f1","datavalue":{"value":"Q60512223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854546$0BA4938F-E97D-4FEE-839C-B987D87D1F2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ca04c59b1468ff9eb03a30febcf55d98359908","datavalue":{"value":{"entity-type":"item","numeric-id":1094870,"id":"Q1094870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854546$DFF39374-3E9E-41CF-AC1B-508CC9379B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab04f4868b4dbd099b852dcf8087a1d8d0be3253","datavalue":{"value":{"entity-type":"item","numeric-id":2784492,"id":"Q2784492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854546$AC00017A-E3EA-4DE3-979B-0B2643AECEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b529296035947435eb136154e374f9657d895b","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854546$BCEB6AAA-5ABD-485A-890D-2EB0720BA0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"860324093565e49f158e642dce5b074981e46dc0","datavalue":{"value":{"entity-type":"item","numeric-id":4372903,"id":"Q4372903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854546$1B03BC86-CFB4-4FA7-AC64-0396B6951220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c19bada21e08e27b656eb12e6e9fa9312ff6eaa4","datavalue":{"value":{"entity-type":"item","numeric-id":4218929,"id":"Q4218929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854546$1F61640D-6FD8-4EF0-99A8-725D270FB0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f31cbeafb74eb2331031a6d2305fa02411af3e7","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854546$F56A7D5D-4332-482D-BB05-8628F820D37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5035ead90ebf2e92af4cb88fdfc91c7dfa88c06a","datavalue":{"value":{"entity-type":"item","numeric-id":920967,"id":"Q920967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854546$D84AF961-82A1-4034-B1A3-DCD78C2A43A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854546$FC24A2F7-6820-4A98-A793-B5BBF962D8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e82f378645b1b9d2cb51da2d39e946c18e4b4b","datavalue":{"value":{"entity-type":"item","numeric-id":3956129,"id":"Q3956129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854546$137E58AF-DF40-49CB-9606-FD29D161B1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854546$81F6CFA1-DA1E-4476-9C9C-35934468A71B","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":"Q1854546$7712C747-61B9-4FDF-8BD7-F8DDB2AC55A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb15ffc64c0d9e79c2abd80160f1f8958c72b5f5","datavalue":{"value":{"entity-type":"item","numeric-id":5895202,"id":"Q5895202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854546$13871280-A677-479B-B35A-41DFE866E62A","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":"Q1854546$8F712F50-F8AC-466D-8CB9-72C64AB02C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8193d7c4b476fe8a410bad3ae820cd367ab9f75f","datavalue":{"value":{"entity-type":"item","numeric-id":5175989,"id":"Q5175989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854546$AEEA9409-369F-499F-87B0-A24FE5BE1372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854546$9D1E2B85-4E1B-492C-A335-9AAE9765D0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16bace0c2b02e230ca55226bb5bf944706910d6a","datavalue":{"value":{"entity-type":"item","numeric-id":3579188,"id":"Q3579188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854546$9F45ABFB-B01D-482E-93DC-DA86FE48A49A","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"c7aa40ef79df5dd30056295ac6b9079371072137","datavalue":{"value":"journals/iandc/AtseriasBE02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854546$35F69F09-A297-4B53-A014-9EBB3CD646BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"143b38843b93b3ca657887bb00dc50dbc6bd069b","datavalue":{"value":"10.1006/INCO.2002.3114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854546$B056DE74-3022-4652-8BFC-F3E5099F4967","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cd375b64bc46aa9a5f67605fbd5c62ae96cbcdf","datavalue":{"value":{"entity-type":"item","numeric-id":4535079,"id":"Q4535079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0452e6b28b1e9e9113aa9e2be1301877c6a9f593","datavalue":{"value":{"amount":"+0.9795665144920348","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":"Q1854546$D72C3A7F-E247-4C2E-B8B8-888A8E28F237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80adba55132ad81c69da414cbebaa257ccfb28de","datavalue":{"value":{"entity-type":"item","numeric-id":5501187,"id":"Q5501187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce5e5d8177536a0fcb6d2344f732e6f807ca2c1e","datavalue":{"value":{"amount":"+0.8643946051597595","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":"Q1854546$6E8BD959-990E-4EB7-B5EB-6711A1DD8C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a313ae0355a151e08b3e949539235d6f5e8d4fa","datavalue":{"value":{"entity-type":"item","numeric-id":4218929,"id":"Q4218929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae79c21bf3dd23deffb7907b3671cfa6946290af","datavalue":{"value":{"amount":"+0.8483133316040039","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":"Q1854546$E396AB68-C3E9-4119-B5F9-29C387584348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69cf90495e95ccafed6b110166466fb6ca23310d","datavalue":{"value":{"entity-type":"item","numeric-id":1401365,"id":"Q1401365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a3ec71fe9c4c448ef47aacd90af5a7df56ae81","datavalue":{"value":{"amount":"+0.8229727745056152","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":"Q1854546$BE5C5BE0-F41A-4CCB-9D80-7D91C67A4153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920457f19cccdcc190f02a78940b201d37b13ad8","datavalue":{"value":{"entity-type":"item","numeric-id":4549235,"id":"Q4549235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3495c99733d21a56035b91b18e25ecff12ad7a93","datavalue":{"value":{"amount":"+0.8216962218284607","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":"Q1854546$EC7A9296-BAD4-45E1-B3D5-D1CAA0B320A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lower bounds for the weak pigeonhole principle and random formulas beyond resolution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lower_bounds_for_the_weak_pigeonhole_principle_and_random_formulas_beyond_resolution"}}}}}