{"entities":{"Q6836846":{"pageid":17096544,"ns":120,"title":"Item:Q6836846","lastrevid":64684986,"modified":"2026-04-11T21:32:52Z","type":"item","id":"Q6836846","labels":{"de":{"language":"de","value":"Herbrand-Award"},"en":{"language":"en","value":"Herbrand Award"}},"descriptions":{"en":{"language":"en","value":"award for research contributions to automated deduction"},"de":{"language":"de","value":"Auszeichnung f\u00fcr Forschungsbeitr\u00e4ge im Bereich des automatischen Schlie\u00dfens"}},"aliases":{},"claims":{"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"de2ae8f532d45fae9d6039fc3ce462100c5a16b4","datavalue":{"value":"Q449390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6836846$46A1EBD5-D142-43E4-93FD-7DDE67700F48","rank":"normal"}]},"sitelinks":{}}}}