{"entities":{"Q5259616":{"pageid":7289184,"ns":120,"title":"Item:Q5259616","lastrevid":55932955,"modified":"2026-02-21T06:54:44Z","type":"item","id":"Q5259616","labels":{"en":{"language":"en","value":"The asymptotic \\(k\\)-SAT threshold"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6451610"}},"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":"Q5259616$87C86ED4-E7FB-4349-A735-1DC39C150DFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac4715e6de0677fdf4522510dc7111df61c35b24","datavalue":{"value":{"text":"The asymptotic k-SAT threshold","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5259616$FD67F6D0-F6D5-4E03-AAFF-FBA6B75FD6FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27245de5bd58a4408e4d524c1cd38d0939af4e16","datavalue":{"value":"1315.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259616$45C59F67-E99A-47DD-8F16-9EE00D354634","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7151f720da4f8b9e5c93c74425bd818f52d4f745","datavalue":{"value":"10.1145/2591796.2591822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259616$D2A9942A-F528-4BA1-B1FA-17019B2F8CEB","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":"Q5259616$A1208808-0BBA-49CC-B73C-531342B7002A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"90ec4024f317cae195318ef8c101c050662582f1","datavalue":{"value":{"entity-type":"item","numeric-id":5259532,"id":"Q5259532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$84DEE14F-6B07-4BF3-8DC0-2E93FC5314ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4795efe26ace72ea33e5b50072c8db0e5047722","datavalue":{"value":{"time":"+2015-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5259616$BA9E8310-1FDF-4066-9BEF-6F4CE84FD04B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259616$513605A3-9200-4917-8538-478A653F701A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259616$25E9A1B2-8EA2-4A8A-A1ED-99EE425C32A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259616$F0E6E4E3-27EE-4E5A-8FB3-EB40A1AEBAA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06a26ba205dda49636558bf4980da3c6e4919c14","datavalue":{"value":"6451610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259616$3F6E3338-BFF2-4B36-BC51-64660E74FC6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd35a4a55f4ef87cd1de6b19e9b8a701deb3aa69","datavalue":{"value":"\\(k\\)-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259616$BE74D6AD-AEA2-40EA-A2EB-94AA8BE4DA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f3e4ca58b2ed3663e2e3a4465f28160190050a","datavalue":{"value":"phase transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259616$9C18C532-5BCC-43CA-B96B-B0AC6EFCB021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"778348b169535f209fffb8dabbe107eba88f2241","datavalue":{"value":"random structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259616$F5B6A0E8-A1B4-488E-B85C-C69E5BC4BB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b25a5a66786be30e1f9e76aa7171a8621315af0","datavalue":{"value":"second moment method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259616$09737627-6EC2-4DAE-A952-7B4D5F11ED11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"617d4e67feb9bb9291538ad8ea4dac1b90209534","datavalue":{"value":"survey propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259616$30189AFC-1C66-416D-97F1-765E40964D42","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ac11abb31a94cc34ffe427dd7cc4ed6ccb35125b","datavalue":{"value":{"entity-type":"item","numeric-id":23301,"id":"Q23301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$75FC6C38-DC45-45CE-99E6-ACF65F85F6D7","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":"Q5259616$7B3C345D-03E1-47D8-B90B-6644351F1FDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7605ee52a09c64317659c266f77ef7915fc340b9","datavalue":{"value":"https://doi.org/10.1145/2591796.2591822","type":"string"},"datatype":"url"},"type":"statement","id":"Q5259616$0BE1A2AB-97BC-4D7A-92FA-35C7BA2F5114","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d4dc5380507fe29a8998eb25e68992ccf3aeeb0","datavalue":{"value":"W2963572639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259616$9E1B5551-40E9-472C-9E2C-4A8F079F00E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62d963f0e5317025f26d2cf3089731ff50e17d74","datavalue":{"value":{"entity-type":"item","numeric-id":3408209,"id":"Q3408209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$EF6345AB-F982-479F-B68D-04B58DC3E77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada705c08a3fa5a51391df4f8d77c71c153f971b","datavalue":{"value":{"entity-type":"item","numeric-id":2986862,"id":"Q2986862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$95231D2E-C8A4-42C3-B5C5-912EAC11872A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"491cda9c0671ed616fe70b0edf66ca0bacdde71d","datavalue":{"value":{"entity-type":"item","numeric-id":2851871,"id":"Q2851871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$9BCDC788-D95C-4F6D-B8BB-85D9B2B60CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce9cba4f0b4fcc70d22185545065b59abaf868b3","datavalue":{"value":{"entity-type":"item","numeric-id":5302085,"id":"Q5302085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$83BA8EED-11CA-4F64-8D50-B15784E2DCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228878105b70cfacb6a3afffc96e8ff989c04b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4701165,"id":"Q4701165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$5FA9C080-28F5-4F45-A4F3-79FBE3C13FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20ec0cda573a901188aa8569ecffdb06e009c619","datavalue":{"value":{"entity-type":"item","numeric-id":2988893,"id":"Q2988893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$46C2DEA9-C8C8-4480-93C6-E01FB1D89B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"552e00532019a3a63d5af7d7d1ba10428a8f735d","datavalue":{"value":{"entity-type":"item","numeric-id":2891492,"id":"Q2891492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$78C83C20-5143-4823-A657-A4D2827B5FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b538ad7d160116191a54fdb0b3613382cb850b1b","datavalue":{"value":{"entity-type":"item","numeric-id":3593113,"id":"Q3593113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$F5EAC761-F18E-4E52-92E9-2564CD3E53AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ab1725ca7222c1bc65b4c38cdca79c82a13ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5898359,"id":"Q5898359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$F2439517-B5A5-4911-9D30-BCE9C2AAFA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e588221360407e02d64eb6b8828323e9051e12","datavalue":{"value":{"entity-type":"item","numeric-id":3549600,"id":"Q3549600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$94B251C6-4BB6-47C2-97F6-453C87D2990A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f946ef4e894b14c54ff5556ade27d4e0111c6fd9","datavalue":{"value":{"entity-type":"item","numeric-id":5172732,"id":"Q5172732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$83EF1F87-CB93-4FF1-A8EB-009E5B93C255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"935f753c8fac39879c25a19a939ceba64c2a87ba","datavalue":{"value":{"entity-type":"item","numeric-id":2349860,"id":"Q2349860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$2FE4AA70-7BA9-4986-BD57-3A83DA74D216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0a60dfc5eb94c8c088435a529f20b12f86d2ba5","datavalue":{"value":{"entity-type":"item","numeric-id":5311555,"id":"Q5311555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$5A06CADE-8690-4BC2-B912-13E5ECD4F2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f50511cf7df799e52cf3f2dfd473f304d686a5da","datavalue":{"value":{"entity-type":"item","numeric-id":3600235,"id":"Q3600235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$FF69B360-170A-48B1-A625-3A4DE206D383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfc7afff12be8b22b52baebca68c46ae8d153304","datavalue":{"value":{"entity-type":"item","numeric-id":2891493,"id":"Q2891493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$863392D0-55FB-4E41-BE1F-BCEA5FCEDEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6009d13ccab93a32fb7dc30554b8235a8f4537b","datavalue":{"value":{"entity-type":"item","numeric-id":2875197,"id":"Q2875197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$5695FBE7-77C6-4824-9A8D-185C307EC663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05edaff69da6df33930894531798642a9f3bd404","datavalue":{"value":{"entity-type":"item","numeric-id":2875204,"id":"Q2875204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$5DFF831A-0798-489B-99D3-83B9C8FF2A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac876866ff56d7c0168eaebbe9bf546e225835f","datavalue":{"value":{"entity-type":"item","numeric-id":3588444,"id":"Q3588444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$877DBC45-09F2-4841-911E-D30AF9CB24B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"170258b8ba2c951eb4a87c91342e9aca8b7a5c4f","datavalue":{"value":{"entity-type":"item","numeric-id":2875203,"id":"Q2875203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$9905706C-1CAA-4E77-87BE-34C640B83A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ab2df91fcd2aa7b5a233d14c243500abf3bbbd","datavalue":{"value":{"entity-type":"item","numeric-id":2843303,"id":"Q2843303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$6C8C324F-0771-4D68-817F-8716517A81A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b84c8f55a9968333bb6b1c9563711a564201389e","datavalue":{"value":{"entity-type":"item","numeric-id":5495806,"id":"Q5495806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259616$20D7A857-F178-4C39-836F-1A3A56254EF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4df546ffd8cae746a9a2888262b7434e15a8d9","datavalue":{"value":{"entity-type":"item","numeric-id":900872,"id":"Q900872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2164d0288740967e2b96bcd0f539c9975f6423cf","datavalue":{"value":{"amount":"+0.9297120571136476","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":"Q5259616$4AC7CD85-45EA-46A2-9A3F-E54578A96611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6cb530f1d48c38333a7e5525f29edc21635971","datavalue":{"value":{"entity-type":"item","numeric-id":5495841,"id":"Q5495841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c787c7405b1e05dadfe0f2b2d84f9bb384d191","datavalue":{"value":{"amount":"+0.9166536331176758","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":"Q5259616$90FA2CA2-8468-4593-B195-6BBEA125FD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceaddce235366296c48c86158fd23909d4ae9d41","datavalue":{"value":{"entity-type":"item","numeric-id":2171413,"id":"Q2171413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f590de281d74680882a9f502485c604764de838","datavalue":{"value":{"amount":"+0.8855112791061401","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":"Q5259616$AC5AF42B-18E3-44E8-B651-778CE2DEE8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"169aa400b3c883801226c3b7200fca4852e23e96","datavalue":{"value":{"entity-type":"item","numeric-id":2941489,"id":"Q2941489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d318c6fbd1540700af9650b9cd3531b888fd5f58","datavalue":{"value":{"amount":"+0.8698660731315613","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":"Q5259616$203284AC-57C5-49C7-8020-52A7152D2597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a8cc5ad7b6eb8887556fa387a8c1776bb16a29","datavalue":{"value":{"entity-type":"item","numeric-id":5471051,"id":"Q5471051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7c63aabe3bb9039192f800f4da3e548d0fe5651","datavalue":{"value":{"amount":"+0.8660750389099121","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":"Q5259616$420054BB-C8BE-4122-8651-ACF79E938AE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5259616","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5259616"}}}}}