{"entities":{"Q6722397":{"pageid":14441343,"ns":120,"title":"Item:Q6722397","lastrevid":54692522,"modified":"2026-01-29T19:46:06Z","type":"item","id":"Q6722397","labels":{"en":{"language":"en","value":"Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL"}},"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":"Q6722397$872D7E6E-30F6-468C-9E16-8444506F294D","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"053b5da3a27a46d734849fd951dbb4a5bb9984d3","datavalue":{"value":"Datasets and source materials for our studies of Linear Temporal Logic (LTL).  Includes:      Labelled responses to our surveys      The surveys themselves      The coding rubric that guided our categorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6722397$D5EBF10A-254E-4004-A669-581CBB0516FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c95b7bab56df7de93fb565a41159eab77e3a3f6c","datavalue":{"value":{"time":"+2022-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6722397$AEC67B91-0EA4-480F-9453-B92DEC7D3586","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"289124c729fb32e7741e3bc95075a1559f6aa9bc","datavalue":{"value":{"entity-type":"item","numeric-id":6722394,"id":"Q6722394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6722397$796935DD-DC23-49C9-AF14-B64FED108FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f801861e15b0fa70d7f5727cc461b1e8958d3f3","datavalue":{"value":{"entity-type":"item","numeric-id":6722395,"id":"Q6722395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6722397$B6675EAF-FCAB-4986-9A3E-F38C2B3206BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae993743d8e985a94667cde71f185af127b4af60","datavalue":{"value":{"entity-type":"item","numeric-id":6722396,"id":"Q6722396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6722397$18AFDAC8-BF5D-4C62-A51A-D7EDF71B4147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c90bc60f94f46e9a510829df190981c5d32b3a8","datavalue":{"value":{"entity-type":"item","numeric-id":856915,"id":"Q856915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6722397$01CB4FFA-BC96-4F9B-B45E-7C0BC86D1C12","rank":"normal"}],"P227":[{"mainsnak":{"snaktype":"value","property":"P227","hash":"15ec6353ff46f0d3051f3a70799d2a3d6d2d2cba","datavalue":{"value":"7213780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6722397$22B61E77-EA6F-49FB-8549-4EF16F681949","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32e811800cdc9b0c93f74211cd8c665f8f9380d6","datavalue":{"value":"10.5281/zenodo.7213780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6722397$A0CCBBFE-F10B-479B-8667-4C697238706B","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":"Q6722397$B6C82540-18EA-4AD6-B945-E7F61FE9D9D8","rank":"normal"}],"P1474":[{"mainsnak":{"snaktype":"value","property":"P1474","hash":"f5c4489df839db4a496976dc435285f4fbb9dcd1","datavalue":{"value":"v1.1","type":"string"},"datatype":"string"},"type":"statement","id":"Q6722397$8A5407C8-0F0D-4C0D-A05C-CD13A72D9468","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":"Q6722397$B31568D4-5632-453C-BB63-DAD659B034F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Accepted_Artifact_for_Little_Tricky_Logic:_Misconceptions_in_the_Understanding_of_LTL"}}}}}