{"entities":{"Q6572543":{"pageid":14183698,"ns":120,"title":"Item:Q6572543","lastrevid":95765366,"modified":"2026-06-05T09:43:47Z","type":"item","id":"Q6572543","labels":{"en":{"language":"en","value":"Formalized functional analysis with semilinear maps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7881123"}},"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":"Q6572543$799DE39E-468D-4528-AE91-A01BC4F0A7BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24633b11caa77602882fda959278fdfede175bd6","datavalue":{"value":{"text":"Formalized functional analysis with semilinear maps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572543$03E8023E-C2EC-4D03-8AE1-85EB4E605CEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b52f86e3fbbacd2fbd6b576015fb0fbcf37c0d3","datavalue":{"value":{"entity-type":"item","numeric-id":291580,"id":"Q291580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572543$154A9566-3832-4253-B778-D82F2E33046C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70ade185f3ecac8f26bbd0db5ba024cb38b4e341","datavalue":{"value":{"entity-type":"item","numeric-id":287377,"id":"Q287377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572543$F6196A3B-2A62-44A5-9372-8321543AAD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e14dacc63b6dc54408a9c18a47b52131676d9276","datavalue":{"value":{"entity-type":"item","numeric-id":658023,"id":"Q658023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572543$5FA7E468-B931-4A98-8D81-A982FD95A713","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7dae1a09e0b079923de71e99f58f11ff9161f5ec","datavalue":{"value":{"time":"+2024-07-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":"Q6572543$2E70242D-C4A2-4B54-B2E5-166D504CBEAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572543$4692ED73-8F76-4A4C-A477-D7C33765C413","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2285be19873d935350e07d246cacc65188ae424c","datavalue":{"value":"7881123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572543$158464F5-196B-4C5C-95A6-F50FFE70196D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f649787e311d1d17a9cc36bea714473be983220d","datavalue":{"value":"functional analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572543$2795167E-8C71-4A63-A04A-ABF5CD783C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e8fd89fa28c0f6c3672ef10c3a2104586281edb","datavalue":{"value":"Lean","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572543$65317E8C-371A-4768-96A3-4E0084A527CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ef7db62ea690b4e5062dfc499cec745f9bc958","datavalue":{"value":"linear algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572543$9388CD8E-704E-4EE9-AC87-6FC7332E2595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a07bda3911145c92b0a849ba5320d8b27b8d670","datavalue":{"value":"semilinear","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572543$5903E463-B40A-4CB1-A4E3-B259DC8E2F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27db29e1545997752d0ba25fa3e41f101d1cfb85","datavalue":{"value":"Hilbert space","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572543$6D0B843E-8CCE-43AB-BC19-93E4EA0573C8","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":"Q6572543$9870AB3C-5E8A-4FC6-9C34-1FADA7D59D2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5a90615ddc063ddb61aecc33795613163340658","datavalue":{"value":"10.4230/LIPICS.ITP.2022.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572543$60034942-AB22-4EAF-88A7-03DFF1C1AEE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalized functional analysis with semilinear maps (scientific article; zbMATH DE number 7881123)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalized_functional_analysis_with_semilinear_maps_(scientific_article;_zbMATH_DE_number_7881123)"}}}}}