{"entities":{"Q14230":{"pageid":14286,"ns":120,"title":"Item:Q14230","lastrevid":56528385,"modified":"2026-03-13T10:07:14Z","type":"item","id":"Q14230","labels":{"en":{"language":"en","value":"mCRL2"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"c0a8948fab28dc44030357c77f9b027f1fb3092e","datavalue":{"value":"1496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14230$D1C80287-8E5A-4460-B0CA-F5AAFE1EF7BD","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"4c234174579e0415fe7047190decf84dfc141d4c","datavalue":{"value":{"entity-type":"item","numeric-id":3614665,"id":"Q3614665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14230$77919E45-6119-44FB-B4D0-959DF1A56350","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":"Q14230$453E8426-FFAC-4CCC-8776-4E9277AB67B0","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"8dbf0a7aedaa06df4a2269a6ed0d83a91c6be715","datavalue":{"value":"http://www.mcrl2.org/release/user_manual/index.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q14230$36B93D4A-2E32-4BA6-969A-98FAAAC4AA3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14230$67FFFDAD-C34E-4B24-AEA7-40409A825A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a467a32e3049b1299c9c2b688461b7f273ec943","datavalue":{"value":"60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14230$63E34EB0-C092-4754-9D03-E39880C5C557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14230$788F2A69-85CC-4791-B9D3-FD8C198352B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14230$7E402C00-D6F2-4B04-96C9-DA0AF2B871F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14230$7FEAAD01-F5E8-4ED0-B76C-911A4930E705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14230$AC0FD19D-34AB-4AAC-82BF-F7660188672F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d0cfa49f62a5e301328cd7af9d04a50119944fd5","datavalue":{"value":"92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q14230$A933C6EB-AB3F-4015-9198-4B110CF7FD85","rank":"normal"}],"P1458":[{"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":"Q14230$CEC1E104-FF5D-493A-9055-B0B1EA3C4049","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":"Q14230$66133FB4-5AA5-49D0-B1D6-50C992C77FE0","rank":"normal"},{"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":"Q14230$DA917DAB-BD2A-4051-9190-AD4AF9DFC1B4","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":"Q14230$9A497E12-9C80-4D1D-8AC4-3992E201702A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1a1b87c40cced1afe23f9ae8ed97996053ba41ac","datavalue":{"value":{"entity-type":"item","numeric-id":19265,"id":"Q19265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14230$AA400567-D8B9-4982-812F-8DE92CF797C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0a5ed045faab8b0f5b4ecff6640a5cf3e0873180","datavalue":{"value":{"entity-type":"item","numeric-id":41340,"id":"Q41340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14230$DAA13446-96EE-4BD9-9732-BB5FAFAD3253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"32f6b436c5935ed191895fa109dddd41b8948adb","datavalue":{"value":{"entity-type":"item","numeric-id":24316,"id":"Q24316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14230$303C5392-BEBE-4FF7-9870-FFD472F96CCE","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":"Q14230$ED927A32-003D-476E-9400-63E08D6924A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3c2e0f7948c960362c461208f6f9585b2051c4de","datavalue":{"value":{"entity-type":"item","numeric-id":18479,"id":"Q18479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14230$930AF688-A679-4A3F-AD92-700E568B74FF","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":"Q14230$E0453DE1-72C5-45D0-8987-CCBA4FCE3920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14230$4E01598F-4597-4439-9313-DF3C27509AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e4061a06352ada16ea7088d1b05e45658e3e030","datavalue":{"value":{"entity-type":"item","numeric-id":25960,"id":"Q25960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14230$215B209E-5626-4803-84E6-BC8A865CF0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2f2efa661b3bf9562343309839505e8c4148e04d","datavalue":{"value":{"entity-type":"item","numeric-id":1353481,"id":"Q1353481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14230$27A82DB1-C09B-4CFD-B5C5-E6D973212C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"10b40530c4fb0548a5f35c2302cc04c2a7e3ccea","datavalue":{"value":{"entity-type":"item","numeric-id":22161,"id":"Q22161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14230$3167D580-F563-4289-8E1A-4EB5444F5F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"90c50de3e96fe5bf0c27fe5795f8cd39db3f8b80","datavalue":{"value":{"entity-type":"item","numeric-id":5973057,"id":"Q5973057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14230$3290F499-9B5D-4E1D-B90A-F85EBCDD1B1F","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":"Q14230$2082DF9D-99E9-4D3A-9445-EAAC75B6AC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ef3a824eb9130b28d1a6184768da0ec4c2a5b1a4","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14230$7E7CB952-E977-4B90-8489-065DF35651CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5fde9339688b2b5e4e8ff94ad6cca9e9c30eac1f","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14230$4F50DEDD-F162-4895-9D0B-F777FD87B04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1840d9ca978cb27c46a83c7e9dce99a49efc6565","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14230$91117FA8-C867-4F16-9173-070FDEFD27DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"53c87add919f1079d62e9f59a232f00e569470b3","datavalue":{"value":{"entity-type":"item","numeric-id":31370,"id":"Q31370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q14230$32CF4963-1E9C-4ACB-8B32-FA8B7B645EC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MCRL2","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/MCRL2"}}}}}