{"entities":{"Q5156769":{"pageid":7186340,"ns":120,"title":"Item:Q5156769","lastrevid":55391044,"modified":"2026-02-17T15:19:35Z","type":"item","id":"Q5156769","labels":{"en":{"language":"en","value":"Extensional constructive real analysis via locators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7408496"}},"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":"Q5156769$29B67541-7D9E-4375-B49F-CE7D83BD4850","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"949e21edd0c47d97385416adf71ba79499dc29c3","datavalue":{"value":{"text":"Extensional constructive real analysis via locators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5156769$721D1BAE-1D8D-4E33-A37C-370EB6111E2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"182919369225e12deb29f555019f50faf179aaa0","datavalue":{"value":"10.1017/S0960129520000171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156769$3A4B66FB-682D-471B-8B6E-E39F0F845D28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c8a3338a111877d5ae2344dbe715b88293779b6","datavalue":{"value":{"entity-type":"item","numeric-id":5156768,"id":"Q5156768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156769$1FA3CF69-05AA-499B-BBEE-42E7DB873F42","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":"Q5156769$6B3FC01B-7BEE-4AAB-B868-6D0370D3D26B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19503fdb9f610cd0af6e4046a14c0dee873d3c68","datavalue":{"value":{"time":"+2021-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5156769$B7BD31A5-859D-4233-B2BE-0A9CDA206DD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb0c9aaccaab9fc0f8826ae23f11d4adbdc2a0ee","datavalue":{"value":"https://arxiv.org/abs/1805.06781","type":"string"},"datatype":"url"},"type":"statement","id":"Q5156769$0E214AA8-099F-4610-9341-CE0A3EDC7BBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156769$9911472E-8CE7-497D-9983-D98FBC36C21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156769$539C85EC-B467-4FC6-94B3-FA84E2FDEC55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"704a51e4df23172e1a940858da39082b63b4beb3","datavalue":{"value":"7408496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156769$5B43C9C2-4BEF-403C-A5AB-21A538BDBDDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156769$123FEEB0-220C-4A81-830D-D6C6D1B0038B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a0764a475004acf5ee7338c13d75f34b2c50fee","datavalue":{"value":"constructive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156769$E496FC4D-A625-40E5-B88B-2846C30A1197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156769$4AF4164E-62D1-43FF-899A-571BB533D9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156769$59C38D68-44B6-4890-9CF6-45A69582F50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c68e78acfd8da85726644b8041d98f4d34edab34","datavalue":{"value":"exact real arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156769$EB6AB348-1EEB-4C94-AD11-EE04182734D3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"723501325a83c597975238fada166e87a140940f","datavalue":{"value":{"entity-type":"item","numeric-id":27040,"id":"Q27040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156769$D23F5DE5-835C-4D02-8E70-B9D62BA9AF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156769$AD08A415-A55F-44DD-8AF4-AEE1B6A28041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156769$45B82B5E-0D95-44EB-A937-AF0E0B293225","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":"Q5156769$4C21FCCF-9BD0-4CF7-99B6-0F9CC359B4DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156769$3762B622-2336-4913-8A43-FCC3C18233FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156769$296EF44F-7577-48D1-9F5D-685D0DC48CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef811fe82014afd549ae4c462f71e15c5bd9450d","datavalue":{"value":{"entity-type":"item","numeric-id":850934,"id":"Q850934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156769$CFAD6A87-59A4-43DC-BFC9-180DF3E87234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a717fd62012577ad06d6a70ce0dc1bcbebd28f","datavalue":{"value":{"entity-type":"item","numeric-id":5277837,"id":"Q5277837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156769$5C7DBCE8-5134-444C-85F3-6B22144564E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378b59f60e01a20f735a1d7f92ba9ea6a6b0f346","datavalue":{"value":{"entity-type":"item","numeric-id":424546,"id":"Q424546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156769$97878616-E739-4793-931E-89DA724E5CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfed934ac51f952ecc56c29826cf4400615d2ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2752138,"id":"Q2752138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156769$36F6FDBC-9CD4-4291-B667-ECFCE001D067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3714445feaecb01348c47d8cc9de8195e7231f66","datavalue":{"value":{"entity-type":"item","numeric-id":2980980,"id":"Q2980980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156769$F37C54CE-0C96-484B-908B-2F0324396EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da47f505e4676f000e190202d67ce831f4acdb1b","datavalue":{"value":{"entity-type":"item","numeric-id":4921444,"id":"Q4921444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156769$2032692B-0B40-4DBE-9522-646AE8E8EF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1d684e72918d759af94f9691181e9cc8293df7","datavalue":{"value":{"entity-type":"item","numeric-id":2829263,"id":"Q2829263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156769$B68828DD-C9BC-4BE5-BD3E-F6779CCB8E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d786258ca04a442bf15ecf4d14f9ea3c14761a6","datavalue":{"value":{"entity-type":"item","numeric-id":4663839,"id":"Q4663839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156769$6A561A4F-9078-4B6C-BCF9-5062BB0F3335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5535cf4be6e9985903d73b8af103848456d31d","datavalue":{"value":{"entity-type":"item","numeric-id":5435637,"id":"Q5435637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156769$00CBC654-20D4-4B25-A764-CA68DD1AA3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c2f273fac7f93ce96d8f209662e6d1518d13af1","datavalue":{"value":{"entity-type":"item","numeric-id":3145951,"id":"Q3145951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156769$FF391778-55DE-4FA2-B104-8F2A337404DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156769$70BD197D-9032-4B82-B5A7-D69386BCDF71","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":"Q5156769$8A14E931-70D4-4327-9065-110E3A24F4DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"530858590445d812d6ef59e9e4161eb5d8c3c460","datavalue":{"value":"W3082715150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156769$131D14FB-A44C-4872-BDC2-01B38320D76B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce9df7a5048ca83f7733dfb64127d611e7780a42","datavalue":{"value":{"entity-type":"item","numeric-id":1279733,"id":"Q1279733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"342cc73edf48eedc8400342569240f68a3a7a274","datavalue":{"value":{"amount":"+0.7261152863502502","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":"Q5156769$CA6E56F6-747D-4492-A761-6CABBAC18465","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":"8964757188e4c9d02360f7203d5d4d33f1d6ffd5","datavalue":{"value":{"amount":"+0.6966913938522339","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":"Q5156769$E2251259-7752-45EA-8A7C-E52A4A99229C","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":"6972862a0116a510347118ef34e25ef740def3e4","datavalue":{"value":{"amount":"+0.6857541799545288","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":"Q5156769$99104F17-78A9-48BD-B833-E3C081918AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b4db9041884aa87fbee6e505b65351d3bc4d58","datavalue":{"value":{"entity-type":"item","numeric-id":1101448,"id":"Q1101448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e74082e6111380c7997429152d960a7423998f6c","datavalue":{"value":{"amount":"+0.6837930083274841","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":"Q5156769$3C9CEED4-E635-4B41-B499-8EBF0A75AD23","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":"dbd89e0a63a3d37f58b77a0354df3442c0f2020f","datavalue":{"value":{"amount":"+0.6818274259567261","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":"Q5156769$4199A941-1801-4D4B-9D13-824E75F2073E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5156769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5156769"}}}}}