{"entities":{"Q7361783":{"pageid":31520888,"ns":120,"title":"Item:Q7361783","lastrevid":105369056,"modified":"2026-10-07T13:37:41Z","type":"item","id":"Q7361783","labels":{"en":{"language":"en","value":"The Cartan Fixed Point Theorems"}},"descriptions":{"en":{"language":"en","value":"AFP entry Cartan_FP"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a443596d64219dc88a529e07c7b87be95fb61c54","datavalue":{"value":"https://isa-afp.org/entries/Cartan_FP.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361783$A0370714-A06E-412B-A387-82E8F1624211","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d64657497f836ca9759a26855d3a3e0d86319c6","datavalue":{"value":{"time":"+2016-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361783$4497DB03-FD48-43F5-A67F-3267E35732B5","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7479166f83b44c07c9a493479bd3c0ed2c72ef23","datavalue":{"value":"Lawrence C. Paulson","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361783$65097BD1-5223-4D33-8D15-9B0D8E180326","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b592bf4227a0f10421eac7d077e4f598326feb98","datavalue":{"value":{"text":"The Cartan Fixed Point Theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361783$EE1947ED-549D-4587-A071-65431576A82E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"16d8fb9cf6b0290c65dd65e8d1a1cb13224e8862","datavalue":{"value":"The Cartan fixed point theorems concern the group of holomorphic automorphisms on a connected open set of C n . Ciolli et al. have formalised the one-dimensional case of these theorems in HOL Light. This entry contains their proofs, ported to Isabelle/HOL. Thus it addresses the authors' remark that \"it would be important to write a formal proof in a language that can be read by both humans and machines\".","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361783$C54DF3F0-602E-4D6D-A8EB-DBACCD1D87DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4029af697f1818a0257893760659714fdfd1e71","datavalue":{"value":{"entity-type":"item","numeric-id":438546,"id":"Q438546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361783$35C7A5CD-43BA-4CB0-BAC3-7ABF8446FE61","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":"Q7361783$968AFDF7-F36E-4E4D-A89B-E94C3526747A","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":"Q7361783$1F633B4D-E4E1-49DA-B488-BD79F6094EAF","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":"Q7361783$2DDDCDC9-7A3B-4A90-8B0C-05B422D1A700","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Cartan Fixed Point Theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Cartan_Fixed_Point_Theorems"}}}}}