{"entities":{"Q21510":{"pageid":21566,"ns":120,"title":"Item:Q21510","lastrevid":56243766,"modified":"2026-03-13T05:43:15Z","type":"item","id":"Q21510","labels":{"en":{"language":"en","value":"PlusCal"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"283a62f06264d9fef156ad337787abe070d33dab","datavalue":{"value":"9529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21510$791CF6A9-3AA5-48A3-A552-B633F407EA42","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":"Q21510$23072F2C-4677-43E7-8E00-102D3C9821F1","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"33e4816a5f7501ab6d255bb84bff2dda3c9434e3","datavalue":{"value":"http://research.microsoft.com/en-us/um/people/lamport/tla/pluscal.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q21510$15D8CE5F-4940-4D87-8975-B0822A1ABF59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21510$3E4ECD5D-3DE1-4712-A8E0-4564E97A5167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21510$D4A0BFBD-5D23-45F9-9DE6-B318CC26D6C6","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":"Q21510$768E8F78-0E30-443B-85C4-64145A76C678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"80e9965099456680bb7cec7ebca831ec53ab6da4","datavalue":{"value":{"entity-type":"item","numeric-id":21511,"id":"Q21511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21510$DA3A9BAC-960F-45AC-90BA-3FB0E346957E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"09f7d6e2a6f5898bb79619f8faf340bfa5f7eeb0","datavalue":{"value":{"entity-type":"item","numeric-id":16618,"id":"Q16618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21510$C2E0D314-10B5-424E-B5E2-C3DFF351FE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b3142ed785425aa4e08be4d8b6f55cdbc5316416","datavalue":{"value":{"entity-type":"item","numeric-id":23847,"id":"Q23847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21510$392C747C-5C55-4670-83BF-2D79881B1011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5b73a93aef4696324320af1964e78347759cb835","datavalue":{"value":{"entity-type":"item","numeric-id":25690,"id":"Q25690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21510$5A1409EB-D0A4-4764-84A4-F8339E981BBD","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":"Q21510$4917B840-2855-4CFE-BD8A-179CFCF9EE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"57930470301260e01ab9743c86ccdc45d2abf18a","datavalue":{"value":{"entity-type":"item","numeric-id":29309,"id":"Q29309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21510$D2ACBB1C-B36A-49BF-A5E8-495130CF9DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"902d628c800e759cc899eeba68a7fd945566f1fb","datavalue":{"value":{"entity-type":"item","numeric-id":33612,"id":"Q33612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21510$9E2D31F0-F1DA-4458-A499-FCE9F41A6EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce3647fc4493c07827244cf82891c972b7202e92","datavalue":{"value":{"entity-type":"item","numeric-id":33502,"id":"Q33502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21510$AE97008E-89C4-47C6-943C-E094950D5B26","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":"Q21510$0487A221-6579-4E42-93EA-4292C5934EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0e0afe33efd15b2f9aaa40ccc0a01ee1fadc250b","datavalue":{"value":{"entity-type":"item","numeric-id":28711,"id":"Q28711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21510$546B917F-8009-422A-A8CA-8DE7613F83AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9361b6c1f0c215f3f064a7b95870ffe8a8adb3a8","datavalue":{"value":{"entity-type":"item","numeric-id":23408,"id":"Q23408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21510$B54461CF-8D42-430D-8329-5202140E1CCD","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":"Q21510$D6D072D1-C89C-4A4E-93AA-C58FB505F560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d586274393e57978dc91c053446c47462f0bc0d2","datavalue":{"value":{"entity-type":"item","numeric-id":16399,"id":"Q16399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21510$AC96807B-930A-46F4-A457-1E11F25FC702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6cce9708c735eca903b9027de804184e2f0ded4b","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21510$741B0642-3547-4BCC-8019-096A9176F44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d66c56ab267e9bbdcdd2158dc2f62a9282d977a9","datavalue":{"value":{"entity-type":"item","numeric-id":33501,"id":"Q33501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21510$ED2F850D-2846-43B4-B527-985EDAD621E3","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":"Q21510$E8EB9957-4F95-4D35-ACDD-45069D84797A","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":"Q21510$D91D8DDB-4624-4163-9F4B-F825B908E281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d410fd099ecfa42dbc38efb519e731904bbebb59","datavalue":{"value":{"entity-type":"item","numeric-id":20934,"id":"Q20934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21510$9CAF19F3-9D4A-4788-83D7-38D69DBC72B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PlusCal","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PlusCal"}}}}}