{"entities":{"Q24857":{"pageid":24913,"ns":120,"title":"Item:Q24857","lastrevid":56263368,"modified":"2026-03-13T05:49:14Z","type":"item","id":"Q24857","labels":{"en":{"language":"en","value":"PRISM-games"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"bb9e02b2cc8d0c7c233a4365326aaad4da15d665","datavalue":{"value":"12934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q24857$8F429181-6B80-4DDA-8CB1-92E35B8AC19A","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"2f5699d05ea218c899fddb3a03bdf0449e870480","datavalue":{"value":{"entity-type":"item","numeric-id":5326324,"id":"Q5326324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q24857$BF3B8E64-06E2-4AAE-95F8-1C114325FB1F","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q24857$3CE389B2-D0E3-4946-A1A9-35AB6A9C2C04","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"841c96e0e7367872401abd0e031e9c3d055ba210","datavalue":{"value":"https://www.prismmodelchecker.org/games/","type":"string"},"datatype":"url"},"type":"statement","id":"Q24857$7B42EA35-48D0-4FF9-841C-9392EBD58793","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"4cdfeaa434659d93c8eaf17066d1bbdc40c136d5","datavalue":{"value":"https://github.com/prismmodelchecker/prism-games","type":"string"},"datatype":"url"},"type":"statement","id":"Q24857$3FA25D67-9FB8-4008-8E13-06EB4165B029","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q24857$39E45B3B-F105-44E0-A539-67A560970E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q24857$C0065F23-521A-4CC2-AF9C-9AC5FCA82DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q24857$4543F3C1-6C3D-44E4-A35D-1D0640009137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q24857$68A39A64-235B-450D-949C-5CEBBBCF5E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q24857$ECDBAD13-C60F-4A46-8930-FD88555161ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q24857$2B85D364-4729-4260-9701-B90406422EF9","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"02b329e86bd44e002b407e5543cbe998c79c263a","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q24857$EE1A808B-857E-4BF8-AA32-2C23254A1AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d89df1ecebe772c6d89beb27ab4eb1bd62721a15","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q24857$438F9BD1-4E44-48F6-A811-4FA3E3E79548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7ea7f81f70c299a33edbeac9a1ac7f22111f7d91","datavalue":{"value":{"entity-type":"item","numeric-id":21855,"id":"Q21855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q24857$E4F19BDC-7F01-429B-A8A6-E63937076469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4649d3bb9b295fcdbe94c7a4d8c40fee06cb1dc7","datavalue":{"value":{"entity-type":"item","numeric-id":43700,"id":"Q43700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q24857$9B288260-C251-46E5-961B-8851CEB6E004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"247eec553a00d1cd8a45486f1e3161ab27969ca9","datavalue":{"value":{"entity-type":"item","numeric-id":13084,"id":"Q13084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q24857$CB1E9048-E2DA-43EC-AB3E-4685955802E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c3bde9c891ee2ad42cb68394da979cbd41a82367","datavalue":{"value":{"entity-type":"item","numeric-id":29276,"id":"Q29276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q24857$E502C9D4-FA5A-4A11-907F-F0AC7DFEDAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"276eb8cca30bb1faf32c8fff5ff969d9221e2cc9","datavalue":{"value":{"entity-type":"item","numeric-id":24835,"id":"Q24835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q24857$3003C5F5-2244-48D3-B38A-E25A1F12CF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c50e1fca26969d2bbfc2cd99a1746b0ccbef13e0","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q24857$CBEFDD82-E532-44ED-BC89-A0608B34DCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1467b35d78844d30ee852737f1e0cf2f032119bf","datavalue":{"value":{"entity-type":"item","numeric-id":36529,"id":"Q36529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q24857$297021C6-E642-4209-A01F-ABE784D0BA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3f4b4b91a4b67a832ce37cd423d1c4009610d7ac","datavalue":{"value":{"entity-type":"item","numeric-id":24836,"id":"Q24836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q24857$5DCFF7D0-9AD6-4FA0-8B73-6D2397936A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e6d2e04e15e4ff7c5352e03cfb60cfa3a47ea2e8","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q24857$54787B80-464F-4283-BE62-5A98824638F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q24857$1D06560D-5949-4725-A5A8-0ABEBC399118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"77b396ca4632beefcd501d7dec0894610d351145","datavalue":{"value":{"entity-type":"item","numeric-id":43701,"id":"Q43701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q24857$D18138D4-11BA-47B9-BBBD-F4EB92ADC5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q24857$94A84401-3B9E-45EA-9B76-DC1A59CEC47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a332fc55e9521016815a2f7c98ef1792a9bb7cec","datavalue":{"value":{"entity-type":"item","numeric-id":16292,"id":"Q16292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q24857$F71D9107-1091-4D5C-AA4A-365596D171E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f1edde4b5e367d8fa691f3ae5630108b2fb51dee","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q24857$DC13BF59-A11A-48D4-A922-A81653809409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fe1e10c320e022ed6543033d681e9bc8bf12e75e","datavalue":{"value":{"entity-type":"item","numeric-id":5973593,"id":"Q5973593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q24857$98479BD4-0C6C-4A4A-9596-35D1DB47C868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f3491a177e1cfc106ae0e5966e8456137b107ae","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q24857$47D0366A-46C3-4FC1-AD66-B379278DA535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"152bd62257efefe9ac672e9bce49c7b3aebedff9","datavalue":{"value":{"entity-type":"item","numeric-id":41892,"id":"Q41892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q24857$EB0F5790-FC69-41B7-8FBB-E7DF81E7CC69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PRISM-games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PRISM-games"}}}}}