{"entities":{"Q5872820":{"pageid":7902371,"ns":120,"title":"Item:Q5872820","lastrevid":47795023,"modified":"2026-01-02T17:21:27Z","type":"item","id":"Q5872820","labels":{"en":{"language":"en","value":"Stone representation theorem for Boolean algebras in the topos <i>M</i><b>Set</b>"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7638045"}},"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":"Q5872820$D1D9719D-AE10-46C9-BA2D-17CCE377EC51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"350f7487cc5b094b0722fe88a9bb652d8d05fb26","datavalue":{"value":{"text":"Stone representation theorem for Boolean algebras in the topos <i>M</i><b>Set</b>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5872820$8456876D-6F77-42CE-8FA4-70624DBCA274","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfac60755d7eb19070963fecd9b119e3a10efe09","datavalue":{"value":"10.2989/16073606.2021.1979120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872820$ACE52748-3FA8-4BEA-A8AB-F87B2E01AFE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92e4200984e34d5790bce721d04074490adce14","datavalue":{"value":{"entity-type":"item","numeric-id":5872819,"id":"Q5872819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872820$7B8FB38B-736A-4F8F-AEFA-A4185AFD2631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ae88561f4474fdcb0da2b007af2999d3e69f8fc","datavalue":{"value":{"entity-type":"item","numeric-id":262977,"id":"Q262977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872820$6CCC122C-5144-4D84-8167-E9140864A6CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eafcccd12f806969e43c02f94f482bb42bbc8a03","datavalue":{"value":{"entity-type":"item","numeric-id":2710057,"id":"Q2710057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872820$A1F51161-1DA0-43E7-9E28-8D1E3E40AE3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eea63d6b9ca849acf5a3794e122546d7b53759fe","datavalue":{"value":{"time":"+2023-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5872820$AB7BC8F8-2042-4606-89F7-854B96277629","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872820$A64665F9-B262-4128-B7B5-D961F9509054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bfc49eb62e0d33079720f377ccf814211c24ac","datavalue":{"value":"06E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872820$1E8C6EFC-7706-4C7C-BB73-8CC5A19C34CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872820$D633A4EF-FCAA-4EDD-B2E1-172ED46F1E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e075a5a1ca77ffa965955326fd987018bc8e144","datavalue":{"value":"18A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872820$86B47352-3981-4D0B-A3C1-F77F7E620CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872820$A650543B-874E-4C02-9104-C265E37CF69A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ad43082bc0261a2772815af18247fa10844597a","datavalue":{"value":"7638045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872820$AC7E8DD7-4365-4A3B-A9DA-BC16A005D532","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05700fecc0f5b5fec30e5312e225aca0bf62460","datavalue":{"value":"monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872820$306A6C1D-8286-44A5-9D8B-F7A946A1BECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872820$15347C17-85ED-4C84-92F7-E757304238CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86fc55ceea75c4429049edfc7c225b20fd501eca","datavalue":{"value":"\\(M\\)-set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872820$6529DBD0-4A45-40B2-A58D-846DEE566CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872820$CCACE618-6E23-4EEF-8B4D-2BB1F52C1240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66272735399efac248cd6dc32bd495b3bd4648b6","datavalue":{"value":"Stone representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5872820$05315154-3613-4E9E-A511-CD671BF1CDF4","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":"Q5872820$604A8240-5967-4A6C-B75F-1045F9383CF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"986b46dd2860268a2ad04f84f6a6ebe29a972ab3","datavalue":{"value":"https://doi.org/10.2989/16073606.2021.1979120","type":"string"},"datatype":"url"},"type":"statement","id":"Q5872820$AD8C399A-15E8-4CD8-8ED4-91E123F4E678","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cfec6a4cca19fd1c947e35c375da95ede721ddc","datavalue":{"value":"W3211128338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5872820$D03E11D8-F238-458D-BAD3-9CC6EA55CCAD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98141125be31996849e891c761d36b4a1bc1d194","datavalue":{"value":{"entity-type":"item","numeric-id":5903203,"id":"Q5903203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872820$6615114F-9465-4D2E-81AA-FEF2ADD58C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72dd95405f37ae3335987cd65d9131e8842dd235","datavalue":{"value":{"entity-type":"item","numeric-id":1121977,"id":"Q1121977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872820$7EE72FB0-7EAA-4F89-8635-F054F8DED666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22cdc5319bc06d0a5950d5af69d305f8011284d9","datavalue":{"value":{"entity-type":"item","numeric-id":5905376,"id":"Q5905376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872820$AE5F4C05-56FE-44E7-AEA6-25753961D77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da4001c7b8000d0e93a228558e2ce42674ca2da6","datavalue":{"value":{"entity-type":"item","numeric-id":1169550,"id":"Q1169550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872820$CFB0F17C-C9E9-4254-BB4C-0FFF11404E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e07a9a09dda9a90b6212ceb945b22b566ee82c0","datavalue":{"value":{"entity-type":"item","numeric-id":4204313,"id":"Q4204313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872820$D9D4EF04-2CB5-405D-88DF-F7DED4C66A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18f62d8200e876405ede327c9a04f1fc468f7d5","datavalue":{"value":{"entity-type":"item","numeric-id":4786538,"id":"Q4786538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872820$4F88A1E0-5413-4A6D-8911-50F284D86837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c964df41ccdb05ff60f763216ba99727beeddcf","datavalue":{"value":{"entity-type":"item","numeric-id":3575405,"id":"Q3575405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872820$39FBA74F-38F5-47A1-8D13-2ADEEFC47747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4c140bdeb0296ef0f6d65791c9f2ba009b9ad6","datavalue":{"value":{"entity-type":"item","numeric-id":1971007,"id":"Q1971007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872820$A9067833-A336-4261-998C-EF5127E8E830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872820$AE0DECA2-96E9-41F3-9BFC-22A99568B6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9b1404b564de1b4e1dcc88a024926fbf855208e","datavalue":{"value":{"entity-type":"item","numeric-id":5932475,"id":"Q5932475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5872820$96F127D8-D463-4A0D-BB06-7A0365FEFC25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eec26deadf592ef01cacdd0c27c5a571b292417e","datavalue":{"value":{"entity-type":"item","numeric-id":1902919,"id":"Q1902919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d3fdb4a1fe71fb81cbcfaaae44109a589a5674","datavalue":{"value":{"amount":"+0.7846254706382751","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":"Q5872820$6126AD9C-A8C3-4395-AC21-68131E72316A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cd9c499f87779c7e0bfd24a65a0848d4659b2c","datavalue":{"value":{"entity-type":"item","numeric-id":5905376,"id":"Q5905376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"431f989fcabde574e6eebdeb47c4f6bdbe29ab82","datavalue":{"value":{"amount":"+0.7839890122413635","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":"Q5872820$6BC20F5B-D099-4B2B-9CCC-5EC4890E16F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ee92ef91f3b43f92b53cd572a27549f223b508","datavalue":{"value":{"entity-type":"item","numeric-id":5107222,"id":"Q5107222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d820455357ac4a3227c538aa3d9cb691d19f3ecb","datavalue":{"value":{"amount":"+0.7657917141914368","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":"Q5872820$5DC529F9-F77F-4BD2-A4EB-07C701CD496C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4952da6b6675aa849f17e28bedcc1e273b6d73b2","datavalue":{"value":{"entity-type":"item","numeric-id":2794185,"id":"Q2794185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51dd2bdb49b64352d4d306a127b5ff06bb428a9b","datavalue":{"value":{"amount":"+0.7649091482162476","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":"Q5872820$7E27E600-7242-431E-90D5-C70ADA419EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4211281c21917ea68cba9fecfeba652a1f953ea","datavalue":{"value":{"entity-type":"item","numeric-id":3971256,"id":"Q3971256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d8a972be3c583b5299c7042a7504e63b6c2fc4d","datavalue":{"value":{"amount":"+0.7565079927444458","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":"Q5872820$85C3D335-FBA9-4F2B-8F98-753B8FABD6F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5872820","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5872820"}}}}}