{"entities":{"Q3087948":{"pageid":3098663,"ns":120,"title":"Item:Q3087948","lastrevid":51317471,"modified":"2026-01-17T17:56:05Z","type":"item","id":"Q3087948","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 5940007"}},"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":"Q3087948$8AD30306-9B93-470A-B072-3F14D8D23EDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32eb56233a7c1653beabce2a6fa33f7689c28d3b","datavalue":{"value":{"text":"A Kolmogorov Complexity Proof of the Lov\u00e1sz Local Lemma for Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3087948$54A8B79E-CC61-42E6-970A-A7EC188677B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e267c31e259435a8226eb2d74430429fd95e4809","datavalue":{"value":"1353.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087948$A9D63393-DCF6-426F-A435-56C83EF203C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"766c472e8e8bf57bb676852ab45619b56ff1aeb5","datavalue":{"value":"10.1007/978-3-642-22685-4_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087948$5B63986F-6F38-4C13-8E8E-10057B85BEF9","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":"Q3087948$5817A9E6-7885-4170-B8EB-C88D05DE2CF0","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":"Q3087948$4544C676-DD82-406A-A962-18E4E32C42C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087948$A1058433-96F4-465A-A6B1-E323EF5F4FCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3087948$DAE64CF3-689E-48A8-B158-085C6D4416AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087948$FA2F352E-129A-4FCD-8496-D84ECFC9689D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b7275e0d4b526075acce84a242d8537e929bb2d","datavalue":{"value":"60C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087948$9C3A656A-5526-475F-9536-56941F1DBEA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"154b03749d43b43e20928ccf92696d8a9bd318a2","datavalue":{"value":"5940007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087948$205B726C-7E61-4B29-A3C5-83E96228FFC9","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":"Q3087948$7E542FBF-D9EF-47D8-BECE-9BE8011244D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"417d1281f3133f3b6b1fec1eb870199113947c7e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22685-4_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3087948$22F3BDFA-CFD2-4687-8447-3559E5F0590B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de04157676b0f700e3f8b79d07c17e2d79afb6b2","datavalue":{"value":"W151625577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087948$AF64F529-1F25-470F-BFF6-4A17D9B9C1CC","rank":"normal"}],"P1643":[{"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":"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":"Q3087948$889FD0AC-0192-44B7-B9FB-A7E4FD5B36B9","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":"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":"Q3087948$6205718C-7EEE-43C1-87BD-07FD0192B930","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":"dc546e3e3566fecf3199ee39c800ca0da7488c60","datavalue":{"value":{"amount":"+0.8406481146812439","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":"Q3087948$A4EF71C5-3C71-458E-AC82-CE24AEB0333F","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":"93f38df0503ea5b0cb4da4cc280e75d52231e13d","datavalue":{"value":{"amount":"+0.8302119970321655","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":"Q3087948$39E5757F-BFA1-47CC-8C87-69C998E2141B","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":"02700c4abf3abedaf9cdac02250746abf7096fe3","datavalue":{"value":{"amount":"+0.8281996250152588","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":"Q3087948$0EAF5B9A-3554-4566-AB98-C5ED7D6D539B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3087948","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3087948"}}}}}