{"entities":{"Q5111724":{"pageid":7141298,"ns":120,"title":"Item:Q5111724","lastrevid":58421289,"modified":"2026-04-05T03:48:40Z","type":"item","id":"Q5111724","labels":{"en":{"language":"en","value":"Bounds on the satisfiability threshold for power law distributed random SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7205015"}},"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":"Q5111724$056FC5AC-ED8B-407F-96CD-113B41BCCCFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"610473d25796611bef64350ee3da6b12b48d8db7","datavalue":{"value":"1442.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111724$9605A61D-D322-41E3-9D5A-1DB11972552C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1869aa27e1830b624b1855a9b5e8c40621403f63","datavalue":{"value":{"entity-type":"item","numeric-id":319122,"id":"Q319122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$644DB677-8C3C-4D22-8007-D38E20E5EBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25891ce32abc1ed9185cf8495258ec1441b02a42","datavalue":{"value":{"entity-type":"item","numeric-id":724236,"id":"Q724236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$7C17E257-E453-4CE7-8831-85B2952541C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"906a686c7f3bc16507fa49e3152ecf110f09924a","datavalue":{"value":{"entity-type":"item","numeric-id":1656584,"id":"Q1656584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$E5EB6F40-B546-43FE-B83C-7BD000A841D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79e813a488e664bf1718518da15cf989b8ae03bb","datavalue":{"value":{"entity-type":"item","numeric-id":287993,"id":"Q287993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$A8C96FD3-7647-4750-95EF-D078F9E10F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6297fe6a26ea390e74f41da137b643fd2d10964","datavalue":{"value":{"entity-type":"item","numeric-id":306490,"id":"Q306490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$4760CFF2-DBA7-44F5-84C8-F643A6B9262A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-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":"Q5111724$900F5EC0-4159-40C2-BC6B-00DD951013E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dae05facae2d904613578a51e465f3486f2d3ff1","datavalue":{"value":"https://arxiv.org/abs/1706.08431","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111724$5811AF5F-45AF-4652-B74B-AF10F48C65BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111724$952069F9-1688-4DD8-88E1-26B89F0ED17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111724$B43CE97B-F946-4608-8611-524B7FD17DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111724$32FF2732-F351-4DAB-A185-7420A04DEEFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6070c5735987a30abc376deafd4acea7fe3c98a5","datavalue":{"value":"7205015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111724$34AD53D5-0233-4010-9ADB-B8AE5E812C5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111724$C7880EE1-3AEA-4E2A-906A-02B1BC64EDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"778348b169535f209fffb8dabbe107eba88f2241","datavalue":{"value":"random structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111724$DCB91DA2-691E-4DBB-BBA8-E4784B4730D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1276e27ec5be03dfc4eb86c9186a82108e008ce","datavalue":{"value":"random SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111724$DA177580-0052-4F42-ADD4-4C585EE634C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db50527f0ddd9c448a8590ddd3924c8985276476","datavalue":{"value":"power law distribution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111724$CCB6A464-BFBA-49E6-9126-455EC7513ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2574e0d0f4fba56b9ed0feb0ecff3b2485f0ad63","datavalue":{"value":"scale-freeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111724$8EF665FB-8403-49A3-8B15-1468F498A43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f3e4ca58b2ed3663e2e3a4465f28160190050a","datavalue":{"value":"phase transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111724$8AC480E5-4B2E-41E4-B77B-7F64F71A2013","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b3e60a88cbaa60d07220b1a6ff0738ba38837fac","datavalue":{"value":{"entity-type":"item","numeric-id":34970,"id":"Q34970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$E4F9F135-0AD1-4074-9EE0-A50104756B66","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":"Q5111724$26D4862E-FA07-4FEB-B14B-359E879DAE4E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c836eb4369965b5c2a52954a497a079b720dcdc8","datavalue":{"value":{"entity-type":"item","numeric-id":5892482,"id":"Q5892482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$574464FD-0A14-4288-8B23-E49FD276822D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d9808d3849625309eb8817cf22443150b62e4d5","datavalue":{"value":{"entity-type":"item","numeric-id":2729376,"id":"Q2729376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$98739676-0F12-43B8-B0F0-665C419C4BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1ad3951d8fc0bd70824fe10e7d456c6b0671ac4","datavalue":{"value":{"entity-type":"item","numeric-id":2796261,"id":"Q2796261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$8AF329A3-3D26-43AA-9553-790DDCDF1D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78ebb32053d94dc1d773ab91668cf0fbf23b87c1","datavalue":{"value":{"entity-type":"item","numeric-id":3192184,"id":"Q3192184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$0F25F2E0-FB8C-4A93-BCF7-60C809F42BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$A3AE9D08-C947-4B4E-9BA1-F915A7715178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"349d7ef85d935a77ed55af1929cb6c2c4498301d","datavalue":{"value":{"entity-type":"item","numeric-id":3101363,"id":"Q3101363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$A1ECE751-77AC-40FA-8662-E95DA979ED0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f447976122ca4f3916aeb0218a8715b9ef8e87c","datavalue":{"value":{"entity-type":"item","numeric-id":862410,"id":"Q862410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$97CE0370-7858-481E-84EA-0301A45EBC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae5d5284d5045f29964f2051a0758d9b6c2c21c","datavalue":{"value":{"entity-type":"item","numeric-id":2969641,"id":"Q2969641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$8B95D31A-CABD-419E-A403-2A6FC2D6218F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4be6853c98d27949efff540e8c22446565e74f44","datavalue":{"value":{"entity-type":"item","numeric-id":1713405,"id":"Q1713405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$EBBF5D41-F14F-4CD0-A257-53EA7EF15501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c16d03080cf104b6d9587e78c576489f573cb47","datavalue":{"value":{"entity-type":"item","numeric-id":4228436,"id":"Q4228436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$F0DDBAA6-4566-499D-BA44-7064ABD2445D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772f074d597136511ae2a47bac4d16ba2b05002c","datavalue":{"value":{"entity-type":"item","numeric-id":3651182,"id":"Q3651182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$B31F7D11-DF9A-4BA9-8622-F04008A7FDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a93a6614d5675b870a2e7fc0382533f284b286","datavalue":{"value":{"entity-type":"item","numeric-id":900872,"id":"Q900872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$3DF632F0-CC21-4A62-B8EC-A594720B482B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cae398e63eddb57fdac61e9e47ce13bcab660a55","datavalue":{"value":{"entity-type":"item","numeric-id":5958804,"id":"Q5958804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$2D5AFC69-2E9C-43C9-B332-D13207C168F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81ab5428b9311d289af7c342defd2d6767de6574","datavalue":{"value":{"entity-type":"item","numeric-id":2271431,"id":"Q2271431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$DAE9FA76-1E1F-467D-A750-C65FFC317DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7955c6e632c62fc5b965c85834c4907eadec4719","datavalue":{"value":{"entity-type":"item","numeric-id":2941489,"id":"Q2941489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$27372A68-2C67-4D29-B969-411DF07B5CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee27ff857d991d6b3f8e75bf9b44517be8c42b24","datavalue":{"value":{"entity-type":"item","numeric-id":5896979,"id":"Q5896979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$1B39C0F3-174E-423F-9FFE-3F607972D45A","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":"Q5111724$7C9C4E93-FFB1-448F-9529-F5A079ABFE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb556769f4adfa0acf3277eb361673aa2f58867","datavalue":{"value":{"entity-type":"item","numeric-id":5111724,"id":"Q5111724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$8FE5206F-E4DE-459E-99AA-93D6284B9911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46a8157b90326cc6f44bffa8150bb95253d14c8","datavalue":{"value":{"entity-type":"item","numeric-id":676451,"id":"Q676451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$045BBE6C-FCF3-4DFE-82C7-106BC832D06E","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":"Q5111724$C1EACC52-2425-4159-863A-1CF3E92EEE10","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":"Q5111724$3E827A9A-BFA9-4C47-8CD7-FDA4F84B647F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca946f222892340f32cc06a6ee28f64927d0f53","datavalue":{"value":{"entity-type":"item","numeric-id":4291209,"id":"Q4291209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$5B6AEBB1-7DEF-49C0-AFB2-B3644375FDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d27a8235808fe7506c514b85a7a3cbc1e64a34","datavalue":{"value":{"entity-type":"item","numeric-id":4426334,"id":"Q4426334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$A24F3CBF-CBD3-429E-AC63-8DF3B8E4A576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"084dee9e66ff8757bd5e3a3f53cc1ad178c49e11","datavalue":{"value":{"entity-type":"item","numeric-id":2833172,"id":"Q2833172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111724$30700CE1-D32D-4DEA-A4F5-F1A37818A7B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1242de4919364ecdfc43b244d24499049aa9a9c","datavalue":{"value":"10.4230/LIPICS.ESA.2017.37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111724$A0949A51-6ED0-44CA-835F-0D1C1449669C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce96d44a85c546cbbfdef9e9f20a243efe1914cf","datavalue":{"value":{"entity-type":"item","numeric-id":5918829,"id":"Q5918829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3276acaf4ba314577647d5470656a13ceef5c2a5","datavalue":{"value":{"amount":"+0.8709360957145691","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":"Q5111724$A97E7A98-B919-43EC-BF24-4F34427605DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45c15cd2301c1d44f5321a8468c714d93ff57bcc","datavalue":{"value":{"entity-type":"item","numeric-id":5896832,"id":"Q5896832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d670d402d66650779080ef4666e6a6a125c20417","datavalue":{"value":{"amount":"+0.8663765788078308","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":"Q5111724$30757EAD-CDCB-4739-B146-09F671FF102F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f1154c961e16c059548820172cf250db16de26","datavalue":{"value":{"entity-type":"item","numeric-id":1656585,"id":"Q1656585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c23064cf4b021386fa44eda552509ee589fc86","datavalue":{"value":{"amount":"+0.8089466691017151","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":"Q5111724$358C6EC0-A926-4B77-B8D4-285B1A4A7DBD","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":"796565c01f4db1dac1c6122b1d97bb078015f43e","datavalue":{"value":{"amount":"+0.7962603569030762","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":"Q5111724$A26D841E-EB32-4CA5-B61A-E968ACAD1D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5b9bb1163c15005edd07c4ca981b31563bc249","datavalue":{"value":{"entity-type":"item","numeric-id":5714758,"id":"Q5714758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"726440f23019138bfff7cdcf90d69cf2fd60913b","datavalue":{"value":{"amount":"+0.7933361530303955","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":"Q5111724$2681401F-6BA0-4676-86C8-6E446832A95F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111724","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111724"}}}}}