{"entities":{"Q1010652":{"pageid":1012500,"ns":120,"title":"Item:Q1010652","lastrevid":42815460,"modified":"2025-07-14T09:27:05Z","type":"item","id":"Q1010652","labels":{"en":{"language":"en","value":"Random \\(k\\)-sat: the limiting probability for satisfiability for moderately growing \\(k\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5540864"}},"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":"Q1010652$5E93B109-9DD3-4A4C-9894-22199F40FAA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcafaf4e6315910b0183983b76eb0899d17517e7","datavalue":{"value":{"text":"Random \\(k\\)-sat: the limiting probability for satisfiability for moderately growing \\(k\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1010652$036BF8F8-819C-489B-9E23-11D228C71AFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9280d2b6c3a56666adc315d2c095412b57656e3f","datavalue":{"value":"1163.68337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010652$107C02D8-2D00-450F-86F2-4787FEE0349A","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":"Q1010652$ABFF74AD-804C-4A75-8392-C65D09B85066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ee31696a3be6df3bdd79f474603a4526c11abc4","datavalue":{"value":{"entity-type":"item","numeric-id":1577015,"id":"Q1577015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1010652$C3CF4CC7-C8E9-4A71-9CBB-94E708126C7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebc7441ecfd9ecfa38d48ddc4b2adb39ac7d7000","datavalue":{"value":{"entity-type":"item","numeric-id":161296,"id":"Q161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1010652$03736922-90EF-44D9-BB06-FA83BCEAC99C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f584a175cfc2fafdfc362244f176e06010bbf381","datavalue":{"value":{"time":"+2009-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1010652$B53357AD-FB8C-44A4-B5BE-25574DC22459","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ac46c7bcfe9e20058d301d4deb4b70ba23e0ab3","datavalue":{"value":"https://eudml.org/doc/130036","type":"string"},"datatype":"url"},"type":"statement","id":"Q1010652$E7C49938-4B26-4D19-A8AA-065BB247BE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad89e9cc57ca4325d39a1e3e1c62d6c767a7db7d","datavalue":{"value":"http://www.emis.de/journals/EJC/Volume_15/Abstracts/v15i1n2.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1010652$036C61FD-CDC8-44C8-82D2-6A483007CAA4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3b48c6e45d1b1f569ff8a4c227f805951828b783","datavalue":{"value":"Summary: We consider a random instance \\(I_m=I_{m,n,k}\\) of \\(k\\)-SAT with \\(n\\) variables and \\(m\\) clauses, where \\(k=k(n)\\) satisfies \\(k-\\log_2 n\\to\\infty\\). Let \\(m=2^k(n\\ln 2+c)\\) for an absolute constant \\(c\\). We prove that  \\[ \\lim_{n\\to\\infty}\\text{Pr}(I_m\\text{ is satisfiable})=e^{-e^{-c}}. \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1010652$D3DF3392-9B8C-4AE7-8F75-422775C7F137","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010652$887519E5-8B2D-4DC8-9FA8-C187CE8CADFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b7275e0d4b526075acce84a242d8537e929bb2d","datavalue":{"value":"60C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010652$06B60A2F-1E58-4BDD-A9C4-C151DBF3CDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010652$8CB73643-E68D-4551-B272-A4B2B1767589","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b7f1bd12a85470a5e0a30afcccfc059a17d8c90","datavalue":{"value":"5540864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010652$BCC59451-4F99-48F9-9CC3-057189CAB031","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":"Q1010652$425C6822-84E3-45F0-A0F1-FAC62548A622","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"7f4335ed37fde5a9d8e6ce132c73e35873b9364c","datavalue":{"value":"bafkreibcf2pnqukmkbihebql2ojvzeh3bectc7fc7h5snoq7sgwvhvikoq","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010652$B45B3136-5C6B-4E8C-927D-B2105E66645A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a141f389c4df414090ed7db15d2d5886a29a6641","datavalue":{"value":{"entity-type":"item","numeric-id":2387184,"id":"Q2387184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b48260b90e8f34592248487f215c29ea7c0d9c","datavalue":{"value":{"amount":"+0.95748514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1010652$E6B38C0A-9D30-41D1-B390-50E675D045B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f96bff9296cce86fe8ecc311e17913f471c18ef","datavalue":{"value":{"entity-type":"item","numeric-id":426783,"id":"Q426783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b36b0c7b4e9d4dabb590e58eeac9d225b266a7","datavalue":{"value":{"amount":"+0.9545043","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1010652$DF58F162-56E1-4EE7-8A91-D3C27618FDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d625332afe7c97f6b156d1b9321643cd8e1f5c9","datavalue":{"value":{"entity-type":"item","numeric-id":4803316,"id":"Q4803316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b16f295bcaac82f1e1ba4c641741c3a8ea243ff2","datavalue":{"value":{"amount":"+0.9218999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1010652$DA6B6CF9-BBCF-4354-A7AC-D78EDE74FEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d0745dccb660cc22069d24d6fc9d07d75aa099","datavalue":{"value":{"entity-type":"item","numeric-id":4930594,"id":"Q4930594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a58dbf799419e63491e7d0fac744691cdde42d66","datavalue":{"value":{"amount":"+0.91510105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1010652$81BEAEEE-67F7-4BD3-90C0-36AF18D37E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65c389d951ae275b35ec2db4131ffc15d9ed9d09","datavalue":{"value":{"entity-type":"item","numeric-id":5034546,"id":"Q5034546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"067cb0d9ef41b4f9d3c97774ece605452af001f2","datavalue":{"value":{"amount":"+0.907821","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1010652$8E28016C-B380-4095-9AED-9235A906AC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc67e674ae546865eaa093292f1cca0d0330fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3177360,"id":"Q3177360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b867a40cdef603fc7fdb738d2568a81c436473e4","datavalue":{"value":{"amount":"+0.9073564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1010652$0FC55A04-276A-4262-A4C9-68F0451B1F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5b9bb1163c15005edd07c4ca981b31563bc249","datavalue":{"value":{"entity-type":"item","numeric-id":5714758,"id":"Q5714758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47fe5c1f0d919445a16cc0a84b09452e37ac2cf6","datavalue":{"value":{"amount":"+0.9071507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1010652$ACFED399-6AB7-4163-A467-096594C21866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"482f55c95270d7025f056a26d71c005b387dded1","datavalue":{"value":{"entity-type":"item","numeric-id":4360139,"id":"Q4360139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a5276ca6cf49a61c2bcb479f1da4e6360345ea2","datavalue":{"value":{"amount":"+0.90260124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1010652$7B36FC75-FC28-4853-AEF6-C4FB39BBFE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40122bb5584756a450ef6748481a292e6824c759","datavalue":{"value":{"entity-type":"item","numeric-id":2930051,"id":"Q2930051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d712fa80f19ab9700fc5bea74232ff7444d6617","datavalue":{"value":{"amount":"+0.9020465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1010652$012284C8-E304-4F74-B5B7-2D32B14350D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1010652","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1010652"}}}}}