{"entities":{"Q6481077":{"pageid":13977211,"ns":120,"title":"Item:Q6481077","lastrevid":44783610,"modified":"2025-11-26T10:28:00Z","type":"item","id":"Q6481077","labels":{"en":{"language":"en","value":"lemma (theorem subclass)"},"de":{"language":"de","value":"Hilfssatz"}},"descriptions":{"en":{"language":"en","value":"theorem for proving more complex theorems"},"de":{"language":"de","value":"mathematische oder logische Aussage"}},"aliases":{"en":[{"language":"en","value":"helping theorem"}],"de":[{"language":"de","value":"Lemma"},{"language":"de","value":"mathematischer Hilfssatz"},{"language":"de","value":"Lehrsatz"},{"language":"de","value":"mathematischer Lehrsatz"}]},"claims":{"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1433285c986eabc74f0db58af48ec002824e8e7e","datavalue":{"value":"Q207505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481077$5739D666-F12E-4B37-BCE0-6D8A368E3680","rank":"normal"}],"P36":[{"mainsnak":{"snaktype":"value","property":"P36","hash":"0d048339f209f87c3cf8b6501acf6177fad21876","datavalue":{"value":{"entity-type":"item","numeric-id":6480412,"id":"Q6480412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481077$83be51f4-41c4-f381-7af5-0dd9b4a53be4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P36","hash":"dfddddb5262dbcec2b52a92d3daee1f49e805c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6775804,"id":"Q6775804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481077$90fe63f1-4c05-8e84-ffca-0adba758bb06","rank":"normal"}]},"sitelinks":{}}}}