{"entities":{"Q13928":{"pageid":13984,"ns":120,"title":"Item:Q13928","lastrevid":56560497,"modified":"2026-03-13T11:06:30Z","type":"item","id":"Q13928","labels":{"en":{"language":"en","value":"PRISM"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"1540d041cce8da1c840066b25da162834a8be49e","datavalue":{"value":"1186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13928$CE86BB54-5D5E-4E11-93AF-94C09E52722F","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"a28c346260fec3ad60b52316345a767eb10d9d5d","datavalue":{"value":{"entity-type":"item","numeric-id":4472227,"id":"Q4472227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13928$CFA0FD14-0C00-414E-A98C-CF3C67F70F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"a1ea7cc283a73bae0297b9194d600c25d3ab6ae8","datavalue":{"value":{"entity-type":"item","numeric-id":4738778,"id":"Q4738778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13928$E11A05B5-335C-485F-8333-E588B98C891A","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":"Q13928$20052F71-4E29-4A68-8F8C-58C411932408","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"31282a2569850bb731e302b376481f80ba1416af","datavalue":{"value":"https://www.prismmodelchecker.org","type":"string"},"datatype":"url"},"type":"statement","id":"Q13928$77B072DA-EDB6-41F8-89E0-D2AD8B57F301","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"40cd851567fb050dc08fd024daf15df7241c5420","datavalue":{"value":"https://github.com/prismmodelchecker/prism","type":"string"},"datatype":"url"},"type":"statement","id":"Q13928$79D900F2-16A9-4019-86D1-DF8533E0C9A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13928$E7F7CE1F-B75C-4DFC-B51D-58F2F2A471CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a467a32e3049b1299c9c2b688461b7f273ec943","datavalue":{"value":"60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13928$1EFB177A-04EB-469F-A5B0-ECC175BAFE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13928$4F2FCA07-DC46-4724-8A77-A81453FCA64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13928$AD7E6E24-BE76-489A-8FEE-20991AEF1132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d0cfa49f62a5e301328cd7af9d04a50119944fd5","datavalue":{"value":"92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13928$5A20E5A6-D63D-4923-A8A4-EE9B0506761A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13928$44CB1359-1F60-4534-B516-E211D28FEE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13928$B8493994-FB23-4002-85BC-C6A36A5C7B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d57514d4788d5abbd1056aadd506bc3f1b86263e","datavalue":{"value":"08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13928$17714425-6773-47FF-B02E-C65EEA0609CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13928$4DB3FE0F-0FBF-42F3-8378-52A337D2C25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13928$C4CEB3BC-28FA-4BC2-9F33-99023543DE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3caa64e9b44e0e6a95be04e9d18f7428dc349506","datavalue":{"value":"34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13928$DA985591-E951-4931-B65E-82B6A6321E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff509fbcb7652441f8a9f4a6a1885c66c1d4bb0e","datavalue":{"value":"41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13928$F08B1D00-FFF4-44D7-A05D-5651D606A74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"11b26b01b691b4daa9443ed4be166f27f9758074","datavalue":{"value":"45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13928$BEF0453E-D3EF-4CE3-9CF5-ECDA369F601D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56359f9045fe5db9438daf1ab901fd6bd2edb7a4","datavalue":{"value":"62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13928$81D27615-77BB-4FDF-955F-7701225C2441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13928$D17DD5AC-7587-44E3-865E-853584F2F1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"797ebe6b314441ca18070360b249a95d3ef9caa8","datavalue":{"value":"74","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13928$AD1E5795-0F7C-4FE6-81A6-533E4203CD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4edc7e695c3667a3dc24594c0516548b87f81467","datavalue":{"value":"81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13928$C66AB273-BED5-44B5-B71E-EA0DC86788BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13928$5C6B3103-4167-4234-B73C-E98B934F90C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13928$7560128B-170B-4B94-9170-F7CAD1D6634C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13928$44CD92AB-E898-4CE9-A444-5E5B46E479CB","rank":"normal"}],"P1458":[{"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":"Q13928$D47DFF52-EF57-41C9-BC59-BED8E3911340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ea8cbb6cabd8331d614ec3d875c6ca9ff867a802","datavalue":{"value":{"entity-type":"item","numeric-id":16314,"id":"Q16314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13928$1A3C7B83-B5BD-4136-9016-DADB96E7CA7B","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":"Q13928$452E28C9-9283-40C3-9ACA-1AB0737662A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0566ad334499237f2689386a24c3ff4452487d83","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13928$82E82815-30DA-41AD-AD22-E4F333C21B63","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":"Q13928$D822AF84-2777-4603-B875-DED6A1958DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1a64cd434498af03c256ef011c8e220d5840695f","datavalue":{"value":{"entity-type":"item","numeric-id":24857,"id":"Q24857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13928$995AD819-CFD9-49B6-8DE6-27923A8E04C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2f71b4e9242a006893807231a264ccd13549bbdb","datavalue":{"value":{"entity-type":"item","numeric-id":14101,"id":"Q14101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13928$B122F4C4-BBB0-44BA-8327-2CE6F4F664C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d7710d87817a7cf8435bfe87453b5a133fccc7bd","datavalue":{"value":{"entity-type":"item","numeric-id":22650,"id":"Q22650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13928$95D146FC-58F4-4639-BEEC-FF5A8E52E591","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":"Q13928$1D652F28-DE47-41E2-A81B-4FBBA17042DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"070ffec594af9f254c197b5dbe3e7cda1243ad61","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13928$E8A12530-1A39-41C6-B82E-593E08240130","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":"Q13928$67B819B0-1346-4B2B-935A-F9E2F9CE561F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cd85ea4235f75e500e615783d8111edd91d3a41d","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13928$8D0279F1-4F73-490B-A183-2AAD1804D1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b4457670b3f9170d67d3313924a74199fa0279f4","datavalue":{"value":{"entity-type":"item","numeric-id":45311,"id":"Q45311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13928$7244C8B2-5A88-4B15-ADD3-92306195F2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13928$A5E04385-FADD-4446-A065-4A46392055F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"deabb3a509275981131189078b9d9fca9cb8e1bd","datavalue":{"value":{"entity-type":"item","numeric-id":16776,"id":"Q16776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13928$C6CC220D-0BDF-45AB-82B3-07B4E0A19953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28ade6729a25a2785cfa0273bdf2c48cd9c5e39f","datavalue":{"value":{"entity-type":"item","numeric-id":21648,"id":"Q21648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13928$76968241-C038-4F1F-A780-73AB20855BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"446c33bf9b374ba0441e5f70667e3e0c13ccd355","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13928$96AA7F95-F4B6-4620-B1FA-5AACAF92EF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"57c1f1d25c74c43f8eba3da03c2ab94ce07b84ed","datavalue":{"value":{"entity-type":"item","numeric-id":21906,"id":"Q21906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13928$F15AE987-8EAE-40F0-8C80-254B22C92AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"90835d66b4aca97eb816fb1b993726fd829f4476","datavalue":{"value":{"entity-type":"item","numeric-id":23425,"id":"Q23425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13928$CF909B3E-F2FB-4118-B0E7-56D1D27CC4FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PRISM Q13928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PRISM_Q13928"}}}}}