{"entities":{"Q7361468":{"pageid":31519943,"ns":120,"title":"Item:Q7361468","lastrevid":105366698,"modified":"2026-10-07T13:36:42Z","type":"item","id":"Q7361468","labels":{"en":{"language":"en","value":"Cauchy's Mean Theorem and the Cauchy-Schwarz Inequality"}},"descriptions":{"en":{"language":"en","value":"AFP entry Cauchy"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3437a89533558b42930932023297e5fae808d462","datavalue":{"value":"https://isa-afp.org/entries/Cauchy.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361468$8859F137-A975-4932-88EA-A41249F24302","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":"Q7361468$E48E1B8C-F1FF-4334-9F82-59BE2CB00612","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"c5da58ecbdd1589b3d9f7baa154a4c9e48b85382","datavalue":{"value":"Benjamin Porter","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361468$4DDD040B-7331-4892-AA6F-CC4AD0F2564C","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":"Q7361468$69BB979D-8D18-46E1-AC22-BA7EEC771177","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":"Q7361468$31716A23-6C8C-44EC-85D9-535651D7937E","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":"Q7361468$C67A8F8E-499A-448F-902D-35D4E8C7B13D","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":"Q7361468$92F531E8-BEA1-4EF2-9C15-9C28B696AED2","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":"Q7361468$065D3820-E0B4-424D-84DC-C69EFFB62889","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cauchy's Mean Theorem and the Cauchy-Schwarz Inequality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cauchy%27s_Mean_Theorem_and_the_Cauchy-Schwarz_Inequality"}}}}}