{"entities":{"Q16507":{"pageid":16563,"ns":120,"title":"Item:Q16507","lastrevid":56930547,"modified":"2026-03-24T17:47:28Z","type":"item","id":"Q16507","labels":{"en":{"language":"en","value":"Walksat"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"09a9819dfab217195847c87f93ec4bc947a48f8e","datavalue":{"value":"4328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16507$F059CEC8-CB01-4152-B564-E5E0F807FD15","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16507$7AD1407C-283F-4805-A601-63544B3187EB","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"c263606673bce2571ca4cc763db451f6c6fcbc4c","datavalue":{"value":"http://www.cs.rochester.edu/u/kautz/walksat/","type":"string"},"datatype":"url"},"type":"statement","id":"Q16507$68C4114A-4A5D-4010-98E3-45159AA965D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16507$740F4FC2-3B45-4DFF-95DF-CBE6969CDD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16507$878DBBD7-37CE-428E-851B-64AD1D227B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16507$1EA88043-4F20-4CA8-804E-491F31A68CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16507$F2A8BA51-4A38-4A5E-977A-8E7965523A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16507$2BFB019D-2F71-4635-8A67-B7734611789C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16507$9243ADAE-ACAD-43F6-A850-56DC50484466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16507$BC1D0B9D-85D6-4B49-8424-3C948B15C229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a467a32e3049b1299c9c2b688461b7f273ec943","datavalue":{"value":"60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16507$6D1F8FBD-6E34-445A-A7BA-B5F83BD1449D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56359f9045fe5db9438daf1ab901fd6bd2edb7a4","datavalue":{"value":"62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16507$1ACD696D-C28F-44A4-B92A-C6326285AB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16507$3E772892-9611-4AC5-A365-4C2CB247D519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4edc7e695c3667a3dc24594c0516548b87f81467","datavalue":{"value":"81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16507$ECFF63E8-D549-4E26-8BE4-6FA1ACFB004C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8765ff2acd582c5d837fde50b2a0cf51b0c3e2a2","datavalue":{"value":"82","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16507$7F936459-9B7E-41B4-A241-CA760D7F0566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d0cfa49f62a5e301328cd7af9d04a50119944fd5","datavalue":{"value":"92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16507$432E7E62-A6F4-452D-A434-36ED07894BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q16507$6A44DE4D-ACB6-4260-A446-32048430AD28","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"362c76a9fdc5b076566dcdce0691ca7f7a80b387","datavalue":{"value":{"entity-type":"item","numeric-id":19763,"id":"Q19763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16507$F4C25D11-60EB-4F57-BF77-0717D0EA248D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c43eb26b29c59c3376a4b82a5c62f435fb00011","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16507$A620AA61-7248-4A5A-90CA-30E260B417E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d0a1440c031278a8f69dbeeb43ad704028362b37","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16507$B59A58F1-0346-4F77-BAAF-8107EDC0DE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2694f9146fdf18f6fd46e48e80fcb9848219fbfd","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16507$129ED333-C99D-4D78-AFC7-5183290FA4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a0c8f75759135cda8b7961f8c9fcb00c686c349c","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16507$FDEA8DB4-B045-40AF-8D5A-2B2B4389CC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6379e06f7452723553ad8dad2a20008317c0552c","datavalue":{"value":{"entity-type":"item","numeric-id":15880,"id":"Q15880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16507$EF67767C-4321-46B5-AFA6-8CD208C996A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8d81440398bb809a76784749e7916a866d141b42","datavalue":{"value":{"entity-type":"item","numeric-id":17177,"id":"Q17177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16507$A15658B9-E9B2-4CAE-BBE6-7CD090912DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"49693bd802cfe64cfaef53245c8a62825e66b49d","datavalue":{"value":{"entity-type":"item","numeric-id":19137,"id":"Q19137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16507$3E538AA0-AD01-422E-BD59-60F39AA5F026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"19be57195dbd817ea4084dc22b8007528a15e1e0","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16507$566BDF5A-6ECF-4243-AE1E-64718062BB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b7f095a92b782a02bd908fa7df9ee86d1fec2e50","datavalue":{"value":{"entity-type":"item","numeric-id":21711,"id":"Q21711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16507$22430B45-7544-45D4-B0C2-663002EEDF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"32d494f84a32ac3c004e7c4e55475408a541563e","datavalue":{"value":{"entity-type":"item","numeric-id":14651,"id":"Q14651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16507$3002D747-0E54-4044-ABE0-77BCEA36DF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"74146d974647db251c3f3c72d131d04acf8668f6","datavalue":{"value":{"entity-type":"item","numeric-id":15153,"id":"Q15153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16507$47018136-AF44-45CB-904D-610AF6C75D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7c0643ed48e2fbaa5ca11e3415e758a5528ea88c","datavalue":{"value":{"entity-type":"item","numeric-id":25287,"id":"Q25287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16507$1DC08324-F459-4A0D-AA9B-99F079C7F73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2a1fa554923e6423c22d526a131a6c61362a8f24","datavalue":{"value":{"entity-type":"item","numeric-id":32500,"id":"Q32500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16507$80607385-9373-453A-9518-D6669ACB273E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e2d24571717a40a2fda46f2fa400dd791f5c1b81","datavalue":{"value":{"entity-type":"item","numeric-id":51751,"id":"Q51751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16507$B839A999-1DB0-49F1-9D27-0A0929D73717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e61d7110ca6526a0feb22a643f49231c91c2f711","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16507$2C714AED-2F27-48FA-8843-8C0512D22E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4d713a79d23b14edec2c301692068d258b595bbf","datavalue":{"value":{"entity-type":"item","numeric-id":16613,"id":"Q16613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16507$1F178934-6E14-4ED9-AC59-2ABB3BC38F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"96b21d88302f381ebecf19008b3e1df95aa2e41f","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16507$2D44015A-B734-44EC-B12C-445B0A89C9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"92397dcec70ef6cf677a69eb8615a1f3a06f63d9","datavalue":{"value":{"entity-type":"item","numeric-id":13737,"id":"Q13737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q16507$A4936C55-6DE0-4D2A-A8D9-79265AE27543","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Walksat","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Walksat"}}}}}