{"entities":{"Q5384461":{"pageid":7414035,"ns":120,"title":"Item:Q5384461","lastrevid":96224732,"modified":"2026-06-05T10:43:27Z","type":"item","id":"Q5384461","labels":{"en":{"language":"en","value":"On the lower bounds of \\((1, 0)\\)-super solutions for random \\(k\\)-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7072199"}},"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":"Q5384461$E657A7F8-E946-4781-9009-5464D8D16657","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bafd94a61d0a978d04a98462cde4761f95b2b880","datavalue":{"value":{"text":"On the Lower Bounds of (1,0)-Super Solutions for Random k-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5384461$56C052F9-3731-4547-90B2-FB1A20E2B1EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e694f799a4fe61f3a9558f76c55bc07b25b53f2b","datavalue":{"value":"1415.68213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384461$C87DC628-F07D-45B1-8899-A7C6423D0D7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec9b0a243ebedb1517460557b39d2b0aedd29014","datavalue":{"value":"10.1142/S0129054119500035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384461$D9D39E07-D345-45B1-876C-93A8876A579B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"433bc6f972644a6448eda0e8cbbc2e14879cc548","datavalue":{"value":{"entity-type":"item","numeric-id":890504,"id":"Q890504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384461$C9372E6D-37C6-483F-9E96-72C9AF4C1EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5678e953fbfc7ca5ce9eed3074c3dabfc230955","datavalue":{"value":{"entity-type":"item","numeric-id":710946,"id":"Q710946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384461$87BBC5E3-33CF-4961-8C7A-8CB28F4E8ED2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384461$9C8FC161-79D6-4080-88D4-28AD81BD5385","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b038ab3d812bc338c16538e2f01ef9ff79db1970","datavalue":{"value":{"time":"+2019-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5384461$418619CB-75ED-443B-AA33-FFF24F96D3EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384461$495CBF81-6FEF-4B20-A8A2-CF7230B3C6D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e77d1baeb079d56f391552ff376945210c372508","datavalue":{"value":"7072199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384461$B32FECFC-D417-4893-96D8-B8178539E9A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e61c6cfa9be5a6418213008cabe47dfba3e49226","datavalue":{"value":"super-solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384461$B83A51AA-65C0-4BAF-ABDD-441733FBD7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9689a1903290e9cedfefb0b781ffa91f568a121","datavalue":{"value":"weighting scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384461$CFE847FF-F75F-4279-AFFF-2DFBF4C661DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384461$460760B0-84D7-4376-A06C-917718B9ED60","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":"Q5384461$72AD1E91-7CE0-485A-81C9-9CAA9C191412","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75293a6b9e75a76007ddbb019630ee5d574cfb00","datavalue":{"value":{"entity-type":"item","numeric-id":5958803,"id":"Q5958803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384461$49393B12-DCFE-427D-8B61-374E8E01E444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fb04515f456952574e37fe18c959d696b38307","datavalue":{"value":{"entity-type":"item","numeric-id":4821034,"id":"Q4821034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384461$148FB8B4-2076-4F30-91C5-2CBA9F87DD1F","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":"Q5384461$24B89920-037D-444F-8199-DB821D3CD2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81ab5428b9311d289af7c342defd2d6767de6574","datavalue":{"value":{"entity-type":"item","numeric-id":2271431,"id":"Q2271431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384461$367D4C60-D89E-4CDE-AC1C-BB4CE105DC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b17098a9a540d26e202a1aa44a8475e426927ed","datavalue":{"value":{"entity-type":"item","numeric-id":2387184,"id":"Q2387184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384461$E38D1F13-BBFC-468C-818D-B03F8A884481","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":"Q5384461$20964AF4-F7D6-42CE-A852-BEE04F28D755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7540f3671d86f8ea56c0771af46d4cd00976ffe6","datavalue":{"value":{"entity-type":"item","numeric-id":5713870,"id":"Q5713870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384461$803DAD94-8D3A-4857-BEDA-04D03F828D31","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":"Q5384461$9C9FD9C0-B0DF-41FC-8953-D35976A1EFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd8ecffe12414298d30b6cce97696749e27d5f4","datavalue":{"value":{"entity-type":"item","numeric-id":3439115,"id":"Q3439115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384461$0C15E270-3E70-47D8-A742-315A1CBEA36F","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":"Q5384461$E7EA5A4C-4285-4E2B-B4B9-95D9062A81AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10e569f73bd6ce67616d91e759bf210958f064a0","datavalue":{"value":{"entity-type":"item","numeric-id":5439053,"id":"Q5439053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384461$0BAC3874-6C6C-422E-9137-F50478FDA0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43df79b3cdc2fbdea788dff0ce41035df2bba8a1","datavalue":{"value":{"entity-type":"item","numeric-id":507445,"id":"Q507445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384461$C7538AD2-7B2B-4F66-B7A5-5E5CA175DA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f8a81930d6a330724d3c510a4229645d63a891","datavalue":{"value":{"entity-type":"item","numeric-id":5401563,"id":"Q5401563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384461$EC5302BF-92F5-4F38-91CC-22EF326079C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6f0424c2d1a182caaff9eaab5210b45930a6938","datavalue":{"value":{"entity-type":"item","numeric-id":2352362,"id":"Q2352362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384461$19D3F140-96B2-4B5D-8716-1F76F8F1219A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8ac8abe627bb19bd835617fee5f40d7080e402","datavalue":{"value":{"entity-type":"item","numeric-id":890505,"id":"Q890505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384461$552B7245-4905-4A64-8470-D08864A0C93C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5f19bf678c7c19787744813ad443151e11ff6e8","datavalue":{"value":"https://doi.org/10.1142/s0129054119500035","type":"string"},"datatype":"url"},"type":"statement","id":"Q5384461$E92BCBA5-F86F-48A8-A700-ED1797F1BDAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cdbc3ff1c34a576f04fdec43f1f5c56ce5189e71","datavalue":{"value":"W2921136275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384461$B66228C8-4933-4B79-9BA4-371AA37FA504","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4fb548f07cf4488d93dca96fc943e86c388b2a46","datavalue":{"value":"Q128294499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384461$628EB588-A020-4983-991A-D35A6709B7FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a2dd6e4ceb834e05be2a62ae5da97180ee49e1","datavalue":{"value":{"entity-type":"item","numeric-id":3452579,"id":"Q3452579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c9f3463e256ce8d5bbc87be9e1e23ba24df5758","datavalue":{"value":{"amount":"+0.8656967878341675","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":"Q5384461$D41B5AAE-416B-4086-8185-96F3B220F10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e66fc353f36c2d9671f2b05705e1dff971652f","datavalue":{"value":{"entity-type":"item","numeric-id":2326395,"id":"Q2326395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359dc603b2bf2dbe494a00a88cec08612427a928","datavalue":{"value":{"amount":"+0.8223903179168701","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":"Q5384461$4301375B-61F8-482F-A86A-36B91E48819C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adbfab48214af0701f95ed137dd9b77a832071d2","datavalue":{"value":{"entity-type":"item","numeric-id":507445,"id":"Q507445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce53dd7dcb88f09e7ff54a5e19f6fa8e9a425b97","datavalue":{"value":{"amount":"+0.800278902053833","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":"Q5384461$95C85679-9C96-4FB3-95F0-56446EB6450A","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":"50175abf65a2838ac989893b4dc3aa2256df41df","datavalue":{"value":{"amount":"+0.7943657040596008","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":"Q5384461$CE5F98D9-A696-4912-908F-EC91EB67A2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d961b561ca5c73704b4cbca739c3f8ef19bcd5a9","datavalue":{"value":{"entity-type":"item","numeric-id":4632196,"id":"Q4632196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ee9a06433a8c29ce934fe64f57b19283eac0c7","datavalue":{"value":{"amount":"+0.784161388874054","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":"Q5384461$4C7CA009-D612-4CED-B9AF-34DA4AB0A604","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the lower bounds of \\((1, 0)\\)-super solutions for random \\(k\\)-SAT","badges":[]}}}}}