{"entities":{"Q21688":{"pageid":21744,"ns":120,"title":"Item:Q21688","lastrevid":56239671,"modified":"2026-03-13T05:41:38Z","type":"item","id":"Q21688","labels":{"en":{"language":"en","value":"WhyML"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"d91b8c3ae2a0ab9b45ef638c1233ccd70b837346","datavalue":{"value":"9709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21688$9F708D5A-B6DC-4E9E-A49E-928A3001C4BE","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":"Q21688$048DCA45-6569-4012-A3EC-8E40AFC35856","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"f5fade32421f50e74b6166f53ca4c7e1b86c41d2","datavalue":{"value":"http://why3.lri.fr/doc-0.80/manual004.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q21688$340B5D51-92D8-447B-A2DA-4D1EE8F9CB53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21688$AF6F8BEE-85CA-4778-9FD5-289BE556C9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21688$B1F8C33E-F7DB-4EEF-A399-3E06A37C4A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21688$977EBBEF-D2F2-4021-825A-AC5D7A764576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21688$A14AF2AE-E863-47DF-A76A-635E9FD1D70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21688$9062475F-0C02-41B7-B2D7-008B0AD2FE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d57514d4788d5abbd1056aadd506bc3f1b86263e","datavalue":{"value":"08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21688$140BA002-ADE1-4662-9019-890E8F617CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21688$27EE8CC3-91CB-418F-B035-882A4BDFED74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dd818343d7a5b259737eac61518c19de74ecd35","datavalue":{"value":"15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21688$D17489DB-E764-4806-AEA6-C14C15AA4466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21688$00CFF546-B266-48A7-A8DD-A37161E0D760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q21688$F8A28F4E-E89F-4F54-9F6E-B5053192F2E2","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce995af0d54f8ab3594278c155d6ae4d6e3a6165","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21688$1FBDD897-E520-4211-AA23-F16A45CE6126","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":"Q21688$E79C8C81-8998-4652-979F-B1668D5419CC","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":"Q21688$68378554-932C-4D33-8CF8-3A87FBC7A159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"263af5c0df32ed66fc675fae4932e71337532265","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21688$C525DCF5-3196-45DA-AA73-BC68FB7B1E39","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":"Q21688$C5F7ED0B-595E-40FB-A7F7-1ABDF41E6B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e3e9bb7b329ec8e71fcb8b28c9805dd4509dedab","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21688$60F0FCFB-3A47-4139-A38C-E9F412AF6C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"346bb06feebe5eec8261e483309d0da7485c1091","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21688$FBFC40EB-0775-4C28-B240-24690FF520DF","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":"Q21688$799F4F9D-5A92-48C8-9DD8-7E1B2D042985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d03c375b1fbbe0a810fb04a9f9434b8658bd9aa7","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21688$8FFC329E-393B-4785-9E3C-E922B7F0095F","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":"Q21688$80EFA37C-B22A-44E6-AF6F-BCABE96DD4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb0bb7298ee3f535da596bef22c2f5c7449c7dc4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21688$D3C18833-71A6-44D0-AE03-17FFA3B67A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d0ddbde69b2a268285fa6ad8863ac28942f69652","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21688$5ED22A8A-DC87-4339-A28F-61276B1E087B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"750318cfe328b0c4f7914e491e85258c103e5abf","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21688$8FB0A862-5A2D-47B8-BD2B-044366E7D6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aafdf7df9ab6945d55471b6dee241d20aae57bb","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21688$597C0EA6-A644-4949-B2EB-8D0225E451C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28fc316ccc1f38bd6830fcffe3187b6d32168084","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21688$AAA90C0E-77E6-4927-B38D-5B375EA3D427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21688$40519D72-7C9C-41D0-B1C3-1C7B26BF6E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aea0ab4aa185418a08316853dcad4681c058166","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21688$26F63A52-008A-470C-BF8C-66B0DBC463F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c8fb36de817fa9ce0fc2b79d62bc8a47f881acf5","datavalue":{"value":{"entity-type":"item","numeric-id":26932,"id":"Q26932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21688$0C3524B7-220A-4C3E-B791-70541E4B00B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1286389c58ecdb69c422604e3e1f0dbe5e0370f0","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21688$236CC96C-251E-4B08-8190-542E2EC2B6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q21688$642B8BCD-DF43-4159-B7A9-E40C0D3B435B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"WhyML","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/WhyML"}}}}}