{"entities":{"Q955013":{"pageid":956861,"ns":120,"title":"Item:Q955013","lastrevid":65611686,"modified":"2026-04-12T03:47:15Z","type":"item","id":"Q955013","labels":{"en":{"language":"en","value":"On the satisfiability threshold and clustering of solutions of random 3-SAT formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5368343"}},"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":"Q955013$4FEAFCA2-D851-42F2-8CA7-B09A497D1847","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"233afaed3c6c4109560ed2fac6dfb7a9bd4d7d00","datavalue":{"value":{"text":"On the satisfiability threshold and clustering of solutions of random 3-SAT formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q955013$6BF89290-9941-4FCB-B884-83A1D8ABC24F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7dc82ce93966d529c1eadbb05cdcfb83fbc17503","datavalue":{"value":"1152.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q955013$0DFABF89-7377-438E-B3D6-D3BEE17B394B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f710f7e1d894c4ae737144ce1fbcb7f3fc75f44c","datavalue":{"value":{"entity-type":"item","numeric-id":716323,"id":"Q716323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955013$CA655CBE-AB47-4C6B-8CE9-E179F6409979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"098d3ff7023f860d2ad4ff4e99a3417308a6d5f9","datavalue":{"value":{"entity-type":"item","numeric-id":287734,"id":"Q287734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955013$AAAA0207-57B0-4D4E-A054-747396C81A72","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":"Q955013$A42E22B8-FE8F-4D3D-8697-6C5E310C400A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"306381da90d766ef5d1c239e6a30b867b4ac575a","datavalue":{"value":{"time":"+2008-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q955013$24C6E89E-361D-4909-A866-12A9ABCC9A39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q955013$8242F455-2939-46FD-B7E9-9730616395C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"545b2e5534784926df3a4c2415a7c92c5344bad3","datavalue":{"value":"5368343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q955013$77A03541-E56F-406A-9744-0412AD287F38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15f00ddf55236ec758836dfbad1ca7df761532bf","datavalue":{"value":"random 3-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q955013$DC2B289D-310F-4BA4-BBAE-D6958E75E517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f3e4ca58b2ed3663e2e3a4465f28160190050a","datavalue":{"value":"phase transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q955013$C8B60901-4EB6-4386-B042-B5C6CD7C7F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"617d4e67feb9bb9291538ad8ea4dac1b90209534","datavalue":{"value":"survey propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q955013$1902FB8C-2D4F-46EC-A65F-2C2FFE10C7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daf53ee34f03bf4b241ad9947bd9f3bff6c67eee","datavalue":{"value":"threshold of satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q955013$530A0947-5969-4BDD-89BA-7F56199AF546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2968021c0dd169687ce297efa17895b8b19c45b1","datavalue":{"value":"first-moment method","type":"string"},"datatype":"string"},"type":"statement","id":"Q955013$45AF5BC6-44C5-439F-B21E-576AE8E64B48","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":"Q955013$DBA3603E-A7D8-4A2C-9E52-5B17CF7AA457","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45c52e4284fa6b6ccbc42277f840d71b1c2cfe3e","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.06.053","type":"string"},"datatype":"url"},"type":"statement","id":"Q955013$44219F48-6807-48C7-BE89-9C00A27C8070","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8997da0587661b662f633ed2db4c60257996c13","datavalue":{"value":"W2001001966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q955013$36E2663E-0F78-4A07-BD79-3F4DA409312D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8714c55bad3c0012094714613d3e254bc71c3116","datavalue":{"value":"Q125756943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q955013$4B3D7469-1C34-4D85-BEB6-CD70D10468C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03ed455aa03a39582e8642c14989042ccc1554e","datavalue":{"value":{"entity-type":"item","numeric-id":5891921,"id":"Q5891921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955013$96A1E148-721A-4858-A69F-FC4905251C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78be779432a58ff19d610ae47c1765af407d6163","datavalue":{"value":{"entity-type":"item","numeric-id":1025925,"id":"Q1025925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955013$C2BB6EB5-850A-4DB7-A1DF-24815566AF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58a4eec761d82fadaa75beb6035e394dcfc1529","datavalue":{"value":{"entity-type":"item","numeric-id":3160046,"id":"Q3160046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955013$00489471-468A-4D39-B49B-EF3A14C07126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b7ee5f423238333301dba3b10a805e6405f34e","datavalue":{"value":{"entity-type":"item","numeric-id":3201078,"id":"Q3201078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955013$7F914E39-0F79-4523-9ED4-FD6B165D53A9","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":"Q955013$9A3CFEE6-BADB-4BD2-A938-697D503B3459","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":"Q955013$638D347A-F7CB-4BAA-8A30-537E75A60C85","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":"Q955013$EC53D2DD-A2AF-4C71-A37E-792F9353FFBB","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":"Q955013$18D03EB2-87CE-435E-86D7-47B263FCEA80","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":"Q955013$4FB5C071-4585-494E-8EE9-E446266FD4DE","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":"Q955013$7F419FE5-6583-473E-B553-4729242412F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0a7374bca659a899751abf921f96f3058a7c997","datavalue":{"value":{"entity-type":"item","numeric-id":2643297,"id":"Q2643297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955013$CECF3722-E3AC-4CED-93AE-8BDA82D303FE","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":"Q955013$F2A7B946-7AB3-4FFB-9287-CC59818B0EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e7d90d80651ef73449b528c0f193c9108d01731","datavalue":{"value":{"entity-type":"item","numeric-id":3546340,"id":"Q3546340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955013$B3368820-CF03-4CC3-A9E8-630A132D32DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2499f070fd0dfae5aaadf25b62eee8f8ef1d7e3","datavalue":{"value":{"entity-type":"item","numeric-id":4237477,"id":"Q4237477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955013$856EF311-5E30-4469-B687-4B5789B7E878","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05543e98bdaf4bc96c66fff4e8813b60381601ae","datavalue":{"value":"10.1016/J.TCS.2008.06.053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q955013$E758424B-5C8A-43A2-A292-15024619FD77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb18ccb651ab15f57db6102f0140b9aa69ada9c7","datavalue":{"value":{"entity-type":"item","numeric-id":4739606,"id":"Q4739606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48823ca1343c01263d6ea71ce82545e89f7b8381","datavalue":{"value":{"amount":"+0.8472638130187988","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":"Q955013$3A1AE5C2-CAD4-4B8A-8972-F6B0F4A4853E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838fcd644262926d232c9086f8a836aa80f273e9","datavalue":{"value":{"entity-type":"item","numeric-id":2271431,"id":"Q2271431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde21fd93707d1db156ff2837e9d52895ce1ac89","datavalue":{"value":{"amount":"+0.8359659910202026","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":"Q955013$A8EC3AC8-E5DD-461C-BC98-BDE31BE3A829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a338b9e07cb8aa7af2a95eeccb356f2bd343278","datavalue":{"value":{"entity-type":"item","numeric-id":2481970,"id":"Q2481970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a640eca01e47dec9c4c64a242bc8a6a93b9de9a","datavalue":{"value":{"amount":"+0.8353499174118042","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":"Q955013$9C7737D5-FDAF-45BD-9A03-7FAAC63E18A6","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":"4c87fcd9ccb52570caca3e1e2da103cef7e89995","datavalue":{"value":{"amount":"+0.834642767906189","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":"Q955013$3141C46F-C689-4172-962B-7124F02807F5","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":"435582444acb612d3d03db9f01068482e8b6be58","datavalue":{"value":{"amount":"+0.8343249559402466","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":"Q955013$61014968-5C14-4CF8-BAB2-11ABF38027B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the satisfiability threshold and clustering of solutions of random 3-SAT formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_satisfiability_threshold_and_clustering_of_solutions_of_random_3-SAT_formulas"}}}}}