{"entities":{"Q3452":{"pageid":3445,"ns":120,"title":"Item:Q3452","lastrevid":3566,"modified":"2026-03-25T14:45:50Z","type":"item","id":"Q3452","labels":{"en":{"language":"en","value":"Numerical And Symbolic Abstract Domains"}},"descriptions":{},"aliases":{},"claims":{"P19":[{"mainsnak":{"snaktype":"value","property":"P19","hash":"7317562e67ac205856b28c5c45f6cd7ff0044241","datavalue":{"value":"1.01","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452$15280768-956F-49DA-B732-D062A4A82489","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":"Q3452$3C392121-DB0B-4908-AE88-E19EEA02B75F","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":"Q3452$59509F09-4A82-4392-90AA-7FC7DDA4E3B0","rank":"normal"}]},"sitelinks":{}}}}