{"entities":{"Q55104":{"pageid":55160,"ns":120,"title":"Item:Q55104","lastrevid":56419500,"modified":"2026-03-13T06:30:54Z","type":"item","id":"Q55104","labels":{"en":{"language":"en","value":"CrEme"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"aff55175f358c006487b05fbcbf5cf65599fddec","datavalue":{"value":"39404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q55104$3D2CBCE9-AE33-4435-97A5-8D82020AC7DB","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":"Q55104$0035ACD5-61EF-4440-966F-72B00B94D17A","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"a43d5efd026064daba1f22e9703d395c9ec047bd","datavalue":{"value":"https://www.researchgate.net/publication/220344415_CrEme_an_Automatic_Invariant_Prover_of_Behavioral_Specifications","type":"string"},"datatype":"url"},"type":"statement","id":"Q55104$DE2FCDB9-4A8B-410E-92D4-E8FA8A4B7406","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q55104$DE6860B3-6246-42C6-AEC2-CC2F08F892EF","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc8644f96af60040da5ee742b6b3b5f558ddbfc7","datavalue":{"value":{"entity-type":"item","numeric-id":31424,"id":"Q31424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55104$F1714F0F-D44D-44C9-A72D-9113DEDFDB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7a22eac7a92bcff56b8e6f7d20e7be218051a97a","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55104$8488FF19-B350-415B-A6B1-761A4E94C9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"446c33bf9b374ba0441e5f70667e3e0c13ccd355","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55104$75338FEE-0B78-4E85-B374-37F519862E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1da83e82f563b21e91a419cb34e11d3be154209f","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55104$49A5CA29-5B50-447E-84DC-CC65376F37F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7aa882874a701a40e7cf78b38e39ea38a82040ea","datavalue":{"value":{"entity-type":"item","numeric-id":51491,"id":"Q51491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55104$DED9AAFA-018B-4C38-B3FF-23D1120931C2","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":"Q55104$47A1FA4A-EFAB-4DB6-A347-A79A4F545085","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":"Q55104$31CFA0EA-7D71-425E-9640-83C9C5565817","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CrEme","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CrEme"}}}}}