{"entities":{"Q4240602":{"pageid":6270203,"ns":120,"title":"Item:Q4240602","lastrevid":46750854,"modified":"2025-12-25T12:48:38Z","type":"item","id":"Q4240602","labels":{"en":{"language":"en","value":"Approximating the unsatisfiability threshold of random formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1281306"}},"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":"Q4240602$649C9A33-3F6E-4E53-B832-00D1017AB810","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02b41e8d306b88102d07af1440c37461da00b544","datavalue":{"value":"0936.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4240602$F8484440-ADBC-478E-9F98-7220F1810F1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3114a9e7c18fd9d37962020c44023cd148b8085d","datavalue":{"value":{"entity-type":"item","numeric-id":215098,"id":"Q215098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4240602$9992229E-55A1-4A6B-BA28-BA1115B845AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"470ab19ea59c903ef70cce34096820e8d1297da8","datavalue":{"value":{"entity-type":"item","numeric-id":215099,"id":"Q215099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4240602$3802411E-70F4-4EF0-93CA-362C70912949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca17c9763199648715858433b15ebaf2ef36218b","datavalue":{"value":{"entity-type":"item","numeric-id":215100,"id":"Q215100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4240602$6DFC2FC0-9D62-43EA-88B7-D0626C534457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3510588941215065bc6a9d8f23e378fe2770ea1f","datavalue":{"value":{"entity-type":"item","numeric-id":215101,"id":"Q215101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4240602$1582E3BB-BE4D-4817-BED1-D53AFD6ADBFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9b314e122b1019afdabf9138b6d6997da2f67c","datavalue":{"value":{"time":"+2000-05-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":"Q4240602$8B9F0F53-E6D6-437F-AB6C-D581F47947D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4240602$8AF303B5-F384-4148-BD59-705ECC831DBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07669ea1c5b5369b331eee55f2a07d663beb2b2f","datavalue":{"value":"1281306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4240602$49FA673F-C9FC-4685-97E3-BC295CCB0856","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95b71c1664241fd8579bfcda997a22dbfcbb7957","datavalue":{"value":"random Boolean formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4240602$9951E8E8-179D-464B-BFC7-2BCD145929EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2348752ed9ac41037aee58c1d70ac8d0decfe670","datavalue":{"value":"3-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4240602$BCC92027-7102-4E73-B5BB-77616EE28D13","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":"Q4240602$27218689-66CA-4A7B-B7BF-BD11F15C314D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34ebffafc153c648d735cd6b1cf1e028c2498740","datavalue":{"value":"W2000931246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4240602$83F6BEB1-4DFA-4D27-9677-B3315B09C59E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2c6014db8a7a2eacbf83e9ac2e3cfa06fa3c804","datavalue":{"value":{"text":"Approximating the unsatisfiability threshold of random formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4240602$D28908BB-0186-4DE0-87FC-7921DC0F091C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7351822b076d40125b90880493b2ba5c816067fa","datavalue":{"value":"10.1002/(SICI)1098-2418(199805)12:3%3C253::AID-RSA3%3E3.0.CO;2-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4240602$383D94F4-E354-4226-B40F-7C77DF536742","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82df529b9a234918521c239646bd61a7eac7b2fc","datavalue":{"value":"https://doi.org/10.1002/(sici)1098-2418(199805)12:3%3C253::aid-rsa3%3E3.0.co;2-u","type":"string"},"datatype":"url"},"type":"statement","id":"Q4240602$1E79B674-C929-48D4-B591-8A44A545CED4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecde7a24da94816b9d42e5b7ab33720dd1a35064","datavalue":{"value":{"entity-type":"item","numeric-id":4595474,"id":"Q4595474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e446bbcd46dc1b6b130402b17c339e04c5be4a","datavalue":{"value":{"amount":"+0.9930862188339232","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":"Q4240602$F3808DFA-5AA0-4B82-AF25-A36DC8CA0634","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":"2405a8a9a9d5bc432e5b7ff441d319192044e01d","datavalue":{"value":{"amount":"+0.9522950649261476","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":"Q4240602$CDC358B4-3951-4B1F-9F0B-452900BBAAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c098662167eb9d951535cc3eedbf0aeb2faa5b","datavalue":{"value":{"entity-type":"item","numeric-id":4511484,"id":"Q4511484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c7fe00e0375421668b53887e63e323ea13fa3f7","datavalue":{"value":{"amount":"+0.8924930691719055","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":"Q4240602$5B4535A0-09F2-4B0E-8EC2-413D385D26FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f2540bc8b97f56c253aa9435064a9560409aaf2","datavalue":{"value":{"entity-type":"item","numeric-id":2741515,"id":"Q2741515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42fe9950c4a72a4360197bc5117be81e49851285","datavalue":{"value":{"amount":"+0.8896268010139465","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":"Q4240602$8B63F345-9836-46F3-9D81-EA4CD0B07778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65c389d951ae275b35ec2db4131ffc15d9ed9d09","datavalue":{"value":{"entity-type":"item","numeric-id":5034546,"id":"Q5034546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b623eeead39682a34edce8a03f9f26e03b79adc9","datavalue":{"value":{"amount":"+0.8852962851524353","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":"Q4240602$5C3FEDA6-2F0B-4126-9788-107E8165E5ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4240602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4240602"}}}}}