{"entities":{"Q7361091":{"pageid":31518812,"ns":120,"title":"Item:Q7361091","lastrevid":105423365,"modified":"2026-10-08T13:45:15Z","type":"item","id":"Q7361091","labels":{"en":{"language":"en","value":"Expressiveness of Deep Learning"}},"descriptions":{"en":{"language":"en","value":"AFP entry Deep_Learning"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b707dfae58c4debf21d4dda2c02d06cffe5821f","datavalue":{"value":"https://isa-afp.org/entries/Deep_Learning.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361091$8B5D54F0-C497-4A0F-9670-EEE6507ACA36","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"82465ac3274d3d0397e8b9a376568cb6edebce12","datavalue":{"value":"Alexander Bentkamp","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361091$C11A532D-E8E8-486F-9558-DBA0A27E1CBA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d4878c5c56b51eeeca2bb24ab5b184e546e91a6f","datavalue":{"value":"Deep learning has had a profound impact on computer science in recent years, with applications to search engines, image recognition and language processing, bioinformatics, and more. Recently, Cohen et al. provided theoretical evidence for the superiority of deep learning over shallow learning. This formalization of their work simplifies and generalizes the original proof, while working around the limitations of the Isabelle type system. To support the formalization, I developed reusable libraries of formalized mathematics, including results about the matrix rank, the Lebesgue measure, and multivariate polynomials, as well as a library for tensor analysis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361091$722228EC-9DBF-4EC3-A933-38B6E06EFBAF","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"67e8a5ea879a7dc06c8ce830c1b61b9bb35cc48f","datavalue":{"value":{"entity-type":"item","numeric-id":7361432,"id":"Q7361432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$24D3334E-6CE4-4A3F-9A8F-F77034617B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"fe8e4266ccdb5bc1f08b1d6665bd026f17fde0ac","datavalue":{"value":{"entity-type":"item","numeric-id":7361683,"id":"Q7361683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$265B2936-50EC-4F40-883E-38F2783F50D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"3083b28cc1bd9860f5bb551df5db6c97e7a4c0c4","datavalue":{"value":{"entity-type":"item","numeric-id":7361593,"id":"Q7361593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$FCF3B39B-630B-4E91-8EF1-9D4EF9EA28A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"e0efca7872f6f2bc29e0aa800862a00f25b835a0","datavalue":{"value":{"entity-type":"item","numeric-id":7361019,"id":"Q7361019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$B1295CFD-757C-45A4-93E9-9272E5880FF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63d0e318193755aad4791a0eda98082328d97c13","datavalue":{"value":{"time":"+2016-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361091$29E2321D-8F4E-41EF-9431-284B51E8AAFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55bfd2f130650a08f0ec29cccba4d283e1371891","datavalue":{"value":{"text":"Expressiveness of Deep Learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361091$A6DF7269-78FF-41BB-8A73-824F7DDF0E36","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":"Q7361091$3D89E80F-03B3-494E-92B4-E1C674924620","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"f673541703cf8b370846af49ac60681956c1bdae","datavalue":{"value":{"entity-type":"item","numeric-id":7360791,"id":"Q7360791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$192747EF-BAD7-4645-B22D-7D96573D882F","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":"Q7361091$F5681739-3C46-4BEF-8EAF-4B018E1561ED","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"67ad3842b5fd822295eed449e0657dd23b55638d","datavalue":{"value":"32225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361091$E7EC94FC-593B-4BF9-818E-033216A5C716","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361091$DDFB4D6E-89A2-4B48-A194-58A3B5BB9AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361091$01D4019B-A317-4023-B964-AF958131F357","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$6FD32AB8-A18F-47F4-8861-9ED009980F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8d55daeff7c4288ce44d22059c68add0e43c0b42","datavalue":{"value":{"entity-type":"item","numeric-id":40280,"id":"Q40280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$318E6119-822C-4F01-8D7C-5D91B9FA8857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7ddce7f60e5a9eba6b63bd9ac700107ef640a956","datavalue":{"value":{"entity-type":"item","numeric-id":43937,"id":"Q43937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$8CEE4162-68BA-4695-BA3E-1A14C530C393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f5375f24574ef8a96b8521c09c1111611c438e4c","datavalue":{"value":{"entity-type":"item","numeric-id":43935,"id":"Q43935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$9586EC0F-61ED-43E2-9725-CBB29C9AE2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$13B838A0-83E7-4ED3-B09C-A0DCBCA9F7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$CBACEDA5-567E-4905-AB9B-8882BBDA75E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$9AE3ED20-B129-45A1-AE7F-B9B81988EF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e81311cdb14c7070472842e51d5af84de1387ea","datavalue":{"value":{"entity-type":"item","numeric-id":43938,"id":"Q43938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$06966DD0-FF53-4E74-9A87-EAFE7B0D173B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$F6E85D25-E804-4622-9DF4-E28BAEE893EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$E7E6F564-6B18-40B2-A800-728608FA2BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3835edb366b99827fd38bd45a5150add1be2e6f5","datavalue":{"value":{"entity-type":"item","numeric-id":19383,"id":"Q19383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$92717779-BDF0-4CEE-8FC0-23E520BA28EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4cbe3f1486e7fafad1f60dce21451bcc64856c3d","datavalue":{"value":{"entity-type":"item","numeric-id":54222,"id":"Q54222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$2F8CC871-E1F8-479A-8A30-00E102BE0683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"eb5bd2777888eeeb057786f45c94aa3e6d7482ae","datavalue":{"value":{"entity-type":"item","numeric-id":43079,"id":"Q43079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$357309F2-F9CE-4F83-98D9-D68A05380348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dc86c7bafee3d382b6dadd44456a8e92b14733f0","datavalue":{"value":{"entity-type":"item","numeric-id":38855,"id":"Q38855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$E5B6EE4D-30D3-46E0-93CD-A221537CE7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ea2961937aa9b623f914c94b8d7c5d78f25537a3","datavalue":{"value":{"entity-type":"item","numeric-id":33427,"id":"Q33427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$FD52FC69-94B3-4143-9B0D-2182911C8B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"305467c18c5bebe4635811e823978e1c4f64e11c","datavalue":{"value":{"entity-type":"item","numeric-id":43078,"id":"Q43078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$16AA34D5-A7A5-4328-A5B5-1C7B68BD225F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b6684518a7540ad24eb41cb7579edc9c4db623e6","datavalue":{"value":{"entity-type":"item","numeric-id":18425,"id":"Q18425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$1FD55CF9-54D4-4600-9B69-045877D8BB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ff80b41d03c65073c007c903a317be0a9c94293e","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$2EA82DCF-A81D-4ABB-86AC-F8E1D288C850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8538e7edb5814bed39cd0b655e7261f88db36dd2","datavalue":{"value":{"entity-type":"item","numeric-id":32917,"id":"Q32917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$03F11469-099F-4192-85DE-2CB2E12E4EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"997aed9b5feef629a0362cd7cf7b65d867afcdce","datavalue":{"value":{"entity-type":"item","numeric-id":27063,"id":"Q27063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361091$2C443647-C4B7-4BA3-9D89-EF9637D34F92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressiveness of Deep Learning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expressiveness_of_Deep_Learning"}}}}}