{"entities":{"Q6700841":{"pageid":14419813,"ns":120,"title":"Item:Q6700841","lastrevid":54645785,"modified":"2026-01-29T18:51:49Z","type":"item","id":"Q6700841","labels":{"en":{"language":"en","value":"SAT Competition 2013 Application Track 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":"Q6700841$88CD0C7B-620E-4C66-9EC4-4436BC0B4149","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"dc50e8040094c41cf204023138108426313f1a67","datavalue":{"value":"These are the 300 CNF files in DIMACS format from the application track of the SAT competition 2013.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6700841$480D566A-E764-4670-BE7A-4FA4CAA19DCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dae23b0ae1adb538c487c46cdff3d81cd7c1948e","datavalue":{"value":{"time":"+2024-06-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":"Q6700841$81327B8F-603B-4A7A-A21D-E7FAA3D95228","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":"Q6700841$E1A5CEB6-E3E0-4E70-A5EF-BB7855887FA4","rank":"normal"}],"P227":[{"mainsnak":{"snaktype":"value","property":"P227","hash":"294f6ae19455aff7ba6bda9cc9c1f81fc69afd69","datavalue":{"value":"11527756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6700841$676756F5-A202-4A92-9682-542901884C53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ce420357a2368298d202ade6f91d62b106b1941","datavalue":{"value":"10.5281/zenodo.11527756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6700841$574F15FD-62D0-415E-BC3D-F9DF33602AD7","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":"Q6700841$FF45CB94-738F-422E-AED0-8294C805C66F","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":"Q6700841$8C02B7BC-1212-404D-BF68-05A03862F177","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAT Competition 2013 Application Track Benchmarks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SAT_Competition_2013_Application_Track_Benchmarks"}}}}}