{"entities":{"Q6480493":{"pageid":13976617,"ns":120,"title":"Item:Q6480493","lastrevid":40260487,"modified":"2025-02-17T22:00:15Z","type":"item","id":"Q6480493","labels":{"en":{"language":"en","value":"L\u00f6wenheim\u2013Skolem theorem"},"de":{"language":"de","value":"L\u00f6wenheim-Skolem-Theorem"}},"descriptions":{"en":{"language":"en","value":"theorem that, for any signature \ud835\udf0e, any infinite \ud835\udf0e-structure \ud835\udc40 and any infinite cardinal \ud835\udf05\u2265|\ud835\udf0e|, there is a \ud835\udf0e\u2010structure \ud835\udc41 of cardinality \ud835\udf05 that is either an elementary substructure or an elementary extension of \ud835\udc40"},"de":{"language":"de","value":"mathematischer Satz"}},"aliases":{"de":[{"language":"de","value":"L\u00f6wenheim-Skolem"},{"language":"de","value":"Satz von L\u00f6wenheim und Skolem"},{"language":"de","value":"Satz von L\u00f6wenheim-Skolem"},{"language":"de","value":"Satz von L\u00f6wenheim-Skolem-Tarski"}]},"claims":{"P558":[{"mainsnak":{"snaktype":"value","property":"P558","hash":"1a419fc3578e8ee3e12cefb489685fdb3ac528b8","datavalue":{"value":{"entity-type":"item","numeric-id":6480490,"id":"Q6480490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6480493$F51A24B5-B7B4-4CBD-A48E-9F9468E07F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P558","hash":"a9de6a51bef2aa22d9da9c77c5c0a0c884361143","datavalue":{"value":{"entity-type":"item","numeric-id":6480491,"id":"Q6480491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6480493$AE95ECB2-5B02-440B-8A3C-C6078E00AE68","rank":"normal"}],"P239":[{"mainsnak":{"snaktype":"value","property":"P239","hash":"da0fa0bb6ac5b1514c49e5ad3a94a1d43c35748d","datavalue":{"value":"/m/01y472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480493$D1C27111-2161-4FA0-B59E-C40A713E125F","rank":"normal","references":[{"hash":"6499e90742e6a3b2d9cb91c8c38ff13ffd6eb773","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"765c249748dbeb69c8c4d98de780dc063f8e09cf","datavalue":{"value":{"entity-type":"item","numeric-id":56521,"id":"Q56521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P28":[{"snaktype":"value","property":"P28","hash":"ad31989710dc3c2a167cc95050bb6ea34e0bbe88","datavalue":{"value":{"time":"+2013-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P28"]}]}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"c8566a493116758818d5a26d859f86220f609b7b","datavalue":{"value":{"entity-type":"item","numeric-id":6480412,"id":"Q6480412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6480493$0530E387-611B-4E93-8760-FDED17DB056B","rank":"normal"}],"P1260":[{"mainsnak":{"snaktype":"value","property":"P1260","hash":"6aabcf157ba4baefe913961cab680a9a3ce5ce7e","datavalue":{"value":{"time":"+1915-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6480493$DA50B820-BCFD-49D6-BF38-88E53F3A1C9E","rank":"normal"}],"P1192":[{"mainsnak":{"snaktype":"value","property":"P1192","hash":"9622e7e18bb2d4585628e070b81110c753e69954","datavalue":{"value":"Loewenheim-SkolemTheorem","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480493$0E6A8112-52C6-4F35-AF9B-6F69D5CEDF10","rank":"normal","references":[{"hash":"e095c1777d78c6310fee7299bfc6f5735414b4b7","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"0c2cea297152a3f12f4296fca42de18f460a63f3","datavalue":{"value":{"entity-type":"item","numeric-id":56456,"id":"Q56456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]},{"mainsnak":{"snaktype":"value","property":"P1192","hash":"9622e7e18bb2d4585628e070b81110c753e69954","datavalue":{"value":"Loewenheim-SkolemTheorem","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"73e969d6e5f90d47f14a25889ea6c35ac0159538","datavalue":{"value":"Löwenheim-Skolem Theorem","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6480493$7EABFDAF-3AE2-4270-9ECC-FC7B554F6629","rank":"normal","references":[{"hash":"e095c1777d78c6310fee7299bfc6f5735414b4b7","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"0c2cea297152a3f12f4296fca42de18f460a63f3","datavalue":{"value":{"entity-type":"item","numeric-id":56456,"id":"Q56456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]}],"P276":[{"mainsnak":{"snaktype":"value","property":"P276","hash":"4a69e17ec865d6c00dfae1359dddb3b311153fe1","datavalue":{"value":"topic/Lowenheim-Skolem-theorem","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"7ada6bc1bbb172202f3826c92287f3fc71430b55","datavalue":{"value":"L\u00f6wenheim\u2013Skolem theorem","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6480493$51324966-2C10-4CF9-B886-803C4360DE37","rank":"normal"}],"P373":[{"mainsnak":{"snaktype":"value","property":"P373","hash":"f4c43fd068caab98479fd5fad523a48ee3073b41","datavalue":{"value":"161856267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480493$1BB454B0-6147-4BC4-8C14-7B799E3C79C9","rank":"normal"}],"P638":[{"mainsnak":{"snaktype":"value","property":"P638","hash":"7c99dcf811077c8562151d21bf9f4e94b33c9c10","datavalue":{"value":"Lowenheim-skolem.svg","type":"string"},"datatype":"commonsMedia"},"type":"statement","id":"Q6480493$18A99982-DEF0-4E07-96C2-2E58B9A494AB","rank":"normal"}],"P887":[{"mainsnak":{"snaktype":"value","property":"P887","hash":"a5bd7b035df21b83c1b96787fa2ce722f1325cd7","datavalue":{"value":"divers/th\u00e9or\u00e8me_de_L\u00f6wenheim-Skolem/180573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480493$462C1C0C-389C-4F58-A51E-D5A2AF7491A9","rank":"normal"}],"P382":[{"mainsnak":{"snaktype":"value","property":"P382","hash":"d5ba6a897f2a758039600d1e4bb4878b4764974b","datavalue":{"value":"teorema-di-lowenheim-skolem","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"591e078d4234e4eef374158d3ba18e189617cfd5","datavalue":{"value":"Lowenheim-Skolem, teorema di","type":"string"},"datatype":"string"}],"P28":[{"snaktype":"value","property":"P28","hash":"08708a15d967760feb8d4d1c005b0c2935022b45","datavalue":{"value":{"time":"+2013-01-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P96","P28"],"id":"Q6480493$85F31E41-B9CD-4D69-921F-E29E9AB48798","rank":"normal"}],"P501":[{"mainsnak":{"snaktype":"value","property":"P501","hash":"b138e6b17bbd7467d3a1a59984e76d45389afb0a","datavalue":{"value":"Skolem-L\u00f6wenheims_s\u00e6tning","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480493$62989481-452C-4F1E-9E6A-A304B07FBE24","rank":"normal"}],"P389":[{"mainsnak":{"snaktype":"value","property":"P389","hash":"f5073c82788d62426aac12d924031cbcfac193b0","datavalue":{"value":{"entity-type":"item","numeric-id":6480492,"id":"Q6480492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6480493$9077C309-BE3A-4628-A505-0CA9B1538905","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"ceb72e8792937a8b01ebf71f4977ee16c1bd3b2a","datavalue":{"value":{"entity-type":"item","numeric-id":6480413,"id":"Q6480413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P34":[{"snaktype":"value","property":"P34","hash":"897e7608d12ed086dd74eb339efced091b10fb25","datavalue":{"value":{"entity-type":"item","numeric-id":56366,"id":"Q56366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P34"],"id":"Q6480493$5417353D-FEB0-487C-B026-8933ED26662F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"34194271d92128bb3b4927fc691aec866f832a8d","datavalue":{"value":"Q1068283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480493$299B5674-4553-448B-A713-13B2A7CF1FFD","rank":"normal"}]},"sitelinks":{}}}}