{"entities":{"Q2003502":{"pageid":2014244,"ns":120,"title":"Item:Q2003502","lastrevid":82507688,"modified":"2026-05-06T21:03:55Z","type":"item","id":"Q2003502","labels":{"en":{"language":"en","value":"Completeness: when enough is enough"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7077598"}},"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":"Q2003502$BBCB2F11-503F-49A9-9F40-000D1DA61099","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c309d671d54d8746a5686c721ee69b1858c70e28","datavalue":{"value":{"text":"Completeness: when enough is enough","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2003502$18B2F2F0-8459-419B-9EFD-227B147A6890","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7d64d1e4db57c70100cbb5cf5160a6223546bec","datavalue":{"value":"1448.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003502$BA74CD44-F785-4539-B5B5-276023B6FFD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed1f9795c0d114d87eac7fe9e6e5d0c69ddacb3f","datavalue":{"value":{"entity-type":"item","numeric-id":926185,"id":"Q926185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003502$C86BCAE0-BCBC-476B-ADDC-35898E12D1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8256f57e609f901244eda2b0630d8c8976c53c72","datavalue":{"value":{"entity-type":"item","numeric-id":283110,"id":"Q283110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003502$5A4F12DD-43CF-4952-80EC-DE746A2FA4E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4add3c5163a5eee9bbe20dc8a36386ab43b68fd6","datavalue":{"value":{"entity-type":"item","numeric-id":168490,"id":"Q168490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003502$3C52A7EB-D49F-4CA9-AA97-5250030F69B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19203015c5ae8999881faf8ed980e2f57e43af95","datavalue":{"value":{"time":"+2019-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2003502$0070FA96-C0CD-4064-B379-053D92E8FB2E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5135d78b6cf953750479383dbb225cde6345699b","datavalue":{"value":"Summary: We investigate the notion of a complete enough metric space that, while classically vacuous, in a constructive setting allows for the generalisation of many theorems to a much wider class of spaces. In doing so, this notion also brings the known body of constructive results significantly closer to that of classical mathematics. Most prominently, we generalise the Kreisel-Lacome-Shoenfield Theorem/Tseytin's Theorem on the continuity of functions in recursive mathematics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003502$BC00DB84-A745-491C-A3A9-FE9E70800D8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003502$0C02763F-2697-4387-9E9F-9175CCBBB428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003502$B16CE463-C71E-4DA4-BC1A-178075AB6634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003502$23FB696F-0772-429F-A236-A61AFC82396F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003502$160B962C-75EE-4FE0-A169-C4AE41DFB9F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9342b82832cbceb0b554c2783df0c5bca2fcbb7","datavalue":{"value":"7077598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003502$F879C4A6-CC1F-43DE-9AA6-24D935DDF716","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003502$9686CD5C-0DDA-43F1-873A-524FB9B2493C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929dbb98303de67ed78e9b5b31847efe3d08d1e6","datavalue":{"value":"computable analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003502$9B0501E4-A8FD-4B53-9134-334F9466EDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003502$97283642-CC83-4F9A-8081-211644A79D74","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":"Q2003502$0BC6A892-E17A-4BEB-AAE9-7E4250EA1010","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003502$AFD640FF-419A-42B8-BCDC-5D413AA2A4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3327604d0faae589baacb3422ee48df44cd74c2a","datavalue":{"value":{"entity-type":"item","numeric-id":752432,"id":"Q752432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003502$74A4D481-C8BC-44B0-A9B1-97C59C8072D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"627cff84a5e938b182cb07719714bfe28bea7164","datavalue":{"value":{"entity-type":"item","numeric-id":4490238,"id":"Q4490238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003502$2C81CC02-C87F-462F-87D3-3CD221696F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef811fe82014afd549ae4c462f71e15c5bd9450d","datavalue":{"value":{"entity-type":"item","numeric-id":850934,"id":"Q850934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003502$22546383-5CB3-46E9-891E-EA9AF5335B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d22e788fd84de2d1fa4f8204b146532ec1f7ba","datavalue":{"value":{"entity-type":"item","numeric-id":5740670,"id":"Q5740670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003502$62B4B45E-BB94-466F-A749-B0F7C907EB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc608b09c28f60433a10c750df6823f35a318ee7","datavalue":{"value":{"entity-type":"item","numeric-id":5109210,"id":"Q5109210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003502$1145C982-2002-4D61-9AC1-0F11A19D37DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4109ff4467834f07544186f8303188f6a952064","datavalue":{"value":{"entity-type":"item","numeric-id":3243266,"id":"Q3243266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003502$3B6CAF8D-F7DE-4164-8451-E4F3B39644BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e74c1d20fcd4ede1abda70b7b8ca25fc2f65688","datavalue":{"value":{"entity-type":"item","numeric-id":3984410,"id":"Q3984410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003502$F308354C-A8AA-4062-9BE8-7BCDE80C1763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50b6e0ecadbcb95040a2ce5ebc7af0971dcc29fb","datavalue":{"value":{"entity-type":"item","numeric-id":4032642,"id":"Q4032642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003502$ABA8D49D-880C-466C-9607-B0C5CA28A85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a557a3e8870fde723d251e86a1ad53b14c0b2c66","datavalue":{"value":{"entity-type":"item","numeric-id":4520530,"id":"Q4520530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003502$E63963F1-C68F-45DE-A2D1-DC185C5CED85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003502$5D35393A-DCB6-45F9-82FB-0D78B0A89AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"133a9724f4fc4ff083e53404a57ff511d72671ef","datavalue":{"value":{"entity-type":"item","numeric-id":4916541,"id":"Q4916541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003502$EF5A8DA9-3857-491B-B21D-9459EB72A3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f648c083ad9d6d540297a2fc14310ba03d59571","datavalue":{"value":{"entity-type":"item","numeric-id":3322336,"id":"Q3322336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003502$8D93AC15-F3C7-49AB-9118-9C786D89CFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae6bef2e815c822342a89ff9e4c6c993ae2456c0","datavalue":{"value":{"entity-type":"item","numeric-id":3030826,"id":"Q3030826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003502$973D1497-A4F5-4A0F-9A10-6250F83A1386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751d2f0897bee48f9e1faec6655639db947d61e3","datavalue":{"value":{"entity-type":"item","numeric-id":5505139,"id":"Q5505139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003502$937B45E4-AFEF-4E96-A8F0-1123610F3E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd849ab6c6020cb23b13d8e4615af8e4c338c263","datavalue":{"value":{"entity-type":"item","numeric-id":5737081,"id":"Q5737081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003502$ACE49323-D014-4567-B07F-E0CA6AB47F84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"071b426e4829183ad8545f4e0a442202fc3b3cd2","datavalue":{"value":"10.25537/DM.2019V24.899-914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003502$4EFA1A35-66B2-40C9-93B7-E5A4CD7F4259","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"768022bb62ec250d634887a7e9a09b9370dbe25d","datavalue":{"value":"bafkreibzfcmq4r33zz6w2fnsm6zi2zxqyjl5r7wdrejrnhkdvnm52eojye","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003502$601AA26C-300B-47FB-8251-360BAAB4B0B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237393787331998d6fb6aa78acab8e55c52461db","datavalue":{"value":{"entity-type":"item","numeric-id":4032642,"id":"Q4032642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a46228f7e3f7fcbb71d5215bf4bbc07f201050d","datavalue":{"value":{"amount":"+0.7751824259757996","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":"Q2003502$56757A20-15A3-438E-B0CA-3DDB272634A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e3b2c39e41aead81ebf88a2f173d1c6d70f56e","datavalue":{"value":{"entity-type":"item","numeric-id":3984410,"id":"Q3984410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966138118effc3f8915e495bf74363c9c8920b09","datavalue":{"value":{"amount":"+0.7732535600662231","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":"Q2003502$9EE6965F-4658-4BB8-9E71-38B173DEFB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffb1d4c7a8427c1dbbc621d058b0887d693d6a24","datavalue":{"value":{"entity-type":"item","numeric-id":3137152,"id":"Q3137152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d50519e70807c5fa7594716832cf53f5c3bdd0de","datavalue":{"value":{"amount":"+0.7672038078308105","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":"Q2003502$40D42399-7E77-4376-95DB-63E31367247D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f417086eb07abcf580a1960fc5567b55e143add9","datavalue":{"value":{"entity-type":"item","numeric-id":3148703,"id":"Q3148703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54d5da3528f1f3ae8508ad97b24d41da7c89a1d2","datavalue":{"value":{"amount":"+0.7582752704620361","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":"Q2003502$37DA5721-0BE0-4BC4-BBE7-19FF1CAB8A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78da769e990f42aaf4c5732ae7d7e64095d63bd7","datavalue":{"value":{"entity-type":"item","numeric-id":5425372,"id":"Q5425372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54d5da3528f1f3ae8508ad97b24d41da7c89a1d2","datavalue":{"value":{"amount":"+0.7582752704620361","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":"Q2003502$B05AC51C-C940-4DFE-84C0-DA0AA57BCEA3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003502$8BB57345-08F1-4E05-8AE3-B1E5CA820865","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness: when enough is enough","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness:_when_enough_is_enough"}}}}}