{"entities":{"Q4577186":{"pageid":6606773,"ns":120,"title":"Item:Q4577186","lastrevid":82000703,"modified":"2026-05-06T19:51:44Z","type":"item","id":"Q4577186","labels":{"en":{"language":"en","value":"On the complexity of random satisfiability problems with planted solutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6904512"}},"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":"Q4577186$4CDFBF5E-F52A-4EB3-8101-5E2E7A770587","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04a7db0d226b6a7686c6f2926dda98307fd2c4a1","datavalue":{"value":{"text":"On the Complexity of Random Satisfiability Problems with Planted Solutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4577186$F73803DA-92F9-4A91-B21A-1BD905CB4F02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c5503135ce9e7f49d5c85f588b838e42e166821","datavalue":{"value":"1396.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577186$3C6FC1BE-14E0-449D-9DAC-5C07DA1B388B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d49c1a0ea61e929e3deabd0fb1d17b9f6cb95533","datavalue":{"value":"10.1137/16M1078471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577186$440DD40F-CD49-4F35-973D-06AADB858A89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dc1987a760330ab5c78b2fa2d27dbe91fdf54d2","datavalue":{"value":{"entity-type":"item","numeric-id":439988,"id":"Q439988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$88D7AC1F-9B0A-47D6-AEB1-069807C46692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f42c9e5affb45cfc62e4ebaac726414fee007815","datavalue":{"value":{"entity-type":"item","numeric-id":518177,"id":"Q518177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$C4CB23BC-495A-4500-9E12-7DCEFCA0046C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0b69652026ab5cd3403f51ea14f724a8b3ebf94","datavalue":{"value":{"entity-type":"item","numeric-id":298157,"id":"Q298157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$BB86155E-3EFC-4E87-ADB7-1261D4476792","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$E27B43EF-7EF4-47CD-92A2-63379F7C34B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b5beb1c4bc785d138efad70e0daa9766f53b635","datavalue":{"value":{"time":"+2018-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4577186$087CC9BE-706F-4F1B-A3B7-5777D44570B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577186$EABA68B9-145A-4DE2-9B5B-5F9281F6BF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577186$BD74FA12-5B9D-4E5A-8997-A1FF4A6308B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625e55f1f2a96178239720bc1bbbe7ad21cf0a75","datavalue":{"value":"05C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577186$1215D976-FB82-4EC7-9F9B-0D2CFB3753E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd6b8847e09c706889ad9ef05dc0040f1c9f982","datavalue":{"value":"05C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577186$319D97AB-B971-4AB2-8498-011AAD88B2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577186$383A4E41-575C-4284-82B6-54AFEB88F95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577186$0EAC0BAA-6869-43E2-82DA-1C7641A12115","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4a15b3093c3c10c96b59453226e88d6ce4e5a98","datavalue":{"value":"6904512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577186$2947092F-6F5A-4B5C-B6DF-5BDF27BBB808","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4193d049a026675d4c17ece89a89a2734b16a8d","datavalue":{"value":"planted satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4577186$76BAC0FC-5639-4063-A4A6-1A510BA3EC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04c9029f6a6c8ff6e4b2b7a63a78de19d15ae907","datavalue":{"value":"statistical algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4577186$D4C483EB-91B2-43D0-9E49-DC778869EE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd35a4a55f4ef87cd1de6b19e9b8a701deb3aa69","datavalue":{"value":"\\(k\\)-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4577186$2C275801-D13F-4000-A34C-CA83E435EFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803d80c3488cc563662249ad143cc94d1e0d2aff","datavalue":{"value":"hypergraph partitioning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4577186$5571AA67-0019-45AC-99B0-671A5A5E63D3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ac11abb31a94cc34ffe427dd7cc4ed6ccb35125b","datavalue":{"value":{"entity-type":"item","numeric-id":23301,"id":"Q23301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$C97653C7-8F0C-4B43-853A-8903AEED1AB2","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":"Q4577186$7BAC2269-DB57-46E8-96D6-A29E3D29DDAC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df3ec83d33cd2f6f8295bc1fd9f7e903f825c73","datavalue":{"value":{"entity-type":"item","numeric-id":3467515,"id":"Q3467515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$12EC41E9-030E-499B-B263-0CE43B81BF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b5d899566f44566cb83f6d480a6ebd90829c70","datavalue":{"value":{"entity-type":"item","numeric-id":5715725,"id":"Q5715725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$3A38C35B-603C-4B28-80A7-A0719FEE9309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc1f1778e01d13326925eaa21263b0d65322bbaa","datavalue":{"value":{"entity-type":"item","numeric-id":430823,"id":"Q430823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$6193994D-73BB-4453-BA02-074698B69172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bbaef82e8eb92dc4676d651d32794ea23b80ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2798999,"id":"Q2798999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$BE7F8057-286F-4C90-A0D3-5C1366D3B68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1793a2dc7e76946a302a1ef22659693968d1b4d9","datavalue":{"value":{"entity-type":"item","numeric-id":5396954,"id":"Q5396954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$25FF49B8-DE1A-47B4-B564-57A39F2210DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e79d7dc1106652684d77baba78ff1adb75e498","datavalue":{"value":{"entity-type":"item","numeric-id":332271,"id":"Q332271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$A9C006BB-9306-482A-9659-C690400A9BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"426f3dbed3a2298622d552990c505c8159d76d95","datavalue":{"value":{"entity-type":"item","numeric-id":2875143,"id":"Q2875143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$9AD56AD0-A2DD-4911-A373-C1232477FD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8a9028986f3a9a004512d4a812ff56300b61c2","datavalue":{"value":{"entity-type":"item","numeric-id":2891508,"id":"Q2891508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$4B8F6FB1-1885-4C48-B4DA-F1670C6288CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"073e8c4acccb70511615d693a814c3aec83ae861","datavalue":{"value":{"entity-type":"item","numeric-id":5361904,"id":"Q5361904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$8543F2C7-F10E-42C1-B1D1-9A4830DE9104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d83a00e805cb41e3f8ce716054d3b105e6a3db97","datavalue":{"value":{"entity-type":"item","numeric-id":626619,"id":"Q626619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$15B44439-1FC3-48D6-9404-47C3A95BCAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb33aa5fa75eb4421d7ab416714248a32ee7f824","datavalue":{"value":{"entity-type":"item","numeric-id":2345952,"id":"Q2345952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$0269FB4F-B4B4-48D5-8BED-290634ADB122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7fe4b8631e35e75554dff266adfdade256e14a","datavalue":{"value":{"entity-type":"item","numeric-id":2986870,"id":"Q2986870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$DF2891C4-41D4-4659-A46F-3FF148E6AD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53393226602d7119cd983e72d4cd399e956df382","datavalue":{"value":{"entity-type":"item","numeric-id":1231116,"id":"Q1231116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$B93E3DE6-6F5A-489F-BA1C-1CDA32CC03FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba42539038b60f6557a318e0241435138528b952","datavalue":{"value":{"entity-type":"item","numeric-id":1271613,"id":"Q1271613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$4AC7C2F9-7A3F-4F3E-B575-0051F83560FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc131a95055d834e7c022a4f83fc1858df1537e","datavalue":{"value":{"entity-type":"item","numeric-id":4638058,"id":"Q4638058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$D0B8364B-E098-4DDF-946A-393AC4F1FEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"841aaaa7175c3babb6ee40e5b39fa88be677d5fa","datavalue":{"value":{"entity-type":"item","numeric-id":1271190,"id":"Q1271190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$26B9D221-2094-4790-AFAD-18AF5EDC7260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c2667571e92df3d173377f7d61cf49fb5bcdee","datavalue":{"value":{"entity-type":"item","numeric-id":2817616,"id":"Q2817616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$AB8B5A4E-0B31-4B0E-A475-1CD2A57C8A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfff5cdc29c2f1c84acd0eb386349bf5ef135d3","datavalue":{"value":{"entity-type":"item","numeric-id":3638893,"id":"Q3638893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$2382C72F-1344-4C14-B425-6243B4543517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0948050b4a7ca08ec5265a8c32f46b04521a6ad","datavalue":{"value":{"entity-type":"item","numeric-id":2539305,"id":"Q2539305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$3413B03C-F9C3-4BD3-84A3-4B798FA1C8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b8e2a4be4ead08f63f2e633c851ee0ddc54333b","datavalue":{"value":{"entity-type":"item","numeric-id":3419599,"id":"Q3419599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$3F72BF42-C262-4366-B245-44149A8D5474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a4f87f6490de65c063dc79977275f835623f61e","datavalue":{"value":{"entity-type":"item","numeric-id":3058542,"id":"Q3058542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$3A8E98E8-5F88-46DB-AE72-57B5214119CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7983c103db3c1dd7dd1f0ee2272518f5c5b65aad","datavalue":{"value":{"entity-type":"item","numeric-id":5313034,"id":"Q5313034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$B7C8FA5D-AE88-40C6-A4B2-DED1E06846E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dea0a9a8d9b16590a76576d0c393a997e1d590c","datavalue":{"value":{"entity-type":"item","numeric-id":706614,"id":"Q706614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$2E808640-5BBA-4FDD-9019-5FA6CBD43E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1623d24c16e83f4e4cc3012ea5ce279c17ba438f","datavalue":{"value":{"entity-type":"item","numeric-id":3611786,"id":"Q3611786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$46505E0B-F0DC-46C2-B6EC-F0FD549A73AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07818b634e459fdfbede08defa40c8e8ef26894","datavalue":{"value":{"entity-type":"item","numeric-id":4139463,"id":"Q4139463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$CE71F86B-A81B-4210-BB1C-BB4D14792047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9127e4b8dfa108a85bd2f9afeb20e3d30af307","datavalue":{"value":{"entity-type":"item","numeric-id":2480580,"id":"Q2480580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$DF17D88A-206B-4CE3-9DF9-AE8F4DD26F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bceb39ba3285114b7af33a99eff874956fae985","datavalue":{"value":{"entity-type":"item","numeric-id":5900037,"id":"Q5900037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$7F378E58-B011-481B-8329-E28E3604DA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a157b93c6843fb22f2ec11d758cfb4e2cce5cee","datavalue":{"value":{"entity-type":"item","numeric-id":3579211,"id":"Q3579211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$864A336B-EDB6-48D7-AD94-FAE2E427D0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"520a3265b100633eefb2d8ba36e362d62cb746e5","datavalue":{"value":{"entity-type":"item","numeric-id":5466490,"id":"Q5466490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$327ADA82-76A8-4B9B-A347-7368E3602D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e162320838d08be6b9003c2af463a77b83b86967","datavalue":{"value":{"entity-type":"item","numeric-id":439989,"id":"Q439989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$E8E7C18C-9182-4009-81ED-D5624274CA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0240ae500ad76d9c6486fe6d698b421e44ab43","datavalue":{"value":{"entity-type":"item","numeric-id":4640281,"id":"Q4640281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$1E6537C6-BB44-4488-AFFE-989077896A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca441ba547c945cf9525183c4002c2bfcaefb95","datavalue":{"value":{"entity-type":"item","numeric-id":2941491,"id":"Q2941491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$FBF9B05D-300C-4C80-9A15-317CF4026005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"802e921a1505acd1c2cdab895ce7ff5a47e8ba36","datavalue":{"value":{"entity-type":"item","numeric-id":4471318,"id":"Q4471318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$73F14C65-ABB1-493D-A56B-B8F0B421D1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f47fdc267e9048062d8037937860004fa3ce54","datavalue":{"value":{"entity-type":"item","numeric-id":5470697,"id":"Q5470697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$4FD4CA29-4894-4655-B4DE-672D44D1CD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ab5fa030bd6273a249ff4eb7713e4ded5d8e9f0","datavalue":{"value":{"entity-type":"item","numeric-id":2968165,"id":"Q2968165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$6BEACD7F-82A5-4E0E-86CC-FBFF8C0CDF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70cdb652b4cc21be1203b115b6f7c7572150f810","datavalue":{"value":{"entity-type":"item","numeric-id":3481066,"id":"Q3481066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$02CD4B4D-9139-4F88-B8CE-AC76A97C2096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f992e855d8b9b42f253fc7f7d98a5e06e39cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4369893,"id":"Q4369893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$AED68F0F-C632-49B8-9201-365B36FF65DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0169f5f09b1bd52386ad50752f6663af482d6b7","datavalue":{"value":{"entity-type":"item","numeric-id":3439113,"id":"Q3439113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$86683C85-1CE7-429F-BE17-3A0BA72F6140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b942259476ee95a9aba1cfd6632d4842783c703","datavalue":{"value":{"entity-type":"item","numeric-id":2840534,"id":"Q2840534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$A21D77A3-A7D2-40FC-987F-91D6569A5BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64c65d9a7c706750ea7d1ac2b421e13c92e06c44","datavalue":{"value":{"entity-type":"item","numeric-id":61354,"id":"Q61354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$16695188-B097-417A-8AFD-DBB5E3ADE0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5fa049918cc62c6b3a6807639993583ac1fdedc","datavalue":{"value":{"entity-type":"item","numeric-id":3549728,"id":"Q3549728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$6D63E1DE-38C9-4EF1-8385-2653CD8908AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc75334c1e01268b31b15dff35e7d11c6ece8b78","datavalue":{"value":{"entity-type":"item","numeric-id":4343009,"id":"Q4343009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$1DD4C31E-8E77-4E60-8762-A8D4ADAD25DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6c24d9e317ba6ce0e6a8c740ed8e341f7349cb","datavalue":{"value":{"entity-type":"item","numeric-id":3624048,"id":"Q3624048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$2B19CC73-EA9E-4A4C-90D5-9AB374F3DAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc44ff5edf30c81f1b7c40b46569f479355dd1c","datavalue":{"value":{"entity-type":"item","numeric-id":5387978,"id":"Q5387978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$D085955C-989E-4BF2-8621-2AB757905836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2764042fc8ebdf3c69d03ff23dd8f6bcc3cd4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3158527,"id":"Q3158527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$1E6AF106-F627-46E5-BCAF-D807064C16EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66420b49775113a4962c131a254f6f2ef559bdab","datavalue":{"value":{"entity-type":"item","numeric-id":82025,"id":"Q82025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$4F48C3F6-D790-4998-842E-BFD8FF3E4AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1144d0b67f8ff771009e4303f5e20097a0e217","datavalue":{"value":{"entity-type":"item","numeric-id":4978005,"id":"Q4978005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$18A81A68-9AD1-4E7C-ADE4-5EA5BAABD23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45f232e08693289e047e2b50956f0b7b09cde7f","datavalue":{"value":{"entity-type":"item","numeric-id":3581497,"id":"Q3581497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$79B3751C-DF65-432E-80BE-AB0FC7BA25CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"191e162120a28f24c8b6ae7521bf44fd4b545e14","datavalue":{"value":{"entity-type":"item","numeric-id":3194806,"id":"Q3194806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$F406CB9D-DD03-4CB1-8C67-E0D3A81A305A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468f57a6eed89c0b8fd32facdc625747adf460b1","datavalue":{"value":{"entity-type":"item","numeric-id":5385913,"id":"Q5385913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$8C1760BB-F021-4E2D-AA70-26331914406E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aa9544c06b855241d41dfcfe917f05b61882a32","datavalue":{"value":{"entity-type":"item","numeric-id":5535546,"id":"Q5535546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$FB7D13BE-DF56-40D2-A906-CE3ECE890552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e93dd6502005fafef28f23875e521640e931cb","datavalue":{"value":{"entity-type":"item","numeric-id":1715062,"id":"Q1715062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$43AD9078-B328-4CBE-9ADB-49339F33400D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"929fd3acf6dd1949ed14844dd510b2cc27567c65","datavalue":{"value":{"entity-type":"item","numeric-id":495549,"id":"Q495549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$04193A24-30F7-4C5F-AC99-57DC00FEAC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43920ff9a59466a9a0ca81ad19ed1c5ce4194923","datavalue":{"value":{"entity-type":"item","numeric-id":5486308,"id":"Q5486308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$631B0133-409B-4627-B1BD-816EABACD6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28ea9b477f5f6808649aa2bd783f43fee052d24","datavalue":{"value":{"entity-type":"item","numeric-id":3648521,"id":"Q3648521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$A7CFCF2F-C1DD-41B0-B934-C2EFAEE503C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2329ac0e708e00741c5c4cdd66a1c4add2d4e0b","datavalue":{"value":{"entity-type":"item","numeric-id":3967358,"id":"Q3967358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$9A4BA31F-E780-4245-A716-B7D53A4B2C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac33fcaba991f9403b8d09b8ef4fc791c0a07e","datavalue":{"value":{"entity-type":"item","numeric-id":3549708,"id":"Q3549708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$CEEA761D-3DE3-41F4-A274-31D207193BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8186b66b9f197fa0e6b6ed8c39e7dcc56078fd47","datavalue":{"value":{"entity-type":"item","numeric-id":3756312,"id":"Q3756312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$6D8F8FAE-3EEF-442E-B3D0-D5565A610ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9702192fec5f5a084fa4d747c2066dcf2b0714a4","datavalue":{"value":{"entity-type":"item","numeric-id":790720,"id":"Q790720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577186$997A2D6E-501E-4E56-BCD9-433457E5D5EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3c7bf9e6781cfd55fd4365730ca5d3b3acaea79","datavalue":{"value":"https://doi.org/10.1137/16m1078471","type":"string"},"datatype":"url"},"type":"statement","id":"Q4577186$5E16EB30-AFDD-435E-AC6C-FB01F20F3C8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7934735514a3de89dfc4f6c58497134ef85e3745","datavalue":{"value":"W2884374337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577186$2B271C5D-1565-45E7-93D1-8B6D29D9B0EA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ba9cc2a2924523d3863a58b97d3d0e29f5f4e17f","datavalue":{"value":"Q129516697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577186$7C74F178-5DB1-4CD2-A34E-12F2D81B4018","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17062d1c5e49e244854e84d9ee454c336800f59","datavalue":{"value":{"entity-type":"item","numeric-id":2941491,"id":"Q2941491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f0c8518050ef1084a2031b48583b8d3791fccbc","datavalue":{"value":{"amount":"+0.98967307806015","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":"Q4577186$2AE2ACF6-C4C4-4754-B3E2-51F7D734BE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58ec2d52b7da1ec484d8c8c6f4dd916981ccdb50","datavalue":{"value":{"entity-type":"item","numeric-id":2259537,"id":"Q2259537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5920d7e45e3a272f22860064697c9104ed6a7de4","datavalue":{"value":{"amount":"+0.8142756819725037","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":"Q4577186$A592F289-CA1F-475A-9C68-3B7F1A40BED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53be6bcb1a2133e7aa037f61c972647c356315f3","datavalue":{"value":{"entity-type":"item","numeric-id":3194806,"id":"Q3194806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a3284f89150bb46449b049201e30cd88aa265fa","datavalue":{"value":{"amount":"+0.798081636428833","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":"Q4577186$5181EB64-FC96-4EF7-8FAF-A18919809CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c263293a18b0da0d72ffb181268c3880d0488d59","datavalue":{"value":{"entity-type":"item","numeric-id":5495836,"id":"Q5495836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4df6ff500c343eab7bb1f184ba8e7806b51821fb","datavalue":{"value":{"amount":"+0.7907981872558594","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":"Q4577186$64186EC2-5771-4733-825C-C9968EC98447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a188e4de6e6b0b862d9918f8a14ba1f2c659b53f","datavalue":{"value":{"entity-type":"item","numeric-id":4640281,"id":"Q4640281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee3da8580aa80921be7050f411c3df5a1ae91595","datavalue":{"value":{"amount":"+0.785184919834137","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":"Q4577186$25637445-54C5-443B-B23F-FFF41C31BD49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexity of random satisfiability problems with planted solutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_complexity_of_random_satisfiability_problems_with_planted_solutions"}}}}}