{"entities":{"Q4915183":{"pageid":6944764,"ns":120,"title":"Item:Q4915183","lastrevid":58357497,"modified":"2026-04-04T21:07:48Z","type":"item","id":"Q4915183","labels":{"en":{"language":"en","value":"The decimation process in random \\(k\\)-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6152395"}},"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":"Q4915183$075C4759-86D0-4BC6-BFD6-E58A43398EF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"496be18114addd3bc622563eab69fa409b0dbdca","datavalue":{"value":{"text":"The Decimation Process in Random $k$-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4915183$9F60FD6E-C23A-4F1A-9E52-9056CEA503D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"febd39e04f7a6512b7364417f0606c2805a3efa6","datavalue":{"value":"1263.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915183$02120772-A56B-4C28-82E4-61B06C7C9FE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8d616d96645ef930e6be17e404cb5482ab87614","datavalue":{"value":"10.1137/110842867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915183$F5DF0529-3C0F-48F3-91A0-0D139A880533","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":"Q4915183$470B3212-C024-4E44-A8F1-84A9C201F7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"881b579ccd58cff2d58d47f967eaf64e57648621","datavalue":{"value":{"entity-type":"item","numeric-id":2900736,"id":"Q2900736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915183$59D13660-690D-4F3F-88A5-DE237B360425","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"39a509948a5fd41054da3e7af81581f39adaebc1","datavalue":{"value":{"entity-type":"item","numeric-id":2706174,"id":"Q2706174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915183$476C30C7-90BD-41BB-BCB0-8568C7C3ADB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8d05c5960e17df88a20f497dd893bcc369c3eaa","datavalue":{"value":{"time":"+2013-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4915183$17B7CBD0-1E60-4138-BEB5-C27B1C95C6D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fc2c8285c9f165c4c74788abdb529330b9edddf","datavalue":{"value":"https://arxiv.org/abs/1102.3145","type":"string"},"datatype":"url"},"type":"statement","id":"Q4915183$52CA65BB-58F8-41DF-BEBD-46191AF75DDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915183$238C010F-5291-4CEF-8669-6F6A220331A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b7275e0d4b526075acce84a242d8537e929bb2d","datavalue":{"value":"60C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915183$BD1DE3FC-E415-4F94-A91A-5287463E5208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915183$E2AB601F-63E1-4FA9-A2B7-A6F11BA13974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915183$35573E2A-A189-4169-98CE-B464785B556C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1895a1c87755ccb2030a076ee7dfa11dd7d4d33d","datavalue":{"value":"6152395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915183$930CABDA-97F0-4F28-8FF1-E00040C45CBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"778348b169535f209fffb8dabbe107eba88f2241","datavalue":{"value":"random structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915183$68D814D4-9081-422B-8B6A-644F8307578B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f3e4ca58b2ed3663e2e3a4465f28160190050a","datavalue":{"value":"phase transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915183$01F079EA-82C7-44A5-BA74-E34258A4E953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd35a4a55f4ef87cd1de6b19e9b8a701deb3aa69","datavalue":{"value":"\\(k\\)-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915183$09EDEDC4-D946-4928-9961-07F65C9AE765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0736c3a2794a43ca9b54a65436cbd71cf0796887","datavalue":{"value":"belief propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915183$81095D40-03A4-4380-8868-55B449456320","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":"Q4915183$6B10EE01-E2AC-4B32-BEFC-B5152BBC4DC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48f7eedcdbdb66ba965b5386754b9298a1b7b556","datavalue":{"value":"W3105349673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915183$EA170E04-A647-4E02-9FB8-08DB1DD155F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"535394a1317531b12d4c5c6ebb714b542181d906","datavalue":{"value":{"entity-type":"item","numeric-id":3012815,"id":"Q3012815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"653a4d16ae6cd6463ddcbe6f01e44c99f783a8b9","datavalue":{"value":{"amount":"+0.9753352999687196","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":"Q4915183$6741F1F0-8FA6-4E31-8142-E4816B948010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f448e775f6182045ee0f048c3fdcff9dcb545b","datavalue":{"value":{"entity-type":"item","numeric-id":5365093,"id":"Q5365093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96e67c727068e17264c54f0654f753095391d7d","datavalue":{"value":{"amount":"+0.8966230154037476","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":"Q4915183$EBA4E15C-75BD-4F22-8705-6F84FEDA36E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787c41b704f6031b3bc137e8f7f5a875b8a53dbf","datavalue":{"value":{"entity-type":"item","numeric-id":3177876,"id":"Q3177876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aea07f56333bb24c36fc00526c78c4ffdb052a5c","datavalue":{"value":{"amount":"+0.8947507739067078","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":"Q4915183$E44D4F52-D44A-4E16-9BB2-9EE9AE5D9464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e291bc815a98b618d9a13792a8f1241642a4e2c8","datavalue":{"value":{"entity-type":"item","numeric-id":4598204,"id":"Q4598204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ea24fcadea4b8106766705235142ee5ef9f22b8","datavalue":{"value":{"amount":"+0.857879638671875","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":"Q4915183$5A6EF7E8-B2C8-41E3-B7A0-D0E18F78E645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73cdb25ce3e8cc70aa21ee9d98e2fb8abdc7c61b","datavalue":{"value":{"entity-type":"item","numeric-id":2090606,"id":"Q2090606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a446d6ed26cfa414aa85a36d0b874321cacdb75","datavalue":{"value":{"amount":"+0.8295162320137024","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":"Q4915183$9A37FB9B-4EE0-452D-888D-1215A82C09D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4915183","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4915183"}}}}}