{"entities":{"Q1279733":{"pageid":1290483,"ns":120,"title":"Item:Q1279733","lastrevid":70063497,"modified":"2026-04-13T12:11:05Z","type":"item","id":"Q1279733","labels":{"en":{"language":"en","value":"Generalized real numbers in constructive mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1251216"}},"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":"Q1279733$A7B4736B-61F4-478D-9FAB-D2C6522F0601","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2ed3a3bf69f859dac6567fdd6535cb8130556cc","datavalue":{"value":{"text":"Generalized real numbers in constructive mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1279733$C30F30D7-C36C-4F85-A3BF-8ED79DA5F4F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3783937153a87693eb680e422a7f67a059bd9773","datavalue":{"value":"0915.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279733$9A9B43E1-5111-43AB-8A66-DD23DC1B1426","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb4deb529776e6a483f3c47bc8aa9cc49dc13a33","datavalue":{"value":"10.1016/S0019-3577(98)80037-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279733$043D5ACE-8022-4D7E-AC43-07573E9B3D04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fac2d97fc871faeeb1062a08181f0f0cc5094b16","datavalue":{"value":{"entity-type":"item","numeric-id":173439,"id":"Q173439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279733$174409D8-53B3-4E8F-9916-103262B6ACDB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279733$835B048B-31C8-4BE5-9FD1-9AB0D3C3B839","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"992212daabf7759940c30dae4b868addf13cf100","datavalue":{"value":{"time":"+1999-02-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":"Q1279733$397C1C7A-84CF-47B9-A6E6-2171B2FA5A6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279733$0ACD781F-EB3F-4CBD-A12C-EA35D0A0376E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5af9e2ac22d361fd8cfaf980651f108023fe4779","datavalue":{"value":"1251216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279733$E5A1F861-D6A8-4455-9689-E707228F39D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279733$C41AB4EF-717D-4791-9249-BF7F723A9900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f43229d6de6ee0126a2a197b2bc92b1d385ba1e","datavalue":{"value":"extensions of the real number system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279733$3AB0CE64-6A7B-4036-B588-3DB8C0F64591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5b17f29988b2984572cf3f209d01506e298ae9","datavalue":{"value":"uppercuts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279733$C3F3DEF3-E8AD-4427-B4EB-6A5CB0DF05CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382b7b8557b4ce3943e2a858877bd9d88367692","datavalue":{"value":"lowercuts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279733$A29320D4-FC3A-4E2C-B7D2-EB1B7E2E122B","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":"Q1279733$7DADCE9F-44CF-4999-84C8-F5A083FB8EFD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3c9ae67106175f5143597bda48ec2beb4bbfbb","datavalue":{"value":{"entity-type":"item","numeric-id":5591514,"id":"Q5591514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279733$CE4C169F-CBB1-424E-A424-36D1D741A9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5918083f9fb27483e5930003131abff9af6d25b","datavalue":{"value":{"entity-type":"item","numeric-id":675783,"id":"Q675783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279733$9FDC4EC0-5B08-4C6F-AD6E-02875152A9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94279339b6c2e59da5c4e2cf6f8fd381e016aca","datavalue":{"value":{"entity-type":"item","numeric-id":5648345,"id":"Q5648345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279733$DD1F6CB0-0BD4-46DB-A5B7-878A5F5B860A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9307bf0ec69fc524244219860461ea2e460693b","datavalue":{"value":{"entity-type":"item","numeric-id":3869344,"id":"Q3869344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279733$5DF99C33-A6DF-455A-B864-A1055679CA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279733$AC1A7173-38D6-4AEE-AECC-4B3C95DFBA95","rank":"normal"}],"P1643":[{"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":"57000efbca4181236e136e3447cd1bd0e8dfdc00","datavalue":{"value":{"amount":"+0.7824367880821228","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":"Q1279733$C957BCC8-7174-4167-8AB9-42DB84D2A966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71ca065c6adf010f13d3d0d32c23467e50569139","datavalue":{"value":{"entity-type":"item","numeric-id":2565309,"id":"Q2565309"},"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":"Q1279733$67262BC1-5796-47D0-93A3-2EB066292F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4a936d98ae0d5ebdcb9122e43f543841b8a600","datavalue":{"value":{"entity-type":"item","numeric-id":4594262,"id":"Q4594262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f9b387801da43c12e017ded25676f9d3a943c3","datavalue":{"value":{"amount":"+0.7568792700767517","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":"Q1279733$BBEBF87E-ED5F-4E3A-A69D-110A37E44513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f55c26b0be4c18dfb1a4ec4b95e3dddfcd44063","datavalue":{"value":{"entity-type":"item","numeric-id":3722498,"id":"Q3722498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b2e3d92ff5c53e3f705d19cf956757c7ff77fe8","datavalue":{"value":{"amount":"+0.7461452484130859","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":"Q1279733$146465C2-8140-44D2-8D55-E9C1D93FD49B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized real numbers in constructive mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_real_numbers_in_constructive_mathematics"}}}}}