{"entities":{"Q1835974":{"pageid":1846716,"ns":120,"title":"Item:Q1835974","lastrevid":73884981,"modified":"2026-04-14T17:37:00Z","type":"item","id":"Q1835974","labels":{"en":{"language":"en","value":"Semicontinuous real numbers in a topos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3796175"}},"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":"Q1835974$03353BED-EA75-4EF0-B87F-15F0FED1EFFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f9d475f604fc231b87ff591fe42d8870ee35ab9","datavalue":{"value":{"text":"Semicontinuous real numbers in a topos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1835974$F29DE841-1549-49B9-905E-B4A82E193829","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b03d61c6470349bb05558629b64c88fca4eb99b","datavalue":{"value":"0505.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835974$541237E7-D70C-49B0-A405-264C2AD97987","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0ed1f2de933fd2ecb9b401f80a5c72498119244","datavalue":{"value":"10.1016/0022-4049(83)90075-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835974$C37A8223-2AF8-43F4-B112-300095392439","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5de9b91d18cc74e4f8102d9baed0d4a4351aa5df","datavalue":{"value":{"entity-type":"item","numeric-id":1821127,"id":"Q1821127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835974$86FFD0DB-2AEA-4551-9601-C73D96F3300C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835974$EDAB6071-54C0-482D-833D-E7C3BCC06F94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1835974$4FE3E855-2652-409D-A608-DC9F591860F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835974$CBD7C341-0894-4BE1-95AD-EC85AE61FD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835974$47FA2A14-53FD-451D-AB89-4ADB4FB1A94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a7c57a22810c1fc3e6e7843b0557275bc4a46fc","datavalue":{"value":"06B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835974$B12A11C9-1C31-43E0-9688-2EEEE4FF2A1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c86544f46c465078ab7beb3fd65494e020878eed","datavalue":{"value":"3796175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835974$4FD9CD32-BBD1-4F8E-9DCA-AFA8D87D3C5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f558fd80b99469887016683c8197bd6306849fb5","datavalue":{"value":"semicontinuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835974$4D55BE32-9F0A-458B-97A4-75E6A3D01148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8da62b975681383fd2868d59ec45e0c53be43720","datavalue":{"value":"continuous lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835974$012EE599-496E-46C5-AB63-5565FA927059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835974$AB50D56B-71A9-4B9B-AB5F-8DF0CA1C4CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc99a7df32ad04bda58d8add2885292dc156bc54","datavalue":{"value":"real number object","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835974$B6312EA2-5D0E-49A5-84C5-3D91DC404556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9de66f29d2fc4d3dbd360e1c561225cf33c2eb4","datavalue":{"value":"Cauchy reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835974$F27768D6-C33F-412B-BC0F-62DE789D755A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bc6f74c9a9a24c1b0cc23f80efc9936624198c7","datavalue":{"value":"Dedekind reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835974$80095446-5A11-4310-AAEC-8C4695F5FA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c188a26d6d7be2ad35997d01dd9ff71a2af76db6","datavalue":{"value":"Dedekind-MacNeille reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1835974$8C263933-0A82-4D4E-BABE-52D5737B68BB","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":"Q1835974$B5342671-7B82-400A-AB6D-C9D4E8FE7385","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17fd304f1dbd799722080e4cb99de3365209659a","datavalue":{"value":"https://doi.org/10.1016/0022-4049(83)90075-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1835974$A11028E0-65E3-4362-8CBF-C82ABE0CD018","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"536ae44d16cbf7e2d0b799a7d2d46726c416f113","datavalue":{"value":"W1991102867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1835974$D2C0A541-7580-4CED-AF5E-0C141AE0BB7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"496bfdbee47ec30d0083d6a92536e6c8fdddc6ec","datavalue":{"value":{"entity-type":"item","numeric-id":3869847,"id":"Q3869847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835974$673F6850-83AE-45D3-9AFE-D1AEEA048F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e91e2cf6513ca1e00bdc4a6e1a481fc37cffb08","datavalue":{"value":{"entity-type":"item","numeric-id":5341488,"id":"Q5341488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835974$05A6DB58-2113-47B2-8F2E-60ED242C1D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"324c557e693c079790262ec80d45452d32757570","datavalue":{"value":{"entity-type":"item","numeric-id":5647054,"id":"Q5647054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835974$0BE4A780-388C-4351-B0DD-F1AF2B340A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c43a569f051cdcac763be04be76a17e2a5ed4b7","datavalue":{"value":{"entity-type":"item","numeric-id":3871432,"id":"Q3871432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835974$7EC02F12-16F6-4410-98B8-2CB00E789A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835974$F9AD2D53-9D3B-4869-BD24-FE4ADADC1648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31dcd99385d013f85202a3f06f6ea8a524319ea","datavalue":{"value":{"entity-type":"item","numeric-id":4100664,"id":"Q4100664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835974$E2563E7E-B9DB-4ACA-8BD2-2A55C400E6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a4dd85c1f0dee62644965f9a510435f4d7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835974$62183B0E-5EF4-42B3-BF1F-A881EE424E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f8786d89b02d30263e0c4c63650162b7f06899c","datavalue":{"value":{"entity-type":"item","numeric-id":4138872,"id":"Q4138872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835974$39392A82-3FAA-4080-988C-C6EDDA3617DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0597e4e81872337e508341323e9740cd3fb24a5","datavalue":{"value":{"entity-type":"item","numeric-id":4123322,"id":"Q4123322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835974$14FF3B01-C327-48DA-A51F-4EFF98013D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c7a7257918385f8aaf360d91b9e01dea60e28c","datavalue":{"value":{"entity-type":"item","numeric-id":4113999,"id":"Q4113999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835974$A630013F-1A8E-4CA8-8953-664BD43366C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720776061972254f2bef213f59b39d7041a7509a","datavalue":{"value":{"entity-type":"item","numeric-id":5182330,"id":"Q5182330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835974$0E580082-2D5D-485C-AAA0-953DAA7DF324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44fa7f9caf1580488048c3c68095afc7d3e27ca9","datavalue":{"value":{"entity-type":"item","numeric-id":4124991,"id":"Q4124991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1835974$16D216AF-7D69-416B-9BA1-AA58E929FA10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semicontinuous real numbers in a topos","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semicontinuous_real_numbers_in_a_topos"}}}}}