{"entities":{"Q4921444":{"pageid":6951026,"ns":120,"title":"Item:Q4921444","lastrevid":51712715,"modified":"2026-01-19T15:30:58Z","type":"item","id":"Q4921444","labels":{"en":{"language":"en","value":"On the Cauchy completeness of the constructive Cauchy reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6162044"}},"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":"Q4921444$932F3686-32D9-4F2C-AFA7-E43C19267ED0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba0ace08b51710eb918e8babd7fad41b394e437f","datavalue":{"value":{"text":"On the Cauchy Completeness of the Constructive Cauchy Reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4921444$A2EB6BA8-9A87-487E-8B57-51E7487A6FDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81d38bcd5ff4d4942cb368e391f2ad8514d408e8","datavalue":{"value":"1262.03126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921444$86DF4EC2-5419-4679-A8C7-9C5865EB6469","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":"Q4921444$BB42D5BA-1515-40F9-980D-542B7F119519","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921444$907AB3FC-820D-4114-9C01-F480F5C9BEBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bcee510111679fcd7197118580cf67e59ca48dba","datavalue":{"value":{"time":"+2013-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4921444$9C1EC8DE-71F2-45A7-AE1A-1C062B914CB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921444$21FF2986-67F4-4D04-A2EA-9E4C5185413B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921444$EB046DF7-77AA-46A7-B15D-D15A628D10C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921444$BA18BA22-A681-4E66-8B0A-DC960D75CCF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a8aea7e85cfc178fa9d729d674e59e5ace28dd1","datavalue":{"value":"6162044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921444$A55A8212-2880-46C5-99C1-EB8F85EF0193","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef75c62d176f5c7fc9dd94bf906802dc789fb8b4","datavalue":{"value":"Cauchy sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4921444$FDE1AB74-9255-4CE2-B0AC-37420D140316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"243cbfda72384e43e914f90157009eb66b0257e1","datavalue":{"value":"modulus of convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4921444$996F32D2-E2E7-4CE4-8578-40D1AF82D3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e9e18264a324630ab056534b18c56c3a0c0c0","datavalue":{"value":"intuitionistic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4921444$DAD73328-B25F-48F8-BBF5-539D4B813A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cef1bc36dfcdbb0928c60ed52e1d34b489ea6fac","datavalue":{"value":"topological model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4921444$165C1388-25DB-451E-8325-DB9BC4FA8E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4921444$F9D817E6-A0A5-467F-87B0-DDBDE74EFAB5","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":"Q4921444$5C8B2D72-ACC4-4FF0-A022-E695D77A4A9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18b458942f89fcb0481a2220a87f47e9bb68fe26","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.09.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q4921444$2581663E-46C4-462D-BE59-E1FF7A405C9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"566c983b88c3a9a02a8f2f6b5fcfe7c9d324db09","datavalue":{"value":"W2071403187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921444$5BDB9CF0-F8AD-4371-9B67-37649320DB19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3551f2a22d68d8091928801d8423ada3760e3e7a","datavalue":{"value":{"entity-type":"item","numeric-id":3863865,"id":"Q3863865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921444$942F8648-ABB5-4B12-BBE5-9AEACB38AAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f389b6cca70ba56b7ad87557ab38ccd38cfd54","datavalue":{"value":{"entity-type":"item","numeric-id":3852176,"id":"Q3852176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921444$5131F266-BCEF-41A1-B1EF-F07C3A3AE755","rank":"normal"},{"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":"Q4921444$74CFC6A0-3D6E-4C6A-B5AF-E0A847E67B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921444$7022747B-2829-4B38-829F-781F271E3810","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":"Q4921444$0BDFE8BF-4DA3-42CC-9D31-EDED153C0AD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"327405aa7f13b4b5e6cbc368b438e0d7bc7935dc","datavalue":{"value":"10.1016/J.ENTCS.2006.09.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921444$0A73BC2D-E2B0-4574-95D2-63826C675282","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1b6cfde5b17b9f0eeef41fd1c2aa393b8666de3","datavalue":{"value":{"entity-type":"item","numeric-id":5307608,"id":"Q5307608"},"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":"Q4921444$65163645-376A-477C-9557-643E5C4224C0","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":"e41a3f89f969c1cd48f14474c499036ca0c65943","datavalue":{"value":{"amount":"+0.8982646465301514","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":"Q4921444$AC255EC3-01E2-453B-9D04-26D808BE1374","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":"5e5547bd8736b202a2c793bd042210ffd61897f4","datavalue":{"value":{"amount":"+0.7679548859596252","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":"Q4921444$52ACBA28-0DE6-497D-A828-883543DB4730","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":"1885d45a293d5a87632f04a38f01aacc806747d3","datavalue":{"value":{"amount":"+0.7617787718772888","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":"Q4921444$D9CDB14C-8123-453D-AA94-451FBFFC91F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a067cbd19c81b74f8f608531cb14b791cb6beb1","datavalue":{"value":{"entity-type":"item","numeric-id":2488274,"id":"Q2488274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab664faa6dcd4e401cab7012ebe3636cd63b6fae","datavalue":{"value":{"amount":"+0.7609461545944214","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":"Q4921444$C9B5AE59-14B9-4981-B17D-8303E329D5A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4921444","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4921444"}}}}}