{"entities":{"Q6481097":{"pageid":13977231,"ns":120,"title":"Item:Q6481097","lastrevid":37536866,"modified":"2024-08-01T15:20:27Z","type":"item","id":"Q6481097","labels":{"en":{"language":"en","value":"proof by exhaustion"}},"descriptions":{"en":{"language":"en","value":"proof by examining all individual cases"}},"aliases":{},"claims":{"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"57dd2fcafea1707a4c6c279fb0b7c2ebc07d40dd","datavalue":{"value":"Q9299950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481097$AD4DB8CD-0050-4565-880A-D3645935841D","rank":"normal"}]},"sitelinks":{}}}}