{"entities":{"Q4808474":{"pageid":6838054,"ns":120,"title":"Item:Q4808474","lastrevid":74862987,"modified":"2026-04-15T00:43:29Z","type":"item","id":"Q4808474","labels":{"en":{"language":"en","value":"The axiom of choice holds iff maximal closed filters exist"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1915397"}},"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":"Q4808474$C2E78E84-E915-4E6A-8560-953797D90702","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b5bfaca6ba65cfc62a87829972a56c622f4dd10","datavalue":{"value":{"text":"The axiom of choice holds iff maximal closed filters exist","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4808474$37A12B6F-8D23-445E-95A6-BD79B89E5EF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71dcad18da577c8b28fab441df43a5f3370af09a","datavalue":{"value":"1027.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808474$9A032E21-3436-452A-9229-8827129B4C67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1f39bedae0e7369f9d5cc8765ebf8ffd5c29da1","datavalue":{"value":{"entity-type":"item","numeric-id":234494,"id":"Q234494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808474$26D13E4C-506E-4F4F-B979-71C8B4C995A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808474$D0292506-E871-4E3A-8B47-56779E4E827B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42ea6aaea41bbc0d91fc3fb48c000b593cdbdcee","datavalue":{"value":{"time":"+2003-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4808474$1CC504E6-8867-4559-95E0-5D8C9F4EBAF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808474$2600BD07-5D3D-497A-9316-FA7D4FFAAD12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f08c00ef38d4aca856d91b2484e45df0f907b518","datavalue":{"value":"1915397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808474$E16202A6-C8A4-47E7-9E3B-A91045CF68BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61b9921c30a0977a47cc82f7cd4749b4e2fb51be","datavalue":{"value":"axiom of choice AC","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808474$0B6996EC-575A-45DF-BCE5-34C3CB2605E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9101b0325011e83e7f1a73a49d518977b964df25","datavalue":{"value":"Boolean prime ideal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808474$0A3E4CED-E21A-4ACE-86AF-6C599F373B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcde3663e9ff9cc1c67bdf466ef37295e76fa3db","datavalue":{"value":"closed filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808474$19195CF8-F519-4345-B822-50F04B0E09C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ae67fce4fa3b9949d6b2f1d8a225519a25b780f","datavalue":{"value":"maximal closed filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808474$903F2365-7AFA-4A31-924B-A10A44F82E01","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":"Q4808474$75E8B2B0-6A96-4344-8757-EFBCD8B163A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f440b908c471810cbcf5b9c2013cc26b8848e970","datavalue":{"value":"https://doi.org/10.1002/malq.200310033","type":"string"},"datatype":"url"},"type":"statement","id":"Q4808474$146AE548-B8C8-4B7E-B033-0A302A7ECD2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81868e75ad6c717c6509b02767457bdd459102e0","datavalue":{"value":"W2088286551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808474$75BAE151-EC9F-4C36-BACD-2362874C1B90","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"28f9f34de1399d3005df52d27a46e85cb54e78e1","datavalue":{"value":"Q114018749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808474$32672DC4-3378-4C0C-935B-32BB81710D3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3080073e886d113936c7dd494b74c2b11be783c3","datavalue":{"value":"10.1002/MALQ.200310033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808474$D20896E2-E14E-4F83-8B7B-BC513C71CD26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56706a9eeebe8524e1e335a130ca941379ca5041","datavalue":{"value":{"entity-type":"item","numeric-id":4400408,"id":"Q4400408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c41b780402759ef46c5b2ac991e5a0b0eb2d0fc0","datavalue":{"value":{"amount":"+0.8510192632675171","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":"Q4808474$61D7EFBB-8C95-442E-A7AD-4A3CE53C8D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe0d89d00d0ba12f0330dce56b73f23cddb79bc4","datavalue":{"value":{"entity-type":"item","numeric-id":1966142,"id":"Q1966142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c41b780402759ef46c5b2ac991e5a0b0eb2d0fc0","datavalue":{"value":{"amount":"+0.8510192632675171","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":"Q4808474$B105BA36-0435-4A76-916B-0A206DB346B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc86f8fc2a87bbb574d30754c3c21d04ef798a8","datavalue":{"value":{"entity-type":"item","numeric-id":2761034,"id":"Q2761034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf02e936828c9bff3b12c2f53dd861bf3048a5ff","datavalue":{"value":{"amount":"+0.8324832916259766","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":"Q4808474$9E1E3C5A-CB89-4007-8E2F-A23DBD491F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a556c1bb7a7149c7d3db5e422403a54a257748f","datavalue":{"value":{"entity-type":"item","numeric-id":1364905,"id":"Q1364905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf02e936828c9bff3b12c2f53dd861bf3048a5ff","datavalue":{"value":{"amount":"+0.8324832916259766","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":"Q4808474$930276AA-4005-464B-B510-5E1B4A504C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5459923be4edeb06f6b03886601c345930d3fdc8","datavalue":{"value":{"entity-type":"item","numeric-id":2772752,"id":"Q2772752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec11e70250da3e7817a94f6de1fc70c00c4f19f","datavalue":{"value":{"amount":"+0.7928123474121094","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":"Q4808474$1CAFC8B0-35DD-443D-ADEC-81BD8EE353E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The axiom of choice holds iff maximal closed filters exist","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_axiom_of_choice_holds_iff_maximal_closed_filters_exist"}}}}}