{"entities":{"Q2731275":{"pageid":2742014,"ns":120,"title":"Item:Q2731275","lastrevid":82831946,"modified":"2026-05-06T22:10:49Z","type":"item","id":"Q2731275","labels":{"en":{"language":"en","value":"Increasing, nondecreasing, and virtually continuous functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1625725"}},"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":"Q2731275$1BF648AF-C422-4A63-AB8E-4A8EBDF8C19C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29108f5d44874a4a8329e7f2afeec96c4b9ff46c","datavalue":{"value":"0992.26020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2731275$BE55EDF2-FEED-45CF-B842-0E95EB5EB9ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6cdfad59386b4fdf0e04c7f9812453107706ac","datavalue":{"value":{"entity-type":"item","numeric-id":185794,"id":"Q185794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2731275$8E65EA85-48CF-44F0-B857-7EED089DEC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1893ed459f9051988d0e4324cdfdec120ad2c94","datavalue":{"value":{"entity-type":"item","numeric-id":940766,"id":"Q940766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2731275$19DB1832-91A3-4F5F-B9E5-6CF182D47BB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"984f89431fd3bd278c430e81f3345c06d05910ab","datavalue":{"value":{"time":"+2002-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2731275$7FA88E5A-F05B-494C-B764-168360BCC505","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a20cd59c273c000bfa7322d339734d32b8ecc250","datavalue":{"value":"26E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2731275$440077C9-8A45-4AFD-84DA-074687EE33B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2731275$DF25E733-6768-4FA9-AE3E-FE4887E7D61C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b7215e4b215a71509b9e7e3b62ba70e3971dcc9","datavalue":{"value":"1625725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2731275$B8125DFD-0C47-4FB9-B430-A6E7F836B8A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afe493c1ace3fa52144c0315aaea9019dde435a3","datavalue":{"value":"monotonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2731275$B8FA8AF9-1894-4868-BC93-AF67D59F1951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ceb50848ccb3c68d97b94c6048f1680259910de","datavalue":{"value":"extendibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2731275$37E1E96E-5A39-4F0A-B517-0317B0BDCD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31baa1c38097d01764ee845ce2e1613cde111bbc","datavalue":{"value":"increasing functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2731275$738EB526-432C-4C95-94A1-F03D74E45D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f91640d66b3a6dec27ad3c2a70c6a39dc897669e","datavalue":{"value":"continuity conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2731275$ACE47BDC-7C43-46BB-899D-1A327B39BA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a0764a475004acf5ee7338c13d75f34b2c50fee","datavalue":{"value":"constructive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2731275$A07A7377-7C57-4E98-BB66-86207E597E96","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":"Q2731275$0FB1524F-1AD2-472F-8F1C-A46268C3CFFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9d056873f551612bc4b566e76610931b462a1bb","datavalue":{"value":{"text":"Increasing, nondecreasing, and virtually continuous functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2731275$14891CBA-2292-4DBE-B639-E6BD241C59EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f67ba5e89095b2b825b3e9cd1c2605324298d1e1","datavalue":{"value":{"entity-type":"item","numeric-id":6621944,"id":"Q6621944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2731275$8CD140F1-065A-4135-9477-72750AAEE577","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5834c9395f0def0eeddb6f0f62cd9ce09ec732c9","datavalue":{"value":"Problems concerning the continuity of real-valued functions have been recurring themes in constructive mathematics. The relationships between pointwise continuity, uniform continuity, monotonicity, and extendibility have proven difficult to unravel. As is usual, the relatively few classical concepts have been divided and subdivided into a goodly number of related concepts. This has been required because over-simplifying classical principles, such as the (ital) excluded middle (end ital), are not available to conjoin constructively distinct notions. This paper contributes to the study of the extendibility of certain increasing functions, defined on a dense subset of an interval, and satisfying certain continuity conditions. The methods used are typical of constructive analysis as promoted by Errett Bishop.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2731275$05F9817D-A668-473C-90EE-E8943AD9250F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8216ebaa29894f2da1fbbb2fdf6457d9d8310f0c","datavalue":{"value":{"entity-type":"item","numeric-id":265602,"id":"Q265602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2731275$C976E6C3-0A7E-4BE4-9F64-74E2AA709BA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8398e835bfe3fd733358378631045c5c79bb05f","datavalue":{"value":{"entity-type":"item","numeric-id":4552740,"id":"Q4552740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f5df178eb2952e95754b5635e385ddc0ffbeafa","datavalue":{"value":{"amount":"+0.8084638118743896","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":"Q2731275$468AE483-3583-49C3-A5CB-35424B2643AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f5d354c279f814e8c5156c9b3e1c759dfe3b58","datavalue":{"value":{"entity-type":"item","numeric-id":4939410,"id":"Q4939410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27184993e816597c74f7eb3963c93c57c1e3c148","datavalue":{"value":{"amount":"+0.7578997611999512","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":"Q2731275$CE284401-2F89-4E05-840F-8E0BD2D4FA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad12851235ae3925eb643408c57dec44b357243e","datavalue":{"value":{"entity-type":"item","numeric-id":2505640,"id":"Q2505640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ac48900d2b47ef423992e8561eae05af252a48","datavalue":{"value":{"amount":"+0.7497801184654236","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":"Q2731275$DF6BC30B-E4C1-40DE-903B-2C992E47A8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37782d5f4b7415314c77416d2d89fad68cd00ed1","datavalue":{"value":{"entity-type":"item","numeric-id":2752138,"id":"Q2752138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13ee93e07135f8bc48530fd603aae518456dc0fa","datavalue":{"value":{"amount":"+0.7446641325950623","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":"Q2731275$E3115598-8593-46CD-822B-159B3D604F38","rank":"normal"},{"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":"e88a6b45d1782ffcd25633cf48a11bd0a2148c47","datavalue":{"value":{"amount":"+0.7425140738487244","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":"Q2731275$F11565D8-941B-436B-B063-1D48A262235C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Increasing, nondecreasing, and virtually continuous functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Increasing,_nondecreasing,_and_virtually_continuous_functions"}}}}}