{"entities":{"Q6083522":{"pageid":13217829,"ns":120,"title":"Item:Q6083522","lastrevid":93799859,"modified":"2026-06-05T05:09:20Z","type":"item","id":"Q6083522","labels":{"en":{"language":"en","value":"Algorithms and certificates for Boolean CSP refutation: smoothed is no harder than random"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7774370"}},"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":"Q6083522$EC999067-8B18-4CB9-B536-48FF228477E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec67429de4506cdeb7dc1dfcbb665bdcce82903c","datavalue":{"value":{"text":"Algorithms and certificates for Boolean CSP refutation: smoothed is no harder than random","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6083522$D8129979-BD91-44C1-8167-F5660573978E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f7188feb32581b8300a1f65debbb0850932605c","datavalue":{"value":"10.1145/3519935.3519955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083522$6AE79AFF-CCF6-45AB-B9F3-BF9D20D6E98C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c036cc59d8136b1c1d330e12aacdea4899ce840","datavalue":{"value":{"entity-type":"item","numeric-id":293456,"id":"Q293456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083522$30CA9B79-8293-4E65-8DEA-B3FD7F50CC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ef7d8d268727da613604b93dda8bd017b0317c3","datavalue":{"value":{"entity-type":"item","numeric-id":1616618,"id":"Q1616618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083522$AAA9A345-D218-4473-A7E2-DC7649CEC7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f80c5fcc3ce36c4eac7d01b22720fe48a0d7251b","datavalue":{"value":{"entity-type":"item","numeric-id":2175928,"id":"Q2175928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083522$12C8C818-026F-4F05-A599-18BA9DE86CAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f4fd533ced917d6a4c70ffdba90a2023dcab86ef","datavalue":{"value":{"entity-type":"item","numeric-id":6083453,"id":"Q6083453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083522$2A2B0106-DE5F-4E8F-BE5F-EA8B612D27C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80837e4f107d88dc61f75b08f8b7aa1a590aa151","datavalue":{"value":{"time":"+2023-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6083522$0349290B-2803-46F2-A192-5E8334AE9EB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"329e2e002e1a9e65aa51bc1b82c886b20e0559d2","datavalue":{"value":"https://arxiv.org/abs/2109.04415","type":"string"},"datatype":"url"},"type":"statement","id":"Q6083522$B2D5AEFB-E5F7-4D62-A384-B0B6C68484DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083522$C38AA50D-3E2D-4202-AF52-70F9C60ECBB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51deb502f2875a9a704b3a19365d6b1dd39d643b","datavalue":{"value":"7774370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083522$3EE9E0DF-C2D6-4801-BB02-9DB6ED0B0FB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57bf6f0394b7af55408a00b66f6ea112b1dc7810","datavalue":{"value":"CSP refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6083522$5428772C-EA67-4E0E-B20A-812EC3A0824E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61ef6e4350f97e4e1ef5395cabbc287672172d7a","datavalue":{"value":"even covers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6083522$6449EF58-DCD8-474D-AB37-4174144742FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a83dd6fc9b8f6d718a0e68052d818493bda4aee2","datavalue":{"value":"smoothed CSPs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6083522$47A2C2B0-D7D1-4098-8EE3-4730357ADBB7","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":"Q6083522$BF3443EA-BDA3-459D-8585-1F4CBB93E6E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f6e7353e705aef9f289e0a6b930186cdd3e8356","datavalue":{"value":"W3196550748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083522$9F081E73-4B73-408D-B331-477F008F72D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f59a16b4b19c4c9046ca01be7bd0329dfc266ecf","datavalue":{"value":{"entity-type":"item","numeric-id":4825480,"id":"Q4825480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b267657dfa426c829bc915dfd461be6466d50f","datavalue":{"value":{"amount":"+0.84607184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083522$8D7AB658-4B1F-48DE-BC1A-2FAE49135694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30990fe1c15e9b7c6746ef48dc28b608040d4bb2","datavalue":{"value":{"entity-type":"item","numeric-id":4825479,"id":"Q4825479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b267657dfa426c829bc915dfd461be6466d50f","datavalue":{"value":{"amount":"+0.84607184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083522$D498C8D8-EFB7-4869-A128-36DC7225E28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739a89a830e1653cb058394ea8818ec9fe2f0a57","datavalue":{"value":{"entity-type":"item","numeric-id":5146784,"id":"Q5146784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4905cfd2eb2e2d8d62628ee0142cbd49f097f8","datavalue":{"value":{"amount":"+0.8451967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083522$BEEEB9A2-BCDD-4805-A38E-7A120672CE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de8eabee5a04af66a7f6e83c8483be3938223c67","datavalue":{"value":{"entity-type":"item","numeric-id":4977967,"id":"Q4977967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95f71f1f3e2dc60d577e928577122f2dd43fe2e7","datavalue":{"value":{"amount":"+0.83555293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083522$8DEF960F-C644-47CC-9200-956F7A5A7E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1109f699dbe77b434eb6cf62051f19ee1f521e54","datavalue":{"value":{"entity-type":"item","numeric-id":2840534,"id":"Q2840534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa11ba114af9e7e3497533f8d0cb4e1ed433a63d","datavalue":{"value":{"amount":"+0.8348911","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083522$18332EBA-20D4-41DD-BF77-BCE0AD579EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a4d91706c192694299ec765b654019709309bcb","datavalue":{"value":{"entity-type":"item","numeric-id":4977966,"id":"Q4977966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae51d1c44032f37af3e8d787559d0249148e5d5d","datavalue":{"value":{"amount":"+0.83394396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083522$80FAA9A2-21F3-4870-8616-E3CDA67376F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47457d47964964b848d1d8ed624913da6d99ab4","datavalue":{"value":{"entity-type":"item","numeric-id":3113760,"id":"Q3113760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de3f6b56ac6590be06e78095421f05308283c8ee","datavalue":{"value":{"amount":"+0.829412","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083522$219F59FF-F2D6-4EB4-B178-67C45716F382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b44a09a4fa11ae97d7de04248b23ca3d64d522e","datavalue":{"value":{"entity-type":"item","numeric-id":5133982,"id":"Q5133982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09cacc37e598577c13068d961cb7885dea1c3db3","datavalue":{"value":{"amount":"+0.82858056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083522$E668991A-50CA-41DF-A325-82BDEA79BA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd7a5502ac592272d49a50f5370a3b8d126a06d4","datavalue":{"value":{"entity-type":"item","numeric-id":4633854,"id":"Q4633854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f4d6f130a4ab128902e66a996fd60943eae373","datavalue":{"value":{"amount":"+0.8285338","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083522$7044881A-C186-465A-9ED1-DAAAB4479703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8ac4abe6d7a17cc77e924a988a0254e1d9198f3","datavalue":{"value":{"entity-type":"item","numeric-id":4636475,"id":"Q4636475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d277c069ebd7c3cec41d51dd14f7749f88ebdeeb","datavalue":{"value":{"amount":"+0.82678324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6083522$03B3B804-8ADF-4948-8A5D-AA65E1CA55DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithms and certificates for Boolean CSP refutation: smoothed is no harder than random","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithms_and_certificates_for_Boolean_CSP_refutation:_smoothed_is_no_harder_than_random"}}}}}