{"entities":{"Q6722210":{"pageid":14441156,"ns":120,"title":"Item:Q6722210","lastrevid":54692186,"modified":"2026-01-29T19:46:02Z","type":"item","id":"Q6722210","labels":{"en":{"language":"en","value":"Artifact for TACAS'25 paper: Performance Heuristics for GR(1) Realizability Checking and Related Analyses"}},"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":"Q6722210$F3642BFF-E6AF-4738-A545-38803828D0C4","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"2471db848fccad42fc34076c421097c7fb232c34","datavalue":{"value":"Artifact for TACAS'25 paper: Performance Heuristics for GR(1) Realizability Checking and Related Analyses","type":"string"},"datatype":"string"},"type":"statement","id":"Q6722210$160C96C3-30CA-46B4-B93B-E78E88D72380","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c5d91fdbca7016a55a5829f5a2193abb7b10a2f3","datavalue":{"value":{"time":"+2025-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6722210$A032142C-014A-43D5-80C8-1D2249471C3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e529183f216965a9ba3e401267228697dfee4ce","datavalue":{"value":{"entity-type":"item","numeric-id":6722208,"id":"Q6722208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6722210$685E7D9A-4679-4D23-8222-F4F9F8CFCF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5ab674cd444e9b2dd19d06531cdbc9628475ad3","datavalue":{"value":{"entity-type":"item","numeric-id":6722209,"id":"Q6722209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6722210$A76381A8-0BC0-4246-8C42-9DA55534EEE0","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":"Q6722210$D428B4C1-D99F-40D0-A1CD-283449342B77","rank":"normal"}],"P227":[{"mainsnak":{"snaktype":"value","property":"P227","hash":"9fee729fbbe1ffd97d8a73ca2939f2911ab4d2c9","datavalue":{"value":"14741673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6722210$AE607A36-6B7D-48A8-9FE6-F8E94FEB5D3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9abfe1bd9f0a1d7b96a2efdacabf59027056f4bc","datavalue":{"value":"10.5281/zenodo.14741673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6722210$504423B9-CC03-4F14-A712-99C4824D38F4","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":"Q6722210$DAB048E2-BD78-4FE5-AC8D-64E2283BE246","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":"Q6722210$7ABF40FB-56B0-44BA-AF3C-0D8604D3FD11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Artifact for TACAS'25 paper: Performance Heuristics for GR(1) Realizability Checking and Related Analyses","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Artifact_for_TACAS%2725_paper:_Performance_Heuristics_for_GR(1)_Realizability_Checking_and_Related_Analyses"}}}}}