{"entities":{"Q4803316":{"pageid":6832896,"ns":120,"title":"Item:Q4803316","lastrevid":58341555,"modified":"2026-04-04T19:24:51Z","type":"item","id":"Q4803316","labels":{"en":{"language":"en","value":"On the critical exponents of random <i>k</i>\u2010SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1891627"}},"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":"Q4803316$AC25F9A7-7AE1-44E6-8F45-69088340A462","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3124a6f9c263c5c4417cf1c7b98a2b564de153b","datavalue":{"value":{"text":"On the critical exponents of random <i>k</i>\u2010SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4803316$2489E0C1-C506-4D97-AAAD-C17E3331B48E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7769522eb9593634ec13c9f14ad3a9a1441092f","datavalue":{"value":"1012.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803316$AC58DBAF-8B92-4D8F-88D4-F4E3C0A7EF72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f699768a497e541193a45e7175e5f9b1c45f87fa","datavalue":{"value":{"time":"+2003-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4803316$FAE518CA-D254-4A64-B8D7-1BEFB16CFF36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd4018fd4596b4aed618282a04323e0397863a0a","datavalue":{"value":"https://arxiv.org/abs/math/0005136","type":"string"},"datatype":"url"},"type":"statement","id":"Q4803316$A0FC4A31-4B55-422A-AF18-8B6752FAB792","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803316$41135205-0915-4963-AE00-A8CB4899A62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803316$51E2CBBE-B6BD-4B5A-ABE5-864D53AD988A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da593a527d2f46d91d010cd4db36677d351bf1ef","datavalue":{"value":"1891627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803316$6F15F97B-3B79-4126-A9F7-43E1CD593F41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4803316$E2CF97F7-23A7-4C55-BB88-B9F14AF47A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e9df5f6f5000b0a9065b89a898b5d7f1ccfbfe","datavalue":{"value":"threshold","type":"string"},"datatype":"string"},"type":"statement","id":"Q4803316$F9A66519-8D6A-44AF-84FA-81BABC4A4984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a25eab04f448840a9d25e72f9b29beac7a0c6db","datavalue":{"value":"critical exponent","type":"string"},"datatype":"string"},"type":"statement","id":"Q4803316$4636EBF3-1E12-450D-8C1B-6C0451B66966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e6d16ad30a5424e5c351fdca0e05f8ae927e24","datavalue":{"value":"random Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4803316$9765D017-46D8-4A04-B736-D4D1613FE4D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb315a8d14ac3e8629159c70ebf376a5af63475c","datavalue":{"value":{"entity-type":"item","numeric-id":1368743,"id":"Q1368743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4803316$096CCE6C-BD02-4F1F-BC80-2E2E8EBB12C6","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":"Q4803316$44C033B4-E884-4D08-B0F1-55BDD57B9B79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c9c67897ce65dba0eea41f76f4b2c85e000ef01","datavalue":{"value":"W3100778348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803316$0B6F3C25-64D4-4234-A2CE-08FC02236644","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"58c471dd79e191d7c921317fa67f6574335edf78","datavalue":{"value":{"entity-type":"item","numeric-id":5901043,"id":"Q5901043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4803316$7D8302F1-D98B-432B-AE1D-FC9188A5981F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c16d03080cf104b6d9587e78c576489f573cb47","datavalue":{"value":{"entity-type":"item","numeric-id":4228436,"id":"Q4228436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4803316$7252DD41-6B78-45B1-8EF8-BE67EBFA0D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87839e9cce21429fa5c0660242873028f18a79f","datavalue":{"value":{"entity-type":"item","numeric-id":4952608,"id":"Q4952608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4803316$69F3C995-F907-45B0-9CCF-8DE656171748","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f447c3b1dce5acbea71f708e2f7f4167964ca921","datavalue":{"value":"10.1002/RSA.10050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803316$65794D79-437C-4C38-B5E4-F559A8DAC5C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"607ae7f7d11ced7a8909533172911c64cec6dcc4","datavalue":{"value":{"entity-type":"item","numeric-id":6486797,"id":"Q6486797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4803316$173C9892-5FF3-4D7A-96C4-093777213A4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ac9290282ff35601618aa1e49bb0cd896e58e76","datavalue":{"value":{"entity-type":"item","numeric-id":2725029,"id":"Q2725029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c61465426e29984076933dce5499e642fa085599","datavalue":{"value":{"amount":"+0.8440253734588623","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":"Q4803316$7C2A29FC-DDA1-4B31-970D-A839115539F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24b0081dc2f15dc73a7215324226f87bce3b6029","datavalue":{"value":{"entity-type":"item","numeric-id":3581271,"id":"Q3581271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fffd4aa31ed0bbafbb3cc79b4c254f01db46fcfa","datavalue":{"value":{"amount":"+0.8435841798782349","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":"Q4803316$B6A2FA8C-B069-448B-B944-E5597C668264","rank":"normal"},{"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":"540d60f953436a9ff2122117d0e2a86a70cf3107","datavalue":{"value":{"amount":"+0.8309957981109619","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":"Q4803316$54AF3637-E31D-4827-A508-01848212047B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d50a4c926fba5823993474f6f90660234ae0ffc","datavalue":{"value":{"entity-type":"item","numeric-id":3446816,"id":"Q3446816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb1a2356dd7fa7651f0f5e261e9b5983e32eda37","datavalue":{"value":{"amount":"+0.8290526270866394","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":"Q4803316$7082CFB7-5903-4FD8-9266-C9E37B16D8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aefa707b5b413fbce23c4b586e4bc1aed08fa5c6","datavalue":{"value":{"entity-type":"item","numeric-id":4821034,"id":"Q4821034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ea5f710ac0f499dd73be9a12cf3b5039ef4862a","datavalue":{"value":{"amount":"+0.8275200128555298","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":"Q4803316$054711D5-E5E2-41DF-9BD1-FCEA32C8A48F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4803316","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4803316"}}}}}