{"entities":{"Q40508":{"pageid":40564,"ns":120,"title":"Item:Q40508","lastrevid":105429269,"modified":"2026-10-09T10:11:39Z","type":"item","id":"Q40508","labels":{"en":{"language":"en","value":"Cauchy"}},"descriptions":{"en":{"language":"en","value":"AFP entry Cauchy"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"6cf8d8bca169fb41852936541b585bc8e8e98f30","datavalue":{"value":"28794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40508$EA5C8478-674D-47A7-857B-3F805FA20B17","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":"Q40508$449A3E71-4039-4987-820B-98F7274EF69A","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"055a4dd9235a2d4d6de734fc2a333e867afe1262","datavalue":{"value":"https://www.isa-afp.org/entries/Cauchy.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40508$215479C5-01CB-44CA-BA1D-1C6E6775560B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40508$3BA375ED-C41E-4475-BD72-7FC3C209DA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdcc80d920f5e4d163108380bb0c7de24bca08b4","datavalue":{"value":"26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40508$F2D36B7D-514F-4860-84F9-31441C2C66B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40508$E29037F8-B010-4C68-8ECB-24BF5B58D0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40508$35D0AA44-6A6E-4C91-B60B-F5BD69D97B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40508$6C631E79-E512-4E5D-881C-694C2018924D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d4eb0d29216fbb2a22780c290dec72dec38a1c5e","datavalue":{"value":"26.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40508$F82F8D56-F7A3-4BB5-B4E5-38D465355ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40508$DC9E0CBD-A935-4B65-9098-C05FA46A33AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fb7b2d196cb181e838b342f41804d522dff44830","datavalue":{"value":"94.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40508$D36390C3-0222-4B38-833B-A1C563FAB2A0","rank":"normal"}],"P1458":[{"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":"Q40508$E871124B-C1EE-4259-A1F3-95B4AA778D8B","rank":"normal"},{"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":"Q40508$6B54A32B-3337-4D2B-813B-B066BD2EBC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2ded5a481ece08049848bd1edb3f9afa21f0df2f","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40508$B5B210BE-2DBF-4D3C-ABCE-C9CC7249FC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f22fcdfa3e6de02e097cdbf7746000878fba4b98","datavalue":{"value":{"entity-type":"item","numeric-id":19033,"id":"Q19033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40508$82254E74-F5A1-4743-A536-E7ABCA5ACB50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3437a89533558b42930932023297e5fae808d462","datavalue":{"value":"https://isa-afp.org/entries/Cauchy.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40508$6D1C3A7F-7D7D-4562-AB23-E89FCD3A5F92","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"c5da58ecbdd1589b3d9f7baa154a4c9e48b85382","datavalue":{"value":"Benjamin Porter","type":"string"},"datatype":"string"},"type":"statement","id":"Q40508$630AA87E-B642-43D0-B228-B79F6DCCE82D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d8dc42dca6ca3bc702e296b08bbd1d39879aca31","datavalue":{"value":"This document presents the mechanised proofs of two popular theorems attributed to Augustin Louis Cauchy - Cauchy's Mean Theorem and the Cauchy-Schwarz Inequality.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40508$73E4F414-02EE-4BBB-BD6D-6AC6BFB20BF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de2c241dab1bc032daeccce774955c02b59084cd","datavalue":{"value":{"time":"+2006-03-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":"Q40508$C84BFC53-6A0F-406E-BE1A-249743E0ECD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18a850b4aa5662f53f4da614b15f4431f70676a4","datavalue":{"value":{"text":"Cauchy's Mean Theorem and the Cauchy-Schwarz Inequality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40508$09E4F906-7261-4087-8D9A-89C9457D2B5C","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":"Q40508$0ABCDEA1-FAF8-419B-85C2-7F2F181C3D09","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":"Q40508$22402E56-37C1-45B0-918D-8B12ECA24946","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cauchy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cauchy"}}}}}