{"entities":{"Q517195":{"pageid":518962,"ns":120,"title":"Item:Q517195","lastrevid":77861762,"modified":"2026-05-06T10:13:36Z","type":"item","id":"Q517195","labels":{"en":{"language":"en","value":"On the phase transitions of \\((k, q)\\)-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6696569"}},"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":"Q517195$119FCA76-6DD4-490A-B945-92D4C4D113D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cec6d0ab5a8f949a404e1a75c5b129f7dd5ab145","datavalue":{"value":{"text":"On the phase transitions of \\((k, q)\\)-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q517195$B93098D3-F14C-45C6-A3BC-DDF4CE0C68FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a803d9c3b7f16d0e4d4720334f2f79682b79f5b","datavalue":{"value":"1359.05134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517195$133E1B72-F3AA-4995-A895-A32211741135","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3900f1dd72936e9a81983c93c23516017666df8d","datavalue":{"value":{"entity-type":"item","numeric-id":300229,"id":"Q300229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517195$62FE05FC-DE48-4802-945E-1755FE5CF399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"abe0d338fc22b2761358952c38405d5c422538e2","datavalue":{"value":{"entity-type":"item","numeric-id":277874,"id":"Q277874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517195$ED9FA672-21CD-4107-B155-C369B89098B0","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":"Q517195$B8D71B67-2D4A-43D6-B5DE-5AC1898F964B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bd8a7678534b4c4a434a737b8e34eefad997d7a4","datavalue":{"value":{"entity-type":"item","numeric-id":176689,"id":"Q176689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517195$89A9DF7C-716A-4E85-BA83-3D71C6954EC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0beb2f43c8727816ec99249cdb49a15b77ad6c8","datavalue":{"value":{"time":"+2017-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q517195$65CC6654-FA47-43B4-B260-552A3F7ECAA2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7eb8ea92472a39b308628f47c355cc7e6325a6f7","datavalue":{"value":"The main result of the paper proves an asymptotic zero-one limit of the probability that an instant \\((C,Q)\\) is satisfiable, i.e., there exists an assignment that does not set any of the \\(k\\)-tuples of randomly generated Boolean variables in \\(C\\) to a given bad tuple set of assignments in \\(Q\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q517195$2167CEA4-A57D-41E8-94A2-ACA9E28F165B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"505dab9721154d1029d881b944cbf9d233b6d0c1","datavalue":{"value":"05D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517195$4A82383A-7D61-4AAB-A7A0-D7CF5ABEA724","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4be2882cec19975b8a89a380702c916b297da82d","datavalue":{"value":"6696569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517195$E1095ED3-691E-4506-A168-E9F8901F2C26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q517195$2443CF30-E527-4E10-83C3-DD0A2450DCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"011292841bfecc5a96af7eefb5f2207525532434","datavalue":{"value":"phase transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q517195$6C3DCDF9-C750-4A67-871D-923E2A9050B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b25a5a66786be30e1f9e76aa7171a8621315af0","datavalue":{"value":"second moment method","type":"string"},"datatype":"string"},"type":"statement","id":"Q517195$E562D407-5B6F-4C0B-9A57-7DDDBDBCC312","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0f7742dcc712f47f9c83641eb66393a36a46c0f6","datavalue":{"value":{"entity-type":"item","numeric-id":700225,"id":"Q700225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517195$AA843366-1C3C-4AC2-8DD2-EA952D19D052","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":"Q517195$1111CF15-2A53-4BDD-8382-42B769362916","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fabc8297c951768cf8813d9d089f4612cc6bd4f","datavalue":{"value":"https://doi.org/10.1007/s10255-016-0591-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q517195$B6FA0543-657C-48B8-AF76-388797B69AAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2bd181020e4a69da4aa5d09e58c2525dbcd4bf3d","datavalue":{"value":"W2514057803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517195$555F9C8B-52AC-463A-894E-8FB5D3EC01E9","rank":"normal"}],"P223":[{"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":"Q517195$D2B7CA7C-143A-46A2-81AA-E94B4C6D402F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd096fa169d7c60ad1f79813ebb9c6a34756dc2","datavalue":{"value":{"entity-type":"item","numeric-id":543632,"id":"Q543632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517195$D77F030D-04AB-4E63-80A7-7FBDBDFBD390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625b1958ca90c6dbbb5022cab779fa002fd53651","datavalue":{"value":{"entity-type":"item","numeric-id":359981,"id":"Q359981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517195$BBA051FE-FD2E-4B54-A629-38C34309DF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea75486f44691aacd581b9177efe27c4c696c2c","datavalue":{"value":{"entity-type":"item","numeric-id":1877674,"id":"Q1877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517195$458D0A70-6660-4B81-8582-7378922440FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b17098a9a540d26e202a1aa44a8475e426927ed","datavalue":{"value":{"entity-type":"item","numeric-id":2387184,"id":"Q2387184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517195$CBEE750C-B172-4229-819B-0B3A19D76043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1ec7b6498d21cf7bf18db5a229c82ff0a4ad418","datavalue":{"value":{"entity-type":"item","numeric-id":4954175,"id":"Q4954175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517195$0825CDA1-FE50-4EA0-9D39-0DAC3BAD8FB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd932b9d6bcbafae196e6d34e08a4eb8672ff3c1","datavalue":{"value":"10.1007/S10255-016-0591-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517195$B7D4AA14-C933-4668-A8DE-E27BB1039C06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0185050f71bda7ac075da4d5af7ac4b7a6e99ae7","datavalue":{"value":{"entity-type":"item","numeric-id":1010652,"id":"Q1010652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"745f8d6f720e7a8fbc3448eb6054201af2d623cc","datavalue":{"value":{"amount":"+0.8095557689666748","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":"Q517195$F4469961-19C2-4592-9A58-D124A3856C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2062d10d923b36edf49a05cad71c4dd6097c7655","datavalue":{"value":{"entity-type":"item","numeric-id":1877674,"id":"Q1877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098806bddca74c2c07388f874f216f09fb299cd1","datavalue":{"value":{"amount":"+0.8036047220230103","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":"Q517195$3F6898F5-9451-40BC-ACCE-A5B0B7B888DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8246d7a75b5ddd0864e16e4f88d9302c277f233b","datavalue":{"value":{"entity-type":"item","numeric-id":5931554,"id":"Q5931554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9adb778f2caa17edc51ec0ce89edbca7ab604b0","datavalue":{"value":{"amount":"+0.7903232574462891","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":"Q517195$B4177C29-6DD8-4891-B92F-84B10D65CE4C","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":"5af8e5fb2809ab6e94ec48701421a8819310ed9e","datavalue":{"value":{"amount":"+0.7898730635643005","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":"Q517195$2B3067DC-E3C1-41C7-AA5C-9396E0EF567C","rank":"normal"},{"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":"6fa9fae2662a19c39c16f68aa7ad9ab8f1cfa867","datavalue":{"value":{"amount":"+0.789751410484314","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":"Q517195$0EC9EB9D-4375-4B39-832B-F23E7A29D506","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the phase transitions of \\((k, q)\\)-SAT","badges":[]}}}}}