{"entities":{"Q2565309":{"pageid":2576052,"ns":120,"title":"Item:Q2565309","lastrevid":79158719,"modified":"2026-05-06T13:16:40Z","type":"item","id":"Q2565309","labels":{"en":{"language":"en","value":"Constructive Dedekind cuts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 971799"}},"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":"Q2565309$DD5214E3-87CA-4450-9327-C47165B5D7DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a2309f2e293c5772bcd9993cc131dfdbe887653","datavalue":{"value":{"text":"Constructive Dedekind cuts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2565309$14C860BA-E7C8-4182-9143-65B014289B0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ac735dfd73e8799e687f9b3fc46c06237266d91","datavalue":{"value":"0865.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565309$2839D8B0-4668-4197-8D5C-F9A7CA74872C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a8377d2f2483eeb54d7f5640e2114f42b561f46","datavalue":{"value":{"entity-type":"item","numeric-id":2565307,"id":"Q2565307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565309$BDEC861E-5339-49B9-AC73-5C9BA80D2854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae8afa027a61304356cc44ef6dffb25da1e3811c","datavalue":{"value":{"entity-type":"item","numeric-id":2565308,"id":"Q2565308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565309$EE41788A-0AAF-4848-BB0F-FE033FE115AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc854c7d3729575162ec18a1f06cdc4605d69319","datavalue":{"value":{"entity-type":"item","numeric-id":246651,"id":"Q246651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565309$BFAED267-B535-4F39-9173-7E9FFEE2DA8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2d9db0d0445860ceb417de2a7c60e6d857e66f7","datavalue":{"value":{"time":"+1997-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2565309$BE5ADC0D-E668-4388-8164-11D25AD511A7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"98afe9c7ffc4b49ad4272083f549703e3fdef3f1","datavalue":{"value":"The authors give a constructive definition of the reals using a special kind of Dedekind cut, and discuss the equivalence/inequivalence of their notion with certain other constructive notions of real number. The paper uses the theory and notation of Markov algorithms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565309$AD63E000-1403-4401-ABFF-3368465DE170","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b1d18259eda2738de0461ceb414e405b880aec0a","datavalue":{"value":{"entity-type":"item","numeric-id":185794,"id":"Q185794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565309$AC2846DF-42FF-4BC3-BCDB-22EDA78BF596","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565309$F7E0C9CF-7E8D-47E2-8A42-751C5F1D4F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a20cd59c273c000bfa7322d339734d32b8ecc250","datavalue":{"value":"26E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565309$589B1B4F-3E5A-4C6C-9D2D-C816774A1C28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb67d722980ce596b87c0baa7b4c623916c4a5d4","datavalue":{"value":"971799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565309$64D8DAF3-4F27-439B-BCFF-22478D3D7F12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5007f3e29a913878e0439fa787c813c504b7ad33","datavalue":{"value":"constructive Dedekind cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565309$F4B0C4C8-A231-46B1-94A7-9F10C0FC3845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9343f15fbe4b7b207c025d11d4036c6b4ab2ee68","datavalue":{"value":"constructive definition of the reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565309$A3B38ACB-47FF-4702-BCF3-A1F8D40B5F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f686f54f5cbc93c258f0764644872e13497a0799","datavalue":{"value":"Markov algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565309$E02FD2BD-2F79-4C22-BE7A-7B0611FD4D27","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":"Q2565309$93C2B52A-C561-419B-8B87-552C99FD9E33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce9df7a5048ca83f7733dfb64127d611e7780a42","datavalue":{"value":{"entity-type":"item","numeric-id":1279733,"id":"Q1279733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7a601edd5a311b42c8343460e6101d64df168f","datavalue":{"value":{"amount":"+0.7732066512107849","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":"Q2565309$6E7011AE-5960-4F85-AA9F-5D75D3567005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bebb91042007f5f3e67e09f09f6f56f2af85ae82","datavalue":{"value":{"entity-type":"item","numeric-id":4552749,"id":"Q4552749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab8eeeb1fe0e717abfb83aff9b8110fed0435133","datavalue":{"value":{"amount":"+0.745572566986084","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":"Q2565309$42E1097B-3A7F-41DB-AD04-3481871CBFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc270b85ef08fcf55ef8627c1ddcd952fdd7b048","datavalue":{"value":{"entity-type":"item","numeric-id":4790650,"id":"Q4790650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6de3f425c602d1263f83a853f5c7f8483af8b19c","datavalue":{"value":{"amount":"+0.7404900193214417","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":"Q2565309$D0BBC00E-045E-42C8-BAE2-738586810292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52785f2dd2003261c737010c9dd8c0d12eaa464a","datavalue":{"value":{"entity-type":"item","numeric-id":1334896,"id":"Q1334896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b4c1c8d283902fa4c4461af7ff749d8870d33a0","datavalue":{"value":{"amount":"+0.7395343780517578","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":"Q2565309$644CBEB7-B020-4804-94E3-D7FCE2FC9388","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive Dedekind cuts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_Dedekind_cuts"}}}}}