{"entities":{"Q877837":{"pageid":879685,"ns":120,"title":"Item:Q877837","lastrevid":65062707,"modified":"2026-04-12T00:03:59Z","type":"item","id":"Q877837","labels":{"en":{"language":"en","value":"An efficient approach to solving random \\(k\\)-SAT problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5149176"}},"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":"Q877837$0968EE01-E746-4828-814C-AD7838FA2201","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d6fcf482d5909f0710fdb45ef724feadddd502f","datavalue":{"value":{"text":"An efficient approach to solving random \\(k\\)-SAT problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q877837$60162618-3528-42E9-B465-D5F784BCF379","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0f1070f32993fbc9b13cc359817d09232c9011e","datavalue":{"value":"1113.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877837$B8366FD4-0C1B-4F44-ABDF-96E6C56D28C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f1be76b563c76fdf8a95ee73e12e352dfe04eb3","datavalue":{"value":{"entity-type":"item","numeric-id":839498,"id":"Q839498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$3C61A634-B828-4C29-9FE2-13F5CF4CA07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfae979f0a47bfa42d8c494b5d7ad537e92bd6b4","datavalue":{"value":{"entity-type":"item","numeric-id":808704,"id":"Q808704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$93D77C78-7991-4C26-9A1E-8E601D4E7726","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$55BA7667-F387-4196-80C0-C40527EFB500","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"705732f6c443403985df27568b16305b8e45450f","datavalue":{"value":{"time":"+2007-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q877837$AFA191E8-B3A9-4FCD-A598-BFD790D3F9F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877837$2B81DE5A-B203-426C-83CB-F6A76B8D3B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877837$C259A576-6572-49FA-AD00-78466AA9FCDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73f24cc2ca9195c3c30fae977b26a25537c8e5c9","datavalue":{"value":"5149176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877837$E9BCC332-2014-4B55-8CBE-919D5C21AABE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q877837$CBF10880-37B7-4A11-A1DE-A68740FDE391","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ba639714f2f8787e77fa0ff38f8320423878539a","datavalue":{"value":{"entity-type":"item","numeric-id":13241,"id":"Q13241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$8DB39B48-C1E2-4279-8C26-A297CCB4CF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$A9D83373-5681-428C-B08D-7BCBFF3705AE","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":"Q877837$4B0CB528-00F7-49A9-804C-71C3ABE074EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"277ebcba4ee8165f26f5034d9b9be4bb972c783b","datavalue":{"value":"https://doi.org/10.1007/s10817-006-9025-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q877837$8957E966-FDD8-4805-B44E-F898C907A354","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f29d0cdc775b7026a829020dca60ec06df761cda","datavalue":{"value":"W2041982261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877837$0A6FF622-7D1D-4830-B726-365BEFC3B6C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c83eb0bb9c863c487d30856ad78d111fa5c91a","datavalue":{"value":{"entity-type":"item","numeric-id":5897193,"id":"Q5897193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$AE1979F1-541C-4EFF-A4C2-EA871F26D30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab04f4868b4dbd099b852dcf8087a1d8d0be3253","datavalue":{"value":{"entity-type":"item","numeric-id":2784492,"id":"Q2784492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$EC51CE08-381E-446E-BC5E-E66C079E9068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d7559cee62365ca25b0247f0bc285727357cf9","datavalue":{"value":{"entity-type":"item","numeric-id":1285568,"id":"Q1285568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$62770C1F-6A24-4C9A-84EB-040ADCDD9720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de96ebfc79af00d441772ffc31e85a30a74d8be3","datavalue":{"value":{"entity-type":"item","numeric-id":596103,"id":"Q596103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$A629B09A-2F3E-4ADB-80F9-97C992CDC0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$07FEF406-6329-4582-A2DA-FD6DE0AB9E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58bb50b61f973cc1ba829d108fc8dd7d7c409ed3","datavalue":{"value":{"entity-type":"item","numeric-id":5325884,"id":"Q5325884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$15501377-E996-4DC1-8E32-B0CC556005BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a384833facfee1bed7555c136a9c348cab3dd0","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$22821F38-2E3F-4AE8-ACC4-CE5DFAC937EA","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":"Q877837$6965C893-B8EE-4ECC-A2BD-142E82F63E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb8a44d75e686c9036fa1b26564632e13a623690","datavalue":{"value":{"entity-type":"item","numeric-id":4475625,"id":"Q4475625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$53856186-BEBC-445B-B219-38F3CC450F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb8e08770b1d9daf882ed891a46c081902775f05","datavalue":{"value":{"entity-type":"item","numeric-id":1565907,"id":"Q1565907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$B7461930-188F-44F4-880F-4B5981568F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a157b93c6843fb22f2ec11d758cfb4e2cce5cee","datavalue":{"value":{"entity-type":"item","numeric-id":3579211,"id":"Q3579211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$425A63A8-FC2A-48BC-B9E1-3C6CD4CA30F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6249e3f281be44eab59ec96f5054065bda48e1e8","datavalue":{"value":{"entity-type":"item","numeric-id":4471151,"id":"Q4471151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$88FDD705-2474-46F2-93AA-F223CE64AB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4d41132ba3f484fa35ae298d7e3e344dc8b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":5714743,"id":"Q5714743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$DC10DF53-D66B-4EB0-B4D2-623EAE75032F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f673ba67ae0b39162d16f3da67f8d71ee6d9989","datavalue":{"value":{"entity-type":"item","numeric-id":1581848,"id":"Q1581848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$688CC13C-9D18-4AB3-B7B3-0016E9C82C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3226b136fdcd7a2aab257eccf59ca028483e1cd","datavalue":{"value":{"entity-type":"item","numeric-id":5714765,"id":"Q5714765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$2F80AE23-6B25-4B1E-80B4-C5690D09E506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a339e90c78a672c77630a69601c05cdcb6aec006","datavalue":{"value":{"entity-type":"item","numeric-id":4704799,"id":"Q4704799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$D68D645C-26CC-424A-A302-4E540088426C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1c85e7805261ca51fd3bc4210f50d7e2dad5ab9","datavalue":{"value":{"entity-type":"item","numeric-id":4700097,"id":"Q4700097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$6A500639-0154-4B11-9062-011F7DFB5BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0adb737d4342c65e2b4f0a27fd95909e84e19ee","datavalue":{"value":{"entity-type":"item","numeric-id":5897190,"id":"Q5897190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$EF9859BF-9409-4BC2-8B8F-DD78579EC424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ccbc677c1441ed9609116566ff78c244ec6639","datavalue":{"value":{"entity-type":"item","numeric-id":4488090,"id":"Q4488090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877837$5EBD2219-A5CC-4F4D-BF27-9F406C033407","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9cbcbea0f9850ac9307977ce85debf576389e05","datavalue":{"value":"10.1007/S10817-006-9025-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877837$5B441B69-E43E-4476-BA13-1E3167E29F26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d468b5c540abe65339c26239e6406fad5d3590","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0064aa2c2e8ac97252dbf6b919a92b8397d005bf","datavalue":{"value":{"amount":"+0.8527873754501343","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":"Q877837$56CFBF3B-FD44-4316-8E33-3AF3E40B2CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5b89826f951deabb7279b639d6c929de2a2f28","datavalue":{"value":{"entity-type":"item","numeric-id":5470697,"id":"Q5470697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d837a93ef52753818a7ecddc6f4ac61dc978d124","datavalue":{"value":{"amount":"+0.8497011065483093","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":"Q877837$C2D249A6-FDCD-4BD2-A6FC-90205921EDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb18ccb651ab15f57db6102f0140b9aa69ada9c7","datavalue":{"value":{"entity-type":"item","numeric-id":4739606,"id":"Q4739606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fd6224b9602bdc3d26501935abaaa5296ffe6bc","datavalue":{"value":{"amount":"+0.8465067148208618","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":"Q877837$4DBFF836-3B71-4A3B-AFD3-50E2DAD13CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3134d6d93626b2492e70c1b77ac64227cbdc19e5","datavalue":{"value":{"entity-type":"item","numeric-id":4708577,"id":"Q4708577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c7be3e1936018e4974cd75f249e4bfcccff060b","datavalue":{"value":{"amount":"+0.8431565761566162","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":"Q877837$759A4C23-0852-4014-949C-FF711DF9E689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4da15a7f718b0791317b37016a732e4a6ced2a","datavalue":{"value":{"entity-type":"item","numeric-id":3638042,"id":"Q3638042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b824ec4ebaf6a86d6db263f4dfeac6d667ea771d","datavalue":{"value":{"amount":"+0.8348024487495422","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":"Q877837$1D760230-5B40-4A6F-A025-E8E50E218E13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An efficient approach to solving random \\(k\\)-SAT problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_efficient_approach_to_solving_random_%5C(k%5C)-SAT_problems"}}}}}