{"entities":{"Q5307608":{"pageid":7337182,"ns":120,"title":"Item:Q5307608","lastrevid":92212205,"modified":"2026-06-05T01:09:11Z","type":"item","id":"Q5307608","labels":{"en":{"language":"en","value":"On the Cauchy completeness of the constructive Cauchy reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5191420"}},"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":"Q5307608$B441375B-2412-4EE6-9B13-9E1A00783E83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6ef1e65f6b40e743e2f52f667f59578f1e56848","datavalue":{"value":{"text":"On the Cauchy completeness of the constructive Cauchy reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5307608$12C1CC3E-A761-46B2-B2C7-C2B4F9F6E411","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a500898e0777a859dfc631fb9cbdf9f32ee925d","datavalue":{"value":"1127.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307608$D6FA086A-786B-4689-A9F4-9013F11DB7EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba7d32203c7bfbebbe66cfd891119ca73c5bbe19","datavalue":{"value":{"entity-type":"item","numeric-id":408536,"id":"Q408536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307608$ADE61FD2-EEC1-4159-9BDA-133D77E79FB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307608$16DBC174-27F6-4E53-8ED4-98E5C51D6D91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9163577f23dfa5d7313f3cd3f09e1a8ac760922","datavalue":{"value":{"time":"+2007-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5307608$D67AAF99-4695-4DB3-85C4-C41670580B7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e1099e13358b11d3310b7b656c0a9762e78a6a4","datavalue":{"value":"https://arxiv.org/abs/1510.00639","type":"string"},"datatype":"url"},"type":"statement","id":"Q5307608$D9B0C8B2-CD74-4B70-84A6-776FC920C7F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307608$E1A50569-1079-43CF-AF5C-3703BF245E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a20cd59c273c000bfa7322d339734d32b8ecc250","datavalue":{"value":"26E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307608$C2C4EEC5-436E-4510-A5E3-B9B5A6EAC270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307608$F7C48A53-7BDF-41B0-AE8D-E5D0F03917F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e925c17993ae8cf35c66416373c1e71a5124f2c","datavalue":{"value":"5191420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307608$47803C57-C884-4DC0-A224-88327D3ABFF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5307608$2E137F46-B5A0-4B50-8168-9CAD2925C1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a0764a475004acf5ee7338c13d75f34b2c50fee","datavalue":{"value":"constructive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5307608$FF071BBE-7803-45DE-8651-C2B9B9D41420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce7184dac00bb9d80dd839f0c33cdcb29a31c02","datavalue":{"value":"Cauchy sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5307608$BD52F646-7299-4B5C-9089-2155A68BC11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3770fd5b77bacdd0657ec0c57ee5d79fbc28ae6","datavalue":{"value":"topological models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5307608$54D3381A-510F-4038-97B2-31D7B4E6B634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b53a905acf1801d58cc30fb0954a78fc2caf09","datavalue":{"value":"independence results","type":"string"},"datatype":"string"},"type":"statement","id":"Q5307608$F4AAF325-9747-4FD0-B447-BC72E43EA5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d08bf6d0a0e1ec922f1933eb157a3ca5f02ea91b","datavalue":{"value":"constructive Cauchy reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5307608$F866747C-5278-4B51-A229-FA67C1EF9309","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":"Q5307608$6D8927AA-8FDA-43A5-9AFE-0FED11E6FE36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"192ac61c0f6c9514c60c2bffc9cb044b518b4971","datavalue":{"value":"W2569523952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307608$964CE762-AB6A-41EC-B1A2-FD30A9E34414","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ca1ad5a27fe456694a945a44b283c828f80e86","datavalue":{"value":{"entity-type":"item","numeric-id":1000868,"id":"Q1000868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307608$B37F9A40-3B9E-4639-AC25-84AE7A2617FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307608$B8603810-CDE4-4C0F-9C2E-4C017402417E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea99245264a66f72266851ff25389c3f47c31999","datavalue":{"value":"10.1002/MALQ.200710007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307608$9803F0DB-71F4-4C2E-9856-76284B526E04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb790eaf6ccfd6c77b3afbb342f215daf2432e8","datavalue":{"value":{"entity-type":"item","numeric-id":4921444,"id":"Q4921444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba3eb11a2172a32833f85a6ab037a157364a92de","datavalue":{"value":{"amount":"+0.9429321885108948","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":"Q5307608$AA635B4C-F84F-4E81-850B-0DE33945A8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31695efdbb3d501df6b297b2556c4e3b1e15cee0","datavalue":{"value":{"entity-type":"item","numeric-id":1000868,"id":"Q1000868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc230b7c58297218898eb0e49a9a83a1f351a437","datavalue":{"value":{"amount":"+0.7795370221138","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":"Q5307608$08C947D2-9AAA-4D6C-BA79-A79A0EAC38E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a28096a8a71faece4f0dbc746e5c9558b12ff9c","datavalue":{"value":{"entity-type":"item","numeric-id":5448620,"id":"Q5448620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30f52634ebc60df24ad3acf22ae8db080e5e7a65","datavalue":{"value":{"amount":"+0.7787898182868958","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":"Q5307608$A29CFB94-FC7B-4C12-A89A-834613BF61C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcb7b032c2aa94ae358df0838a3d81d40a7a65d2","datavalue":{"value":{"entity-type":"item","numeric-id":5434519,"id":"Q5434519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ecb8d16b3d76a95a5218fdd49ebc5c1acadaae7","datavalue":{"value":{"amount":"+0.7727358341217041","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":"Q5307608$38D667C7-0ECD-46D3-9323-2BCEFD238CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd1675c288925c9040c47988b84ee57ea09c28ad","datavalue":{"value":{"entity-type":"item","numeric-id":1818591,"id":"Q1818591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d535dc7fafb935ba6d8ce2b74ded956b2636bf41","datavalue":{"value":{"amount":"+0.7715913653373718","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":"Q5307608$350469F9-A61E-4FB0-A95D-E688D3E78BA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Cauchy completeness of the constructive Cauchy reals (scientific article; zbMATH DE number 5191420)","badges":[]}}}}}