{"entities":{"Q3094942":{"pageid":3105657,"ns":120,"title":"Item:Q3094942","lastrevid":85761752,"modified":"2026-06-03T11:24:31Z","type":"item","id":"Q3094942","labels":{"en":{"language":"en","value":"On the diameter of the set of satisfying assignments in random satisfiable \\(k\\)-CNF formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5964623"}},"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":"Q3094942$BCAA27FC-0D3F-4D6D-965A-703924E3C1DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd29d0a15d3ff88668dc7373de9342b7fe8ef61b","datavalue":{"value":{"text":"On the Diameter of the Set of Satisfying Assignments in Random Satisfiable k-CNF Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3094942$2510A716-CB72-4ABA-9766-0D3BAD681FE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d86532433654de65660a5b0a6d2815d1d3e0c920","datavalue":{"value":"1235.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094942$E10E215A-9A69-4BA5-BA63-B5BF8AD48977","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d23639cd3f959256bd57a4b5064a3d80968d232","datavalue":{"value":"10.1137/090749323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094942$E69374DE-09BD-4BB6-827F-8DFB83513D2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"effec259dd2cfee2180fbd863f6260f5ca98ae9e","datavalue":{"value":{"entity-type":"item","numeric-id":452815,"id":"Q452815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094942$756E77C4-2FBD-4C5C-9F75-166ECBD71825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06c2bb062e1c2d6c7d8effed64a3cc8e206996f8","datavalue":{"value":{"entity-type":"item","numeric-id":248242,"id":"Q248242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094942$8CD4EFA5-7DB5-4140-9D95-962AFE22B077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fbe35cb61496fa8363dcdb2d9d3a4d54bbef6e2","datavalue":{"value":{"entity-type":"item","numeric-id":6480586,"id":"Q6480586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094942$551BCB60-BB9F-4129-90EB-DD4B9C558A4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"39a509948a5fd41054da3e7af81581f39adaebc1","datavalue":{"value":{"entity-type":"item","numeric-id":2706174,"id":"Q2706174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3094942$ED76001E-0C5C-4701-B7D2-6CD172574B9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38a81e84099573d05121e91aff13e9ace3cbdb14","datavalue":{"value":{"time":"+2011-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3094942$22D0DEF0-8271-4023-AC7D-E968CA85E8ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a900f7b0b61eb1a7c46813821fc91a6e8e880b9","datavalue":{"value":"https://arxiv.org/abs/0902.2012","type":"string"},"datatype":"url"},"type":"statement","id":"Q3094942$D234BDEB-57F1-4119-82A9-E447B59455CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094942$0E9D26A1-2C5C-439B-8BEA-D5180B40C925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094942$0F2B950E-AD92-4C34-86A1-AC08D10F8A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094942$0117885A-0894-49B8-9C45-AB0D19AB68CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d260aa3f524fa7b919c319b990c0e8d81595b983","datavalue":{"value":"5964623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094942$977CC0D8-6C31-46CC-A50E-5964AFCC34BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9161657d5fba10184ab322fd0fcb2b7c61ba9274","datavalue":{"value":"random \\(k\\)-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094942$AC7997EA-FBC0-4D62-B02E-AC6132896006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"011292841bfecc5a96af7eefb5f2207525532434","datavalue":{"value":"phase transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3094942$E3D8425D-CC19-4FEB-86A1-53F96BA1EBB8","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":"Q3094942$005FF983-DB24-4052-BD1D-17CEC9DC58D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d51feb9dae14783ef9d8a4f50742720851d70013","datavalue":{"value":"W2038932251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3094942$0AA7A276-ACB0-4559-B2FF-114AC92FD0A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce923eacc97dcf52d2ee2c6ad6cb58dbda7f936","datavalue":{"value":{"entity-type":"item","numeric-id":3576756,"id":"Q3576756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0df37ffdd1f4dd76c3801b75ff8abd546c31d6a","datavalue":{"value":{"amount":"+0.8125103712081909","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":"Q3094942$3FA1833E-EF76-405E-A43B-E3453186B0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61cec5288a7a925d54126c3b778691d8b2e30526","datavalue":{"value":{"entity-type":"item","numeric-id":3546329,"id":"Q3546329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66bbe9b148b610c4b6beb7b410892d2016b1af51","datavalue":{"value":{"amount":"+0.8112872838973999","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":"Q3094942$706B369F-9B2A-4CAB-B993-00E2EF80DD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c55599f5166b609155175bf0fd0ab5a4f6bfe9b5","datavalue":{"value":{"entity-type":"item","numeric-id":5891921,"id":"Q5891921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d09efd0cd96de6efa242b9e540928b3c5cc2d47","datavalue":{"value":{"amount":"+0.8081040382385254","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":"Q3094942$B29C5DBC-6BC3-4256-858F-A74CD7AC7315","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":"303c644539647a2cb542487678e0c2395d302fed","datavalue":{"value":{"amount":"+0.8017728328704834","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":"Q3094942$D037251A-1622-45AB-A56B-B63EDFB19C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d993831c5acbf11b8d04d957f28914ff5a9eae3f","datavalue":{"value":{"entity-type":"item","numeric-id":5892482,"id":"Q5892482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fdcacf10b6b439ef335a2bde6238f739e392a07","datavalue":{"value":{"amount":"+0.7962658405303955","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":"Q3094942$C1E76FC9-8335-4997-B375-E1AF8A0FA4C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the diameter of the set of satisfying assignments in random satisfiable \\(k\\)-CNF formulas","badges":[]}}}}}