{"entities":{"Q2941491":{"pageid":2952211,"ns":120,"title":"Item:Q2941491","lastrevid":58059267,"modified":"2026-04-03T15:42:05Z","type":"item","id":"Q2941491","labels":{"en":{"language":"en","value":"On the complexity of random satisfiability problems with planted solutions (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6474709"}},"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":"Q2941491$7C1B5C7E-1937-449B-8019-50DC939AC7A7","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":"Q2941491$DB701F71-E425-452C-AE0A-E32AE4DB5326","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb7e4902fe4ca326531b0955b06928df2d666754","datavalue":{"value":"1321.68280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941491$2907970E-F3D5-4256-A26F-78C517BEEEE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"453a5316ac9a6e25b5eb1dec895fce1d5c422bc9","datavalue":{"value":"10.1145/2746539.2746577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941491$AFBC0166-E3F2-42F8-BEDD-1A67F1881A15","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":"Q2941491$D135BAE9-D2BC-47CE-A376-76EE7252AA2C","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":"Q2941491$79BFED92-57EE-48E0-AB22-E101846E15A4","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":"Q2941491$1C3DA9DF-0763-4A23-8E71-6C225C3C3767","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85d346cdde70d3a1042609087e79b3009a8ef097","datavalue":{"value":{"entity-type":"item","numeric-id":2941480,"id":"Q2941480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941491$B4A559A5-417C-4859-A739-9AD630A4E473","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e463a3f76b72914d69100f109f02e2f624263f82","datavalue":{"value":{"time":"+2015-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2941491$DA92DB9C-1FCC-43E9-AEEC-0CB2353A6B7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"191512a8e47224f50b07ecdbf89f8a7bc4bcb2f5","datavalue":{"value":"https://arxiv.org/abs/1311.4821","type":"string"},"datatype":"url"},"type":"statement","id":"Q2941491$5827C0DA-0DAD-494C-BB7C-AC88FA01FA4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941491$20AF00BE-54BC-4AEC-B1ED-05EAD2AB25AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941491$A3306222-AC0F-4139-8770-4C70B79D6604","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72c7e3e4ad9bdb439cb3a8572d717dbabcf0aaac","datavalue":{"value":"6474709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941491$53E7E52A-08AE-4452-94F6-3EF4314F80C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803d80c3488cc563662249ad143cc94d1e0d2aff","datavalue":{"value":"hypergraph partitioning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941491$7FABAB04-8C2E-475E-8CBA-09F6F287C576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd35a4a55f4ef87cd1de6b19e9b8a701deb3aa69","datavalue":{"value":"\\(k\\)-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941491$F5F14201-281C-408E-B07E-C060B1F546F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4193d049a026675d4c17ece89a89a2734b16a8d","datavalue":{"value":"planted satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941491$672FB504-B86B-4921-9BE4-B1F186DAE407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c78685aea0a7d91e6d41499c27d1163c6afe98","datavalue":{"value":"refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941491$ED3D023D-301C-41AE-A5FA-348435EBD2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04c9029f6a6c8ff6e4b2b7a63a78de19d15ae907","datavalue":{"value":"statistical algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941491$5B518DAC-29E4-4A1A-8482-BF3F1EACD834","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3fb2701f07c7d6225b81753f8f4b7652ad5f931","datavalue":{"value":{"entity-type":"item","numeric-id":24208,"id":"Q24208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941491$0BC7CFC6-2DE7-4FBE-A285-A3672B5DAAC1","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":"Q2941491$4DD3EF6D-1F7A-4AD0-B3DA-6BB5499F7369","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f04b7ba6af35a6a99059d2d7f0dec7bbb489307","datavalue":{"value":"W2042038477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941491$258CACB6-E122-4A6A-B7BB-BEA91E2DB277","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b27d66af9a0812139ba919a8c2a94ba55f8c162","datavalue":{"value":{"entity-type":"item","numeric-id":3095345,"id":"Q3095345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941491$522C5F79-5DE3-4464-9129-060F4300CD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611d3e7c9668bce11095cc625704a0b304d94a87","datavalue":{"value":{"entity-type":"item","numeric-id":1196368,"id":"Q1196368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941491$8BBA7D43-ED78-4825-BDE5-BC3224CE3808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e0a6be99733eaeb2e2c0607e2cc442871e0104","datavalue":{"value":{"entity-type":"item","numeric-id":4210147,"id":"Q4210147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941491$EFCCAB44-B9E9-4990-939A-CBBADB8E515C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a6beef93c888a085e6e00d4dbfd4d6cb983614","datavalue":{"value":{"entity-type":"item","numeric-id":3521953,"id":"Q3521953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941491$4269F925-E8C5-411D-8CF4-44A211F26511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"715bece255906491939b4eb3fb90455d4770b609","datavalue":{"value":{"entity-type":"item","numeric-id":5259601,"id":"Q5259601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941491$80528627-9CDD-4E1A-A776-ABBD813A9245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9562975b659ee36323bc10f44914f734dbe22ea7","datavalue":{"value":{"entity-type":"item","numeric-id":4210144,"id":"Q4210144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941491$C4863536-D927-48C1-AB09-E4384BC2AB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"897d6e7a261b274ddf28d766aaa4d79037054563","datavalue":{"value":{"entity-type":"item","numeric-id":997827,"id":"Q997827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941491$CFA34D6B-033F-489D-94E7-310DBB3744FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a647361e67809cabf8c312a0c65f24b224909505","datavalue":{"value":{"entity-type":"item","numeric-id":5414573,"id":"Q5414573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941491$86ACE8A9-EFAB-450A-9F43-3A8E6B38F0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa71cdf7b0f97a10b270ae9809b93535a3326aa","datavalue":{"value":{"entity-type":"item","numeric-id":1932671,"id":"Q1932671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941491$5C8C0C5D-794B-4DA6-8C70-F4E99523B3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b5c2a2555a6adb5115824b34a87580b6889dc09","datavalue":{"value":{"entity-type":"item","numeric-id":5716780,"id":"Q5716780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941491$76676305-E37F-4794-B053-74C57D1524D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ca31f8e4756b924f4d0f5010622dac45acfd75","datavalue":{"value":{"entity-type":"item","numeric-id":5176178,"id":"Q5176178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941491$2BB00FF8-028B-4979-88DB-4A3CD657460F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f8a5087e5adfec5e35350c9dc4814ad45a304d","datavalue":{"value":{"entity-type":"item","numeric-id":3546311,"id":"Q3546311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941491$D8CA5555-6ACE-48CD-B6E4-431B718ACFCF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"807a5b289c9ee294e210a6b40339bfb39fada16a","datavalue":{"value":{"entity-type":"item","numeric-id":4577186,"id":"Q4577186"},"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":"Q2941491$319E015F-09B4-45B6-A100-63B065336084","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":"7850dfcf11fc3bbc6f9dd0fc43dcbaaaa8b0c2e2","datavalue":{"value":{"amount":"+0.8013070225715637","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":"Q2941491$9CD55DCE-4173-46BE-9CEB-60A42F752464","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":"26d97e845c5118ea967e029af2f70dc7e0f61134","datavalue":{"value":{"amount":"+0.7953459620475769","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":"Q2941491$2296D382-B8D5-489B-A44C-13A6C6F57D67","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":"c4db3943d5ec10d225ed4ec10d4456958ce209fc","datavalue":{"value":{"amount":"+0.781923234462738","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":"Q2941491$C9DF658D-D45A-41F3-A0B6-EF159867DABA","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":"f0da2ee68390fb45130183d9d26c7bf9a54c1562","datavalue":{"value":{"amount":"+0.7806869149208069","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":"Q2941491$6031479E-6F6C-40EC-A4C4-6F709975F76A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2941491","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2941491"}}}}}