{"entities":{"Q2503282":{"pageid":2514025,"ns":120,"title":"Item:Q2503282","lastrevid":73437804,"modified":"2026-04-14T15:58:51Z","type":"item","id":"Q2503282","labels":{"en":{"language":"en","value":"A computable version of the Daniell-Stone theorem on integration and linear functionals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5054279"}},"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":"Q2503282$E5533806-D52C-4E73-8C9F-0AF6EAD23253","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ed1bab9565aec1e2eb5087f3c5fc52f8160d014","datavalue":{"value":{"text":"A computable version of the Daniell-Stone theorem on integration and linear functionals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2503282$84F93B8A-1866-4A99-A062-FBFBF1FEB857","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a0d41f6f7d9393341e94bc74b577b4c598c2722","datavalue":{"value":"1106.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503282$5FA34570-B1D8-42F1-8FC8-DD372B50EAC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4283969e162a59b03ecc7ec2f0d4d648008fe518","datavalue":{"value":{"entity-type":"item","numeric-id":690478,"id":"Q690478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503282$F63B33B9-0524-4876-AFC6-8068A5D43EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b380035f688a74a9a8fbf02991d94c276a4d78e3","datavalue":{"value":{"entity-type":"item","numeric-id":162062,"id":"Q162062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503282$E7B891BA-37A2-4FA9-AE48-0EBEC532A2C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503282$7EB0AB8F-19FA-4C89-A681-668BC7BE497D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f4ffc608ada8e4a14c4a7ac75bb9921c404be25","datavalue":{"value":{"time":"+2006-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2503282$DF35447D-1180-43AE-942C-5378B15BC25E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6520a9503d64a2735fcc43dad16f20ab103eef4f","datavalue":{"value":"For every measure \\(\\nu\\), the integral \\(I: f\\to \\int f d\\mu\\) is a linear functional on the set of real measurable functions. By the Daniell-Stone theorem, for every abstract intergral \\(\\Lambda: F \\to \\mathbb{R}\\) on a Stone vector lattice \\(F\\) of real functions \\(f:\\Omega \\to \\mathbb{R}\\) there is a measure \\(\\mu\\) such that \\(\\int f d \\mu = \\Lambda(f)\\) for all \\(f \\in F\\). In this paper a computable version of this theorem is proven.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503282$EFABB581-E060-4B5B-A2AA-702E88CADAD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503282$3DCD10FF-C6AE-4247-91F7-100A8A9E82D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14106919e78fb120108e9565fec9e87e946c16af","datavalue":{"value":"28C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503282$CDECD7AF-B49F-4B41-899D-14F41699134C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f44b93fe5a13e6286b08b9d39e0ae01a7c8b3e6b","datavalue":{"value":"5054279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503282$5415FC71-E9C8-42EB-8C8F-684C0AE516C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929dbb98303de67ed78e9b5b31847efe3d08d1e6","datavalue":{"value":"computable analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503282$0C4F9B49-F22C-4925-8293-C7A7C84A4E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae8315478af6787508c528740b602e2a5b411f4","datavalue":{"value":"measure theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503282$557DA03B-E9E6-414B-BEA8-82A540819C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0e1adc5267923cb7439060ae792e86df0c0fa0f","datavalue":{"value":"Daniell-Stone theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503282$54B435F6-7660-4F28-B994-0FECEC228BA7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dbc008852b7f12e01f50414af435612153cc55c4","datavalue":{"value":{"entity-type":"item","numeric-id":162063,"id":"Q162063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503282$41BFFF48-FCAC-4F03-9328-E116B52D63A0","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":"Q2503282$6F66752E-B0E6-43E4-B8C9-0BED29B15A78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b60657f01550e7ef886724bab4b358d8e219e04","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.01.050","type":"string"},"datatype":"url"},"type":"statement","id":"Q2503282$1A7D0096-B7F2-4915-9D36-E0FBF14DF33E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2fd61d903252f681b5c5a4afb8b38170e656e5d","datavalue":{"value":"W2081744753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503282$DFB5DE66-431B-43E2-BEB3-959F1C6D7372","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c78b4139325f92e2775c5137ba46e2da75842c","datavalue":{"value":{"entity-type":"item","numeric-id":5180135,"id":"Q5180135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503282$DB33F0B8-D5C9-48CA-929E-0E7E222295F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe59bbe811cbc5cf275fa707f07600a8e773182","datavalue":{"value":{"entity-type":"item","numeric-id":5936647,"id":"Q5936647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503282$C98E69F8-AF05-4F37-A624-710E49770E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503282$6FC3CDA7-89DD-4B46-8CF1-98DA2993CB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503282$44AAE6DA-2837-4B76-AFDB-09ED34CBD383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5e01c2314637810178cfa09e2365e9b204ec61","datavalue":{"value":{"entity-type":"item","numeric-id":5650674,"id":"Q5650674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503282$76166E1E-FDC8-4E1F-925C-15E2A27087FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4c7dd766cf225880f8a11187ce72c05554aaac","datavalue":{"value":{"entity-type":"item","numeric-id":3876158,"id":"Q3876158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503282$9BA74362-CEA6-41FC-92EF-D9BADA657777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fcf8fce194931bc435ab16e57b896d0642d1b35","datavalue":{"value":{"entity-type":"item","numeric-id":1898475,"id":"Q1898475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503282$631ED8A8-FF6C-4CE5-B68E-A21899371CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be81e446200638599f40555687e97bdd3a90b7d1","datavalue":{"value":{"entity-type":"item","numeric-id":4185470,"id":"Q4185470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503282$66EA716E-0B7D-4424-A8F8-B080293F4A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"860531763d18ed387e21c0f98b8b16b88ef9aadd","datavalue":{"value":{"entity-type":"item","numeric-id":4002474,"id":"Q4002474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503282$5E797461-048F-4CEF-93ED-90F490323BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def306af2d6603ff7852be4a56b05008b7b65282","datavalue":{"value":{"entity-type":"item","numeric-id":1292409,"id":"Q1292409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503282$B05D7AE9-3A7F-445F-89E2-8CB55C1C976A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6df7120dd97726e9830c4d3f4f99bc3a4fe726","datavalue":{"value":{"entity-type":"item","numeric-id":4405392,"id":"Q4405392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503282$710C28A6-0AB8-42A3-A99F-92AAA597B494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6942af825673e10e8fd29832ae1d9f2d156182","datavalue":{"value":{"entity-type":"item","numeric-id":5556429,"id":"Q5556429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503282$F17148DE-8BD6-4280-99F3-CCB8653F20A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63858d8a47c028d5f3299a789afa6420e7e208f","datavalue":{"value":{"entity-type":"item","numeric-id":1292415,"id":"Q1292415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503282$E5A53ED4-CEAC-4147-A33D-EE6F8DE3526A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503282$BC2A174B-84CB-4DD4-A8C4-ABC2BD6A65DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99edc1cdf734d0eb1f2728db3c6b3aaaf79e28eb","datavalue":{"value":"10.1016/J.TCS.2006.01.050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503282$C14C4169-CC1C-4C2D-B34B-672AF139B071","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fda27394bdf8eef76a37b7b4287a8a509155c51c","datavalue":{"value":{"entity-type":"item","numeric-id":4527601,"id":"Q4527601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2589763fdc1eb3dbdb406bd3c4d20bb611f21e9a","datavalue":{"value":{"amount":"+0.770015299320221","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":"Q2503282$701E39EB-66D7-4D1E-9959-5CB838B7FF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea7867c2beb59a9c9abcbc071c497188483fc356","datavalue":{"value":{"entity-type":"item","numeric-id":4377316,"id":"Q4377316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f02f4a3e9f8bebfac1309c69b637496f20f49289","datavalue":{"value":{"amount":"+0.76985102891922","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":"Q2503282$E2E0191D-15E3-4AEA-9FBE-ABE5F5668C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55fb7040420f6229ed9a9fcc52bfb82b1aa63951","datavalue":{"value":{"entity-type":"item","numeric-id":4287540,"id":"Q4287540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56e0f6993bc6af5542645b84a543d4007c8b6668","datavalue":{"value":{"amount":"+0.7696850299835205","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":"Q2503282$87A487F4-5284-4B18-82D9-CF57A6629BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6cc033ec1563546efbbdc71733b81c6a0de1b17","datavalue":{"value":{"entity-type":"item","numeric-id":4788810,"id":"Q4788810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69048895184f52ca1b4616ea9625ced7cc7d40a0","datavalue":{"value":{"amount":"+0.7672755718231201","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":"Q2503282$FB0D22BB-FFD7-4827-878F-C139E66BE55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0904956927da07ac9c0ea806a46a8e3bbaac36c","datavalue":{"value":{"entity-type":"item","numeric-id":4839474,"id":"Q4839474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00838f5c546505acf33ec33ec7cc7bed0f10893e","datavalue":{"value":{"amount":"+0.766688883304596","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":"Q2503282$3425B250-EB1D-452F-932A-25DC966CBA53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A computable version of the Daniell-Stone theorem on integration and linear functionals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_computable_version_of_the_Daniell-Stone_theorem_on_integration_and_linear_functionals"}}}}}