{"entities":{"Q6724275":{"pageid":14443219,"ns":120,"title":"Item:Q6724275","lastrevid":54822968,"modified":"2026-01-29T21:05:48Z","type":"item","id":"Q6724275","labels":{"en":{"language":"en","value":"Artifact for paper \"IMITATOR 3: Synthesis of timing parameters beyond decidability\" (CAV 2021)"}},"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":"Q6724275$7779A473-5DBD-4585-A195-1CCC3E107851","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"dddb48cf1f5327f4c69f7aeab04acac47c93f1bf","datavalue":{"value":"This is the artifact for the paper IMITATOR 3: Synthesis of timing parameters beyond decidability (CAV 2021), allowing reproducibility of all examples of the paper.  This comes in the form of two files:    a virtual machine (OS: Linux Mint 20.1 Ulyssa Xfce edition) 64 bits. User: imitator; Password: IMITATOR. This virtual machine contains:     the binary of IMITATOR in version 3.0.0   the user manual of IMITATOR in version 3.0.0   a set of models and properties to reproduce the papers example analyses   a set of additional models and properties   a Python script to verify the aforementioned models and properties, and to reproduce automatically the two figures from the paper   a file README.md containing all necessary instructions      a (much) smaller archive containing only the models, the Python script and the README.md instructions   See further instructions in README.md (present in both aforementioned files).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6724275$B5C6DC97-FC7F-47B3-8DF6-8D8E6EA406A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"661f4d8ef06d99d35e1e7e7ecc507a8b7968b768","datavalue":{"value":{"time":"+2021-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6724275$EFE40D7F-DC43-4652-985A-B3A37278C0E4","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":"Q6724275$C1A9FEE6-1F7B-45D6-A21F-769140F38B8B","rank":"normal"}],"P227":[{"mainsnak":{"snaktype":"value","property":"P227","hash":"af56e2488c026ce49aeb0670ad8d4154920e756f","datavalue":{"value":"4723415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6724275$17BDAE5F-6E97-4E8D-AF5D-E1FED8C4EAB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"281fbeebb3300fa5adbe588c46458d0aab777c35","datavalue":{"value":"10.5281/zenodo.4723415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6724275$A3E4F4C1-D8C9-4790-B2CF-BD2FFDECE7DD","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":"Q6724275$4BBA9564-DFED-45A8-9E0F-3A4C21295658","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":"Q6724275$15A068BE-2E34-4FE0-8B68-C02915D8A9DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Artifact for paper \"IMITATOR 3: Synthesis of timing parameters beyond decidability\" (CAV 2021)","badges":[]}}}}}