{"entities":{"Q6717015":{"pageid":14435963,"ns":120,"title":"Item:Q6717015","lastrevid":54684326,"modified":"2026-01-29T19:34:39Z","type":"item","id":"Q6717015","labels":{"en":{"language":"en","value":"The IMITATOR benchmarks library 2.1: A benchmarks library for extended parametric timed automata"}},"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":"Q6717015$159A617D-B43E-4E47-8E33-B91493075DCD","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"aa173f37764b3fd511c29c574d4fd3c504c89134","datavalue":{"value":"We present here the IMITATOR benchmarks library 2.1: A benchmarks library for extended parametric timed automata  We present two archives: - one (benchmarks.zip) with the models and the properties - one (full.zip) with the benchmarks and all the results: the expected results, generated PDF and graphics, and a whole standalone Web page (more or less equivalent to www.imitator.fr/static/library.html) summarizing all benchmarks  See a full description in the TAP 2021 paper (\"A Benchmarks Library for Extended Parametric Timed Automata\")","type":"string"},"datatype":"string"},"type":"statement","id":"Q6717015$CC745344-9CD8-4D0B-90FC-9860E1E5D969","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa606cd9a86681f5cb5c1bd622bed3dc1adf1816","datavalue":{"value":{"time":"+2024-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6717015$7AB2301A-F810-4BB1-BF5C-DCA0EFAB9484","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5474941530a831b2b2da197492290557d39bddf","datavalue":{"value":{"entity-type":"item","numeric-id":315304,"id":"Q315304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6717015$B5312A8E-D540-4162-BD9E-C887F95185B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6e1f8e8d8ac0343e1d0f47d529a4f82a9082a77","datavalue":{"value":{"entity-type":"item","numeric-id":6705352,"id":"Q6705352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6717015$3EFB58BE-7620-4286-A907-A76786554548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a469e1856598e76c0542f05574b54b053e1e517a","datavalue":{"value":{"entity-type":"item","numeric-id":507380,"id":"Q507380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6717015$64A53495-964D-4BEC-AF1C-04BE0B1D3FE4","rank":"normal"}],"P227":[{"mainsnak":{"snaktype":"value","property":"P227","hash":"29b73798642676cadb8574aa08b325e7c533c746","datavalue":{"value":"10600092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6717015$0F76BE55-CF50-417C-B64C-351FE873E94F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"381a81cebd757e1a5fbe4f858dd850908f06b227","datavalue":{"value":"10.5281/zenodo.10600092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6717015$680A7D5B-2CD9-41F9-8154-E5CBC7FFB4F2","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":"Q6717015$AC2E0891-D03C-440C-91FA-8AA8EE50CF42","rank":"normal"}],"P1474":[{"mainsnak":{"snaktype":"value","property":"P1474","hash":"3c3ba95f961de63e52875dc12992c2abda9e07ff","datavalue":{"value":"2.1","type":"string"},"datatype":"string"},"type":"statement","id":"Q6717015$592FA9AB-877F-4F65-9865-7B96B84BF31C","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":"Q6717015$3D4DC157-DD91-48B9-B3F7-51142DD3F12E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The IMITATOR benchmarks library 2.1: A benchmarks library for extended parametric timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_IMITATOR_benchmarks_library_2.1:_A_benchmarks_library_for_extended_parametric_timed_automata"}}}}}