{"entities":{"Q7361445":{"pageid":31519874,"ns":120,"title":"Item:Q7361445","lastrevid":105365897,"modified":"2026-10-07T13:36:19Z","type":"item","id":"Q7361445","labels":{"en":{"language":"en","value":"Poincar\u00e9 Disc Model"}},"descriptions":{"en":{"language":"en","value":"AFP entry Poincare_Disc"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee3cd581ab4aee2c7c3560725e967a52ac8c6904","datavalue":{"value":"https://isa-afp.org/entries/Poincare_Disc.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361445$D59C01B1-A99C-42B6-BC51-DFCB98A2AD69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cac9a915e77aced7748899892aa9db4ed0b653c7","datavalue":{"value":{"time":"+2019-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361445$CCA5435F-67E8-42AB-BBA1-A821BC7E1E47","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"dab7cfd0f8208f6e6dc4639ba45a30aa2684b25f","datavalue":{"value":"Danijela Simi\u0107","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361445$2E633EBC-53C8-47B9-997C-A12B74CA3EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"0e4fb94c1160efccb70143a2320bfed556de9d2a","datavalue":{"value":"Filip Mari\u0107","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361445$C89AB4B3-F70C-4EE5-B6E9-D20D1EE0F6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"fddaefeb298b230dc15881f45258e53f0d74a54c","datavalue":{"value":"Pierre Boutry","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361445$92FA6EAB-3608-4C7D-83F7-65150DE0AAE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c914e02286a8f41f5e488bfab5786af41d946f7","datavalue":{"value":{"text":"Poincar\u00e9 Disc Model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361445$C900B76C-2B8C-45EE-9AD5-EC35F90B3EDD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bd159bfcd784e7c88bf254cfe034a3bc18cb4b17","datavalue":{"value":"We describe formalization of the Poincar\u00e9 disc model of hyperbolic geometry within the Isabelle/HOL proof assistant. The model is defined within the extended complex plane (one dimensional complex projectives space \u2102P1), formalized in the AFP entry \u201cComplex Geometry\u201d. Points, lines, congruence of pairs of points, betweenness of triples of points, circles, and isometries are defined within the model. It is shown that the model satisfies all Tarski's axioms except the Euclid's axiom. It is shown that it satisfies its negation and the limiting parallels axiom (which proves it to be a model of hyperbolic geometry).","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361445$8B5BCA95-4338-40A7-9B96-9D34AA3AF119","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c053e3d9e6beae6c3dbd6ebcc10a85ef46ed5c1","datavalue":{"value":{"entity-type":"item","numeric-id":2354913,"id":"Q2354913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361445$C987D076-5BC9-4F0F-BF17-6285EDB26791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b12da2f021aea8e28c55f2d156877a2da05afde3","datavalue":{"value":{"entity-type":"item","numeric-id":1796767,"id":"Q1796767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361445$554BCB05-6C13-410A-B9C1-C015F3E05F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9af5da92746c3c251ca633c42bd822e66e49caad","datavalue":{"value":{"entity-type":"item","numeric-id":1796768,"id":"Q1796768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361445$FBF8A45C-18DA-4AD0-94A6-38D92ECAF110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc51dc65fa65404dbabaa6bc6cbd3c4300e6a71","datavalue":{"value":{"entity-type":"item","numeric-id":3943557,"id":"Q3943557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361445$90EC1804-A762-4C19-8062-60ED77A2D91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8549a72adcf761e26ac06f668c8502d7f581da97","datavalue":{"value":{"entity-type":"item","numeric-id":3678266,"id":"Q3678266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361445$9B800D29-DA7B-4060-9CA0-E5063A91B2E7","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":"Q7361445$6E9F6503-C5C7-467A-AA81-D9D57C3013BC","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"1ef32c4b17fca824f01a44c85ca7c4d3864b5544","datavalue":{"value":{"entity-type":"item","numeric-id":7361828,"id":"Q7361828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361445$645D267C-9180-49FF-A899-357AF6F4D47D","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"d75ba9426f5726a5b7c54c54aebad10c3a3c7f9a","datavalue":{"value":{"entity-type":"item","numeric-id":7360826,"id":"Q7360826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361445$46CDE5AD-CCC9-44D9-96D3-F03CA028EC97","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":"Q7361445$3CA38B69-3291-408D-9FC3-A51BCC7D91A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Poincar\u00e9 Disc Model","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Poincar%C3%A9_Disc_Model"}}}}}