{"entities":{"Q2953":{"pageid":2946,"ns":120,"title":"Item:Q2953","lastrevid":3067,"modified":"2026-03-25T14:36:41Z","type":"item","id":"Q2953","labels":{"en":{"language":"en","value":"Formal Methods"}},"descriptions":{},"aliases":{},"claims":{"P19":[{"mainsnak":{"snaktype":"value","property":"P19","hash":"7317562e67ac205856b28c5c45f6cd7ff0044241","datavalue":{"value":"1.01","type":"string"},"datatype":"string"},"type":"statement","id":"Q2953$206C9492-7ECE-4F58-866B-7ADA457D4FB1","rank":"normal"}],"P5":[{"mainsnak":{"snaktype":"value","property":"P5","hash":"2dfacf3101abd5b11db103c022fa4df0b254ac4c","datavalue":{"value":{"entity-type":"item","numeric-id":553,"id":"Q553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2953$1FBC60BD-505A-42F8-A6E1-0B250DDE6B13","rank":"normal"}],"P20":[{"mainsnak":{"snaktype":"value","property":"P20","hash":"6c118477ddc854f8efab077afa2461a9d10ff8d3","datavalue":{"value":{"entity-type":"item","numeric-id":2257,"id":"Q2257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2953$560674B1-2AD0-42FD-A048-1A8E1D9C28E9","rank":"normal"}]},"sitelinks":{}}}}