{"entities":{"Q5422485":{"pageid":7452059,"ns":120,"title":"Item:Q5422485","lastrevid":50188628,"modified":"2026-01-13T11:12:44Z","type":"item","id":"Q5422485","labels":{"en":{"language":"en","value":"Linear Upper Bounds for Random Walk on Small Density Random 3\u2010CNFs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5202321"}},"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":"Q5422485$878CC783-A4ED-4E88-AC12-7AC1D7471EC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb1309209cb0435b79d8418786ec71b89a87be24","datavalue":{"value":{"text":"Linear Upper Bounds for Random Walk on Small Density Random 3\u2010CNFs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5422485$B5F2FFC3-B153-4A40-80A2-B040553A6A5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f6b25b36fc70b9d796b77a3a95b02a54c291936","datavalue":{"value":"1124.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422485$3CA418AA-7CB5-449A-A249-D3D545EB27D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0374e315d230ea121573e47064b59177dd1f41cb","datavalue":{"value":"10.1137/S0097539704440107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422485$540DD109-561E-4077-963A-B4554B83E175","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda6b61323c36da4336c78f2a00f81b412a8cdcd","datavalue":{"value":{"entity-type":"item","numeric-id":430822,"id":"Q430822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422485$A8D31570-9041-4A66-8585-A5F79A6988B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dd3094b0d0097c1754f63d55999ed1b4931a5c0","datavalue":{"value":{"entity-type":"item","numeric-id":496302,"id":"Q496302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422485$6F4FF2C4-91DE-482E-86C2-2323C12B7448","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":"Q5422485$D9775E29-F5DE-47F5-8B16-A2970E7E044A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d51bff7266eb0f39f18b2fdc3f96cb8c3e56c83c","datavalue":{"value":{"time":"+2007-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5422485$6A81CF54-D4BE-40B4-AF2F-461E4C03BF54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422485$1FEC28B9-1020-460E-BFBD-CADC663605CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422485$40187ECE-C9A9-4DC3-952B-69A6DB37ACB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422485$00DCA5FA-26D1-466F-A43E-806ADF1D2622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422485$DDE4B1C3-8F3B-434E-B29D-ABFDF6BB52AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3f2eef3c49a9ac1e3453b0638158da98af66d44","datavalue":{"value":"5202321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422485$2B4F05E8-D082-4057-B141-D230A79BB6DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422485$9CA7EEBA-83B2-4354-9C09-945CBB94FE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3a8a57ee918a5f59b7819e9ead6781ed8bf1b2b","datavalue":{"value":"random CNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422485$75058CE9-8BF5-487B-A693-FF17B09E3933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1524dde761c6bc991b871d81645a6044480f8b17","datavalue":{"value":"SAT heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422485$2E05C1FD-9031-4DF8-8B43-EFDFC00A0914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20dc4be94c1cdd98c51ca8ebc83b67fc5681b657","datavalue":{"value":"random walk algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422485$78353524-C342-4C13-80ED-4EB4AD5A39D9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422485$90733DD0-0CB1-41B2-9884-EB0F43CD94C4","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":"Q5422485$C5DEAA7A-D477-4A38-A674-E7ED17FC140B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47346030bf14a865d018673d2fb08721168c935","datavalue":{"value":{"entity-type":"item","numeric-id":3140436,"id":"Q3140436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c52393d0fa353f837973daff8cb54ea82043ba4","datavalue":{"value":{"amount":"+0.7977772951126099","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":"Q5422485$A8045393-5BF2-4419-A372-AA0A7C045EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585254bad205942d69281c042d5371832f28cad2","datavalue":{"value":{"entity-type":"item","numeric-id":3439115,"id":"Q3439115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c52393d0fa353f837973daff8cb54ea82043ba4","datavalue":{"value":{"amount":"+0.7977772951126099","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":"Q5422485$4780BA07-1C74-4BB8-A3B2-6F2C11BCF2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5452939a61f1a8f86d5a8eb4958d665e50e79c97","datavalue":{"value":{"entity-type":"item","numeric-id":5267998,"id":"Q5267998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea5e9b5ed54e80757a68b01a4be5f9a28ff26e5a","datavalue":{"value":{"amount":"+0.7972286343574524","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":"Q5422485$A448DEFB-1AC7-4515-B5BD-2D77FFF64A4C","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":"e347e555e61acaac607211bb11dcc3938e0bccfe","datavalue":{"value":{"amount":"+0.7922805547714233","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":"Q5422485$28F9AA7E-54E4-4E39-B5E5-C4D1AE07B317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93d0e4a00bc5925ad25d50c609550d9dfeffaf19","datavalue":{"value":{"entity-type":"item","numeric-id":3499766,"id":"Q3499766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05970b727318edd2d7f402eac408fc3a8d83869f","datavalue":{"value":{"amount":"+0.7885767817497253","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":"Q5422485$97C4789C-A6F5-4977-95F3-1AFC4D1C6EDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5422485","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5422485"}}}}}