{"entities":{"Q3466216":{"pageid":5246224,"ns":120,"title":"Item:Q3466216","lastrevid":90170501,"modified":"2026-06-04T19:27:51Z","type":"item","id":"Q3466216","labels":{"en":{"language":"en","value":"A proof of the independence of the axiom of choice from the Boolean prime ideal theorem."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6537723"}},"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":"Q3466216$89A7B471-CC38-43A9-87C1-15F17309D74A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b503ee7fefaf1b1392b49c6a31ce8a2bb98c6b95","datavalue":{"value":{"text":"A proof of the independence of the Axiom of Choice from the Boolean Prime Ideal Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3466216$A479C85E-822A-4FF1-BA0D-1DD77CC479DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7dd27eb843f7c6c83069eca3f80793f73ee053ee","datavalue":{"value":"1363.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3466216$A7D13C1B-AF32-46E6-9C7D-60157B583768","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd78991ef1539d79ace2915ea19c10b0c2a6bebb","datavalue":{"value":"10.14712/1213-7243.2015.138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3466216$E9E03D11-B4BB-40BB-A4C6-64B14662317B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7449f5cd3e13a42cb8138cce255ee30847f231b3","datavalue":{"value":{"entity-type":"item","numeric-id":173771,"id":"Q173771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3466216$9BAE43E2-978F-46D6-85A2-446254A85E69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"879b19e5fcd58d004240c4bcd6b70dc97b65f34b","datavalue":{"value":{"entity-type":"item","numeric-id":2798061,"id":"Q2798061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3466216$FAA32527-6192-4648-AB24-2F47B40D6945","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e034c4c69fbe47b255b2c4d4cdf43d1c720ffac","datavalue":{"value":{"time":"+2016-02-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":"Q3466216$1BBD90E3-1AB0-4DE5-BF53-9F0F345570BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3466216$82B7E196-9BEE-4BEF-9053-342B6D78F2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3466216$5B6459A1-EB4E-4358-8C95-F85D827B6D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3466216$4B0CDD44-80DF-4235-8FE5-09540E7FF1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3466216$336FB16F-411D-43BF-9AD7-53F022CDFEC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"274b3691e54656213665596e6f0eede812a6d09b","datavalue":{"value":"6537723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3466216$289BF97F-E0FB-4BB9-B10A-58927E67FB52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9101b0325011e83e7f1a73a49d518977b964df25","datavalue":{"value":"Boolean prime ideal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3466216$EB262BE4-513D-45DC-95E7-A5E089C4E304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3466216$3A8D2C90-6553-4F1B-B81A-63A7C7AC8F0A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1da89a2ada92939d9716d82a03ea3669bf7a409e","datavalue":{"value":"Q114007345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3466216$44BA77A7-7D61-4805-95E0-C299B7957D04","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":"Q3466216$9FA688C1-F8C8-4C8C-B281-3519086719BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e82fc9bd447a996ace75701d7fdcc54c132e72c6","datavalue":{"value":"https://doi.org/10.14712/1213-7243.2015.138","type":"string"},"datatype":"url"},"type":"statement","id":"Q3466216$59F0B839-6D56-465D-99F8-C00273A30E0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41c78ddb46f21f7d91f0324bb2aed0aadadf9eaa","datavalue":{"value":"W2234614083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3466216$4EC60887-3768-4C6C-8472-E56719D4B608","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"fddfe66e90e40e8b7178910779002193744e798f","datavalue":{"value":"bafkreiarhpxf3a53orveqhb2fpmn7rsvvkfy72lyqmm63nstppl2chxy3m","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3466216$8CA44468-E248-4FC9-AED1-FB1023609531","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5464e80aad3f8a6216e161be8f9bf718e3f8a938","datavalue":{"value":{"entity-type":"item","numeric-id":4888349,"id":"Q4888349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f84610be239e83697f4281b992b2dbdc65e425c","datavalue":{"value":{"amount":"+0.8515814542770386","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":"Q3466216$CC7E5C5F-7FFF-4509-A61C-F944AFF512D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7a57d88f0a92ae7e46009dafea12e25bdffd446","datavalue":{"value":{"entity-type":"item","numeric-id":1065041,"id":"Q1065041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f84610be239e83697f4281b992b2dbdc65e425c","datavalue":{"value":{"amount":"+0.8515814542770386","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":"Q3466216$11A6EFC3-A4D1-48DA-B431-96F8A64900C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c472e98adcf96502c916be05eb2f5619a9145dbe","datavalue":{"value":{"entity-type":"item","numeric-id":4615029,"id":"Q4615029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"426b754cd220bdcf85c5fd088bfab01f3c5773c7","datavalue":{"value":{"amount":"+0.8139904737472534","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":"Q3466216$445029E5-7BB8-490C-91AA-670A3A547DA8","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":"87ae83a7133c9b6f66a2c8cfcca509e9ac9920b7","datavalue":{"value":{"amount":"+0.8132709264755249","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":"Q3466216$CBEE3851-95E2-4D3F-B9A7-7ECFD72B1CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea4e987760e8c199d045e92badba3ed23efa0b36","datavalue":{"value":{"entity-type":"item","numeric-id":5003059,"id":"Q5003059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f2a64406c62ac2a5946d0e1e79d023ae4d3dc41","datavalue":{"value":{"amount":"+0.7727559804916382","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":"Q3466216$FF1683D7-E738-4B99-94F0-4D7804CFF71D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof of the independence of the axiom of choice from the Boolean prime ideal theorem.","badges":[]}}}}}