{"entities":{"Q1752631":{"pageid":1763373,"ns":120,"title":"Item:Q1752631","lastrevid":82117649,"modified":"2026-05-06T20:08:40Z","type":"item","id":"Q1752631","labels":{"en":{"language":"en","value":"On the lower bounds of random Max 3 and 4-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6872608"}},"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":"Q1752631$8E81CF14-F319-4361-A51D-E791265CA041","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb86c2ab9d4c689ad44a28c25a63444d177ffe51","datavalue":{"value":{"text":"On the lower bounds of random Max 3 and 4-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1752631$61C6B1EB-2150-4255-9C0F-65688372C583","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"580fa20e046c1249b0efed4bcf9cf4aa5c80dfe7","datavalue":{"value":"1417.90133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1752631$2F061178-D5C9-4347-AABB-2C11C716A5F2","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":"Q1752631$857DB042-5BC7-4E15-A233-0B3D81A7EC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11839ed9a3457cdf8e2bfc8b703682177c92d237","datavalue":{"value":{"entity-type":"item","numeric-id":1928133,"id":"Q1928133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1752631$CFE1ACF6-5C21-4F35-8660-5C4EB0018E93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dcf8815e3b257674fa147da7a4e7c92c91c0b3e3","datavalue":{"value":{"entity-type":"item","numeric-id":185429,"id":"Q185429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1752631$F525BE41-E06F-4D96-BB4D-FC8A49E616CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c597f58fee4116e99c26124cb0287e47f96a30d","datavalue":{"value":{"time":"+2018-05-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":"Q1752631$B92A63FA-6811-4A47-8B7D-6442D7458D6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1752631$DE2DA506-F097-401B-BC19-76F243F055A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69d4ca257217e6389b751d30ea593d774260248d","datavalue":{"value":"6872608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1752631$FA508433-E90A-4990-817E-311BF2E4CA28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1752631$3CAFC01C-942B-4308-8A13-8039605940A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b25a5a66786be30e1f9e76aa7171a8621315af0","datavalue":{"value":"second moment method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1752631$48873E75-3E6A-4C10-BB24-3FF35CD83D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9689a1903290e9cedfefb0b781ffa91f568a121","datavalue":{"value":"weighting scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q1752631$34C63AC4-ACD8-429B-8A44-E2C009327121","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":"Q1752631$219ACF2C-40EB-48F5-B33C-F85DBC7D494C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c6bee5c5fe18cc405aa86590b6ff6563b43b766","datavalue":{"value":"https://doi.org/10.1007/s10878-018-0267-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1752631$841CC6AF-7A35-4C5F-BD31-47C5943FB468","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3653c86db8c25915a2e42426ebf31c04806a9163","datavalue":{"value":"W2787931001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1752631$CCAA8916-5B4E-49C0-AF66-2250B66015DE","rank":"normal"}],"P223":[{"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":"Q1752631$D81975E7-D2F7-485D-849F-1019178728E3","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":"Q1752631$B50EA391-6CDC-451B-91B3-DF981D17CDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd831b55796cd0250c2ee5433bd1950bd550e352","datavalue":{"value":{"entity-type":"item","numeric-id":3546329,"id":"Q3546329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1752631$9A0B422D-F9F7-46AB-B121-A40497F6A601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafca812d9e4c7ca1ddc3a0fcf890183aad4d322","datavalue":{"value":{"entity-type":"item","numeric-id":1288467,"id":"Q1288467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1752631$326646F5-C92E-44D8-824F-C8429188237F","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":"Q1752631$2AB27BC2-5EA9-43AF-BF0F-4B235583CAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b968c6b697e68f2f1aadee6972ba9c9775022140","datavalue":{"value":{"entity-type":"item","numeric-id":4471319,"id":"Q4471319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1752631$AF4B5B56-9904-4141-AA5E-9A2363BA8644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac00f2204b885a33df76314414d461cf1bba8281","datavalue":{"value":{"entity-type":"item","numeric-id":3219268,"id":"Q3219268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1752631$CF910C86-0FDB-4D6D-8572-80A3136BAAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73a40325dd6ccbd07c8cdeabd3636cb7d9c050b","datavalue":{"value":{"entity-type":"item","numeric-id":4317711,"id":"Q4317711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1752631$6D6954CB-9771-455B-90C5-773D1B9BBDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63223a2b10e799e0a620d9698b0286ebd9668db5","datavalue":{"value":{"entity-type":"item","numeric-id":5441360,"id":"Q5441360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1752631$16C3287E-7D40-4DAD-A28B-CA6AADB26219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a46e11264b888323b8f511c53cbbfccda455c3","datavalue":{"value":{"entity-type":"item","numeric-id":4501522,"id":"Q4501522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1752631$378F9689-70B7-4C95-902B-32BF81FF5EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe527c70667abdcc4643bcdaa21cf1b7741a262b","datavalue":{"value":{"entity-type":"item","numeric-id":5486323,"id":"Q5486323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1752631$FAF37B01-34F7-443B-87CE-F2A5C433058F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"249eefb651d6b0a9ee3359cdb667f5749e0760a4","datavalue":{"value":"Q130193106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1752631$E3AEA83E-AB82-4FCF-8192-3E1665B833E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a1be23119a2f8853aa67d6d2cb95d88b9f44d5c","datavalue":{"value":"10.1007/S10878-018-0267-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1752631$E811E9B8-DB58-4BB3-A83A-9CC30C87222E","rank":"normal"}],"P1643":[{"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":"a785f56433d3e294da3c51423669dbca86a5a2ea","datavalue":{"value":{"amount":"+1.000000238418579","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":"Q1752631$E66FB49F-D963-4D17-964A-7246531D70DD","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":"12c21e350cd56b0bc2ceda9fd744651e2d2af982","datavalue":{"value":{"amount":"+0.8542954921722412","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":"Q1752631$6D03CB19-6A5D-4956-A854-F44AD6D19BFC","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":"0b54d9ce3bcbd13c8b47cea502602e387a348114","datavalue":{"value":{"amount":"+0.852168083190918","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":"Q1752631$D2470B3B-6DFD-478B-A575-0AF959ECCDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"995978abca0e901d04e678b5afc263c26cf533d5","datavalue":{"value":{"entity-type":"item","numeric-id":5439053,"id":"Q5439053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7302c2c9779a9da3976436c5dc9b4d8f8d18e9af","datavalue":{"value":{"amount":"+0.8489977121353149","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":"Q1752631$1FC33174-3351-41E5-B3DA-2C63090EEFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab6960da7e50f78b8d3505d37f4c632463913d8","datavalue":{"value":{"entity-type":"item","numeric-id":5958806,"id":"Q5958806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b77044d2ca57ae5c43f28198d554761795b24f","datavalue":{"value":{"amount":"+0.8386070132255554","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":"Q1752631$348CDDB0-3251-428F-8C3F-BA258BB30292","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the lower bounds of random Max 3 and 4-SAT","badges":[]}}}}}