{"entities":{"Q6700844":{"pageid":14419816,"ns":120,"title":"Item:Q6700844","lastrevid":54645812,"modified":"2026-01-29T18:51:50Z","type":"item","id":"Q6700844","labels":{"en":{"language":"en","value":"SAT Race 2010 Benchmarks"}},"descriptions":{"en":{"language":"en","value":"Dataset published at Zenodo repository."}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"dae155fd0809a7906855cd4fa50dd7d71bed552b","datavalue":{"value":{"entity-type":"item","numeric-id":56885,"id":"Q56885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6700844$ABE04A7A-C80D-4251-BB2A-A4FBE1022805","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"5ec381051331b64df1bf79bdfe58866c611c31c3","datavalue":{"value":"These are the 100 CNF files in DIMACS format from the main track of the SAT race 2010.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6700844$75AE8C26-0CBD-463C-B12C-282AF40C58AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f86f7e14cad415f722208de00809f7438ee48ae5","datavalue":{"value":{"time":"+2024-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6700844$E47ECD0D-24FD-4CE1-AAF6-E0567E10CDF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6700844$715B5974-4888-4C4B-9A74-40359471DC3D","rank":"normal"}],"P227":[{"mainsnak":{"snaktype":"value","property":"P227","hash":"b330de51d998ea25d4942f61e556d8a4ddb0d67b","datavalue":{"value":"11561176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6700844$A77114F7-280E-48C0-AFE4-62D18DA5C530","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d9b70ccd010364d459b85ba1de7c363361c83c6","datavalue":{"value":"10.5281/zenodo.11561176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6700844$69624F62-7C41-4AB5-82F2-CD28DB67D352","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6700844$7B47CB7B-F981-49E4-9E1D-1208EFBF08C6","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"d1e8073b72a070520efd3d14d4b3d2d3d03859e2","datavalue":{"value":{"entity-type":"item","numeric-id":5984635,"id":"Q5984635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6700844$16159C55-6F32-4280-98A6-B7DB6EA9B5B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAT Race 2010 Benchmarks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SAT_Race_2010_Benchmarks"}}}}}