{"entities":{"Q690463":{"pageid":692312,"ns":120,"title":"Item:Q690463","lastrevid":51603515,"modified":"2026-01-19T00:56:59Z","type":"item","id":"Q690463","labels":{"en":{"language":"en","value":"A Kolmogorov complexity proof of the Lov\u00e1sz local lemma for satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6110689"}},"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":"Q690463$1BBD6F01-3EBA-4ECD-8801-58B8BD24DB4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32465feca4ab79315d2715128ad46b9ec15ea18f","datavalue":{"value":{"text":"A Kolmogorov complexity proof of the Lov\u00e1sz local lemma for satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q690463$9E10B0E4-751B-490E-A5C0-CBD03187715D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5545949fb2e52c4600dde306fff306fd0091d810","datavalue":{"value":"1283.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690463$40C2855B-62D9-454F-9446-16D26FF6B52E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25faaff3fe66b80bb11ad870b71eb139863bc0a0","datavalue":{"value":{"entity-type":"item","numeric-id":690462,"id":"Q690462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690463$EC91B30E-6616-41EC-9A81-747247597781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87145c4b0ea14a3f1935e728ddf5825e0127466d","datavalue":{"value":{"entity-type":"item","numeric-id":503454,"id":"Q503454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690463$BD7564C4-EA34-4CF3-B49F-B5801050D574","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690463$F43596D2-011D-402F-9B56-8815EE6D1CFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95e36ecb600c934bbc19d79b7ffc96af390338f1","datavalue":{"value":{"time":"+2012-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q690463$81484551-F59D-4EBE-A4FC-908AE86000C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690463$7C42B7D0-F034-4420-B8B1-11C270A63CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690463$72DB57D3-8F14-4D95-8739-B4D9D02A60D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690463$F13D02A8-C9C7-41DD-8AFE-F532701FD9F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75807bca35897914a38567eaa5743df753465358","datavalue":{"value":"6110689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690463$454FFAB7-5750-4106-9B84-C58502189032","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dfd4ad51d2491d28fa0fd3a812e565fc65c700c","datavalue":{"value":"Lov\u00e1sz local lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q690463$068D82ED-09D4-4D49-B9AC-F872FA5EC88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q690463$C535DAB9-5F76-4303-93D9-F4FC0AE935B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e343c0d066d632a0b869d2dadad72cc8a3999e1","datavalue":{"value":"Kolmogorov complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q690463$E5FA5BDC-4FF3-4171-9FB2-D6076386E1AC","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":"Q690463$C896C15C-99D6-438F-B19F-2D8CD9D2BA85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb80972006edee860f24a89fbdd954b0253386b7","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.06.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q690463$C1BE1A7A-2224-4087-9F2A-5E043E900ADB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6355105ec1452c66db974da93405bf6f5dd86273","datavalue":{"value":"W1998096192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690463$9824CF86-4285-4338-883A-12AF03A12860","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3e5dfb9436eef751b23a8bb039b8a4fc58b96da8","datavalue":{"value":"Q125052742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690463$F04D5A70-78D8-410D-B381-E973EC3052EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98398ceceaf7acf358398f01c8692c94ae4b9944","datavalue":{"value":{"entity-type":"item","numeric-id":3986106,"id":"Q3986106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690463$A09A866C-016C-4C67-94D6-2F6649B7B43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4799e5a32c687eea79d573479ff8c58240f3cb62","datavalue":{"value":{"entity-type":"item","numeric-id":4004078,"id":"Q4004078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690463$0552621F-6CA8-41EE-B6D7-B87F41AF5299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eea8108228a3fb03cd6914491ae57fb9168aef1f","datavalue":{"value":{"entity-type":"item","numeric-id":3986105,"id":"Q3986105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690463$F0A1F5CC-29D6-4726-8136-76E23A9453C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33a76e72aae88eeeb39a9e16d533b6f909d27a31","datavalue":{"value":{"entity-type":"item","numeric-id":4806962,"id":"Q4806962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690463$72C329A9-F917-4EE0-B8CC-1FDA84081D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a59347f73363b99fbc0fc253b8806d6552a0453","datavalue":{"value":{"entity-type":"item","numeric-id":4074927,"id":"Q4074927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690463$B6F72D83-6460-4305-B5EE-EE13C764A84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a118f4c4372e51856c754957bd9b998c241312b","datavalue":{"value":{"entity-type":"item","numeric-id":753819,"id":"Q753819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690463$78FB59FB-AD5A-4BAA-8ACD-9E25BD321A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903c9529ccc161ccca216fb234f4573f9980e764","datavalue":{"value":{"entity-type":"item","numeric-id":3639289,"id":"Q3639289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690463$7E116EFE-7C01-4D0E-9386-11C8CA252148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e11a85742be99e9b6c28b13323c1e2fdadc9dd70","datavalue":{"value":{"entity-type":"item","numeric-id":3644712,"id":"Q3644712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690463$1D6E37BF-E633-4FAB-9081-A16A45F0B67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1093b3cebce1187f4c0ad54b1030a326683bc9b7","datavalue":{"value":{"entity-type":"item","numeric-id":5365071,"id":"Q5365071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690463$AD71D6D7-0CFF-443E-B600-35CC1523314F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd78fd7539746ce39fface229dfdce943e7717ba","datavalue":{"value":{"entity-type":"item","numeric-id":4320535,"id":"Q4320535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690463$B3057DAF-EC93-4396-AACD-46A288DC2B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad1299f57f214c4c9659c7db19e25c6d0461799","datavalue":{"value":{"entity-type":"item","numeric-id":5900062,"id":"Q5900062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690463$69D27AAC-08E9-4E0E-9E11-4C6D0CDA57D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9718c8082b1944980e11d46a26f5f5c2b2375317","datavalue":{"value":{"entity-type":"item","numeric-id":1356486,"id":"Q1356486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690463$13DD0981-36AB-45E9-86E6-5671592E5211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d06f971812093fe6317243e078dd346e71338f6","datavalue":{"value":{"entity-type":"item","numeric-id":3578191,"id":"Q3578191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690463$2DDF3634-B1C3-4470-8A90-D04F04898EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4afd6af18f6b3e851b76214fa76a694c5f4b58bc","datavalue":{"value":{"entity-type":"item","numeric-id":5172728,"id":"Q5172728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690463$4FE365F5-76A0-44FF-BB51-8A7E2ADE49B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f5bcbc3a1bfac5800e53c1a5b8b6110ae0a1038","datavalue":{"value":{"entity-type":"item","numeric-id":2756798,"id":"Q2756798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690463$8B119F4B-C318-4D5F-87C8-7C6D738A27BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c70a12ca3ff5889b40c73f59ae18188c0482a987","datavalue":{"value":{"entity-type":"item","numeric-id":1072210,"id":"Q1072210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690463$51813CB9-52C3-43B0-9600-DDD337B8730B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42f21add934df3a015e9680036d952c5d644de27","datavalue":{"value":{"entity-type":"item","numeric-id":1245976,"id":"Q1245976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690463$6BA6ABB4-3FD7-4A4A-B0A4-60097DFB7426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af409c247ad480d98991bc0999f11fecd7755652","datavalue":{"value":{"entity-type":"item","numeric-id":3579374,"id":"Q3579374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690463$4329321D-866B-4786-9838-1FED414F569F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8933ddccf5b4389c405c5183d9a86a86649e247c","datavalue":{"value":"10.1016/J.TCS.2012.06.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690463$17EBCF20-FAAF-49D8-9604-7BF8F68494BA","rank":"normal"}],"P1643":[{"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":"9ab1779312148daba55fe7c6d469f3677387d17c","datavalue":{"value":{"amount":"+0.9789633750915528","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":"Q690463$1BB62B0A-F585-4948-B13B-70F46F3A14E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3399ec7c4fc852c4b37e2d0443a8ec6b83c65c9","datavalue":{"value":{"entity-type":"item","numeric-id":5172728,"id":"Q5172728"},"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":"Q690463$665B9E62-4752-4BD1-8E8A-DE463097507C","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":"3ba646012f6006760e9b41b1c66565f2b00026dc","datavalue":{"value":{"amount":"+0.8262593150138855","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":"Q690463$33D63B7A-5087-4A3B-8F85-134A610696CD","rank":"normal"},{"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":"2db59a6d9ec2ac46f8a04e75d61bfa11f0ecb178","datavalue":{"value":{"amount":"+0.8248046636581421","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":"Q690463$E937F005-F184-408A-B48C-9134EF430E05","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":"8a5f4b72aa01cc05b9493d3fa212db53f1f71b14","datavalue":{"value":{"amount":"+0.8232062458992004","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":"Q690463$7AA400C6-EBEB-47FA-8D50-F3044A4DDD84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:690463","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:690463"}}}}}