{"entities":{"Q6842494":{"pageid":20551678,"ns":120,"title":"Item:Q6842494","lastrevid":84284102,"modified":"2026-05-14T15:38:28Z","type":"item","id":"Q6842494","labels":{"en":{"language":"en","value":"Faster random \\(k\\)-CNF satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8173982"}},"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":"Q6842494$31144C21-0D13-4DEF-87F1-67F591ABA515","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d1fcc423b8f6237a474d4099da5f1af1bd75eea","datavalue":{"value":{"text":"Faster random \\(k\\)-CNF satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6842494$2D1778EB-54CA-4844-89EB-221C10584D1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcce2b1cf36133ed074c0dce4f6b5d07a9d432b8","datavalue":{"value":"10.4230/LIPICS.ICALP.2020.78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842494$0C94A8A2-4B1B-43C7-A8ED-DFA48A14C22E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98f08b3ef02b65ba922d2e17ae0b9473bdce8a5b","datavalue":{"value":{"entity-type":"item","numeric-id":259274,"id":"Q259274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$C3C1428B-A63A-4237-A7A9-14EB3F6D1E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37818f380c377d0bfcd87f6af903ab26bf27da22","datavalue":{"value":{"entity-type":"item","numeric-id":2933873,"id":"Q2933873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$01DDD790-5841-43D2-826D-E40BFF8435E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"08788b2cbf350ad4bc12c8b64351e1e6eefe3b67","datavalue":{"value":{"time":"+2026-03-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":"Q6842494$24016BFC-E29E-42C2-8E1F-A1A6AFFC5516","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842494$B398990C-DE14-4BD4-9D35-230E4D9AA313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842494$2D8BC3E6-678B-4CA9-8F18-BC97197FFB73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40f6656027a72a503684186e130c26a1dbc1764d","datavalue":{"value":"8173982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842494$0B65E08F-05CA-4578-B6E7-D7977C48FF39","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$24204CEE-383E-4214-BC6E-5524D68F5399","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9161657d5fba10184ab322fd0fcb2b7c61ba9274","datavalue":{"value":"random \\(k\\)-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842494$7E964B28-8150-4C0C-BFBD-4C533ABD398C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7246f1957450cb18a2818ed41ce9c05cef8480ba","datavalue":{"value":"average-case","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842494$08C8CFBF-63B2-4761-B8B3-B92EEB5ECB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842494$B9F1AF4E-63A3-49FB-8972-1D544B0A6FAA","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":"Q6842494$12F588D1-E0D4-4C7A-87B5-BC61A7C2665C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$50FBA3C2-4C37-4C9E-B593-0C13CFBE8466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6faa74104b4f49519e97348ef5339ca59cb9ef4e","datavalue":{"value":{"entity-type":"item","numeric-id":6946864,"id":"Q6946864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$C8B20695-C983-436E-BED4-15D76AEA3B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6174cb51c95c98251aad21d363bffeb113f21c2","datavalue":{"value":{"entity-type":"item","numeric-id":5390578,"id":"Q5390578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$FA22BE1C-3F07-40CB-8355-AE7AEC4A5F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a4f87f6490de65c063dc79977275f835623f61e","datavalue":{"value":{"entity-type":"item","numeric-id":3058542,"id":"Q3058542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$13981D31-6CEB-4B42-866F-AD25A67483A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70e921e127389265a1af5ccbde756245ecc6f18","datavalue":{"value":{"entity-type":"item","numeric-id":3429738,"id":"Q3429738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$60572F8F-0426-4085-B2F5-D218809A6422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4762b430c94bcac0f2c7d5e9eac640584bb682e","datavalue":{"value":{"entity-type":"item","numeric-id":3576756,"id":"Q3576756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$05D31DFB-8258-441C-9E43-6EBFD91F6DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a93a6614d5675b870a2e7fc0382533f284b286","datavalue":{"value":{"entity-type":"item","numeric-id":900872,"id":"Q900872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$6BD8667E-B076-4CDD-BDAA-CAE1FC85AD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$E80D53BE-2270-4199-A174-F30E4A72FE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f286ff126f8e4401146a039d4bb3019a6c01c6d","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$4B3F49FE-DF11-49D3-8FF4-5D5CDFA723CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be6989157e41c18f8557462896243611dc2b1c55","datavalue":{"value":{"entity-type":"item","numeric-id":1853552,"id":"Q1853552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$4CB06052-11FF-4DF6-ABF3-ACB27894FC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7955c6e632c62fc5b965c85834c4907eadec4719","datavalue":{"value":{"entity-type":"item","numeric-id":2941489,"id":"Q2941489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$CCD8E15B-4089-4D1A-9B03-B63EEFA47335","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":"Q6842494$311C9686-E177-4D7D-AAB1-4AE19C96DABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83df78167f6da212f52872db822f417acaf4aa1d","datavalue":{"value":{"entity-type":"item","numeric-id":4375757,"id":"Q4375757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$5901AAB4-B331-45CF-94E9-B8AAC601F061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b942259476ee95a9aba1cfd6632d4842783c703","datavalue":{"value":{"entity-type":"item","numeric-id":2840534,"id":"Q2840534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$CD6E077D-9940-4DAE-8B6A-ED43B3504B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112fa1e16c28072d1b690d88a68f10e9a878f19f","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$5AA3B0F6-367E-426C-8A7E-26C00D131B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$B9F59712-B151-468C-BF4C-A114984CC4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3600a0afe71e9b9c22e19ee4b5b7bb726dd22d1","datavalue":{"value":{"entity-type":"item","numeric-id":4240602,"id":"Q4240602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$32F4258F-0D4C-4949-B26E-38AC4DB19A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704b67c0c7a5a44ff323d18e1363803acffd4565","datavalue":{"value":{"entity-type":"item","numeric-id":4071737,"id":"Q4071737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$73F05B1A-52A7-4568-BFEC-DD897459C8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc69e791e3ac729c39aee0824be53f2494fd734","datavalue":{"value":{"entity-type":"item","numeric-id":918700,"id":"Q918700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$86FE4E38-0356-436A-B0EC-622E481B1731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b63214d8c693b70ebddda2cce1e37ea3246455d","datavalue":{"value":{"entity-type":"item","numeric-id":5900310,"id":"Q5900310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$6AD29A68-B94C-4C22-BA4D-B5EC4768AEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab505d079acae70f31b63226f0d6d40ff5b0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$4EFF73AB-527B-43A7-9086-4BF1D3C76981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bebba68dc7dfbaf1caac8cb5c43ad35be909acd","datavalue":{"value":{"entity-type":"item","numeric-id":4484662,"id":"Q4484662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$C5912886-B0F4-494A-ADC3-45835BB9F1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2398065202f3b8392da467e985db897681401576","datavalue":{"value":{"entity-type":"item","numeric-id":2674174,"id":"Q2674174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$CE7EB7D1-6D21-4ED3-B1F5-6345263FA89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be71e10144448c252c924b5cce7cf0092781f66","datavalue":{"value":{"entity-type":"item","numeric-id":2181948,"id":"Q2181948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842494$D80FA806-45A5-4E9B-8BC1-7FA857451BAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Faster random \\(k\\)-CNF satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Faster_random_%5C(k%5C)-CNF_satisfiability"}}}}}