{"entities":{"Q6822229":{"pageid":15080485,"ns":120,"title":"Item:Q6822229","lastrevid":55353058,"modified":"2026-02-10T01:03:41Z","type":"item","id":"Q6822229","labels":{"de":{"language":"de","value":"Gesetz der doppelten Negation"},"en":{"language":"en","value":"double negative elimination"}},"descriptions":{"en":{"language":"en","value":"inference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula"},"de":{"language":"de","value":"mathematischer Satz"}},"aliases":{"de":[{"language":"de","value":"Prinzip der doppelten Negation"},{"language":"de","value":"duplex negatio affirmat"}]},"claims":{"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"592ba552aeffcf6ac7501a774c7d0bcaf9ffee41","datavalue":{"value":"Q737471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6822229$7FF06571-79ED-4774-AC29-3F83039543E9","rank":"normal"}]},"sitelinks":{}}}}