{"entities":{"Q678829":{"pageid":680678,"ns":120,"title":"Item:Q678829","lastrevid":63433998,"modified":"2026-04-11T13:07:36Z","type":"item","id":"Q678829","labels":{"en":{"language":"en","value":"A constructive proof of the Stone-Weierstrass theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1004390"}},"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":"Q678829$29EA1747-E505-452B-BFFC-DDEE29CF97EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a920e459c5cfc6d015c72a358cdada89ca66293e","datavalue":{"value":{"text":"A constructive proof of the Stone-Weierstrass theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q678829$024297B6-D160-4C9E-A5AC-D1FD320AF835","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fe00f76320b1e0d69b235a0da57540088955e42","datavalue":{"value":"0873.46017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678829$18E1CECA-B291-49D4-9045-CF6C5683968C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33f54d4d27c20d60101ed5d4bc1ef1e5d5db2d6e","datavalue":{"value":"10.1016/S0022-4049(96)00160-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678829$59253F6D-0042-4DB1-BF21-B363354E21DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c29bfeffd0022c798fdb10fc4d174f826b06950","datavalue":{"value":{"entity-type":"item","numeric-id":194951,"id":"Q194951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678829$15914E0D-179F-4CE4-BE64-765331200433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0515b5421feff2368cf40870c6ca8619e9feca7e","datavalue":{"value":{"entity-type":"item","numeric-id":168346,"id":"Q168346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678829$254C508E-2168-4709-8C03-8BC3CD6F122D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678829$8AA9EFEF-D06D-4CE8-8CC0-225C01F80BC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1aa999ddb911a7c3e3bd35c7cb101bf872219fb2","datavalue":{"value":{"time":"+1997-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q678829$B79E6D05-D108-4627-80AA-B867B62D06C5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b8cc521f64cbe5b82411c597fc245b62c7b67b22","datavalue":{"value":"The authors give a constructive version of the Stone-Weierstrass theorem, which allows a globalization of the Gelfand duality theorem to any Grothendieck topos.","type":"string"},"datatype":"string"},"type":"statement","id":"Q678829$A9FC5711-5A0C-47DC-93C1-C89F548D62E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"faba2e3a15b452965fa15f6385539feddd9a3a8a","datavalue":{"value":"46E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678829$5D6A464E-7093-43FE-ACF6-F576AAB32F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678829$8C7DC842-9EE8-4774-BF81-F0C44AD1CC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca2dc0f65a9ba2724e55a320303c3b04299c7aaa","datavalue":{"value":"54B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678829$99E70D0F-3000-45F2-BFEC-06DF04E249D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c87e402e9b993b85a530d8972dbe34f77bb4a471","datavalue":{"value":"1004390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678829$C3C5C2AA-7617-489F-9E28-E37DE06B322E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c04c5621011088bd503e7e4b65eaed0ccd1b43df","datavalue":{"value":"Gelfand duality theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q678829$0857E4B8-81DF-44B1-90DE-9E88793B2869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125b37015f2b508fd5055b7e63ab819371ab92c0","datavalue":{"value":"Grothendieck topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q678829$44A14A38-7A75-43C7-BDDE-E47C88DD1C2E","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":"Q678829$6C0AE0ED-CEDA-4C38-B655-C394D8EE6E0D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88f484ba619b24e8d6dc7548e3787ac753243f0","datavalue":{"value":{"entity-type":"item","numeric-id":3927875,"id":"Q3927875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678829$8CB7BCCF-05CF-4B74-B487-DB4DA643A0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cdfd399c2f18834fee8792ed42356b0d8a7754e","datavalue":{"value":{"entity-type":"item","numeric-id":799970,"id":"Q799970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678829$56706711-F610-4E40-81FB-F096727FF675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388eeac6ca7fd58351a48c90fbfc85bdb01bb2bb","datavalue":{"value":{"entity-type":"item","numeric-id":2710062,"id":"Q2710062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678829$692FFB71-968D-4547-8DAD-0DC05AC5EE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cafd626a7f181547e5ad89f5ae870a5bec9c0d1c","datavalue":{"value":{"entity-type":"item","numeric-id":2575765,"id":"Q2575765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678829$F2F47C93-74B1-436D-A656-E3E88343E7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"496bfdbee47ec30d0083d6a92536e6c8fdddc6ec","datavalue":{"value":{"entity-type":"item","numeric-id":3869847,"id":"Q3869847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678829$B0AEE30D-BDC2-4EE3-92B4-55E47630C14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678829$9BAA7343-E49F-4551-A15C-8F70F354CE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678829$8EF09A6C-F339-400C-B936-F572E2C7DBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d822968f54d22c3228410d9bc78030710dd81023","datavalue":{"value":{"entity-type":"item","numeric-id":3874763,"id":"Q3874763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678829$562FE14E-1D03-41E8-A0E3-D83D07FCF49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbdd39a50dc3452fd7916a42cbf93a128fc4beef","datavalue":{"value":{"entity-type":"item","numeric-id":1159755,"id":"Q1159755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678829$2384182F-379F-4205-856E-44F1A24A13C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04d8f0f3671f2f078869939230c77df7306f52d","datavalue":{"value":{"entity-type":"item","numeric-id":4744813,"id":"Q4744813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678829$D1B7F7B9-3C16-4D4D-80A7-EB874077FED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbcfe331b6b6e857f599bacbe84d764564ee622e","datavalue":{"value":{"entity-type":"item","numeric-id":770108,"id":"Q770108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678829$FEFD5C41-DD7E-445D-A252-6D39D5BD64F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aef8436568d62acda827250d23f9e617bd6b1172","datavalue":{"value":"https://doi.org/10.1016/s0022-4049(96)00160-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q678829$63E27641-DAC2-4BDD-8F39-9BCF963DB9A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fdc71ccdaf0504fd6c38a445bb595ef62201fe0f","datavalue":{"value":"W1977576132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678829$9815AB67-A38A-475C-95DD-E0DBAE922A1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constructive proof of the Stone-Weierstrass theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_constructive_proof_of_the_Stone-Weierstrass_theorem"}}}}}