{"entities":{"Q3586990":{"pageid":5616894,"ns":120,"title":"Item:Q3586990","lastrevid":88457495,"modified":"2026-06-04T14:34:32Z","type":"item","id":"Q3586990","labels":{"en":{"language":"en","value":"The axiom of choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5777495"}},"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":"Q3586990$817A1E83-FA16-4F9F-9A5A-144B80A68146","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09bd6886e4886777465a3c439593d5a0c30bacef","datavalue":{"value":"1206.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586990$2320107E-FCF4-4734-AF53-DE7580E3D71B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa887febe83db0ecb76efff02b8f81e18e93244e","datavalue":{"value":{"time":"+2010-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586990$8E48A630-0687-45F7-A662-2C3A3124F7CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586990$47AAD855-6688-44CA-B2D6-3AE6E8BF4760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586990$AAF694A4-F3C5-41B9-9EA1-342C88EF8E13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cf264cb3735254258cb8aab37b9a8c2a1849ad1","datavalue":{"value":"5777495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586990$0918FCD9-F69B-4A87-BA6A-BCB8AC7F5661","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74c5ecc78a382de1733539650fa5c81db9732bf9","datavalue":{"value":"Axiom of Choice and related propositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586990$3B82AA67-E4E4-409C-83BE-95B52B1C7483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c4f5e458e4aa93ded60ef6f25fdf24b9f69f944","datavalue":{"value":"applications of AC","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586990$2B90C46D-4296-4046-A852-3D6FD1FDB036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8209c6e1c7ab98bccaa122852ebd1cb13df05c93","datavalue":{"value":"Zorn's Lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586990$49B1EF41-594A-42B2-82D3-BD272F518721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c1c94c4e99a9c3134346ca0bba76341dfedf43","datavalue":{"value":"maximal principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586990$63CC19E1-3012-4019-AA31-94FCF2B4C3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586990$17003BB0-2325-4A7E-8E31-D9A961C1AA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac80da77bcc91364bc9f8d2c9ce1109faea9f6c8","datavalue":{"value":"weak forms on AC","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586990$D97CB06C-D03E-4B27-AEE7-A51F502961D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586990$E72EBC09-B9C6-4CA6-87F5-77C0A826534B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b45978cc1f07424b684d69690e94e969bb5cd8ab","datavalue":{"value":"topos theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586990$DFB4BA92-2C60-496D-A730-58CB3214F6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ab7b3234914dd3a4ac1bc8180c65c1956e71a47","datavalue":{"value":"local set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586990$E234AD48-2089-4616-AE02-C7479DB025DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586990$750452E3-D180-49D3-8BDE-EA806F86BB29","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":"Q3586990$5FFA16E5-2548-406B-A3A8-132DD1F27B70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a83851fc7bada4ff1890c0abd85929cc725f54c6","datavalue":{"value":{"entity-type":"item","numeric-id":6481058,"id":"Q6481058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586990$2265C69E-0093-4348-A5F8-2FDE0D87C812","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c170d1e852febde8097e63b623d4a980ea0304","datavalue":{"value":{"entity-type":"item","numeric-id":5920586,"id":"Q5920586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a36f6da03f27eda9b0b2ee423c7deff3eeb86a4","datavalue":{"value":{"amount":"+0.8345915675163269","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586990$8487214C-2EC7-4C3F-B1CB-BF996C4641B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0df974be3784b09de6a20cd45ce0a98fe71c1740","datavalue":{"value":{"entity-type":"item","numeric-id":1068821,"id":"Q1068821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fce16dfdb03b289f07eaacafeeed1be96f5a1a43","datavalue":{"value":{"amount":"+0.8086401224136353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586990$2D4EFBE2-B4FE-41A2-8F2A-E7097FEA1686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6c6d0949188ada5d01a07bd89663c969f3eb93d","datavalue":{"value":{"entity-type":"item","numeric-id":5260989,"id":"Q5260989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6329690e8a3954c6809808c81c3c043bfc6e8347","datavalue":{"value":{"amount":"+0.8032219409942627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586990$54510C75-5B19-4FE3-A9C6-E520FAC8F889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80c117369b9faa81e64b057e32ab531a8deadab","datavalue":{"value":{"entity-type":"item","numeric-id":5921025,"id":"Q5921025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d168f4784dd6f5c0283ed57207d78b35e4c0338","datavalue":{"value":{"amount":"+0.7977451086044312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586990$FDD233B9-A054-45C9-A5D8-3589FA2D614D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4739ddbe34d48689877bc4b0c6c34fecb236b1","datavalue":{"value":{"entity-type":"item","numeric-id":3734396,"id":"Q3734396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"230cf54e6ec359a8ea6827e24fdd9ecf8afe5579","datavalue":{"value":{"amount":"+0.7818267941474915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586990$C8347005-4303-478D-B04E-0096E89AC700","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The axiom of choice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_axiom_of_choice"}}}}}