{"entities":{"Q5973402":{"pageid":12561047,"ns":120,"title":"Item:Q5973402","lastrevid":105426845,"modified":"2026-10-09T10:06:18Z","type":"item","id":"Q5973402","labels":{"en":{"language":"en","value":"Poincare_Disc"}},"descriptions":{"en":{"language":"en","value":"AFP entry Poincare_Disc"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"f498e4a8e820ceef40112dbdd2713134c23b61cf","datavalue":{"value":"42011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5973402$967C108B-7EDB-4BA9-9EE9-5434B6B4B33A","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":"Q5973402$F64864C6-7BC0-40BC-A6DE-7239CD231ECA","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"888a7977c7f56ccaf6a83a00d9ad86799a1129ea","datavalue":{"value":"https://www.isa-afp.org/entries/Poincare_Disc.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5973402$F67AA9E0-B7E8-41A9-83D9-64EA46B24470","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c42d8309659ef226cd875765a3c9064bb7558782","datavalue":{"value":"20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5973402$B02C03D3-91E8-43A8-B226-5D8FDC8F5C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"389057ea232b6d266cab69038163241bd07104b6","datavalue":{"value":"51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5973402$80D9A029-A0DC-43F0-8AED-844C59EBC602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5973402$B873098D-DA96-445C-91E4-EFADC889AEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"70815976aa44d316576d629b9a9b2ae7fe77d360","datavalue":{"value":"83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5973402$9D061F79-0141-4A9D-A722-1926DD316E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3da49e22ab941785bcf8ed6f617d6a2bf876616","datavalue":{"value":"51.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5973402$E5CFEF25-ADF7-46A7-9AC4-408590E1FED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5973402$3BCE257E-ADE8-44B6-8C43-CBB1F0353ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"197ec4a8fcea4dfc41938648ab01976d4bc91c74","datavalue":{"value":"83.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5973402$66DA08C0-2081-4BD3-96FB-67B3EBA6DA3F","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4bb83da8f3c410669768188669cdc62401e4bcc1","datavalue":{"value":{"entity-type":"item","numeric-id":43953,"id":"Q43953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973402$AA943601-ACA1-46CF-AE10-F21EDD0F014F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e4322bcc6a6ab94523ba646c4d7d2ce5da101c15","datavalue":{"value":{"entity-type":"item","numeric-id":5974752,"id":"Q5974752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973402$4765E56A-435A-4B5F-80E9-6BA262BB9EA6","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":"Q5973402$A2F52910-3264-471E-91AB-8DFCB5B7E5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973402$B5FE060E-9C84-4DA4-A573-200C6FDB0522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973402$36F2C18D-6949-4FA6-8EB8-07A7359A7803","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":"Q5973402$D3881AF4-DF0A-4912-B2BB-2EEECEBF5684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973402$F3CF0BE7-1FF6-4B9F-9D80-DBFACF4851F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"18e15e946a9b8db60c88d8c0a9a054a3d76ac633","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973402$4D40E08E-E8D2-455A-A7E9-94A71D992180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5973402$F3B50436-AF90-4BAE-ACEC-E9F7AB4A686B","rank":"normal"}],"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":"Q5973402$0F27DDD0-A113-456D-B92A-14054D7DED65","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"dab7cfd0f8208f6e6dc4639ba45a30aa2684b25f","datavalue":{"value":"Danijela Simi\u0107","type":"string"},"datatype":"string"},"type":"statement","id":"Q5973402$894C3607-B568-422B-BD2F-613D332FA9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"0e4fb94c1160efccb70143a2320bfed556de9d2a","datavalue":{"value":"Filip Mari\u0107","type":"string"},"datatype":"string"},"type":"statement","id":"Q5973402$52B07860-2E1F-4FB6-907F-8698DD6A9C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"fddaefeb298b230dc15881f45258e53f0d74a54c","datavalue":{"value":"Pierre Boutry","type":"string"},"datatype":"string"},"type":"statement","id":"Q5973402$B3204A4B-E9C6-4B8A-8741-4113F8B12F84","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":"Q5973402$A900A796-E39D-4FDF-8BC0-386E3424FA7E","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":"Q5973402$E7BB98F8-E687-48F0-954F-6F0E8CEA46D6","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":"Q5973402$0DD05C12-47A4-429C-98D8-D80D9E7139CB","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":"Q5973402$129EF477-A972-471A-A2A0-54C2023B16F9","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":"Q5973402$0F50F231-4449-48D9-8E2A-30190AF2F549","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":"Q5973402$6B45E367-173D-404F-8851-C857843E3777","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":"Q5973402$49E3F991-3636-4167-9FB8-D5679BADBD18","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":"Q5973402$38B96C3C-46F7-4367-B271-23B91B2E43D9","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":"Q5973402$7106345B-D6BC-422E-879C-FE8FFF8CF2C9","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":"Q5973402$AC05229F-1256-4C59-85AD-94CD5A0349D9","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":"Q5973402$77AF65FE-7B04-4E31-BEAF-2A8292E9768A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Poincare Disc","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Poincare_Disc"}}}}}