{"entities":{"Q456972":{"pageid":458739,"ns":120,"title":"Item:Q456972","lastrevid":61977153,"modified":"2026-04-11T02:56:09Z","type":"item","id":"Q456972","labels":{"en":{"language":"en","value":"The simplest axiom system for hyperbolic geometry revisited, again"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348345"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456972$9917A04A-0594-4BDA-8888-A1A701F2E596","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00fad26717553b6780d6f95f054d1693df0ac49b","datavalue":{"value":{"text":"The simplest axiom system for hyperbolic geometry revisited, again","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q456972$F5302C1A-FF9C-4FF0-8629-F23150688081","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17997d79cac767b17e8ec5f4b30338b5d3c2ab33","datavalue":{"value":"1301.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456972$1565FB3E-DE38-471D-A919-9D36204616C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"263b3b42f52ae45efd16753ae3b4c5178f9c0385","datavalue":{"value":{"entity-type":"item","numeric-id":456971,"id":"Q456971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456972$893D1946-972B-4B8A-BCAD-1AAB5AA1F7E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456972$5151F22D-5E49-4190-B919-DE53F6612A2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q456972$1C5617B5-7399-4B04-9866-6C95ECD93F5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456972$7CDDA90E-E7F7-4976-ADFD-B78CA5C6AA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456972$E72C6FFC-A736-4CB9-A84F-2234369643E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"454ba8f5316b3a6de5757c875749b0780a80e377","datavalue":{"value":"51F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456972$99D3C4FB-96BA-42BB-B7E6-E8C09B4EACAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0166df3f2ef85a87e85fad615c3f5cc3979e4161","datavalue":{"value":"51M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456972$F3CA8D43-4FF2-4B7A-816B-083BA9DED982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"76eeb8ca6d513459649660ddadbab16a4487389b","datavalue":{"value":"51M09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456972$D6361BDA-C5C2-4A16-8AD3-9D9AADE3971F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f09aa2e716ec7994a7cd5a92df375362b1eb2bf5","datavalue":{"value":"51M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456972$B6FE4A74-CDE4-4D68-97F9-2858A43E621A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38b94018d6c69b139e7099850fca787b81fe69e4","datavalue":{"value":"6348345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456972$F3FA780C-92FE-4B26-A1E2-A3D1D3B08250","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04a7d05b34854693a684c95ef34e64693fd9fa17","datavalue":{"value":"hyperbolic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q456972$5FE75B0A-5E71-47E6-A005-8494D85319FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q456972$A60CC48C-31EF-42D5-BFD3-C2868B800352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fde1a62c965eb5d5558b3a51e1bda1f4ce6cc7e9","datavalue":{"value":"absolute geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q456972$3DA82CA1-630C-4F63-B423-3041BF60D81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb3351f4dda5308a2cba4aeec5654a90015a9b2","datavalue":{"value":"independent axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q456972$BC830310-BF0F-4D47-AD35-64676C258479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da7b9cfe5a574c35ca2db4d2ffa7e8a53e220df9","datavalue":{"value":"dependent axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q456972$9D9A74D6-605B-445F-8E55-0B5DCE904165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75b42b78dbb6564c3024267b7d2634512fa5c2d9","datavalue":{"value":"proof analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q456972$8A9D74F6-C20D-4CA4-A00D-42C08BF118E6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3eaf07f768ca8be71662e20433e73a8eb3a36f15","datavalue":{"value":{"entity-type":"item","numeric-id":21140,"id":"Q21140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456972$9993A1AD-B1FA-4026-83BF-A8A6289424AE","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456972$3D13F420-BC18-49D0-8023-FB419908A002","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3530657b5bf0e9a61d6f84d8aaf92a2bd5eede7","datavalue":{"value":"https://doi.org/10.1007/s11225-013-9509-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q456972$63DAE815-6F54-43C4-9DD6-05C746020D79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a568e9f4f0b22e16c9f7a7a6263a96bbc11ac95","datavalue":{"value":"W1988732149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456972$A3C6B1ED-378A-4099-B108-A766C57F1AE9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"954a86808533016aa80c3bca84d678fbd2199711","datavalue":{"value":"Q114017386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456972$FA046545-8706-4534-9E14-00FBE038A884","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"040458b2758f4550853daedb9000aeddf428ff62","datavalue":{"value":{"entity-type":"item","numeric-id":1118574,"id":"Q1118574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456972$5C8E6576-D34B-43EA-99F9-05EE82627639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97c3b750ec075bcf8b770d2e6d8c3da3906ce0f9","datavalue":{"value":{"entity-type":"item","numeric-id":5748211,"id":"Q5748211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456972$8E616154-B6DE-4F48-91AC-C97159306DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afa5d7348e9163d56d821bfc9da417e8e3e5037f","datavalue":{"value":{"entity-type":"item","numeric-id":539156,"id":"Q539156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456972$0E0551EF-A05A-4701-B615-B408333681A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6aee6d8b4393c9929473c12710beb6f8b90e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5542564,"id":"Q5542564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456972$801A244E-C4C3-49FE-A452-F7A94F5B533C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f800380059ed8562c24eb7bd9b31f582c90f2a","datavalue":{"value":{"entity-type":"item","numeric-id":4074001,"id":"Q4074001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456972$BAE23135-D9D7-4D65-9007-32DD9220C4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f62264add13b34e262b1c641881d5726c895f30","datavalue":{"value":{"entity-type":"item","numeric-id":3267805,"id":"Q3267805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456972$7C412572-851B-4C91-83C3-A7E7CBBEBF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b13ca39ef78e37b93e841a7352af0085ae2fc2d","datavalue":{"value":{"entity-type":"item","numeric-id":3268764,"id":"Q3268764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456972$17C31E0E-779E-46C9-8949-BF2E19AC8176","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3a115dbb258c4e87a1bd5d2db1e10b7fdb0fce5","datavalue":{"value":"10.1007/S11225-013-9509-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456972$8D90D6AF-FDD6-46F4-BB79-AA079DC933D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"423159742230888c657810bc60fc1df84bc01b3f","datavalue":{"value":{"entity-type":"item","numeric-id":539156,"id":"Q539156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c8b7dac8b3cc931367348a193fee2048cb89ad","datavalue":{"value":{"amount":"+0.8568938970565796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q456972$2807126D-D480-4122-9508-86452E335112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"246fdc6b8f0b260ef28e1a86909452c8daa4901c","datavalue":{"value":{"entity-type":"item","numeric-id":1770595,"id":"Q1770595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d0255fa5283be1f29b5da32f31d49086f55f88","datavalue":{"value":{"amount":"+0.8414655327796936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q456972$8015D3E5-227E-4592-88E9-2E75E7AB44CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8241bed4128a745cf2ae1f159da947f9471d1f5","datavalue":{"value":{"entity-type":"item","numeric-id":5418677,"id":"Q5418677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffac494956082d16d34ddd03de9fed62cccd4428","datavalue":{"value":{"amount":"+0.8123595118522644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q456972$BEE7AE85-9D88-4AA7-9147-5B4BAD9FD144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e423745456eeb0c3cef9eb3fd98e8161acb28325","datavalue":{"value":{"entity-type":"item","numeric-id":5482811,"id":"Q5482811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba10f89108647eaea503a14f28bc910d702390f0","datavalue":{"value":{"amount":"+0.811896562576294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q456972$67B3D2C4-EBD6-4DB3-9A27-2C44A7D2FD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89923aa93a06c0b30a6e2a30c3cb60c2d6e4c0d2","datavalue":{"value":{"entity-type":"item","numeric-id":6073705,"id":"Q6073705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d9c5176a5fe571f449d0cb241ccb3e1687e3758","datavalue":{"value":{"amount":"+0.8049721717834473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q456972$883C40B7-E406-43F4-BBC4-DE2878E2721E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The simplest axiom system for hyperbolic geometry revisited, again","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_simplest_axiom_system_for_hyperbolic_geometry_revisited,_again"}}}}}