{"entities":{"Q5958807":{"pageid":8135609,"ns":120,"title":"Item:Q5958807","lastrevid":47756008,"modified":"2026-01-02T14:57:07Z","type":"item","id":"Q5958807","labels":{"en":{"language":"en","value":"Upper bounds on the satisfiability threshold"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715852"}},"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":"Q5958807$6CB11F1D-4AF4-4EAF-9C16-954084E8FCE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50d8e7f912b003e9769aa0654952b06040dc0b10","datavalue":{"value":{"text":"Upper bounds on the satisfiability threshold","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958807$ACBECC1D-94C1-4E81-82AD-590FE123A075","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a534a76296120a52f24d2e9fa920ae8aa419803","datavalue":{"value":"0983.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958807$FF8E66F5-CF4B-4504-AF25-3408252A8E16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3cc76319eb734c7c76ad3b58e65e7a29c8cc07c","datavalue":{"value":"10.1016/S0304-3975(01)00161-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958807$ADD9165E-17A1-446F-AD20-E0D7DE3CE1C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfae979f0a47bfa42d8c494b5d7ad537e92bd6b4","datavalue":{"value":{"entity-type":"item","numeric-id":808704,"id":"Q808704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$2F8ED8FD-0C79-4079-90C5-971A0D08B3AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$FE2D6CFE-214A-49D3-8644-2CCE5D33AAF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958807$EB6916B9-979A-402C-8708-6772E98FF85F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3552e3f56919fdb3878aec1e50ba57fc541b6d4f","datavalue":{"value":"We present a survey of upper bounds which has been established up to now on the satisfiability threshold of random \\(k\\)-SAT formulae. The ideas which led to these bounds and the techniques used to obtain them, are explained. A companion paper in this volume present a survey of the lower bounds.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958807$D072D4E4-6FA4-4993-AF5A-6184B03C077E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958807$608C076D-9339-48C2-A2FA-4226C2FFB9FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"443fe0382c1aeb8a0c96d5f83233a4b6d62b73fa","datavalue":{"value":"1715852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958807$30028D3D-EB9B-41A2-BCA6-65BC9CEE951B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958807$669553D3-1E3F-466E-971E-5996790792FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbdae0970ad193204071129caf32b6071c6ce03a","datavalue":{"value":"SAT threshold","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958807$357895DE-4DF8-43A4-9221-E46104A7B914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"011292841bfecc5a96af7eefb5f2207525532434","datavalue":{"value":"phase transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958807$AE60978A-27A1-469A-B67A-3794997ABB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b054bbd1ef16f604df0f61144322893e5b9a2a9","datavalue":{"value":"upper bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958807$A7562D91-95C6-4CFF-8AE0-EE6ABE520248","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":"Q5958807$D6E5D731-6458-47F0-931C-0E2500771F72","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"213888b37453d8aaa1d0d856afbc3c9660e59705","datavalue":{"value":{"entity-type":"item","numeric-id":3191968,"id":"Q3191968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$18C3F527-1787-4101-B3FD-465EA749DF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd86b08db9c5e9d1bb208efc1ea66bb7b6d20b36","datavalue":{"value":{"entity-type":"item","numeric-id":5958806,"id":"Q5958806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$75402CDF-399D-439A-AA55-ECFB4E9769C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca53ad94423f90b2960fbf6a8505860cda9e7763","datavalue":{"value":{"entity-type":"item","numeric-id":2725029,"id":"Q2725029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$388133D0-D6F5-498D-BD49-538ADD8B903D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d7559cee62365ca25b0247f0bc285727357cf9","datavalue":{"value":{"entity-type":"item","numeric-id":1285568,"id":"Q1285568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$5F257970-9E56-429D-B330-1A1D5C4C3ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b2263f8d8211ce059177d1aaaff38dc2b95526","datavalue":{"value":{"entity-type":"item","numeric-id":3140436,"id":"Q3140436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$114AAA38-D27C-4FA7-9B8D-0402D8A3FF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83312a3e346c7419e7c503e1050470bf3c54e96","datavalue":{"value":{"entity-type":"item","numeric-id":3758242,"id":"Q3758242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$733C7B74-DACC-4FFF-B0A2-F9885F370A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc69e791e3ac729c39aee0824be53f2494fd734","datavalue":{"value":{"entity-type":"item","numeric-id":918700,"id":"Q918700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$0AE856A6-8429-42B5-899C-5B9A20BFC865","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":"Q5958807$24A7C99B-3781-4357-B7D4-DB2F92DC51BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$E62C6722-2A89-41A9-900B-D054E058AD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d979ba77ecfe53a8e36438976f85824016785a8","datavalue":{"value":{"entity-type":"item","numeric-id":2674177,"id":"Q2674177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$2F8F497C-44C0-4FE4-8283-881E4D644D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a384833facfee1bed7555c136a9c348cab3dd0","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$BBED0E88-3E67-4D5B-BC9E-970C5E5D2C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3150ccd621fbcc6deb9315c7b7f04d84e34b19c","datavalue":{"value":{"entity-type":"item","numeric-id":4360139,"id":"Q4360139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$7BEEE8A8-0C0A-4CEF-BF77-73C15365D047","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":"Q5958807$94B31612-D213-47E1-80FC-1B7AF6B189EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cccfc1cb465ca1ab2419b14583b90ff3a0a1aad","datavalue":{"value":{"entity-type":"item","numeric-id":4862742,"id":"Q4862742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$B05C00FA-95F9-43E9-B1E7-307E204A20D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23a98e5b459925a4f20be58b04a8d092e73cfbf6","datavalue":{"value":{"entity-type":"item","numeric-id":5958805,"id":"Q5958805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$35CDE028-E4F7-4F9E-A31D-D60630BEFE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d47402a18255121e8b4c37559d3eb99d007b27","datavalue":{"value":{"entity-type":"item","numeric-id":1170883,"id":"Q1170883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$B598EB31-5BFB-472C-8AB1-14B12B6C821F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256c0e265dfef282ea4224d2df1e7fcf0e5ac817","datavalue":{"value":{"entity-type":"item","numeric-id":4257709,"id":"Q4257709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$589587EC-882E-4D7C-8F54-9BE0270A2E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c460f983de9e6a420aef566a3398a70e655aa7d","datavalue":{"value":{"entity-type":"item","numeric-id":4876696,"id":"Q4876696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$089EF60E-7401-4129-B57C-626678532531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751438aa2bdc3c803c27cb64adcb3ea349c89687","datavalue":{"value":{"entity-type":"item","numeric-id":5096838,"id":"Q5096838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$52BA178C-0AFF-422E-8D1D-1B0DBB17D3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46a8157b90326cc6f44bffa8150bb95253d14c8","datavalue":{"value":{"entity-type":"item","numeric-id":676451,"id":"Q676451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$FDC24E22-D50F-47DC-92BA-765BBC153AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7953570587570bcc9dcd5b0798422508bfde9a69","datavalue":{"value":{"entity-type":"item","numeric-id":4511484,"id":"Q4511484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$AD179367-8DA3-437E-A761-474936D54FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38a504233a997a0376458e299e1a23ac6f83ce5c","datavalue":{"value":{"entity-type":"item","numeric-id":4847396,"id":"Q4847396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$E717E783-D92A-4F4C-8175-3E80A8AA1C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d6cb6a4d0aacfc126ab3b1d0dd224c9400a8e85","datavalue":{"value":{"entity-type":"item","numeric-id":4375776,"id":"Q4375776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$053245A6-751C-4940-8D2F-4C86E43511EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e27de5a8740789a8b6acd228c9162c68d65335","datavalue":{"value":{"entity-type":"item","numeric-id":4595474,"id":"Q4595474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$F57DB8C5-B935-426F-ACDD-5C08FC040713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3600a0afe71e9b9c22e19ee4b5b7bb726dd22d1","datavalue":{"value":{"entity-type":"item","numeric-id":4240602,"id":"Q4240602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$6695C7BF-966A-4463-A7E4-CF1609764AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1075903201a7b5a96eb9e60933d437eac5400eb1","datavalue":{"value":{"entity-type":"item","numeric-id":5354392,"id":"Q5354392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$80A5BB7F-F6AA-4B0C-A8E2-2935CEB29489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55f19a85113fb7d8cdb6659494d96a596a8c4d9","datavalue":{"value":{"entity-type":"item","numeric-id":3723699,"id":"Q3723699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958807$220C6685-A538-40F4-ABFC-E37545C16951","rank":"normal"}],"P1643":[{"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":"dfdf965b32f4248e9dcf3c4d5473f8c2b3067cff","datavalue":{"value":{"amount":"+0.8586682081222534","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":"Q5958807$06A36CAB-A1C7-41F2-904A-547FD78734DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a20780416c0a651fa8acba5636d9056cccf131","datavalue":{"value":{"entity-type":"item","numeric-id":3165956,"id":"Q3165956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d80c2cbc11d747cdbf61f73b5fc0a4a2e4f3e91","datavalue":{"value":{"amount":"+0.8580156564712524","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":"Q5958807$47D5FBDA-2506-413F-A84E-867410AA0038","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":"36bba14b21d5df9f3d1a1f7292daca3cd52aab3d","datavalue":{"value":{"amount":"+0.8568109273910522","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":"Q5958807$11EDC7FA-9924-45BE-8674-32EF15ABA632","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":"4922ebb07605192ca87fd32ad07d2d6ce8134cbc","datavalue":{"value":{"amount":"+0.8516234159469604","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":"Q5958807$DFFAD368-AB86-46CB-8C31-3602E170F4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"031e6c39e115bfd1a95644f717cd6b98469f9bac","datavalue":{"value":{"entity-type":"item","numeric-id":4375776,"id":"Q4375776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f95394edcc0c746a1760a19a685dd637602f8f8","datavalue":{"value":{"amount":"+0.8416516780853271","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":"Q5958807$8CB9D7BD-36A0-4B69-A8FF-20E0F285CAA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5958807","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5958807"}}}}}