{"entities":{"Q36340":{"pageid":36396,"ns":120,"title":"Item:Q36340","lastrevid":56518575,"modified":"2026-03-13T09:35:44Z","type":"item","id":"Q36340","labels":{"en":{"language":"en","value":"HProver"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"b10352049f1eadb8b8f56a019a1fedd94b7a486e","datavalue":{"value":"24587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q36340$A8224CDF-78A1-43D6-8A9F-F1FD1179856D","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":"Q36340$9263D947-1FB1-4B66-AC72-036FBCEA65E7","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"d87d09fbc4e447e298917d2bd89141c383f85ba1","datavalue":{"value":"https://zbmath.org/?q=an:06831522","type":"string"},"datatype":"url"},"type":"statement","id":"Q36340$EDC6AD98-1FB3-42E5-8632-D086B9DC3EA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q36340$0DC8CE64-4E1A-4B04-9BC3-D82FA3E0091B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q36340$362C1CF5-EDD7-4F61-A42E-574536D7522B","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"028a856ff024eece9f16a07c74b1218506b506ae","datavalue":{"value":{"entity-type":"item","numeric-id":15116,"id":"Q15116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q36340$AABB8948-3005-4418-AA22-F8B96099CE3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"HProver","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/HProver"}}}}}