{"entities":{"Q6700840":{"pageid":14419812,"ns":120,"title":"Item:Q6700840","lastrevid":54645776,"modified":"2026-01-29T18:51:49Z","type":"item","id":"Q6700840","labels":{"en":{"language":"en","value":"SAT Competition 2014 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":"Q6700840$B16A7C9F-A450-4414-845C-D9D4B540E07D","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"2db709b6db62596a2367d687b645333605687c43","datavalue":{"value":"These are the 300 CNF files in DIMACS format from the application track of the SAT competition 2014.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6700840$EB1B1BCE-7BDD-4DC4-88E7-663739BEA310","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":"Q6700840$69A39851-AB0B-46EF-8EAC-19FE277AD3EF","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":"Q6700840$FDA1F1B9-70AA-48CF-9FAC-9EA3582B9DA7","rank":"normal"}],"P227":[{"mainsnak":{"snaktype":"value","property":"P227","hash":"c044a1d65ef7d3211732af0b0d9ecf006304e9f3","datavalue":{"value":"11527600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6700840$0FD9B7DC-C001-4E34-9526-9D4CE86E3250","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"545cdbacb3948e839de0d4da9b30dd868463b440","datavalue":{"value":"10.5281/zenodo.11527600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6700840$A487565B-8E15-41F9-9240-16F80B1E9BA3","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":"Q6700840$7EADB457-53C5-4893-8460-8D45D172632A","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":"Q6700840$F0EE9512-783F-441D-9B25-82DD093B63AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAT Competition 2014 Application Track Benchmarks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SAT_Competition_2014_Application_Track_Benchmarks"}}}}}