{"entities":{"Q2238151":{"pageid":2248894,"ns":120,"title":"Item:Q2238151","lastrevid":54127649,"modified":"2026-01-26T07:30:31Z","type":"item","id":"Q2238151","labels":{"en":{"language":"en","value":"The abstract type of the real numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7417496"}},"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":"Q2238151$A1D12B20-22E3-47EC-9A13-47AFE6C53370","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65a68bba5b40d0ad27c1a0288b7becf35d9c9c73","datavalue":{"value":{"text":"The abstract type of the real numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2238151$7638C0D8-9F59-4336-BC70-9DCE10038B45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"681b7b5d8fb451997568f0f69d2986c8fd9e2cfe","datavalue":{"value":"1486.03098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238151$BB75CDA8-ED3D-4CA3-AFCB-62D64E699DF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238151$036D6B3F-4A2A-4929-B8CA-747AE8D20D71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238151$2DA57536-84A3-49B4-9F02-0F72EE7808F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff0972b49faa1fac8c402fe24a8463a0a03e1c1e","datavalue":{"value":{"time":"+2021-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2238151$DA0FD6C3-CAD4-4C0A-A1EC-4ECE88FC6F3E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9a30ab9d205b8a03f3cc9fe48e5df18bba19cfed","datavalue":{"value":"The author provides an axiomatization for finite type arithmetic appending an abstract type for the real numbers. Typically, finite type arithmetic encodes reals with rapidly converging Cauchy sequences of rationals. The introduction of the abstract type sidesteps this translation. The principles associated with the added type facilitate applications of the bounded functional interpretation as described in the appendix. For more detail on abstract types within the bounded functional interpretation see the work of [\\textit{P. Engr\u00e1cia} and \\textit{F. Ferreira}, Landsc. Log. 1, 87--112 (2020; Zbl 1505.03126)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238151$4FF1B587-457F-44BF-B7DF-215DD77CFE9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238151$989D8E26-4AEC-4971-906E-81AC2D1E2BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238151$76FD25E8-9194-491D-A391-4D5AA5AAC862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238151$32BFEADC-923A-4CC4-B513-00A70DF802C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238151$88D74FF3-DD7F-4672-8A49-781726C6B3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"60b3d3a5d8072b10f3c215c09a0e9202b0e690cb","datavalue":{"value":"54F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238151$81CBCA4E-CC8F-48C6-92F4-65BF8859A619","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"388d52242d1a60c145a29d3fa4b7f1f821a5b730","datavalue":{"value":"7417496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238151$B06FBDF1-86D9-46C6-BBAF-A6879863BEF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93870bea9e95850a8c2c168e966ba73051e6fe83","datavalue":{"value":"real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238151$BFCDC14C-8673-4603-A6C7-97D84A1D3137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27328578f10002b1fa01da1e78f9e379ddfaa8b3","datavalue":{"value":"abstract types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238151$5B138C0F-4AB2-4C4E-BC3E-029F4A581AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9dcaf5a139b06781aa7ffdacc1a94196c808bb8","datavalue":{"value":"bounded functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238151$DAB23334-C183-420D-9A31-6C2EC57E0A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238151$5F7C9442-E911-43D2-91ED-84B6298A9DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adab0c765b8f5f5ffe3fb82f4df287e3a2a1f882","datavalue":{"value":"finite type arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238151$3950817E-3D5C-49AD-956D-7EE5A44C2AF9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238151$5190B789-A173-4062-8AF6-C9EFABD533A4","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":"Q2238151$E29065D4-1068-4CBE-BEFC-E192A4F3AE35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35d76eaef86e92669e87e1bc37f8187f9a0f3dcb","datavalue":{"value":"https://doi.org/10.1007/s00153-021-00772-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2238151$5379424D-F55A-419C-9C51-C6B63F2A7491","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf5149366cb3dd94719924f1ed2c9eccb6eaea0a","datavalue":{"value":"W3158176959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238151$C214E184-F371-43A4-94C4-8FCFA154AE66","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"255ee49ffb6e409a3ee7cd255cf0ba0ce9b8a9ab","datavalue":{"value":{"entity-type":"item","numeric-id":3699687,"id":"Q3699687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238151$EAFB2B31-CD21-4835-9860-383A6A529DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238151$3EFFB73D-D0DB-4ED4-A552-9CEF7EFBCA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15b8e057a34ddc6ffe2f8a0b43e4ecfe22f5dd6e","datavalue":{"value":{"entity-type":"item","numeric-id":5004949,"id":"Q5004949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238151$A02CF4F8-7639-41D6-B600-989AC68A06EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0585242910d00f6ed98a71175bb6151f9e7d698e","datavalue":{"value":{"entity-type":"item","numeric-id":1006608,"id":"Q1006608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238151$F8F2434C-3DC1-464E-940C-6D1E0DFB512F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03a81315a7a035496e1a9efdb7342cf7e400643c","datavalue":{"value":{"entity-type":"item","numeric-id":5361252,"id":"Q5361252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238151$F7A579CB-2801-4A24-9708-3867649AFE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc7185c4df781fd8db8ee0f4291d372fb5908671","datavalue":{"value":{"entity-type":"item","numeric-id":2324564,"id":"Q2324564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238151$713C73AB-7AB0-4CC5-AE58-BDE04684943B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26b1ef00bc67d2868d77b06ad6b8d2cf11afcb4","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238151$DDFDD131-A141-4C15-A389-07DAE9D8572A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bf5183e83020857f9feaa7e31500545a55a1f65","datavalue":{"value":{"entity-type":"item","numeric-id":5442144,"id":"Q5442144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238151$B28ACCE2-E51F-4007-8319-9DF922521828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238151$7BF3141E-53C3-4EC9-95BE-01003DEF3BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa6c57aae1d21de49bf812d56ed5b9bb9f3500f","datavalue":{"value":{"entity-type":"item","numeric-id":3837732,"id":"Q3837732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238151$F03E783F-1CE6-424F-BD64-89746278713B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22680b00afe42489064979aae0a95fe30de0fd01","datavalue":{"value":{"entity-type":"item","numeric-id":4819747,"id":"Q4819747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238151$0F54EB4E-7353-4ACA-8006-28147B679F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238151$01E2D9DA-FEF3-4009-88CB-F3B6509FBC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7b2ea62a61340c30ced0693795d31f5e2d749a","datavalue":{"value":{"entity-type":"item","numeric-id":5122020,"id":"Q5122020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238151$DC4AD2F5-76AB-412A-B71E-44862E8770FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238151$53BBF8AD-0F8F-45F4-AB0D-DBED7C2DE719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238151$151ABAB9-89A6-4DCB-9334-C971AA0FCE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b9b6e1876a7ef6a8d3ae40b917b0c350a8b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5790901,"id":"Q5790901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238151$7D365FC4-9703-4F5B-B302-ED7A7FD2ED34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dac56f2072a3893c756d692707c0c07bfe6e585","datavalue":{"value":{"entity-type":"item","numeric-id":5519134,"id":"Q5519134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238151$F7153EAC-FF6C-495E-BC14-CE0BBA647370","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c7ec4707d126aee4f577e3fe3c4308de7cd8bce","datavalue":{"value":"10.1007/S00153-021-00772-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238151$21941D79-AE3A-4A9F-9804-7591B5D88A57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f54b02a3d9edbd970f6031693141435f5e26e63e","datavalue":{"value":{"entity-type":"item","numeric-id":5170818,"id":"Q5170818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b1fc2cf436dfb664965c3a97fcf258ee6945e74","datavalue":{"value":{"amount":"+0.7783893346786499","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":"Q2238151$27B774EC-2BEC-4177-BB33-E64E2AECAECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15c1099bf2237d5b111a2d2c548e6d7db253d961","datavalue":{"value":{"entity-type":"item","numeric-id":1960529,"id":"Q1960529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6ab3f4eee368c2e377fb1b39c4fc7655b509bf","datavalue":{"value":{"amount":"+0.737352728843689","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":"Q2238151$E3572158-039C-4C59-8BD7-9C1DB0AE6806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5037fbcf3c934c580aaae9e80542e49e2fd71f8e","datavalue":{"value":{"entity-type":"item","numeric-id":5004949,"id":"Q5004949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd84d67685bf59ddad3e61bea72b851cb4159d36","datavalue":{"value":{"amount":"+0.7340726256370544","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":"Q2238151$AC40DB78-123E-4C90-A34E-1B6445B8874F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7e45184a5fd30db221adc8541bb85b463fc7b1","datavalue":{"value":{"entity-type":"item","numeric-id":3431542,"id":"Q3431542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfcfc4322ca9218d99e2765f65286f130234d8e9","datavalue":{"value":{"amount":"+0.7180917859077454","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":"Q2238151$1E541E8B-EC8A-483F-8CBC-86F946C66449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e67cc0726aad393d3cd9b31048a85204443ad17","datavalue":{"value":{"entity-type":"item","numeric-id":4571945,"id":"Q4571945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56376a6dd22601c1bca7a6550ca1bbf79c8c734b","datavalue":{"value":{"amount":"+0.7043641805648804","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":"Q2238151$4A1F9AC2-E275-4BF7-90FC-8152CB9BCEF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2238151","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2238151"}}}}}