{"entities":{"Q5034546":{"pageid":7064123,"ns":120,"title":"Item:Q5034546","lastrevid":54229154,"modified":"2026-01-26T12:27:46Z","type":"item","id":"Q5034546","labels":{"en":{"language":"en","value":"Kolmogorov complexity based upper bounds for the unsatisfiability threshold of random \\(k\\)-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7476985"}},"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":"Q5034546$E182CAC7-6C08-46E2-8725-7C160F86AA5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c38ccdc5511cf4ed0a5f9848cf93794d89dc25f","datavalue":{"value":{"text":"Kolmogorov complexity based upper bounds for the unsatisfiability threshold of random k-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5034546$D57AC4EB-2016-4A4B-906C-EDE3B2A63B34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3407ecc945b479fe457e5232a4a06256f95ccb7e","datavalue":{"value":"10.1080/09720529.2020.1711602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034546$C496CEA5-59FF-47F8-B02C-D7FEE217D11C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c3ea8e7095cdd4f7b93956234b30412165d0b7d","datavalue":{"value":{"entity-type":"item","numeric-id":4648987,"id":"Q4648987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034546$70A3DEE7-6FFD-4372-9690-5C1194E8176C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85809410633afb37eebef4710ed708eb6b8924b1","datavalue":{"value":{"entity-type":"item","numeric-id":2766128,"id":"Q2766128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034546$D6DD025A-5FFA-4E6D-8685-9E71E011F61B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aec0729eb1872e5e6f8fccae0385ddce0e98edb2","datavalue":{"value":{"time":"+2022-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5034546$3F68A6E4-40AF-4E37-AA43-D829FC27D008","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034546$E82162D5-964B-48BE-9E82-B00B9783F526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034546$72F0BA69-7457-4E1D-B424-25AE507F55C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19c5bffd6f14d778d7e8de72bbcfed8f2f454e2b","datavalue":{"value":"7476985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034546$DBB42624-6CB1-45A0-883A-608040642160","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e343c0d066d632a0b869d2dadad72cc8a3999e1","datavalue":{"value":"Kolmogorov complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034546$623450AB-5EAF-4581-BC2E-B0A54F407C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b71a8abc99ba5371d20f5860d861e5d67661823c","datavalue":{"value":"random formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034546$83E1273D-ED60-428C-817E-CC9B448E3EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5941b8acd61bc230b53fab8fd83e66f5c1189f80","datavalue":{"value":"unsatisfiability threshold of random formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q5034546$C168DEC5-8086-4536-9C22-FC57E8D1A9AB","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":"Q5034546$0E421DD2-84DC-4B0E-B00F-E45B20596323","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76388d3e1b07b543a47823a1893dfed784f240fa","datavalue":{"value":"https://doi.org/10.1080/09720529.2020.1711602","type":"string"},"datatype":"url"},"type":"statement","id":"Q5034546$C71AB9DC-F29F-4F86-B4EF-F81B0FA1F3FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"044244c853bdbdf307e3e176d375bb4b44db1a80","datavalue":{"value":"W3034683615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5034546$177C1E0A-2FE2-401C-81FA-ADE442BB58D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd86b08db9c5e9d1bb208efc1ea66bb7b6d20b36","datavalue":{"value":{"entity-type":"item","numeric-id":5958806,"id":"Q5958806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034546$CC001272-EF43-4409-86FA-EC0E1C6688BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"663c83b1b2405da7d703f0e171d190fef0cde5dd","datavalue":{"value":{"entity-type":"item","numeric-id":5541327,"id":"Q5541327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034546$6C374A3E-0EA0-4089-87F2-CC074FCD2882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034546$F8A01400-3D5A-45D4-9ED6-933B8E1A5EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78eb172cba2dd5b9c0e887df7d8b259b707f6b6f","datavalue":{"value":{"entity-type":"item","numeric-id":4739584,"id":"Q4739584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034546$4A981F04-D8E2-42AB-A9E9-1147086C7A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2baa89933eecfcc72780a0f405ea0454a522f037","datavalue":{"value":{"entity-type":"item","numeric-id":3165956,"id":"Q3165956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034546$0D70139E-FF83-4430-8687-73DE928B3281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3150ccd621fbcc6deb9315c7b7f04d84e34b19c","datavalue":{"value":{"entity-type":"item","numeric-id":4360139,"id":"Q4360139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034546$F9DF36F7-43CF-441C-9AA6-38A4BDDB242E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87839e9cce21429fa5c0660242873028f18a79f","datavalue":{"value":{"entity-type":"item","numeric-id":4952608,"id":"Q4952608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034546$F6769E27-EE31-4E81-9A92-59300511A8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d47402a18255121e8b4c37559d3eb99d007b27","datavalue":{"value":{"entity-type":"item","numeric-id":1170883,"id":"Q1170883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034546$C9511A28-E079-4CBD-904C-1DD52EB2B2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256c0e265dfef282ea4224d2df1e7fcf0e5ac817","datavalue":{"value":{"entity-type":"item","numeric-id":4257709,"id":"Q4257709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034546$AF78147B-081F-49F9-BFD6-8BD52C01606F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7953570587570bcc9dcd5b0798422508bfde9a69","datavalue":{"value":{"entity-type":"item","numeric-id":4511484,"id":"Q4511484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034546$0BB1B90A-E88C-420F-8131-3BB7F36BEC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38a504233a997a0376458e299e1a23ac6f83ce5c","datavalue":{"value":{"entity-type":"item","numeric-id":4847396,"id":"Q4847396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034546$46EC5F19-D4CF-4247-82A1-57BA8E4B20BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0a7374bca659a899751abf921f96f3058a7c997","datavalue":{"value":{"entity-type":"item","numeric-id":2643297,"id":"Q2643297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034546$133A5A69-EA6F-49BB-9FA2-C556F1FB359D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e27de5a8740789a8b6acd228c9162c68d65335","datavalue":{"value":{"entity-type":"item","numeric-id":4595474,"id":"Q4595474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034546$148BD43D-F408-4D75-9464-3099432DF866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe527c70667abdcc4643bcdaa21cf1b7741a262b","datavalue":{"value":{"entity-type":"item","numeric-id":5486323,"id":"Q5486323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034546$DCBA95C5-1055-42AE-BC18-42FF955363E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c5f4a456f9910b4c4f2a1d73e4561be8a5dbc2","datavalue":{"value":{"entity-type":"item","numeric-id":3214803,"id":"Q3214803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034546$4F0C38A4-4106-4CD6-9C10-915A85A9994D","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":"Q5034546$85CECF8A-EB75-45FB-BDEF-C06608B4F62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d022149ece595446a9644635af062a930e4f1b","datavalue":{"value":{"entity-type":"item","numeric-id":5674429,"id":"Q5674429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5034546$76F95E47-55F4-48B2-8175-7D3DB2D3B9BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aefa707b5b413fbce23c4b586e4bc1aed08fa5c6","datavalue":{"value":{"entity-type":"item","numeric-id":4821034,"id":"Q4821034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc739f615353806955f47ef49f695c656b497985","datavalue":{"value":{"amount":"+0.8978717923164368","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":"Q5034546$4B4947CF-578A-40E7-BE35-E1D2CC99CE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24b0081dc2f15dc73a7215324226f87bce3b6029","datavalue":{"value":{"entity-type":"item","numeric-id":3581271,"id":"Q3581271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d199489e380f0bd7b20cc9f153b9394e1ed84dd5","datavalue":{"value":{"amount":"+0.8916046023368835","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":"Q5034546$387C51D4-5435-42DF-BA94-C5CFFC599B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0022713947128155dab2c492ca474be2c36c75dd","datavalue":{"value":{"entity-type":"item","numeric-id":4240602,"id":"Q4240602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b623eeead39682a34edce8a03f9f26e03b79adc9","datavalue":{"value":{"amount":"+0.8852962851524353","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":"Q5034546$936365FD-5D7F-40D0-B016-4CF6BF69539D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27a45c10462055532f1c386355c14e8fc57eb3bc","datavalue":{"value":{"entity-type":"item","numeric-id":2643297,"id":"Q2643297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b623eeead39682a34edce8a03f9f26e03b79adc9","datavalue":{"value":{"amount":"+0.8852962851524353","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":"Q5034546$D87AED69-D963-4CCC-A0AD-ED8DD18E2156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecde7a24da94816b9d42e5b7ab33720dd1a35064","datavalue":{"value":{"entity-type":"item","numeric-id":4595474,"id":"Q4595474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b3ddec98dcf250f1286354b5f77b391a7b87643","datavalue":{"value":{"amount":"+0.8840904831886292","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":"Q5034546$FBEA1621-5055-424F-ABC9-498A77B96E96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5034546","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5034546"}}}}}