{"entities":{"Q5469400":{"pageid":7498959,"ns":120,"title":"Item:Q5469400","lastrevid":101148038,"modified":"2026-06-05T23:59:54Z","type":"item","id":"Q5469400","labels":{"en":{"language":"en","value":"Kelley's specialization of Tychonoff's Theorem is equivalent to the Boolean Prime Ideal Theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5024376"}},"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":"Q5469400$4EFA732A-22EB-483D-A94A-659FCD9A1731","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2a46e71d663deeaf6e024bef868b0d2d610e7ff","datavalue":{"value":{"text":"Kelley's specialization of Tychonoff's Theorem is equivalent to the Boolean Prime Ideal Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5469400$AA91A754-CB23-48E2-B024-50922215EA02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4fe81f4266acbdfc1f44e1554bd277429af2f0f","datavalue":{"value":"1105.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5469400$80572DA8-5956-40AD-8FDA-4DB425C29B2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bba31b3ff2c046a11dc26e81b94afed28229ca8","datavalue":{"value":{"entity-type":"item","numeric-id":801197,"id":"Q801197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5469400$35AC1A81-1060-400D-982D-121BC3F5C496","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5469400$5F4BFB36-E4C1-406B-96E1-A2A0899DC799","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5968708d4ed73ce47408e9a3ef16d1588956e095","datavalue":{"value":{"time":"+2006-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5469400$C3A3A03D-33CD-44EC-994E-5A783941F104","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5469400$544172FB-370D-4EBF-A133-BFC57305897D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f70b59279cc975ff13b3fcc96c409898d99acf5","datavalue":{"value":"54B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5469400$6EE817CD-A02A-4858-9165-F45784807EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1afcde8f681fb95370dba30f2e660bfbd1183692","datavalue":{"value":"54D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5469400$EAD2781F-E5D9-4DF1-8E94-ED020A7352CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea462122cde82724a838d2a68d9401553d05bfa1","datavalue":{"value":"5024376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5469400$009E5192-2E80-4156-8526-A4F482602FC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5469400$6D401672-218E-487B-B818-8296ACAC2BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9101b0325011e83e7f1a73a49d518977b964df25","datavalue":{"value":"Boolean prime ideal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5469400$A9CD1943-42E9-4B51-AC29-4DB7E5D16965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceb21f8a5eecc5cda87515d58e101620e3a8f33d","datavalue":{"value":"product topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5469400$0E75D3F9-6CEA-498C-8893-16F0295F0B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8924fcf92e9412ac4696eb778284a9042ce4654b","datavalue":{"value":"Tikhonov theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5469400$5E1FBC0B-B230-4CFD-9833-37A7571F1D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a94bd068d1312a46470764a3c5c6c9e446cdabe4","datavalue":{"value":"universal net","type":"string"},"datatype":"string"},"type":"statement","id":"Q5469400$E8E615DB-3061-4EE0-9267-E9B604B2B73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c07e461ea895d5e1f93a1913d4b00eb39ee936","datavalue":{"value":"ultrafilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q5469400$ABE205E1-63B5-4585-9A88-4F874AED9466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"877cebf71c5ef56f89d583d4b4a076d6a4b29dba","datavalue":{"value":"cofinite topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5469400$079FA525-AAA0-4E4D-9A85-016380D9D276","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":"Q5469400$0E9003CC-BF0D-41E3-8C2B-2EFD7782B806","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"396d4d8a3969ba6d7d559339ae7ff3e5a673c041","datavalue":{"value":"https://doi.org/10.4064/fm189-3-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5469400$23BEFFFA-0B2F-4572-A475-80447B881CAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce5ef9c757ed783782d50bfc9a91b840266fede1","datavalue":{"value":"W2076342017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5469400$D158A6A8-992A-43B3-B244-2605B303E88A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4d5ca6e55c92bb7daec878f0278d7c2943726d1","datavalue":{"value":"10.4064/FM189-3-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5469400$5F790DD8-B74A-44EE-B0CF-995DF431EE00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"048bb20583249103842cf9c220428c4abd6a9a79","datavalue":{"value":{"entity-type":"item","numeric-id":4393022,"id":"Q4393022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d36c9a57ed0c708c8a3c626db4cba99c4e7bd49","datavalue":{"value":{"amount":"+0.81275606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5469400$281FE6C5-4AFB-4478-B1F3-640143EA72FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e6ba1a54712b1832c3a330facdb418874d5ca0","datavalue":{"value":{"entity-type":"item","numeric-id":5718573,"id":"Q5718573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"819847805300d9513056000b43ff24936b7e3739","datavalue":{"value":{"amount":"+0.7972617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5469400$C4FB28C8-F772-47CB-9FF1-921923E4E230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"000795344216523ef23cb78d0cef2515d7f0a6a0","datavalue":{"value":{"entity-type":"item","numeric-id":5938998,"id":"Q5938998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21b3c14123340e4beea2cd8931db236a3d54368f","datavalue":{"value":{"amount":"+0.7873264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5469400$D474D2FC-BB22-4E1C-ABD4-8365190C06F4","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":"12ec5b1b9434bb0ee0e476cf63101c3af972b1db","datavalue":{"value":{"amount":"+0.78168917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5469400$CADAA709-017C-41C5-BE8C-EA56AF3E8C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74dadc3ea0600a4630de99e78cdd9fb5c4c1f07e","datavalue":{"value":{"entity-type":"item","numeric-id":3359384,"id":"Q3359384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee6aa94e996e9755788b4dd8f0e636f2eed8402","datavalue":{"value":{"amount":"+0.7790371","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5469400$B686E715-868E-4F84-BF82-736253FA48E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40aede6b141ac112745a1cec68c56f5acb15045f","datavalue":{"value":{"entity-type":"item","numeric-id":4295255,"id":"Q4295255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed5062e879221e54f89794de3735b86b9326a865","datavalue":{"value":{"amount":"+0.77830243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5469400$CD6713DC-E2A9-400E-AE99-17174BAFB814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c96573fead83b33d24716cae4f89cba9c49d554f","datavalue":{"value":{"entity-type":"item","numeric-id":4939396,"id":"Q4939396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"925372104731f14aa4186fe616bfc61671290842","datavalue":{"value":{"amount":"+0.77690554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5469400$2B2670F6-0967-4934-92B9-AC461C1CE0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bda351a54aef1345e241f2df4369c98df3210c05","datavalue":{"value":{"entity-type":"item","numeric-id":653972,"id":"Q653972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfa361af2dfeb62e931d5b80e943cd795d38afa9","datavalue":{"value":{"amount":"+0.77444905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5469400$6B6EC6CC-30F4-4B4E-8892-C8204893ACCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7674fd5f7f020953edca7982c93cc463398877b4","datavalue":{"value":{"entity-type":"item","numeric-id":4521127,"id":"Q4521127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c9c0adff35e33f45f98e1521cb1c2d933e0fb7c","datavalue":{"value":{"amount":"+0.7679857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5469400$5AD22611-2BD9-4225-8FE4-EA1F1A605A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b7e9357c6ba05a0ce1ab67e38e0577dea11ceb1","datavalue":{"value":{"entity-type":"item","numeric-id":3977016,"id":"Q3977016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b6a35b6982fd8064776d15e19de5044bfd79e4","datavalue":{"value":{"amount":"+0.76216215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5469400$D0206A85-8E71-4299-BA5B-A0EDBB17E12A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kelley's specialization of Tychonoff's Theorem is equivalent to the Boolean Prime Ideal Theorem","badges":[]}}}}}