{"entities":{"Q6696090":{"pageid":14415068,"ns":120,"title":"Item:Q6696090","lastrevid":54736211,"modified":"2026-01-29T20:21:44Z","type":"item","id":"Q6696090","labels":{"en":{"language":"en","value":"Data, scripts, and results from SYNTCOMP 2024"}},"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":"Q6696090$F37FA2B4-B504-4FA8-A4B3-8785E4B93E8E","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"0551efc97cfc5160aa155ecb85aefb72af164978","datavalue":{"value":"This artifact contains all data downloaded from the StarExec platform concerning the jobs that ran the LTL, LTLf, and parity-game tracks of the 2024 reactive synthesis competition (SYNTCOMP24).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6696090$5A2B7C58-37CE-49C2-A648-194D598A8915","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3601b98156a2904113272d2a215fb6949457d9b","datavalue":{"value":{"time":"+2024-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6696090$8A14F1B1-D6B2-4E31-AEEB-8263B8BFBC58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf64da60c7b7f9939ce9479fefc998091e560fc9","datavalue":{"value":{"entity-type":"item","numeric-id":6696079,"id":"Q6696079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6696090$2A7F6897-A9F1-470B-BBDA-51BE51386930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c66349fb93c4be731b6d05d8a88aac3ca4b2b84","datavalue":{"value":{"entity-type":"item","numeric-id":784146,"id":"Q784146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6696090$93136B83-FB2D-4CC9-B0FE-8B1C718014F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e2451838a6212d47b330ac50ad5ead442663cfd","datavalue":{"value":{"entity-type":"item","numeric-id":6696080,"id":"Q6696080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6696090$D64DA1B0-4C48-4C56-B5B3-EE962FC697A2","rank":"normal"}],"P227":[{"mainsnak":{"snaktype":"value","property":"P227","hash":"85ff119332b44dd138972ce4f2ac6ae95d7663d1","datavalue":{"value":"12187907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6696090$59D022D5-906E-437D-A8C9-BBE4F59FD89F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ee303d2f0e895a175c402beae27e5aad9afe8b1","datavalue":{"value":"10.5281/zenodo.12187907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6696090$A89FAAAA-9072-4A39-BC08-B278FC58083A","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":"Q6696090$E369A92E-B7B2-4136-91D8-E1A976751859","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":"Q6696090$BFB88E39-4D4A-4584-A3BC-14C78E13001C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Data, scripts, and results from SYNTCOMP 2024","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Data,_scripts,_and_results_from_SYNTCOMP_2024"}}}}}