{"entities":{"Q1366732":{"pageid":1377472,"ns":120,"title":"Item:Q1366732","lastrevid":67256817,"modified":"2026-04-12T16:25:07Z","type":"item","id":"Q1366732","labels":{"en":{"language":"en","value":"Revisit the Lov\u00e1sz local lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1061818"}},"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":"Q1366732$875A2041-8C78-4123-A2A4-C6A5FBF6B10A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0f79b4ae9e640ca4411d2bf367bfb751fccf510","datavalue":{"value":{"text":"Revisit the Lov\u00e1sz local lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1366732$96DCA362-0BF9-47C2-921B-128FF95DC07E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"024cabf1816fb184239c22d66874b79c2df7c8cc","datavalue":{"value":"0883.60015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366732$450A8760-2359-4FE6-B8AC-DDAA361E5C1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5523ddf19d5d12c7e5ebf837a4675e9c33d1123","datavalue":{"value":"10.1023/A:1022661929831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366732$2010049F-2860-4BCB-9855-ED37A0578345","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fcffd15cd9e9f00f33ae780cd54578ef70fe2a5","datavalue":{"value":{"entity-type":"item","numeric-id":801377,"id":"Q801377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1366732$EC7D0D29-E9EA-4870-BBF3-DBF92FF05844","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0767dbe907f2b468d0869434c8ff22ebf5cc56e0","datavalue":{"value":{"entity-type":"item","numeric-id":189069,"id":"Q189069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1366732$8C042AF2-CC93-447E-9BF0-65C0F5AF79DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8141be5ff2c11eb27edb64ba8665d0c363a5621b","datavalue":{"value":{"time":"+1998-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1366732$B4790027-346C-424E-974E-A5342183B14A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e77aa5717a9ab520c5d78f820805c1919f70530c","datavalue":{"value":"Let \\(A_1,A_2,\\dots,A_n\\) be events on a given probability space. Let \\(G= (H,D)\\), \\(H=\\{1,2,\\dots,n\\}\\), be a graph and assume that if \\((i,j)\\not\\in D\\), then \\(A_i\\) and \\(A_j\\) are independent. Under very complicated conditions on \\(P(A_j)\\), \\(1\\leq j\\leq n\\), the author establishes a lower bound on \\(u=P\\left(\\bigcap^n_{j=1} A^0_j\\right)\\) with the aim of obtaining sufficient conditions for \\(u>0\\). The theorems discussed are not always applicable because of the conditions on \\(P(A_j)\\). However, the Kounias form of a second degree Bonferroni-type bound  \\[ u\\geq 1-\\sum^n_{j= 1}P(A_j)+ \\sum_{\\substack{ 1\\leq j\\leq n\\\\ i\\neq j}} P(A_i\\cap A_j)\\geq 1-\\sum^n_{j=1} P(A_j)+ P(A_i) \\sum_{\\substack{ 1\\leq j\\leq n\\\\ (i,j)\\not\\in D}} P(A_j) \\]  is not only always applicable, whatever the \\(P(A_j)\\), but gives superior bounds to those discussed in the paper, and certainly \\(u>0\\) easily follows for all examples of the paper. The classical Bonferroni bound \\(u\\geq 1-\\sum^n_{j= 1}P(A_j)\\), mentioned in the paper, is clearly inadequate for utilizing independence. For the cited Bonferroni-type bound see [the reviewer and \\textit{I. Simonelli}, ``Bonferroni-type inequalities with applications'' (1996; Zbl 0869.60014)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366732$C9970ADF-2B34-4FF8-B67F-9BBA777966CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fedc54d041dbaf3922f156ba09e5514c44ab5169","datavalue":{"value":"60E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366732$64C059AA-6D85-4D12-BAAD-B03D4FB6D285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b7275e0d4b526075acce84a242d8537e929bb2d","datavalue":{"value":"60C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366732$DA8E3265-E23C-4ED3-B853-00732C9AC785","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"094a2857ea9f89f897958e5f8ee34d92fa03b121","datavalue":{"value":"1061818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366732$881971CB-306F-4570-A9B1-4FBF3C4B1E0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"136e5e599aef8af313dc2ec68fbc6486d96c3e45","datavalue":{"value":"finite number of events","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366732$ECFB5B0D-C357-415B-8280-4D91442CBDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366732$2E319781-DF51-4797-8A62-30C06DC4A265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e895167ea6eebedb4f3b732db4f4f25e4251b2dd","datavalue":{"value":"probability of intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366732$FE4715B5-2B1C-42DB-B736-748624B337BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0c4763f3393c5060e1a5e54d027a9a83f2c1fbf","datavalue":{"value":"Bonferroni-type inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366732$20F1D10E-CF32-4B4A-885B-B4447736CBB5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6529d42c1667159000b44046e7b880a82249a5a7","datavalue":{"value":{"entity-type":"item","numeric-id":1053377,"id":"Q1053377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1366732$FFD2FF11-DA44-4097-8797-25911018AC44","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":"Q1366732$8EE333BA-687B-4A63-867C-C62BABF0378E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4732e5d0035afd8cf3ab88341189fcde648b76be","datavalue":{"value":"https://doi.org/10.1023/a:1022661929831","type":"string"},"datatype":"url"},"type":"statement","id":"Q1366732$DE42EE87-CCC8-41A0-8476-D040EAA82E93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56e9b5829c9854486f0d756703165f14966d776a","datavalue":{"value":"W2338727909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366732$91FAC79B-5B68-42F3-A664-56ACFA9374DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b591aa81262467235b41746e8de583c5dfbe892","datavalue":{"value":{"entity-type":"item","numeric-id":4428260,"id":"Q4428260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55c55d0b276288b11643bcc17211c6d54e679543","datavalue":{"value":{"amount":"+0.79984426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1366732$66CBBFF9-07E0-4E91-AFA4-4A2806B632AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9315a01a818dc8dbc422fbe9006bc57b8892cb61","datavalue":{"value":{"entity-type":"item","numeric-id":6161295,"id":"Q6161295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de6532adad6f5b92052717fb8f5fe1a80d92d0bd","datavalue":{"value":{"amount":"+0.786384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1366732$C0400AD7-9397-4683-AFFA-1A722BACE345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"736660dcfffe72d708f77cd1fc75087443ba5ff1","datavalue":{"value":{"entity-type":"item","numeric-id":2416950,"id":"Q2416950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87ac3dedeb6ff0855a4613e1d014714e3f6d7ded","datavalue":{"value":{"amount":"+0.77415025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1366732$C9F268E9-1DBF-4209-97A9-FEEE0781165A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08f40b582e81d843665c84a7d26702e1ba37ef94","datavalue":{"value":{"entity-type":"item","numeric-id":1823263,"id":"Q1823263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c11171facf0c78094b5a76d8b3d188db8340e3","datavalue":{"value":{"amount":"+0.7667638","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1366732$4EB246B4-6BF1-402E-B06D-43F6CA864DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e0d460e1234a03cde0e92a72843b0522feefe8","datavalue":{"value":{"entity-type":"item","numeric-id":923109,"id":"Q923109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b4d2db071012fb2a71bd40033656c2ee606174","datavalue":{"value":{"amount":"+0.76275146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1366732$898BE828-7A81-42FA-903E-EF99225C45AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11fefca8d22e97c9b621d3947681d129623886fc","datavalue":{"value":{"entity-type":"item","numeric-id":743043,"id":"Q743043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6a0dd7b75d6c300917b6e7042e12596faddfdcf","datavalue":{"value":{"amount":"+0.7594489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1366732$383E2886-BDC9-49A9-852D-0A94E04D4B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"822ef7b0377fb1a534419b00e82417fe4c48bdfb","datavalue":{"value":{"entity-type":"item","numeric-id":1946229,"id":"Q1946229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afce9dab8b48403580a6487800de3f3099406ccd","datavalue":{"value":{"amount":"+0.7574315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1366732$B8FF23E1-CAF6-44A2-AC9F-411E51608D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70e8ad64b68f3c52980c18e37b839b8c8470bc25","datavalue":{"value":{"entity-type":"item","numeric-id":4819243,"id":"Q4819243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b4e116ef17326c38f9d096a5693d5a08ae8a7c6","datavalue":{"value":{"amount":"+0.7502813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1366732$27BDE616-7CB0-49C1-9466-18A2AD3EF1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78417d091dfa86b01cdb6420b3962ec4da6b1dc4","datavalue":{"value":{"entity-type":"item","numeric-id":2768401,"id":"Q2768401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b767cfb4c0c61f2234aa8d0425d0320bbabb99","datavalue":{"value":{"amount":"+0.7479906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1366732$7E21E975-CC68-4813-84E2-585A0CE940ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Revisit the Lov\u00e1sz local lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Revisit_the_Lov%C3%A1sz_local_lemma"}}}}}