{"entities":{"Q30438":{"pageid":30494,"ns":120,"title":"Item:Q30438","lastrevid":56517375,"modified":"2026-03-13T09:33:26Z","type":"item","id":"Q30438","labels":{"en":{"language":"en","value":"LOTOOL"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"2b77694f786c2661e73ec1d46a02d428e62a1a95","datavalue":{"value":"18604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q30438$04E8992D-AF99-4DDF-B6F1-F8D5430A5503","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":"Q30438$27CC8A76-74F8-4826-83C3-0D4BEDA7AD85","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"575768ceeaba4feb76f9c5526f11d445bd918804","datavalue":{"value":"http://scholar.google.de/scholar?q=LOTOOL%3A+A+Tool+for+Developing%2C+Verifying+and+Testing+Protocols+using+Formal+Description+Techniques","type":"string"},"datatype":"url"},"type":"statement","id":"Q30438$7F6A1338-DCEF-47FC-A174-6B61AB8B729D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q30438$C3CC3345-765D-443B-8650-5C8180A9D03C","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9d9594a7d1d69541e5c6bc7ef3b814417be19137","datavalue":{"value":{"entity-type":"item","numeric-id":30439,"id":"Q30439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q30438$E4E98A71-8C07-4D2D-91F1-B407EAA469F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LOTOOL","badges":[]}}}}}