{"entities":{"Q1768266":{"pageid":1779008,"ns":120,"title":"Item:Q1768266","lastrevid":68907474,"modified":"2026-04-13T03:02:04Z","type":"item","id":"Q1768266","labels":{"en":{"language":"en","value":"CAT(0) is an algorithmic property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2145822"}},"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":"Q1768266$D7376A7A-9EDE-4759-9919-A13A6042317F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6ba68343f14876eedd1738617b5673b82441407","datavalue":{"value":{"text":"CAT(0) is an algorithmic property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1768266$4AFCA9BC-5AE5-40C6-9564-220320EBE579","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3b57e3f85556090c78bc23affde7ea660ce1d56","datavalue":{"value":"1117.52019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768266$FE6CC839-2D54-4806-8986-305DE9D4A5A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a2dad5568c1946af37d4472f443b1844427c2ff","datavalue":{"value":{"entity-type":"item","numeric-id":233942,"id":"Q233942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1768266$1082593B-74B0-4736-A81E-3A8D7C21A48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70ab787c9073b134ad5dbc9157f7bc83a250ba96","datavalue":{"value":{"entity-type":"item","numeric-id":1863082,"id":"Q1863082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1768266$01DB0143-A8C1-4C49-9A9A-1418176F7857","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b27d55f344dc6bfd48e3ff9582c04d67175a8a8","datavalue":{"value":{"entity-type":"item","numeric-id":181320,"id":"Q181320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1768266$303760F2-F090-438B-A020-D3C9278E6098","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc89be88a6076185afd90ab376d26e11d51f0fa9","datavalue":{"value":{"time":"+2005-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1768266$E5CC24A9-9230-4C61-ADD3-B2719180A58D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07ad9392225e1b85cd925a9441566161cd8c2575","datavalue":{"value":"https://arxiv.org/abs/math/0301056","type":"string"},"datatype":"url"},"type":"statement","id":"Q1768266$3285420F-07B5-44DA-8EAA-71731A3E624D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d47ff367f35ec547aa445dab9419ceedce6f3051","datavalue":{"value":"An \\(M_\\kappa\\)-complex is a connected cell complex \\(K\\) formed from polyhedral cells of the model space with constant curvature \\(\\kappa\\). Cells of the complex \\(K\\) are glued by isometries along faces. The authors prove that if \\(\\mathcal S\\) is a finite collection of shapes with curvature \\(\\kappa\\), then there exists a finite list of configurations \\(\\mathcal C\\) such that any \\(M_\\kappa\\)-complex \\(K\\) with the set of shapes in \\(\\mathcal S\\) is locally \\(\\text{CAT}(\\kappa)\\) if and only if it avoids configurations from \\(\\mathcal C\\). An explicit algorithm which determines whether or not a finite \\(M_\\kappa\\)-complex is locally \\(\\text{CAT}(\\kappa)\\) is described. The authors use a special case of Tarski's theorem stating that given a Boolean combination of polynomial equations and inequalities in \\(n\\) variables there is an algorithm which decides whether this system has a solution.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768266$61A6498A-822B-44E0-9C2D-E6DB48C1D735","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2762df744fec88c5da60f696833f02907bd4417a","datavalue":{"value":"52B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768266$CBDDC9EA-BB43-467E-BE95-114C71CFABCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f9ad2b2fd9b466ddc9ff5465d01f71109af64ca6","datavalue":{"value":"53C23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768266$1DDDE9A4-5C8F-4D63-9684-094DE43A16AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eab1c57f4c7b158bf2191a8e754d0819459c7a21","datavalue":{"value":"52C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768266$BCAFBD32-7D4E-43F9-B639-B7B57B78A39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768266$DCC699E7-39F6-45BA-948E-116B19413F88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3302cc1ac2f767923ad029967c123eb70c1fe1d0","datavalue":{"value":"2145822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768266$C22D40E3-217C-4588-B7E1-9BC6E7F4A8C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c68f728b43a5fd53b460fd7a649db6c3249f6031","datavalue":{"value":"constant curvature complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768266$13F9E9D3-4DC3-4232-B8F5-3B6D3DCD3477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e178d38657cfb61cd1d4967bad9410f3b46ca3e","datavalue":{"value":"polyhedral cells","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768266$DCF7F63C-EEF0-4041-947B-CA01274950CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de4137040c55f14dfc3cdb9ed1e1b20bdf545c25","datavalue":{"value":"shapes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768266$1005229B-D97F-4298-A1BE-CE46334CDEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"217cfe225feb0a185251e7206c5077f7316034db","datavalue":{"value":"piecewise geodesic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768266$3DFCF847-14B9-4117-8BB2-62F78611468C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"815c14342298c47e838299f0c73d9f5b48c51fc2","datavalue":{"value":"linear gallery","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768266$83622A8D-AC6D-46B3-878D-15E16A1097BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e7f1d747477726fab3a94cad7ecacc04e21646f","datavalue":{"value":"configurations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768266$DD7A4DDE-E999-4C7F-A0A4-C64773A762C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e8f48dc5302473207e9cf702b9d802744315128","datavalue":{"value":"real semi-algebraic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768266$3DB1BA4F-4A3E-41F6-8679-C7BD48D9DA35","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":"Q1768266$1CB9A1C7-2034-42E7-BEED-9D78E3EC2CFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4a6a62c7a3916c6f8adf05baf7c9f6a2181cdca","datavalue":{"value":"W3105625475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768266$8C110D31-D7A2-4341-A9E3-3DB5F50B644E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4a1961b2548441e5226813ba139134caef952ee","datavalue":{"value":"10.1023/B:GEOM.0000049096.63639.E3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768266$66ABAE0C-D03E-46B2-8410-FE84F02B0488","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1e2651657d22c017f723b3abfa2bfd4f7ae830","datavalue":{"value":{"entity-type":"item","numeric-id":4804812,"id":"Q4804812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb73519722fe0d202df8d3fbfa5e6efb2e2c0107","datavalue":{"value":{"amount":"+0.7756071090698242","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":"Q1768266$FB4C4593-2680-4CFB-8BD6-A19E43E813CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8268599df23017bf43a216bdcf62f55eb2628c4f","datavalue":{"value":{"entity-type":"item","numeric-id":2931158,"id":"Q2931158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d8190650cff7d8ef8805e550b7ed18feda17912","datavalue":{"value":{"amount":"+0.7610457539558411","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":"Q1768266$D77C2DC6-2FB1-4A9C-A01F-F411F797A10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0859d5ce8aef73a2fab95d32820dcc055ed1802e","datavalue":{"value":{"entity-type":"item","numeric-id":714903,"id":"Q714903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fab4f8895c6edc3433f17dff293d034de221ddb","datavalue":{"value":{"amount":"+0.759081244468689","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":"Q1768266$1FA324C1-BB27-4421-81F6-CCEB7D286095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"124e1a9cc5c454c551bd61dbd28f831c124f6c1c","datavalue":{"value":{"entity-type":"item","numeric-id":651054,"id":"Q651054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb3947fcc178f65c97b5601f160e4477718b52e","datavalue":{"value":{"amount":"+0.7552416324615479","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":"Q1768266$B12F1AAD-27CC-4A7E-9581-1DDE1E3F92F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"783bafec7194b1835ed1deb4149438b85f10ddfb","datavalue":{"value":{"entity-type":"item","numeric-id":4720067,"id":"Q4720067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a02c728a18649526c551fa0b0f037b1a313fe8","datavalue":{"value":{"amount":"+0.7284006476402283","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":"Q1768266$87CD47A6-7014-4986-A451-DB27A0CFE27E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CAT(0) is an algorithmic property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CAT(0)_is_an_algorithmic_property"}}}}}