{"entities":{"Q6700835":{"pageid":14419807,"ns":120,"title":"Item:Q6700835","lastrevid":54645731,"modified":"2026-01-29T18:51:49Z","type":"item","id":"Q6700835","labels":{"en":{"language":"en","value":"SAT Race 2019 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":"Q6700835$77AA86BB-DAE0-4ED6-9F02-25116EBE096E","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"b73e57f099b6c78925c34a0efc6a50dcd2cc2b58","datavalue":{"value":"These are the 400 CNF files in DIMACS format from the SAT race 2019.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6700835$97645307-E4FA-445F-850E-A803B1A35999","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8a73bab82aa135ca51a3da86a65a3d05176a030","datavalue":{"value":{"time":"+2024-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6700835$8F9E33C6-C80C-4BAD-A30B-5B7AE0C8CFD2","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":"Q6700835$ED8841C9-FEB0-4B4B-9ABF-BFA47A783582","rank":"normal"}],"P227":[{"mainsnak":{"snaktype":"value","property":"P227","hash":"5cc2fec97885e2a5a38be35c2c1db5a5a8e098ac","datavalue":{"value":"11428417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6700835$EF589251-8446-4E7E-B3EC-AD15D601A07F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d5602ee6460d3187b7af1e5fcba73420ae388a3","datavalue":{"value":"10.5281/zenodo.11428417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6700835$493C4096-8DAB-426F-9BA6-83C6704D3C34","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":"Q6700835$81C284D6-61FF-4BE6-9C1A-9DAEB43A896D","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":"Q6700835$B32A20F2-9263-49FD-AD10-0E173C5D6DCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAT Race 2019 Benchmarks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SAT_Race_2019_Benchmarks"}}}}}