{"entities":{"Q6700845":{"pageid":14419817,"ns":120,"title":"Item:Q6700845","lastrevid":54645821,"modified":"2026-01-29T18:51:50Z","type":"item","id":"Q6700845","labels":{"en":{"language":"en","value":"SAT Competition 2009 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":"Q6700845$26B9A109-417B-4383-9564-A0B60F357D85","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"f7a864705d1f119a7fda6b3cdb8dbfaac8486bcc","datavalue":{"value":"These are the 292 CNF files in DIMACS format from the application track of the SAT competition 2009.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6700845$DBAF72DA-B035-4A02-8EFF-64EE183E5864","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":"Q6700845$D28A8F6E-A050-48C2-9DB6-E12DEC0C8560","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":"Q6700845$0D652605-8189-4206-99D5-D8196B53CBF3","rank":"normal"}],"P227":[{"mainsnak":{"snaktype":"value","property":"P227","hash":"f0465043fb71a0d55afcf29313f1f01f7026da11","datavalue":{"value":"11561225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6700845$5635DA2A-1E38-4497-8352-4031A5D063B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed2bcae1fe91aa9d839bca405bfe8f00bac1513a","datavalue":{"value":"10.5281/zenodo.11561225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6700845$99A109DB-AF43-4FF6-9A76-D0E27C234ADA","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":"Q6700845$403BE004-5C98-496A-98B7-BC612245AD18","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":"Q6700845$2FFA925D-B700-4C4C-B8C7-3363DF6BD9FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAT Competition 2009 Application Track Benchmarks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SAT_Competition_2009_Application_Track_Benchmarks"}}}}}