{"entities":{"Q5172728":{"pageid":7202300,"ns":120,"title":"Item:Q5172728","lastrevid":58468206,"modified":"2026-04-05T08:40:34Z","type":"item","id":"Q5172728","labels":{"en":{"language":"en","value":"A constructive proof of the Lov\u00e1sz local lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6397941"}},"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":"Q5172728$F9D4E9D2-83C0-4EAD-9261-AC515BE5A182","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12b55aef1077f5c7bb0f642f232def0d1fe957ca","datavalue":{"value":{"text":"A constructive proof of the Lov\u00e1sz local lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5172728$4C4068CF-98B3-414F-B285-21A7B90A7DFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a7a4d054d9beccdb375f4b98e707d9e92f1ed8b","datavalue":{"value":"1304.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172728$5E95EE72-9816-4E6F-ABA5-A5C3E5412957","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b5648ee5bd161ca9d36a96d8ca95e6c50997d04","datavalue":{"value":"10.1145/1536414.1536462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172728$A9E44A8E-2551-4FC2-9A1F-5E727D74E1D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37a3723e55170041f513474a3619d0e76af9c553","datavalue":{"value":{"entity-type":"item","numeric-id":715079,"id":"Q715079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172728$28F45580-E9F3-4E59-BF2F-759848DE0738","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4cf17a7885487f72df8dc00a49e80c589d70d226","datavalue":{"value":{"entity-type":"item","numeric-id":5172691,"id":"Q5172691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172728$FE16B55B-A56B-4946-968C-4924963DD46D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa47d3e0ba2062e2ce661f751109363b14b792ea","datavalue":{"value":{"time":"+2015-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5172728$2185243A-80BC-4DD0-BF09-91C0AA1B0E72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff8f944acc03a21c1d4178e8d7d5998ab0074523","datavalue":{"value":"https://arxiv.org/abs/0810.4812","type":"string"},"datatype":"url"},"type":"statement","id":"Q5172728$78A4FED4-5005-43AD-91B2-B3614B27A5BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172728$5C7D7C23-5516-4DA0-94FF-33D1B019B0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172728$E01F5029-ADD7-4E11-88D7-B328025886D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172728$DD3B9523-A1A1-43B9-BA30-5A1FD3FB230E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172728$41B9C0EB-3D5F-4342-9F97-F5E6BC958230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172728$A975063C-7A09-48B4-92B6-3744882E1AE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8df4c202c31c5ece3f7f19a00fb6eaa2bce62057","datavalue":{"value":"6397941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172728$517BDE63-F9A7-4B57-9C61-0917CC91B06F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dfd4ad51d2491d28fa0fd3a812e565fc65c700c","datavalue":{"value":"Lov\u00e1sz local lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172728$513FA3D8-89A1-4FE6-9365-37D983E0E049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e15c52c15d10725c11a6c89fb3399a804576f91","datavalue":{"value":"bounded occurrence SAT instances","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172728$1EF92F95-0181-4CB6-8164-D3C3E9C3A65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6b780876d6cd571fe1e41341c135a10b0acf751","datavalue":{"value":"derandomization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172728$DCF5CC8E-7CF9-4C6E-A82E-A84EB00B674E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14cf22409d7e45f20cd01fd77b4370d937232ccd","datavalue":{"value":"hypergraph colouring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172728$45A2312B-6FEC-415D-A734-5A4194E510CD","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":"Q5172728$A8B4CA1A-23E8-4099-8693-0474E1BCA49D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8028434cda286c34f028e694bd1fdd2b40be0797","datavalue":{"value":"W2019883273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172728$EFFADED1-8FDE-44A3-8E47-43587A139ADF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afcd1e5f456bc4e4e92da9a819ce1d653c3ad8c1","datavalue":{"value":{"entity-type":"item","numeric-id":5408761,"id":"Q5408761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7741775453cac3b0983195fc5bfbab2e2f7f0da","datavalue":{"value":{"amount":"+0.9168882966041564","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":"Q5172728$AB9F6EFF-7213-4A74-9659-064DBF45E0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936eca7d4aed794bc0f4dc7fba5ab757c28c4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":5417683,"id":"Q5417683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d057f187c492250b60bafe5915c4ba66b726acb","datavalue":{"value":{"amount":"+0.9147301316261292","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":"Q5172728$9802DBF7-8158-4143-B7FB-C02E1DCE5FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfd7070478abf8780f10827332d4cbbf5e1f228","datavalue":{"value":{"entity-type":"item","numeric-id":690463,"id":"Q690463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de632fcb9d5a2fb297fb65751e66db75a182676","datavalue":{"value":{"amount":"+0.8775691390037537","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":"Q5172728$7CF93203-2F49-4DA4-9462-80F03DAF7613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dcceeb6197bcba609101664dcfaaad9af4a0eed","datavalue":{"value":{"entity-type":"item","numeric-id":3578191,"id":"Q3578191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7074ce95d2babb203ca7c07f4b319d34dcbaff43","datavalue":{"value":{"amount":"+0.8737308382987976","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":"Q5172728$2DA43CEE-F985-43B3-ACE3-7DDEC0437022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff2bc8d8013c904e413198bfd15a86fa5e13811c","datavalue":{"value":{"entity-type":"item","numeric-id":3087948,"id":"Q3087948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26e8c8c390b0a3b1407f1933d4e7f2ec51140f0","datavalue":{"value":{"amount":"+0.8723194003105164","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":"Q5172728$4871C810-BB88-4FDC-B47D-219EF71CE0AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5172728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5172728"}}}}}