{"entities":{"Q55553":{"pageid":55609,"ns":120,"title":"Item:Q55553","lastrevid":56423442,"modified":"2026-03-13T06:31:50Z","type":"item","id":"Q55553","labels":{"en":{"language":"en","value":"ProverX"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"a894a7b17ef0d306849e1b3c121741ce39622d8f","datavalue":{"value":"39853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q55553$0E3597CC-F83E-4863-AD4B-8564929F43DA","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":"Q55553$D6F329D8-5191-4BFD-987D-0D5611205822","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"c1276c8d4219bd9ea0f6bfa9861f3eb62262cfaa","datavalue":{"value":"https://docentes.fct.unl.pt/jj-araujo/software/proverx","type":"string"},"datatype":"url"},"type":"statement","id":"Q55553$C09EA175-BFE4-4CC2-898E-0D4774E1EE8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c42d8309659ef226cd875765a3c9064bb7558782","datavalue":{"value":"20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q55553$6F6CA1B4-241F-47F9-ABB1-B43813A04ED2","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c7dda9137a8c097a2c877519ded8ad19344712a","datavalue":{"value":{"entity-type":"item","numeric-id":31394,"id":"Q31394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55553$B6C53709-3BAC-4AB1-A035-AA6A54072275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2f058c7f37c83e0df243d1b74e064cb4cdf28a10","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55553$53C96C32-33E8-4EC4-BA26-2D424F2BC747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7704aceb5da3157545075564944dbe355d035224","datavalue":{"value":{"entity-type":"item","numeric-id":53795,"id":"Q53795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55553$7B6A9D93-F321-4543-8B8A-B0B7657760FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a914dacc34e4e61ed03e570a74b16e375359d7b0","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55553$5BD9DFC9-10E9-4317-A441-9F2518E5BC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4765d0a4be2a660f83d930097f44c8338abaa25d","datavalue":{"value":{"entity-type":"item","numeric-id":13295,"id":"Q13295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55553$E3820D57-0F4A-4151-9FA3-7458FF674676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"095872c1e8412c6ab0e3851100ddb22b954f588a","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55553$52BB90D4-D5BD-417C-8483-BB2305682484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"139c69b2a23f419923a7989e28183ef8179b6836","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55553$3F5690F3-CD8E-4F69-828E-EFAB1D8234FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ProverX","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ProverX"}}}}}