{"entities":{"Q5130883":{"pageid":7160455,"ns":120,"title":"Item:Q5130883","lastrevid":58439178,"modified":"2026-04-05T05:44:13Z","type":"item","id":"Q5130883","labels":{"en":{"language":"en","value":"The independence of Stone's theorem from the Boolean prime ideal theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7268403"}},"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":"Q5130883$53879946-5FE6-4184-9636-4FAE311944E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30e5ebf61f0b0a2c9c14844a8afb20a86eb7d45c","datavalue":{"value":{"text":"The independence of Stone\u2019s Theorem from the Boolean Prime Ideal Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5130883$1AADF89D-0B4E-4755-9A9F-68671894A6A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce79319abef1d854864a736141074b9cc8c61e43","datavalue":{"value":"1485.03206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5130883$23C97CB5-4A66-4D58-9011-225BAEE87591","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a24bdd14bf6d76c57145de35f6a54dc316e390","datavalue":{"value":{"entity-type":"item","numeric-id":1714850,"id":"Q1714850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130883$EACD0D14-F646-439F-B4B2-1920F29CF975","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130883$AEB14EED-541F-47FD-8522-ABCDEFF6C5A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a06559dad485452a1744556521b1b7e9eb99e2a","datavalue":{"value":{"time":"+2020-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5130883$9734F2E6-3265-403C-9313-3EDD9FD2064C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"985b47718b40ea458fd9c5f73855f2dcd8c5098e","datavalue":{"value":"https://arxiv.org/abs/2001.06513","type":"string"},"datatype":"url"},"type":"statement","id":"Q5130883$F38008D6-4E95-4D72-BFBF-6FC728AFFAEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5130883$8DF2BC73-F279-440C-AD82-BD7C80DBFEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5130883$0F2F1FF7-A1F4-4249-9DA6-7AACFF0E0BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac0a1a932b8bae9877fad13d8c31fcba7bb103d3","datavalue":{"value":"54A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5130883$BED11CE8-1EFD-4BED-8163-62D1644B04A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5130883$6CBAA2DD-7B95-4F8F-B248-CE3162249374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6638429f658636cde013e7c47dae42190f534e9","datavalue":{"value":"54D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5130883$60DB4C76-4691-44EA-9DDC-0E03DB970ADE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80e15973b56c2f781a1aaa72f7cae63305d9e72d","datavalue":{"value":"7268403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5130883$46EB81C4-CA2A-4A49-B18E-2D0B07D4A305","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"499b3cfa9ac675812be4f11e39a670e2cec8756b","datavalue":{"value":"paracompact","type":"string"},"datatype":"string"},"type":"statement","id":"Q5130883$BCD4579F-50BE-4302-8E16-178F43E7C34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fe746ee584af99601ed73c392588aef6db2f443","datavalue":{"value":"metacompact","type":"string"},"datatype":"string"},"type":"statement","id":"Q5130883$F087B175-B85A-4B75-A562-F0D8C68DE45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20f87686e57cd5798939eefa169b80e212af9083","datavalue":{"value":"metric space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5130883$30638A5C-AA15-4825-8066-29A909DD42DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9101b0325011e83e7f1a73a49d518977b964df25","datavalue":{"value":"Boolean prime ideal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5130883$FEC073CE-B0C7-4D7A-9793-8C714949DEA4","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":"Q5130883$3EA7273E-9305-4F4D-9F79-C6421A76312C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ca8229749a787d8ffb38b9ededecf18cb011808","datavalue":{"value":"W3022077080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5130883$D5B6BD63-54B7-47F8-97FA-DBC75181C09D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a17cec680fcabf1231faf13c3bfc70edfabda64","datavalue":{"value":{"entity-type":"item","numeric-id":3118390,"id":"Q3118390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130883$39D7C7C2-B283-428D-8615-51FC2D76DF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c5870d55b61dc7f3aadd3291c4888dd34dac8f","datavalue":{"value":{"entity-type":"item","numeric-id":4383114,"id":"Q4383114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130883$CE0CA410-734E-43E2-A36A-8518FFFF7849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c426499d2a38cae32a9ae7ccb6188e1f2795390f","datavalue":{"value":{"entity-type":"item","numeric-id":5641139,"id":"Q5641139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130883$0E931EC9-67A3-4214-9E57-7416412D2C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919310b111205c1a2d0590cbb614e686ce214c75","datavalue":{"value":{"entity-type":"item","numeric-id":4487249,"id":"Q4487249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130883$F3C8C5B5-6F81-46CD-ACBD-1610D6F34DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6084574919df1fabb6811a7478d7ce895596b0c7","datavalue":{"value":{"entity-type":"item","numeric-id":4210469,"id":"Q4210469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130883$B148A1C2-009A-4D81-8BF1-A24DE4FB7FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"251fa540b39a4047d1d53d78840a8780ede92f97","datavalue":{"value":{"entity-type":"item","numeric-id":2575145,"id":"Q2575145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130883$5BBDE5E8-B44D-4BE9-B39C-D6FE77F91451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc58f5913250ca551e6e5696fabaa5fbe5d3e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2707076,"id":"Q2707076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130883$E562728B-3A1F-4709-B538-2A2EAF063572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44289a4483f73f7bf90c13b18c9593d50e0792e","datavalue":{"value":{"entity-type":"item","numeric-id":3460525,"id":"Q3460525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130883$FEA3F105-7ECB-44F0-9B66-3EA514D11FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0df8a8146c23f2b34c50594258201ae600662e","datavalue":{"value":{"entity-type":"item","numeric-id":854846,"id":"Q854846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130883$4964ACC8-C7EA-43F9-89F1-BCDE61996240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c083cd2ec081a5b4d238527538b4190de97732","datavalue":{"value":{"entity-type":"item","numeric-id":5684668,"id":"Q5684668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130883$102A5A70-DF56-4856-976D-0193777E0F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9b6edefd2573c72f35b5a551d230f48e1db6b4b","datavalue":{"value":{"entity-type":"item","numeric-id":4141247,"id":"Q4141247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130883$19B0B676-58E8-4708-847E-E7F57ADB35B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7dd6ea6ec7aa2e9b8507361a783a323406be51e","datavalue":{"value":{"entity-type":"item","numeric-id":3919705,"id":"Q3919705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130883$62F59E0F-8A4D-4F38-8F27-1384221FA08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf2c430c97c59ab0854dea8e80d774f06ccf692","datavalue":{"value":{"entity-type":"item","numeric-id":5790389,"id":"Q5790389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130883$A1E1B3A8-D15F-4F3B-A9D3-E384D85E3A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e35a875d220bab7d4e7edf5e176ed9abb31109","datavalue":{"value":{"entity-type":"item","numeric-id":3024372,"id":"Q3024372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130883$F29791D0-956C-44AB-923E-EF2C0E466A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f72d244c7b8907ccbd46f5bd23bd8342ea104d","datavalue":{"value":{"entity-type":"item","numeric-id":3578251,"id":"Q3578251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130883$CD33614E-D58E-4D8F-8414-BDAAA60E5E02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d666b542978fd766dd0249f0aed1aff5f22fc5d7","datavalue":{"value":"10.1090/PROC/15164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5130883$EDF9AC39-E31A-4FB9-9F54-00F0E7D99D68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e89c30fb5f7c51506ebe1d7cad8bf5859b6e9e6","datavalue":{"value":{"entity-type":"item","numeric-id":4383114,"id":"Q4383114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94cf90ed5106795d907b3cee221f3a0147ec2eef","datavalue":{"value":{"amount":"+0.8290744423866272","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":"Q5130883$4231521D-E77F-437A-B609-4203AB52DE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5c061c0cc84df97b152e1b67ca1309feaf007c3","datavalue":{"value":{"entity-type":"item","numeric-id":2850623,"id":"Q2850623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"743e4a0ae09ca74658d34b56e8d59951ca2d110d","datavalue":{"value":{"amount":"+0.7699235081672668","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":"Q5130883$36555B15-CCA8-47C5-ADCB-92CA7C7F0DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c68dbb3b95e5f34d371576e429f20dd01142e1b","datavalue":{"value":{"entity-type":"item","numeric-id":3466216,"id":"Q3466216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d1f540cb5bd6837e97c76be04007c8a3d91698d","datavalue":{"value":{"amount":"+0.7640895247459412","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":"Q5130883$B8119643-F0C5-4BCE-A5BF-FD0BF7AB62FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cdc7bfe27c1518aa0b5a5fd5e00a0a6088dc28f","datavalue":{"value":{"entity-type":"item","numeric-id":3100950,"id":"Q3100950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aad204b1f52b378f710351fb30fb804183bac2f","datavalue":{"value":{"amount":"+0.7337417602539062","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":"Q5130883$3B89AD82-0F82-4061-B73B-A8C650531DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35bd7a2d6054e496992a44316364501c23e46d0","datavalue":{"value":{"entity-type":"item","numeric-id":4254629,"id":"Q4254629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e55ab8b54808dd6c74417fe79a90edfc2ca342e","datavalue":{"value":{"amount":"+0.7293924689292908","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":"Q5130883$4FA796F2-0857-4A75-A723-45FDA843A843","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5130883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5130883"}}}}}