{"entities":{"Q6695686":{"pageid":14414664,"ns":120,"title":"Item:Q6695686","lastrevid":54732677,"modified":"2026-01-29T20:19:11Z","type":"item","id":"Q6695686","labels":{"en":{"language":"en","value":"Supplementary Material for the paper \"Efficient Strategies for CEGAR-based Model Checking\""}},"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":"Q6695686$191F5798-1F97-44A1-B831-149FF23513F7","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"d35aadb37e70f0cf0930bc9e1b4d9a60f0bbfe50","datavalue":{"value":"Supplementary material for the paper Efficient Strategies for CEGAR-based Model Checking by Akos Hajdu and Zoltan Micskei. The material includes a detailed report (report.html) and all artifacts to replicate our measurements and analysis (artifact.tar.gz).  Version 1.2.0 corresponds to the final, published paper. This version (1.2.1) is a minor update that added two new plots.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6695686$6D4D366E-210C-45E9-8085-FCC97C11690B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdb34299631c16bfb522dfd9d7a8453ddf816d49","datavalue":{"value":{"time":"+2020-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6695686$F5C33367-903B-4692-A4EE-C0ED4B4840A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d55ed1eccf0c74033df0ea1863e30c55258a672","datavalue":{"value":{"entity-type":"item","numeric-id":2209547,"id":"Q2209547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6695686$70333475-1D70-4559-8C61-ABEA728A2DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ceffafda001917ce1f49cf70663818fa91011eb","datavalue":{"value":{"entity-type":"item","numeric-id":6695680,"id":"Q6695680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6695686$FEE71DA7-AACD-4409-A986-840C9D03BD4A","rank":"normal"}],"P227":[{"mainsnak":{"snaktype":"value","property":"P227","hash":"acc942d9105bed6a35c2a65b1eb6120e3795f3ec","datavalue":{"value":"3893955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6695686$60DC0D72-17D0-4CA8-8EE7-799AB2B89995","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6e8f669f80cc70fae3cd0fbb787dc34409b0cfe","datavalue":{"value":"10.5281/zenodo.3893955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6695686$F6A4ECA0-438C-4B3A-818C-21E467C41746","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":"Q6695686$5A6156FA-EEE7-4C92-BE2E-571A48CB20F4","rank":"normal"}],"P1474":[{"mainsnak":{"snaktype":"value","property":"P1474","hash":"fe81a23e2344e3b04b4289822989861fc607d2c5","datavalue":{"value":"1.2.1","type":"string"},"datatype":"string"},"type":"statement","id":"Q6695686$9FF36FCE-394F-470E-9B36-00E7EF4B8187","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":"Q6695686$FB2D0F6A-4A94-4BE7-B6AF-E2D9EFA7153B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Supplementary Material for the paper \"Efficient Strategies for CEGAR-based Model Checking\"","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Supplementary_Material_for_the_paper_%22Efficient_Strategies_for_CEGAR-based_Model_Checking%22"}}}}}