{"entities":{"Q6481270":{"pageid":13977406,"ns":120,"title":"Item:Q6481270","lastrevid":37537074,"modified":"2024-08-01T15:21:58Z","type":"item","id":"Q6481270","labels":{"en":{"language":"en","value":"forcing"},"de":{"language":"de","value":"Forcing"}},"descriptions":{"en":{"language":"en","value":"in set theory, a technique for enlarging models of axioms of set theory (e.g. ZFC) by adjoining new elements, often used for proving consistency and independence results"},"de":{"language":"de","value":"Methode in der Mengenlehre"}},"aliases":{"en":[{"language":"en","value":"unramified forcing"}],"de":[{"language":"de","value":"Erzwingung"},{"language":"de","value":"Erzwingungsmethode"}]},"claims":{"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"dbaf2be2b2ddc43d2c75e88f7821eba97facee71","datavalue":{"value":"Q1003136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481270$6027A9BF-9D58-4240-94AA-50AA3CE7F7CD","rank":"normal"}]},"sitelinks":{}}}}