{"entities":{"Q19657":{"pageid":19713,"ns":120,"title":"Item:Q19657","lastrevid":56227368,"modified":"2026-03-13T05:35:32Z","type":"item","id":"Q19657","labels":{"en":{"language":"en","value":"PROMELA"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"2d4d46aeb7f84dd1cdefaf9c19db5c8354e6f581","datavalue":{"value":"7635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19657$0644348B-C674-4329-973F-715A51E0E2CB","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":"Q19657$9095928E-4E66-4DF8-B854-9179B8A5C292","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"1b278e51a17d71800982bd559cf1c60313fadf52","datavalue":{"value":"http://spinroot.com/spin/Man/promela.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q19657$99F9A80D-4877-4D92-A578-BCA5050C0AB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19657$C3AB7544-7113-4000-881A-1C8815FC32E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19657$3BD8179A-4C22-4A6B-BC05-9810A827331A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19657$C0F13F27-C206-45BE-8A42-437111B617EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19657$30E6BE8B-DFA1-49E2-BAFB-F64998D82F27","rank":"normal"}],"P1458":[{"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":"Q19657$5D279C5A-FD40-4A57-8336-6EBC8B457360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"171683ac6451b522de589f7f4fcc62892779d9ca","datavalue":{"value":{"entity-type":"item","numeric-id":19660,"id":"Q19660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19657$E72CDD72-339B-40DC-99F8-2AF8EF77F2CF","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":"Q19657$DE988DEE-69F4-406C-AA11-E4F10C13847B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"682e7fe1e23a35e887f6b40b7a4d423855e3983a","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19657$D3423542-20B6-4468-B596-0F2991DDD786","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":"Q19657$0F6B711C-6A15-4B15-A38C-BD1AB15E52DB","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":"Q19657$EC5E403B-E189-433F-9B57-9920CB352336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1799e810387a519a9d77278f17b40f135b845474","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19657$1CD947F6-DA35-4496-BE69-10E1750D3812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7328564303d1929bbeab82ebc64c91f01ea9372b","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19657$7D2DBFBD-BEDF-4890-9A4D-A6F4F28843E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc01cf90bf314ca3a3d58ce8dcfd7a4e9d8ac34c","datavalue":{"value":{"entity-type":"item","numeric-id":21462,"id":"Q21462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19657$8E91F0CB-9369-4238-A83E-90D536004E5B","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":"Q19657$A46D2DC0-A6F7-4500-BF68-DA11C7344B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e37d0f84800bb830b88b7439acea2ef09d22c165","datavalue":{"value":{"entity-type":"item","numeric-id":13366,"id":"Q13366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19657$F5A0E57C-145B-4E7D-8E7F-78D0731F6026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4fe3f5fbd9c3b46c5b7500affb92d623f4082cb3","datavalue":{"value":{"entity-type":"item","numeric-id":19544,"id":"Q19544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19657$B4B64C49-656A-4FEE-87EC-72A58455E576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c2335bb9015a4e7a0c3bcae0846109b1b057bea6","datavalue":{"value":{"entity-type":"item","numeric-id":13716,"id":"Q13716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19657$7FD967FC-3486-4D4E-96BC-165B69F13BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e35202ede39358e34b89ac2fffdbc0f543e90acd","datavalue":{"value":{"entity-type":"item","numeric-id":17130,"id":"Q17130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19657$CE7F069F-134F-4C21-863B-EE21DBC9B61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3e169bf5eda2fad49df66dfca95a700b59ad62b1","datavalue":{"value":{"entity-type":"item","numeric-id":19658,"id":"Q19658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19657$ECC7A24B-71D1-4322-A8C1-769170304AF1","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":"Q19657$2C476EA4-51ED-4264-ADE9-BDED3F7484F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cca3a32b180baf92e5c1bd6e47c20bc43d7599e","datavalue":{"value":{"entity-type":"item","numeric-id":32996,"id":"Q32996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19657$2503044A-500C-47E7-8638-951755C0BA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"66834767b6ba7f24478d14889793f15bbd31421e","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19657$96820C58-6293-4B30-8D65-76A96303DFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"11d3c826f968e6cc6cc8d47bb2e10594dc16beb7","datavalue":{"value":{"entity-type":"item","numeric-id":1334176,"id":"Q1334176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19657$A66420CF-33BC-45EB-8C06-DE4A6F5CCC96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PROMELA","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PROMELA"}}}}}