{"entities":{"Q6481230":{"pageid":13977365,"ns":120,"title":"Item:Q6481230","lastrevid":37537023,"modified":"2024-08-01T15:21:36Z","type":"item","id":"Q6481230","labels":{"en":{"language":"en","value":"proof theory"},"de":{"language":"de","value":"Beweistheorie"}},"descriptions":{"en":{"language":"en","value":"branch of mathematical logic"},"de":{"language":"de","value":"Teilgebiet der mathematischen Logik"}},"aliases":{},"claims":{"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"92380a19e020365620ec0e762cf263ba76b0ed4d","datavalue":{"value":"Q852732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481230$FC1A4250-EED8-4143-998F-726B0B542B06","rank":"normal"}]},"sitelinks":{}}}}