{"entities":{"Q6722158":{"pageid":14441104,"ns":120,"title":"Item:Q6722158","lastrevid":54692057,"modified":"2026-01-29T19:46:01Z","type":"item","id":"Q6722158","labels":{"en":{"language":"en","value":"Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications"}},"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":"Q6722158$2EA0704E-203C-4B78-AA27-2A86DB17809F","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"ced5271f030430a4230c97317dc5973b6ecadf48","datavalue":{"value":"Artifact for ICSE23 paper: Triggers for Reactive Synthesis Specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q6722158$0730CE61-3551-405C-AABD-DFADC99F1D64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a8c4d52d541f80ad36a5396175349e31a9f0d94","datavalue":{"value":{"time":"+2023-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6722158$30AE17A5-393B-4D63-80C6-7CF04F9355A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89cf40592e90190ea3093c746e06c6c8a1f2038e","datavalue":{"value":{"entity-type":"item","numeric-id":6722155,"id":"Q6722155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6722158$4CD1B161-6155-44C3-B3DD-672DEAB77077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dbdc5c9ba4896b966d76d56022645c354218738","datavalue":{"value":{"entity-type":"item","numeric-id":6722153,"id":"Q6722153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6722158$4E4D0987-6343-4BD9-B20E-CD4BC9821CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb097d151a143491d9ee97fc8f8ee6819309ce76","datavalue":{"value":{"entity-type":"item","numeric-id":1854486,"id":"Q1854486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6722158$D89DA1DF-41DB-4EA8-B681-0B22854B461B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bea465a7a554174f4b6f8a5210e5692fca86e509","datavalue":{"value":{"entity-type":"item","numeric-id":6722156,"id":"Q6722156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6722158$7508CC72-06C3-421B-BD2E-A3A34C75A893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef86431334ffb0ae832d3e0fb8e79877344afdb0","datavalue":{"value":{"entity-type":"item","numeric-id":6722157,"id":"Q6722157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6722158$680F98B7-D7AD-4B58-9BFC-91F67899691A","rank":"normal"}],"P227":[{"mainsnak":{"snaktype":"value","property":"P227","hash":"8e0ab5944564b1a727b38be04fa07d356db734f9","datavalue":{"value":"7626930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6722158$8089ADAC-EABD-4B1E-8177-2B27453946A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b62de8519cf5c495e1521d2c2dc54da12c8fce07","datavalue":{"value":"10.5281/zenodo.7626930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6722158$C1C22AEA-A271-487B-BEBB-A803AA0E21A5","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":"Q6722158$1DEC8748-EBDD-46E1-9428-11A48C284FAB","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":"Q6722158$132EB84F-B1B1-45CE-9F6C-240355853008","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Artifact_for_ICSE%2723_paper:_Triggers_for_Reactive_Synthesis_Specifications"}}}}}