{"entities":{"Q3431542":{"pageid":3442245,"ns":120,"title":"Item:Q3431542","lastrevid":80460785,"modified":"2026-05-06T16:15:00Z","type":"item","id":"Q3431542","labels":{"en":{"language":"en","value":"Constructive analysis, types and exact real numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5141858"}},"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":"Q3431542$F8FE6181-5680-4044-A2BC-852BFDD79CB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7ad9529492d4127652d0024c7554a2f303369cb","datavalue":{"value":{"text":"Constructive analysis, types and exact real numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3431542$516D9773-13DB-4061-BBC5-1075E07AB6CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e20c65c5ed43b8eb6ca3a7dd5cdab3ee220a8de","datavalue":{"value":"1157.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431542$17977687-4993-44A1-9BB2-FD5EC00E6194","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e996507fe87e2a597ba14b631019b0086e3cab99","datavalue":{"value":"10.1017/S0960129506005834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431542$287917B3-3C58-4BE2-8FB5-F6D9580D067E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431542$2CC942C4-E337-4A5A-A172-19B8012C512E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df57046d705d1922cbc051ab710548843dac55f6","datavalue":{"value":{"entity-type":"item","numeric-id":817860,"id":"Q817860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431542$F3B60EA8-5A6F-42E0-B7F9-26BDBC4AD1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"603d1427f1b21e289d7f29d1759e5e0b15783239","datavalue":{"value":{"entity-type":"item","numeric-id":185814,"id":"Q185814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431542$CB2CFE73-099E-4729-9815-250851B3E69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c24cc198e7b26916e61ffb256f7b2af313e3e7ee","datavalue":{"value":{"entity-type":"item","numeric-id":865657,"id":"Q865657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431542$B152BE79-191D-4E2A-955D-B56397DD580A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431542$22E51D35-D785-4782-8110-40647139CA02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7292d3fb6db56ab08a1fa83d1880ef48c7943d2","datavalue":{"value":{"time":"+2007-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3431542$2827B135-081E-4D5E-BC92-74040397446D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431542$AACC5F9B-FF25-4CDB-BB6F-C0E6AE22CE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431542$002B9D02-01DB-432C-8F56-44375D8D055F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431542$E366B86B-A89C-4C89-B1F0-C392E2CDF554","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd6d9ab5131c587334155ce63412b94730b8ec9b","datavalue":{"value":"5141858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431542$0A22C1DA-7D14-4C08-BF22-A095F1624AC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a0764a475004acf5ee7338c13d75f34b2c50fee","datavalue":{"value":"constructive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431542$53EBBB21-097F-4EF5-9412-3A5CDFB9A859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"104750ea9dad197d6cd4486ca5116ea81d46c420","datavalue":{"value":"exact real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431542$5DD9EEB8-5EAA-454A-BC28-A58344D132FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431542$E24E387A-29F9-467C-BED1-3FFCA91B0701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03aa588e4f5e4578a5ce68662ac6bff84baf18c7","datavalue":{"value":"realisability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431542$3DBD0138-5071-409D-A321-F8415E3D59EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431542$71BF33BE-39F5-4FA8-9A3D-124210AFFD40","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7bb1c7eafdbb853d5fe04051d89b8463fa8b943a","datavalue":{"value":{"entity-type":"item","numeric-id":18827,"id":"Q18827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431542$26E6A869-3E26-4F1B-A298-1DE56E75AE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431542$7B2C694A-05BF-4BBF-B5B1-BA44C612A478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431542$5042F241-624D-4204-AA0F-2087ECD9EFFB","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":"Q3431542$B1B51A7A-4B43-4A89-861A-411762525549","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6c9c183486d907cc97ec8871946efa91b9a9a902","datavalue":{"value":"Q126372102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431542$DD30B6A8-225D-4B0C-B482-C365DB704BD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05262fc8840e636db11af3e5ac7426c20dcdcda9","datavalue":{"value":"https://doi.org/10.1017/s0960129506005834","type":"string"},"datatype":"url"},"type":"statement","id":"Q3431542$E729F65F-414E-490F-AD9C-75852AE24585","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd8bbed44c05319a1ef6ba233d416792d278c670","datavalue":{"value":"W2144933141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431542$8CD517BA-B400-49D0-8C82-F1295ABB4903","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d93184323b25f8cf549364d04d765260ce21bec4","datavalue":{"value":{"entity-type":"item","numeric-id":817858,"id":"Q817858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c3f33ea2586d3f0a80df79ccd41a5cbc6a5e878","datavalue":{"value":{"amount":"+0.7835626006126404","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":"Q3431542$12D8A7D7-69A9-4C1D-9D2E-D5F45C64E4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad68797a7e76bdd9a58b01c6333b2748a09835d1","datavalue":{"value":{"entity-type":"item","numeric-id":1292399,"id":"Q1292399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"434df5dade604626ef661462acfb5a87f25eab10","datavalue":{"value":{"amount":"+0.7824898362159729","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":"Q3431542$09719299-6048-4031-8E0D-2A5962B94901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da600c5ef73eb49cd1aca2d33312234c648c8ed","datavalue":{"value":{"entity-type":"item","numeric-id":5425455,"id":"Q5425455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec59f616a496b50f88a67be8f266b8c80fd6367f","datavalue":{"value":{"amount":"+0.7721567153930664","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":"Q3431542$F10175AE-6501-4545-8C37-9BAB34B38C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7661d611f2a3165822a4247ef115cf7ce059bed7","datavalue":{"value":{"entity-type":"item","numeric-id":5394594,"id":"Q5394594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d064af859429d299abf809366163f9d6852f1f69","datavalue":{"value":{"amount":"+0.7674732208251953","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":"Q3431542$DF5A84F9-FB3E-42CE-BF8B-989121E51190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fd167371b00a890bd1168167af3a9c46ae010b1","datavalue":{"value":{"entity-type":"item","numeric-id":5435637,"id":"Q5435637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffc23f1da05f4413e72e44ae29793d6735919ce3","datavalue":{"value":{"amount":"+0.7587908506393433","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":"Q3431542$5B81B002-5C99-4B4C-A72A-3A9790505BD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive analysis, types and exact real numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_analysis,_types_and_exact_real_numbers"}}}}}