{"entities":{"Q5471051":{"pageid":7500610,"ns":120,"title":"Item:Q5471051","lastrevid":49847302,"modified":"2026-01-11T06:44:37Z","type":"item","id":"Q5471051","labels":{"en":{"language":"en","value":"Threshold values of random <i>K</i>\u2010SAT from the cavity method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5029907"}},"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":"Q5471051$241DF706-DCC3-4BC1-BB7F-C2FA6423D81C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7695e4ac8e34e865e0874bc8dc607d8f91ec6972","datavalue":{"value":{"text":"Threshold values of random <i>K</i>\u2010SAT from the cavity method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5471051$FD4677D0-3F60-4606-93ED-34409BDE1267","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01cd0af239c92ed17e24b499f62f3f6ed63fb0d8","datavalue":{"value":"1094.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5471051$2D0982B6-CE23-4E15-BBD6-1BEE2120914F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a9f5a078e84db0dc90e3244bd22e425ea6267ef","datavalue":{"value":{"entity-type":"item","numeric-id":1203182,"id":"Q1203182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5471051$444FA91E-84BC-4EB7-B7B3-90905D28D1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"111aaf633fff6b623f6fbfe96688e9bf86c4ff45","datavalue":{"value":{"entity-type":"item","numeric-id":212748,"id":"Q212748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5471051$EB95DDDF-B6F4-4FA9-8CB3-4C989B50D4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c89a389cfe18acf9b42f03905ba53d9733e408e","datavalue":{"value":{"entity-type":"item","numeric-id":220479,"id":"Q220479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5471051$3FD9FFC4-5D08-4D7E-B346-861207B1F0BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f55eebb2d61edf82e9b34a6b591c5e00dc5389df","datavalue":{"value":{"time":"+2006-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5471051$F0E594FE-C870-4CFD-A1B5-ABB33EAD1CEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5471051$B6C92256-63BF-4F9E-BEAA-382FC258EA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5471051$81881E53-C48B-4E39-BA49-EBC149C0F3C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8f64537d9449b009c535afb77cdf0af93b62ea0","datavalue":{"value":"5029907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5471051$7CF3E3B9-8AD9-4767-8EF1-8E6BFB98D74D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c95393006136a65861f345d17e00540c09d9d258","datavalue":{"value":"Satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5471051$202DE0D9-9113-44B7-B124-7A01F04156EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61ec6d2071a4454eb72cc889edb5c29d5fc2279d","datavalue":{"value":"K-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5471051$0E41003A-A7D6-48A2-BBE0-1B7367642C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75b2deb878e2a6d3563d234a791e980d84cf790f","datavalue":{"value":"Threshold Phenomenon","type":"string"},"datatype":"string"},"type":"statement","id":"Q5471051$B23F7595-2F50-42BE-8F3A-44ABC0E09353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb5b274fa4bdeeb012eb85b18356be802632869e","datavalue":{"value":"Phase Transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5471051$FC730CE3-F98D-4B0F-BAEA-1DF77845429B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf638d5d48afd98e768c0d14eaadb2e09dff366a","datavalue":{"value":"Cavity Approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q5471051$520FA304-CB34-4290-A9DA-485171B7F3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35800c2f55e10c0b4d69ab9df20a938d5c16f414","datavalue":{"value":"Survey Propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5471051$66BA58D8-DFC4-41BD-A687-56C7A1B5E425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15952d819ac12342eb11f2f0be25f8a27d5e6c14","datavalue":{"value":"Average Case Complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5471051$72742D78-BACA-478B-B050-D04EE536E941","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":"Q5471051$C7CC6E88-9E1C-462A-A752-2DC820B98BCF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88a0317b282c330f980c2c58d05edbb3dee05cef","datavalue":{"value":"https://doi.org/10.1002/rsa.20090","type":"string"},"datatype":"url"},"type":"statement","id":"Q5471051$AC28FB15-6FD2-43A7-A4E8-9157B138B3D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"844139ad7fbd179ada4d5775fff5c7d47658f0af","datavalue":{"value":"W2949171506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5471051$0E978ECC-1183-4D2E-8890-DCAF51FF6E66","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5f2f6c9f38f4c0ca4018e28b09d974ce6ed62a05","datavalue":{"value":"Q61444442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5471051$3D78D0DE-60C4-444D-9A31-6BBB8EF97E89","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0158d61646f22fa2bf3f5088db715ce11c981450","datavalue":{"value":{"entity-type":"item","numeric-id":5318246,"id":"Q5318246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5471051$E053FDEE-AAEE-425A-9227-6A8D5FD562A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f286ff126f8e4401146a039d4bb3019a6c01c6d","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5471051$10B0CB8B-2204-4836-8D6D-65024F290985","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":"Q5471051$0C8C1E3B-09DA-4FC3-95BF-BE0D1A1315D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"944bad473dc13067db9f3ee9b3f84bbc09be3405","datavalue":{"value":"10.1002/RSA.20090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5471051$34CD92DD-E3D6-419E-9ACC-A66C5B37BDA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"607ae7f7d11ced7a8909533172911c64cec6dcc4","datavalue":{"value":{"entity-type":"item","numeric-id":6486797,"id":"Q6486797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5471051$A7A6EBB5-A5D4-4AFB-8F2D-C4D0053FC0D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4df546ffd8cae746a9a2888262b7434e15a8d9","datavalue":{"value":{"entity-type":"item","numeric-id":900872,"id":"Q900872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f70f6f1d01e63d8f9a3412efae7e816155dbd4a8","datavalue":{"value":{"amount":"+0.8832641243934631","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":"Q5471051$9022210D-D1E6-4840-A72E-D936832F043D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa1108b39adf34b0d85dc16923fb4966ed4d2b2","datavalue":{"value":{"entity-type":"item","numeric-id":5259616,"id":"Q5259616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7c63aabe3bb9039192f800f4da3e548d0fe5651","datavalue":{"value":{"amount":"+0.8660750389099121","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":"Q5471051$FCBB5675-DBC3-4F73-A579-818EFA90AB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceaddce235366296c48c86158fd23909d4ae9d41","datavalue":{"value":{"entity-type":"item","numeric-id":2171413,"id":"Q2171413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdbbffe48166721c5060bbe970c9c81512d4aa5a","datavalue":{"value":{"amount":"+0.8614979386329651","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":"Q5471051$BB2ACBE3-C127-4728-BCB5-64A035E7DED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"169aa400b3c883801226c3b7200fca4852e23e96","datavalue":{"value":{"entity-type":"item","numeric-id":2941489,"id":"Q2941489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55cf84598e4e70890ffd30ce37fb10b48fbceaf","datavalue":{"value":{"amount":"+0.8600283265113831","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":"Q5471051$49965938-56B8-4C46-B1FB-DC90BFD68C92","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":"99ba869efe2db9dcf9841b77f4ea25874db41fd3","datavalue":{"value":{"amount":"+0.8559475541114807","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":"Q5471051$28F673CE-0A96-4CC1-9153-DC87AE4F8921","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5471051","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5471051"}}}}}