{"entities":{"Q5501765":{"pageid":7531325,"ns":120,"title":"Item:Q5501765","lastrevid":52325624,"modified":"2026-01-21T11:13:50Z","type":"item","id":"Q5501765","labels":{"en":{"language":"en","value":"Lower bounds for DNF-refutations of a relativized weak pigeonhole principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6472561"}},"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":"Q5501765$37EC368C-CE49-4575-8DBC-23EC32BACBC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"596e57455ab25d79f857abc59c6975872525d76b","datavalue":{"value":{"text":"LOWER BOUNDS FOR DNF-REFUTATIONS OF A RELATIVIZED WEAK PIGEONHOLE PRINCIPLE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5501765$6C40C9B8-7E82-4F56-A48D-C743FE759C6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d093f174280fbf0e882ceecdc207a4f03c639470","datavalue":{"value":"1386.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501765$7441E266-E37C-4DE6-AD59-709A9F28CF8C","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":"Q5501765$3835763F-42BE-448E-9FBF-B5470D9E828B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db0582c8fbfa44d141be19fdff50b7f99a7578d7","datavalue":{"value":{"entity-type":"item","numeric-id":490659,"id":"Q490659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501765$A01E02FB-7890-4C04-ADD4-649169C19B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0e0f3e0e584192bb6b94e67d7eb7d48b0f94b4e","datavalue":{"value":{"entity-type":"item","numeric-id":2453561,"id":"Q2453561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501765$C5479DDB-F2CC-4B75-9AE3-40E16BE9C970","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e707dd4d7213461cc903b9e4b7897b1f5211ea3","datavalue":{"value":{"time":"+2015-08-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":"Q5501765$98F0BBD4-22A6-4C8E-AB21-0671E5DE75AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56d9b2464babc4dc60f55af8e5a78b9c26b64d8d","datavalue":{"value":"http://hdl.handle.net/2117/28085","type":"string"},"datatype":"url"},"type":"statement","id":"Q5501765$2035A679-6BDE-4FAF-A9E6-37CA3B9E025A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501765$4A805920-0F6E-45FC-B3AE-5770815A9850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501765$178663A3-17CA-4CBA-A2E8-72805A39ABE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"741047faee82b4415ff1178d0ad601d3013667cc","datavalue":{"value":"6472561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501765$061AAAC9-A825-4083-B58C-3EC02392BF46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501765$5CFA9755-0B4E-4060-A64E-7C7AB79E9856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501765$D045C4F2-03BD-47BE-96F2-09E647173A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57ca29b7c8101f21f1460dd031a6105ac2bebcf6","datavalue":{"value":"weak pigeonhole principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501765$72472C32-CB9C-4547-BB87-2B43B91F8787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b8a09be57ae85ca4701e8363941e782083b4db","datavalue":{"value":"approximate counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501765$35DFE962-A1A4-42D7-8CD7-38601916B615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aed3f28afa53ef5724016afecbd146a50d98f998","datavalue":{"value":"bounded-depth Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501765$810EF979-6474-4542-BCAD-5ADDDB1BA164","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":"Q5501765$DF8714BA-87A1-4E9A-91BD-976A5E1E6BE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c577dffb03faacb231e3ec00cb3dd91c589befa5","datavalue":{"value":"W2105447726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501765$F9DF1606-3121-49D9-884F-0AC34C634A8E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35436bb15770c3729f0dc2617c19207385c8070e","datavalue":{"value":{"entity-type":"item","numeric-id":626665,"id":"Q626665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501765$B14E39E1-AF93-4645-9EAD-790B65306812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"603f2268f1a94d487aa385cd08739de486a7e5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4651510,"id":"Q4651510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501765$B4D58D74-1EA9-4EDC-980C-298AFEB7353A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd902b6160e42565c7d2c676094d64283d352a8","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501765$1936C8AD-C5BF-4E0C-9159-375FF4BF5843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c124b23e66bda5f6b96b58b4ca724e8f07b76603","datavalue":{"value":{"entity-type":"item","numeric-id":3229522,"id":"Q3229522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501765$C2FB84CE-3267-4789-B201-32E6483A02B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a6a6af974a4419b7b3acbd103c48728b5d4ef1e","datavalue":{"value":{"entity-type":"item","numeric-id":1601038,"id":"Q1601038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501765$ED732797-DEFF-44DD-B691-B8093134CCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"942542645e3b625a22193b61bdb706b1780c1e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2255289,"id":"Q2255289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501765$251E7809-09F0-44FA-8F3B-219FEC3F3BE3","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":"Q5501765$F1279F08-63AE-42D6-847F-97EB492F331B","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":"Q5501765$58F40072-ED08-4039-A46A-ACA22F5EB706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845eaabfed9368451854349c91bbdb46d85b1f07","datavalue":{"value":{"entity-type":"item","numeric-id":4417005,"id":"Q4417005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501765$67BC8FB7-F554-44C4-ADC0-1228A75CB0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcdbe2bfe0d10636cf929d8ea04a35b0746f5915","datavalue":{"value":{"entity-type":"item","numeric-id":687506,"id":"Q687506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501765$6A2DA450-639F-476E-B9F8-7DA956BDA6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5592afdbc278531a8faff3dfe5516c2b3be670a","datavalue":{"value":{"entity-type":"item","numeric-id":2640342,"id":"Q2640342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501765$7C885762-FB17-4A8B-B770-B23D7CE2C8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88cfde3d28bdb7498ab0195cc0775857113fa16a","datavalue":{"value":{"entity-type":"item","numeric-id":1854546,"id":"Q1854546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501765$E2A9E91A-12D2-4BA7-BC4F-DE374DDB3E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e721a886ab92104d29345588e1c4d3ecf64d536","datavalue":{"value":{"entity-type":"item","numeric-id":5501191,"id":"Q5501191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501765$6B33671A-98DF-43B6-B3B5-9B12EB39F6FC","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":"Q5501765$1520B749-056C-4E80-AB14-0C4ECBE33479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b71e0e7824769430c38c7f846d546f26aff58ad","datavalue":{"value":{"entity-type":"item","numeric-id":1404434,"id":"Q1404434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501765$F99F149F-C016-4207-A26A-0072F8DB88E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ae6d04abe7df059da06f311dc2e82866a4c2d26","datavalue":{"value":{"entity-type":"item","numeric-id":4275381,"id":"Q4275381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501765$55DA452E-2147-4FD5-AE06-08ADD5356EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"958793af98490bc63a16562ae90ff9cf1b32d486","datavalue":{"value":{"entity-type":"item","numeric-id":927095,"id":"Q927095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501765$13929010-2559-4717-BA80-DEED78CDCD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eabe219dbe0dc796cd131aa0609897260916109","datavalue":{"value":{"entity-type":"item","numeric-id":5501187,"id":"Q5501187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501765$6CDB535D-A600-4BF2-A9E2-1B8A51473D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e2a2f871e761bb462059a6fbf00bdca7df4c3d","datavalue":{"value":{"entity-type":"item","numeric-id":2757489,"id":"Q2757489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501765$DBA2F08E-16FE-4FC8-939B-BAE1EAD0088C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba38e8b8f35cc91bfd6f9f77a77d04fdd59ef416","datavalue":{"value":{"entity-type":"item","numeric-id":5894824,"id":"Q5894824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501765$58F03699-16E1-470D-9E9F-E2568A11D4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14abad76ad511f1b4aa79c6b56a77737c16aefa0","datavalue":{"value":{"entity-type":"item","numeric-id":4847394,"id":"Q4847394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501765$6E417FD4-FF14-442F-A155-B903791AC075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f420ebf9e7100bad0d1a67b793ed7f4c6fe5492a","datavalue":{"value":{"entity-type":"item","numeric-id":701740,"id":"Q701740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501765$D5CCFFC4-7838-4BE0-AAE1-1C8425AC4D46","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":"Q5501765$D6808366-202A-4CAB-B017-23BDA8B7CDD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e0c658d2556fc26f6fd94de7ac02e1c7ccfad31","datavalue":{"value":"10.1017/JSL.2014.56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501765$05698894-9709-4BBF-845E-DBE775C9A2E3","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":"Q5501765$58A2AF31-8718-44AA-B611-A75BA8FB5097","rank":"normal"}],"P1643":[{"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":"f6b74f6678de9b27919a3f99f0e25e4b31cc399e","datavalue":{"value":{"amount":"+0.8112865686416626","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":"Q5501765$2A8EA99C-67A2-4015-996C-73348BC17B92","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":"655d5026aa9474c9e6e08d9b244d83923b69f48e","datavalue":{"value":{"amount":"+0.8012193441390991","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":"Q5501765$EBDB10BA-E260-4E9E-B94A-AFDBDDC00974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb6ad412a3f718f7044591dc88020bcb5bd979c","datavalue":{"value":{"entity-type":"item","numeric-id":5895202,"id":"Q5895202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5152ebdfe891f5482c4ec570a70220bde5b2d91","datavalue":{"value":{"amount":"+0.785014271736145","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":"Q5501765$D82E9DC7-D999-4692-97D8-E8EDA34DF83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29c3b508bbd46323bd542168fae4542209951028","datavalue":{"value":{"entity-type":"item","numeric-id":2773242,"id":"Q2773242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b4be741d2092377970714818a26decbdc82545","datavalue":{"value":{"amount":"+0.7835851907730103","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":"Q5501765$7F763AB2-6DF2-4E02-833C-572655442D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc926d34953ac6340be0c23a4ae8361ba53ea0c5","datavalue":{"value":{"entity-type":"item","numeric-id":5175989,"id":"Q5175989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01378b82129acc47f63a38458dd7d621bd54da38","datavalue":{"value":{"amount":"+0.7833946347236633","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":"Q5501765$57C425E5-BFD4-428B-9CD2-04AA35D379F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5501765","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5501765"}}}}}