{"entities":{"Q7361773":{"pageid":31520858,"ns":120,"title":"Item:Q7361773","lastrevid":105368969,"modified":"2026-10-07T13:37:40Z","type":"item","id":"Q7361773","labels":{"en":{"language":"en","value":"Banach-Steinhaus Theorem"}},"descriptions":{"en":{"language":"en","value":"AFP entry Banach_Steinhaus"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87785cb4410c65440ebe005b7f002fc0ab64dcd3","datavalue":{"value":"https://isa-afp.org/entries/Banach_Steinhaus.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361773$87D1F369-4E25-4BD2-BD39-42A30B96E962","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9a2dedadddfd783a4338b5db049039f0f55aa15","datavalue":{"value":{"time":"+2020-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361773$FBE1BF18-F7CB-46D8-831C-090B6D028809","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"0f726647cf47955102e00c4d9747edb7ccbe5fa2","datavalue":{"value":"Dominique Unruh","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361773$72E81BDA-4AF1-44FC-8765-4FFFFFE70598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"b6105f8900c9465a331598145452a27f9f08d7f8","datavalue":{"value":"Jos\u00e9 Manuel Rodr\u00edguez Caballero","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361773$9AA0D099-CFAD-4E1C-954A-08AFEFF4D2E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f53185ac4e72b4f6be8e8b82742d4450344cb17","datavalue":{"value":{"text":"Banach-Steinhaus Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361773$E0384A48-05B4-4CF1-B24B-15EBD1E49CE3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"78a3fb01abd7bcedabe4d41ba95c86394db7b2ac","datavalue":{"value":"We formalize in Isabelle/HOL a result due to S. Banach and H. Steinhaus known as the Banach-Steinhaus theorem or Uniform boundedness principle: a pointwise-bounded family of continuous linear operators from a Banach space to a normed space is uniformly bounded. Our approach is an adaptation to Isabelle/HOL of a proof due to A. Sokal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361773$551A4A40-05B9-4C62-A944-A2108425D555","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0846bb3c758651bcd5983f5708ee0c8cd8e573fb","datavalue":{"value":{"entity-type":"item","numeric-id":1445303,"id":"Q1445303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361773$5FAF8EBC-D2A1-4F35-B5F9-74B3F3304F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f32965713b3058e414b30c30a2508c90feeee5","datavalue":{"value":{"entity-type":"item","numeric-id":3002534,"id":"Q3002534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361773$8948D70C-4A60-4CB7-985A-C8437ABFBC36","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361773$922ADEA8-1AF1-4F77-A40E-9311F609E1E9","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ef6655bf04dd34fee9f7dc3b2763244f951e30fe","datavalue":{"value":{"entity-type":"item","numeric-id":7360822,"id":"Q7360822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361773$C5ECA07B-EF84-46A9-9250-970261B8A96A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361773$200F72AD-E62A-472B-A8B3-019C60883C05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Banach-Steinhaus Theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Banach-Steinhaus_Theorem"}}}}}