{"entities":{"Q5390578":{"pageid":7420152,"ns":120,"title":"Item:Q5390578","lastrevid":58544799,"modified":"2026-04-05T16:43:08Z","type":"item","id":"Q5390578","labels":{"en":{"language":"en","value":"A better algorithm for random \\(k\\)-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5874016"}},"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":"Q5390578$F36D3EDA-E41D-42AA-883F-01FBDF0291AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca79d473ec98e7f3c1b547fcde837438a406f939","datavalue":{"value":{"text":"A Better Algorithm for Random <i>k</i>-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5390578$1A0F4866-D66D-497B-AEAE-DBBBEAA452E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"996d6e1d504c30a55e56fd928fa664c19f75438b","datavalue":{"value":"1209.68345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5390578$23066879-FEFF-426B-B09F-6AAC7A207E26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2fdda7df89afcfe7072ff19a179018178dc42d4","datavalue":{"value":"10.1137/09076516X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5390578$6F39988F-15B2-4AD4-AE55-DD298CB9353C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c73b4338f28d8186cf67aa732b3494abc3a0889e","datavalue":{"value":{"entity-type":"item","numeric-id":248239,"id":"Q248239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5390578$910702AA-1ED5-4A0B-AFE7-985300A32C4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5390578$44F77B21-FF1B-4D43-8C45-E0D08B7C2AAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a192fe79392c4158e27b5103c410670df9a4278","datavalue":{"value":{"time":"+2011-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5390578$1B2CD992-941B-4E70-9D85-D1B774F7C070","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d007bc0f309ab8736c1c3c1e2affa2136b855a5d","datavalue":{"value":"https://arxiv.org/abs/0902.3583","type":"string"},"datatype":"url"},"type":"statement","id":"Q5390578$54FC8EAE-C766-4B65-9CED-04F92867478F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5390578$A784872B-9703-445E-806A-0411CE28EA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5390578$8F6A12BB-D36D-48F4-8019-8C2D4BF6BA31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b64fb4fc5daf6ff82e09f3e9a0bd2727c52644a","datavalue":{"value":"5874016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5390578$E6533427-E44D-40DB-B2BE-DAFE87EBD208","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"778348b169535f209fffb8dabbe107eba88f2241","datavalue":{"value":"random structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5390578$19F6D91B-114D-4EB5-8AE0-2EBC9796D5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff9f78089affef06c072081bb824e40f99a75bd9","datavalue":{"value":"efficient algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5390578$87B6ECCC-10E5-4ED9-A547-898121A30952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f3e4ca58b2ed3663e2e3a4465f28160190050a","datavalue":{"value":"phase transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5390578$DECEACD0-35DC-49E5-92E7-860B66FB4996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd35a4a55f4ef87cd1de6b19e9b8a701deb3aa69","datavalue":{"value":"\\(k\\)-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5390578$E1A238F7-727F-4A29-8FDF-EAD795D56C7D","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":"Q5390578$91022604-103D-4CC1-8F05-EA7F5C032701","rank":"normal"}],"P1643":[{"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":"8b3a4509205d281d2cb46992bbea2cf053f01534","datavalue":{"value":{"amount":"+0.993148386478424","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":"Q5390578$BAC6CDC9-9130-4DFD-A86E-AB3AC397F356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0560604acaa35c15bd0eea7d8e490547bf40a62f","datavalue":{"value":{"entity-type":"item","numeric-id":2929704,"id":"Q2929704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad53bbd7177b1fd1ac805b55ed4e78fffc8c4e8","datavalue":{"value":{"amount":"+0.8812525868415833","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":"Q5390578$C0414A3B-F040-4629-AE0A-5164F1CD885D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e2e639dc17120f0a18be91db400a33d2cfa1979","datavalue":{"value":{"entity-type":"item","numeric-id":5194708,"id":"Q5194708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c4ff76c7c03b851ce668066b7f609a111b21b8","datavalue":{"value":{"amount":"+0.8664187788963318","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":"Q5390578$FAD6AB31-8576-49EE-879F-8EE7E80DA005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b360ed31ecd6f9ef4f4c72b3a336e8aef42bf0b7","datavalue":{"value":{"entity-type":"item","numeric-id":5325847,"id":"Q5325847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0901450f6e008831c2237a40ea9973ccc2d651b2","datavalue":{"value":{"amount":"+0.8654053211212158","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":"Q5390578$7530C15B-5B47-45A7-968B-89136EEDB6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce923eacc97dcf52d2ee2c6ad6cb58dbda7f936","datavalue":{"value":{"entity-type":"item","numeric-id":3576756,"id":"Q3576756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9668c2689834906c256e14662594ec5bb5e1bde","datavalue":{"value":{"amount":"+0.8573331832885742","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":"Q5390578$5F66ECD4-7893-4AEF-815B-C385EF19F11F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5390578","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5390578"}}}}}