{"entities":{"Q5310879":{"pageid":7340453,"ns":120,"title":"Item:Q5310879","lastrevid":58521933,"modified":"2026-04-05T14:16:17Z","type":"item","id":"Q5310879","labels":{"en":{"language":"en","value":"Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200714"}},"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":"Q5310879$1EA8234B-C0E3-475E-BC74-78A51289DEF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a3f54e36fd07ad64ad85ccda3157dc7cd2a59eb","datavalue":{"value":"1120.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310879$D4FD4753-303D-46CE-9F63-C8F80553FB8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310879$75AA3169-34FC-4438-A1AD-EED3A3DD6275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"603d1427f1b21e289d7f29d1759e5e0b15783239","datavalue":{"value":{"entity-type":"item","numeric-id":185814,"id":"Q185814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310879$C006EFA2-8D45-4CE8-A5A4-466F625A70D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51896fa873714969935123455cbe182d69a8f4bd","datavalue":{"value":{"time":"+2007-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310879$41958D5E-80EA-4D18-AA99-20C36DD0759A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"038dd345662d7254b640dc3c887da7fc9ed12968","datavalue":{"value":"https://arxiv.org/abs/0808.2705","type":"string"},"datatype":"url"},"type":"statement","id":"Q5310879$62C248BD-A6F2-442D-B2C3-0C76C5ADDA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e23927a5a0b314a37617664eeeb757d69c454452","datavalue":{"value":"http://www.jucs.org/jucs_11_12/formal_topotoly_and_constructive","type":"string"},"datatype":"url"},"type":"statement","id":"Q5310879$49E70056-3FBB-4179-A19D-100C53D7507D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310879$560008A6-8B38-46DD-B1C3-A8A4110889B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"212d5fc05ae058830f8da07bf798efd4ee94d5e5","datavalue":{"value":"46A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310879$6ED5E51F-312E-4423-A3CD-9C7C90700FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"042247497c87912347e9595c7e8f4af0a995087b","datavalue":{"value":"46S30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310879$5F26BC7F-C724-426F-BC22-C5C0E02C99CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fb15c7d6350110824381a7a6ce04df47ef7dee6","datavalue":{"value":"5200714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310879$4C4CE62C-4C0D-4D3B-8AF8-9278F3D71CC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e45af690d74e7b95e387a037d958015560e71b7","datavalue":{"value":"Riesz space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310879$0C10B9AD-720D-4089-832D-97A39783602B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310879$466F182D-7FA2-4143-9C73-72F59A1B9B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310879$A74A75D0-E89B-4E79-81E2-864DD32FD09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b27f7e7abfae989589490575e9d80014c9963bab","datavalue":{"value":"\\(f\\)-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310879$A224B197-2D53-4609-A3A8-C50E1550865D","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":"Q5310879$32E07AF7-628A-4266-9F1F-9BFBA7A30BE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"210dfeadf0689eeba1c7d8abc72a437726625c11","datavalue":{"value":{"entity-type":"item","numeric-id":5718577,"id":"Q5718577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7044fb9a3977f9be82d3247a87dd53f0d0b2e2","datavalue":{"value":{"amount":"+0.8161680102348328","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":"Q5310879$C442C80C-9AEC-4607-914E-D23DAEB589A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b48bb9115322317a13802b4eb867766668126ec","datavalue":{"value":{"entity-type":"item","numeric-id":981685,"id":"Q981685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51a3bd2beba490226a7d508de892cb4dcddb42f8","datavalue":{"value":{"amount":"+0.7991697192192078","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":"Q5310879$895F8FE1-E644-4551-9961-66F04D653893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6812b995f27a53a4c3c96b0bd36c67ab3a8afeb","datavalue":{"value":{"entity-type":"item","numeric-id":2710062,"id":"Q2710062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60cc9d0f0c249ef96a8183c323d9d761e9e96096","datavalue":{"value":{"amount":"+0.7858210802078247","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":"Q5310879$6156B7F0-7A73-4889-BDDA-EE17B0D13FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d970004681591f32132611a181bb5f7560ff743","datavalue":{"value":{"entity-type":"item","numeric-id":1430173,"id":"Q1430173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1563cd4f4fed955a0378e36416f4539190980023","datavalue":{"value":{"amount":"+0.784791886806488","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":"Q5310879$E579A309-BB77-4AA3-A035-47935CBBD5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7660f618f40ff8fdba658a72772718d103c62c4","datavalue":{"value":{"entity-type":"item","numeric-id":1772250,"id":"Q1772250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a7f571627f2cc938017e3380cd5786dd9569594","datavalue":{"value":{"amount":"+0.7828683257102966","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":"Q5310879$0978A05E-7163-498E-8E73-4624EC775585","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310879"}}}}}