{"entities":{"Q23852":{"pageid":23908,"ns":120,"title":"Item:Q23852","lastrevid":56480799,"modified":"2026-03-13T06:49:35Z","type":"item","id":"Q23852","labels":{"en":{"language":"en","value":"SATLIB Benchmark Suite"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"c02439071e7030d811803bfdc1e7c67020c452f9","datavalue":{"value":"11916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23852$22072AEA-117A-4B64-90ED-78C1701253B7","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":"Q23852$7036644B-EA32-4FED-934B-EF9642C01C15","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"318e58f006fbf1f63c4ff08bbf6867a3484c954f","datavalue":{"value":"http://www.cs.ubc.ca/~hoos/SATLIB/benchm.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q23852$E67A7B4E-E0DE-467E-B3BD-AA135972D7AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23852$A446213D-AABC-441D-8F4A-106E24BD5084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23852$ECD6627D-426A-4838-A267-D4689C79F1FF","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"50d669f72f54f0999fb098e1f2b19c9a52614888","datavalue":{"value":{"entity-type":"item","numeric-id":23850,"id":"Q23850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23852$D9F2E813-971D-46B8-B2F1-6647461C3D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23852$28316DEB-29FF-442A-A639-2DFA1007E6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a1bb6d56d2596e9a658d42b558c9f0c4130e7e16","datavalue":{"value":{"entity-type":"item","numeric-id":23853,"id":"Q23853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23852$09248008-A916-4419-BA80-E2E9952F4FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1f607b565583d3b7be8efc5930bb061be2c01a2d","datavalue":{"value":{"entity-type":"item","numeric-id":23851,"id":"Q23851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23852$2F1183EE-C1FE-4C05-B85C-BD9A684E928C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aafdf7df9ab6945d55471b6dee241d20aae57bb","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23852$1A607C6A-9406-4071-A108-D4854FAAC3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"67dd98e79593da7fb2523abb7bdc433bc752d2ac","datavalue":{"value":{"entity-type":"item","numeric-id":20435,"id":"Q20435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23852$F989B7F3-3179-4F79-A658-9928FA3EF5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d573788def9b56fd97e42bbcb321057f4e827cd5","datavalue":{"value":{"entity-type":"item","numeric-id":23846,"id":"Q23846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23852$9ED28C9C-C9DA-4A63-AC4D-FB805D70BBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b284cee4bfb2faaecf8da4528e2114bc265fb689","datavalue":{"value":{"entity-type":"item","numeric-id":19912,"id":"Q19912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23852$5FB02E60-11BC-4835-BCD7-BE776E53EDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fd36a79f21586dcde663ed7a88c99f00a8d8c485","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23852$8E35F4A2-1D5F-4099-8A41-8F750D9A5FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0311a78dcbe941b21ec5ffaf71842fb8e37d72ae","datavalue":{"value":{"entity-type":"item","numeric-id":19082,"id":"Q19082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23852$68637E81-8F2D-47A5-BC36-31166571587C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7fc4707914c050272357c12d4ccf0ca6ab2d5459","datavalue":{"value":{"entity-type":"item","numeric-id":40231,"id":"Q40231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23852$46F1963E-3765-42E9-B594-19A90CA4FEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d91afb50e78832444fd2da76e5e7dbfd02026bb6","datavalue":{"value":{"entity-type":"item","numeric-id":21815,"id":"Q21815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23852$A1CB3690-0D98-4CB7-8CDC-924EC66B3605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"24cdada40b5d549a1c79ee93e517fc7040c5ed69","datavalue":{"value":{"entity-type":"item","numeric-id":21816,"id":"Q21816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23852$8AB61575-91E5-4F86-945C-C6AAE429A9DF","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":"Q23852$648D3E9F-9981-405E-AA5E-C1FC814FD316","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":"Q23852$3BE1BE3C-509F-49FF-8CB0-C6B73B55B44B","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":"Q23852$B7752AFD-67BD-4E60-8B73-5AE725559897","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":"Q23852$96620273-EBA6-4E0D-BE70-7EEB4C78E690","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SATLIB Benchmark Suite","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SATLIB_Benchmark_Suite"}}}}}