{"entities":{"Q7276232":{"pageid":31083914,"ns":120,"title":"Item:Q7276232","lastrevid":104438668,"modified":"2026-07-10T19:40:09Z","type":"item","id":"Q7276232","labels":{"de":{"language":"de","value":"Grothendieck-Universum"},"en":{"language":"en","value":"Grothendieck universe"}},"descriptions":{"de":{"language":"de","value":"Begriff aus der Kategorientheorie"},"en":{"language":"en","value":"transitive set closed under the operations of parameterized union, power set and unordered pairs"}},"aliases":{"de":[{"language":"de","value":"Universenaxiom"}]},"claims":{"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4d4d7cbc5cd0aa8ec96c1a9d8392e9b0faa35a06","datavalue":{"value":"Q1465090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7276232$C0EED010-2FC4-4D69-8621-2AECF660E086","rank":"normal"}],"P239":[{"mainsnak":{"snaktype":"value","property":"P239","hash":"ceac8f6b47fdc45853d05b955ee5a17ab623afd3","datavalue":{"value":"/m/043hbj","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7276232$9C03AA17-43EA-4739-8A91-3D7BA0DC48FD","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"]}]}],"P36":[{"mainsnak":{"snaktype":"value","property":"P36","hash":"24c36208875871960b6961755b0ae9fb9e3fa6b3","datavalue":{"value":{"entity-type":"item","numeric-id":7276231,"id":"Q7276231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7276232$F04AE978-7DD2-4910-96B5-5CC193AE48AF","rank":"normal"}],"P558":[{"mainsnak":{"snaktype":"value","property":"P558","hash":"3c7386b248fbcf2fd45e2d8a112ca10c25e30e97","datavalue":{"value":{"entity-type":"item","numeric-id":6481132,"id":"Q6481132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7276232$B42F0994-2F8F-4136-B664-7526C04C7C34","rank":"normal"}],"P1209":[{"mainsnak":{"snaktype":"value","property":"P1209","hash":"1e0b72110a722015ac324710e0e079e2385ab0ff","datavalue":{"value":{"entity-type":"item","numeric-id":6481132,"id":"Q6481132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7276232$8DA6B9E2-1831-458C-A2E8-AD5E027D3994","rank":"normal"}],"P989":[{"mainsnak":{"snaktype":"value","property":"P989","hash":"51d0b3af5f9d1e5a1ce279709892ff892d564a79","datavalue":{"value":"(x\\in y\\in U\\implies x\\in U)\\land(\\{x,y\\}\\subset U\\implies\\{x,y\\}\\in U)\\land(x\\in U\\implies\\mathcal P(x)\\in U)\\land\\left((I\\in U\\land\\{x_i\\}_{i\\in I}\\subset U)\\implies\\bigcup_{i\\in I}x_i\\in U\\right)","type":"string"},"datatype":"math"},"type":"statement","id":"Q7276232$DA6951C2-5964-41BF-956F-FEBE1A206144","rank":"normal"}],"P389":[{"mainsnak":{"snaktype":"value","property":"P389","hash":"023bad0387ba67c4dc246a9b1f63d9e172bd7320","datavalue":{"value":{"entity-type":"item","numeric-id":6480485,"id":"Q6480485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7276232$7C37FE77-0303-4403-841D-C14BED634B1E","rank":"normal"}],"P373":[{"mainsnak":{"snaktype":"value","property":"P373","hash":"a8291c2a1c36a31659a1863b0c4c5bc316b39a21","datavalue":{"value":"2777712643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7276232$6B902F4F-8985-44B5-ACBA-8ABC1DEB0A4F","rank":"normal"}],"P1195":[{"mainsnak":{"snaktype":"value","property":"P1195","hash":"a36b9ea5571b33b179646f8d963b42aa5842f2ed","datavalue":{"value":"Grothendieck universe","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7276232$EA9BA6FF-DA19-4E61-A040-0FBD05DF4345","rank":"normal"}],"P983":[{"mainsnak":{"snaktype":"value","property":"P983","hash":"580fa16b8c231803acdaecd5a998d3f1edcb5d1b","datavalue":{"value":"U","type":"string"},"datatype":"math"},"type":"statement","qualifiers":{"P984":[{"snaktype":"value","property":"P984","hash":"34d6e2d2d1d7369ca8c71197554046e104b7700d","datavalue":{"value":{"entity-type":"item","numeric-id":7276232,"id":"Q7276232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P984"],"id":"Q7276232$80D6A719-9755-4EB6-8068-366EC76EEF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P983","hash":"8af934866d5f9557acca1a611a8b556a66d68bb5","datavalue":{"value":"\\mathcal P","type":"string"},"datatype":"math"},"type":"statement","qualifiers":{"P984":[{"snaktype":"value","property":"P984","hash":"1eea720ace89039c0437bdd0a71994626bbb8d0c","datavalue":{"value":{"entity-type":"item","numeric-id":6674093,"id":"Q6674093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P984"],"id":"Q7276232$D320567A-23DF-4DD2-BBFC-2168222C1DAA","rank":"normal"}],"P250":[{"mainsnak":{"snaktype":"value","property":"P250","hash":"0cac65fcd88e21226ea4b74b289964bf6cbaab59","datavalue":{"value":{"entity-type":"item","numeric-id":7276233,"id":"Q7276233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P251":[{"snaktype":"value","property":"P251","hash":"05b782dd8b7e493f5149b95a48487e3cf7c2a2dd","datavalue":{"value":{"entity-type":"item","numeric-id":56804,"id":"Q56804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P251"],"id":"Q7276232$25905CE5-5684-4700-A6F8-1369C816F783","rank":"normal"}],"P1575":[{"mainsnak":{"snaktype":"value","property":"P1575","hash":"3b7524ce47789216a69c07131afabafe89dd0d1d","datavalue":{"value":"Definition:Grothendieck_Universe","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7276232$E4FB71E1-9760-4BCF-94AB-5926568C8407","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"383bf883fd10d45f90d862f81bd98b275e5ddd37","datavalue":{"value":{"entity-type":"item","numeric-id":68659,"id":"Q68659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7276232$60736C37-5A69-4BDA-B646-F572931DD9F1","rank":"normal"}],"P1994":[{"mainsnak":{"snaktype":"value","property":"P1994","hash":"9ebe66d85be40d8b3e0a804deb869aa38d39befd","datavalue":{"value":"grothendieck universe","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7276232$A95927DF-9EB1-4DA0-A9AF-B41C65C35584","rank":"normal"}]},"sitelinks":{}}}}