{"entities":{"Q7226889":{"pageid":24462944,"ns":120,"title":"Item:Q7226889","lastrevid":84187985,"modified":"2026-05-13T09:06:00Z","type":"item","id":"Q7226889","labels":{"en":{"language":"en","value":"formal proof"},"de":{"language":"de","value":"formaler Beweis"}},"descriptions":{"en":{"language":"en","value":"establishment of a theorem using inference from the axioms"}},"aliases":{"en":[{"language":"en","value":"derivation"},{"language":"en","value":"justification"},{"language":"en","value":"proof"},{"language":"en","value":"derivative"}]},"claims":{"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"db071b05e7caf9915c78e3eceeaf182d858ce8df","datavalue":{"value":"Q2762418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7226889$6D2AE75B-3F69-45DA-94E2-B5B0BB618310","rank":"normal"}]},"sitelinks":{}}}}