{"entities":{"Q5904544":{"pageid":8015871,"ns":120,"title":"Item:Q5904544","lastrevid":102087029,"modified":"2026-06-06T03:27:19Z","type":"item","id":"Q5904544","labels":{"en":{"language":"en","value":"The axiom of choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3697110"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5904544$F5E20C79-0D65-4BE9-AE27-4A7F45E57FD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0563a154824bf305a490c95939f9fb83ac7bd193","datavalue":{"value":{"text":"The axiom of choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5904544$79689E84-9352-4F6F-94FC-12BE6D50BDC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad9832920e8eda9abcbe724c3d016cc2c06be6fc","datavalue":{"value":"0446.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904544$7C2A3BDF-F2E3-48B3-8862-016134AD75B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2997aec254d26eea4e019cd35bf4c331e4ec2db","datavalue":{"value":"10.1016/0022-4049(80)90097-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904544$49091FDF-F012-4033-891E-75DEE0EE9A23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5904544$00A21E1B-A47A-480F-8550-16AD833E2574","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q5904544$6BE470EC-B47B-43C3-8DCD-EECC1281ABAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904544$DED0D512-F34F-433B-A3AF-9A9962DE7F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904544$02E0437B-7174-4FDF-9283-960AB6EE9A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904544$600775EC-6D55-4D69-9196-F104892C3FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904544$44FEC5BE-F456-4857-8BD8-D9D62DB8B156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904544$E3DD9CDC-DB71-4D78-9AD7-080111E534D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904544$B100615D-72B4-4028-B759-5B3321451D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac53b3d8ea831a008f6edc0617972e2b6304397","datavalue":{"value":"18A32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904544$DC34A7A7-C6CC-4AC3-801E-8ECEFAEF0DE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec1c35098f8627f4db642d0be564107d84c19e67","datavalue":{"value":"3697110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904544$92E41AD0-EB35-4504-8000-A35E05F9F49F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5904544$2F79ADFE-E519-44F7-A4EF-841C49C6B544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e746491388a22e0c7e345770764fbc0e82e2ceea","datavalue":{"value":"interpretation of ZF in the topos of double-negation sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q5904544$88E78852-E7EF-4892-88C0-39C2A52B8F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44bd09ca78a203dc83591e1217be5cca6a14df0","datavalue":{"value":"monoid representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5904544$FBBDD9CA-83DB-4127-84B4-70ABA1DD7200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90174f49e7bb4cc82ae8f64c3d8b1c5f78e6c2e3","datavalue":{"value":"well-ordered families","type":"string"},"datatype":"string"},"type":"statement","id":"Q5904544$1B65A942-0207-438A-94EB-BDD7AFC62ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125b37015f2b508fd5055b7e63ab819371ab92c0","datavalue":{"value":"Grothendieck topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q5904544$D962B7F8-940F-4964-8AD6-F6CDC06FD15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36b78b3dafe897af661b13ba09640dce0c0f83ed","datavalue":{"value":"exponential variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5904544$CD317FB6-80D1-48EB-A52F-9E0B77D06D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c955c19cc74a34a1a8de2f41a1a6705f05a9e7","datavalue":{"value":"topos of sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q5904544$72DCF414-00C7-4099-8D20-4C195802C4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77df88f7c9a7a54998490a3c0b676a155cfea366","datavalue":{"value":"well-foundedness of the topos of double-negation sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q5904544$C79ADF28-05E1-4687-97B3-9E8BB0C83D6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"393cb06a1b35c9b2bbc65f1c43f6792dbf163865","datavalue":{"value":{"entity-type":"item","numeric-id":1393468,"id":"Q1393468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5904544$C24ADBAF-4D54-4277-B7B7-A578FF826CFE","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5904544$7217AF96-EE2A-4186-AE07-A39179763150","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4838c34c507b19a0dcd97583b6de3b782b648f04","datavalue":{"value":"Q114685099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904544$F64EBC48-446F-40F5-A7AE-928795C459EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"729680eeea1b51493178fcdc610b3511fb068e5b","datavalue":{"value":"https://doi.org/10.1016/0022-4049(80)90097-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5904544$E596FB05-62C0-4CB4-9F14-5BA6AAC39DA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ba72e9386d037a2625938df26c82c0546e9a2ff","datavalue":{"value":"W1996947986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5904544$4D94DA23-E9F4-4077-9B3B-247FA7206DEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cc1dec39facf5a4f590993765c1c92bc2c913d3","datavalue":{"value":{"entity-type":"item","numeric-id":1145695,"id":"Q1145695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5904544$D639445F-A920-428D-B8D9-17DF75426BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036040bf3ed5c2e1ffac6f62b9b04d9e598837b","datavalue":{"value":{"entity-type":"item","numeric-id":5665316,"id":"Q5665316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5904544$19393225-ECB7-4899-8338-591A459022FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The axiom of choice (scientific article; zbMATH DE number 3697110)","badges":[]}}}}}