{"entities":{"Q5101348":{"pageid":7130924,"ns":120,"title":"Item:Q5101348","lastrevid":55414378,"modified":"2026-02-17T15:52:43Z","type":"item","id":"Q5101348","labels":{"en":{"language":"en","value":"Point-free construction of real exponentiation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7577579"}},"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":"Q5101348$67BE1A97-B679-4377-87BC-C3B44B94CD99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24c2eb8fa17c20bdfa5b9ef95dab30ffa7f0677b","datavalue":{"value":{"time":"+2022-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5101348$F568972A-4164-4DF0-8778-1DF8B1060AB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2261bad44ff95aa9adc21120ce54afd33ccc935f","datavalue":{"value":"https://arxiv.org/abs/2104.00162","type":"string"},"datatype":"url"},"type":"statement","id":"Q5101348$CE4FC7C2-4EF8-46C0-A66B-E73BD1A5D584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e760483f95d9a29026ef79643e2f10e452550b81","datavalue":{"value":"https://lmcs.episciences.org/9879","type":"string"},"datatype":"url"},"type":"statement","id":"Q5101348$B32856A5-9E55-4A0F-9D08-2756D2BC82C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101348$4B063628-CB7C-4A64-9E9C-FAB1BEEA26A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101348$D3CCDFD9-2A03-4AA2-8742-9E57E0AAF211","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbed6214b22ffc83e9b50f533c4287c1d09bec70","datavalue":{"value":"7577579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5101348$89E5A685-BA22-48DF-817A-0DCCA732A8EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a0764a475004acf5ee7338c13d75f34b2c50fee","datavalue":{"value":"constructive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5101348$F4E392CE-9A15-4F2D-996F-C01B70BA7D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d2e0989b712fc2b3b968403b4a2a3f8e168b345","datavalue":{"value":"exponentiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5101348$653AB295-8EDF-42CC-AA41-E2859B8A3982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6988bb74ba242a3d3610fd0edfb821350c8a762","datavalue":{"value":"logarithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5101348$AD43B8F6-8F05-4309-BACD-0C210CAF3D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f1b8f16cf8a1d15b48e65fd146fe74bc71a1466","datavalue":{"value":"point-free topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5101348$AB973289-CE89-4CEB-8425-681AC668E66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cee997b59789f85389e5368906dadd5b2641bf0","datavalue":{"value":"geometric logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5101348$B0C0AD5D-EB74-4033-BB75-A7141178B826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"672f6c7b5cc9cc05d506371424a5084c39be35b8","datavalue":{"value":"places","type":"string"},"datatype":"string"},"type":"statement","id":"Q5101348$49E73261-0776-4741-89C0-3F4D5DC5B2FC","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":"Q5101348$BF8B39C8-8CCB-4B71-87B7-25F5EB5E4DD9","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":"Q5101348$ACC78482-9C5A-4E67-9D4B-9C5A1C5F77CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d51eb3ca97a8eefd3ed10eb7fa2f7f6ba018b21","datavalue":{"value":{"entity-type":"item","numeric-id":2213759,"id":"Q2213759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101348$3C5FAB83-3D2F-4307-8032-1C35B9376DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88bce2fddd69a9d0ac65cf869c863ee42f7bb9a3","datavalue":{"value":{"entity-type":"item","numeric-id":1187158,"id":"Q1187158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101348$2FABD68C-CF65-4D6A-9508-EB27ADB52502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101348$CBCACC0A-997A-4E5F-83DC-10E28E15F2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101348$FC89BFE2-F333-43B8-A36C-E4B0FA38942C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f29e930ac474f9f7a286f3287bac4dd2000711a","datavalue":{"value":{"entity-type":"item","numeric-id":3138087,"id":"Q3138087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101348$43D43891-8C0B-479E-8FF3-06017A719AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8da45ed7961a4d7cfe063a66a11bd25afb2ea4e9","datavalue":{"value":{"entity-type":"item","numeric-id":456884,"id":"Q456884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101348$F8450D13-0F08-4F58-B51B-D820F4ADBB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ca39f061f7bb621dac7131279fed7ed70fcac4","datavalue":{"value":{"entity-type":"item","numeric-id":1137572,"id":"Q1137572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101348$E7FC3D36-4943-478A-BA3F-1A43AED2DF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b918a3517bbf8faabd9a74865f06355cf98ac212","datavalue":{"value":{"entity-type":"item","numeric-id":1318788,"id":"Q1318788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101348$1B312ED7-63CB-43BC-9094-D5856741314A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23884631887fc88408f6964fc07e7d111ece1960","datavalue":{"value":{"entity-type":"item","numeric-id":2367538,"id":"Q2367538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101348$56F906C4-01DB-43A5-80B8-1674CAAC52DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8644b6fa84b10099411357bc9783d7d48c635ef4","datavalue":{"value":{"entity-type":"item","numeric-id":4719352,"id":"Q4719352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101348$829960F6-7503-4228-B5DD-5FE8AEFE2FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85664b1cc66d4cd96fb8b6206b8d9a859a44e7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5701012,"id":"Q5701012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101348$3441CBB4-A280-4F5D-A463-B2E007208473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb6644278360a8daaf8a32bb34458088ec3837c2","datavalue":{"value":{"entity-type":"item","numeric-id":5448621,"id":"Q5448621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101348$BFAA5740-36C0-4B55-9E84-51AA0B94279F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a29b251011ef3523f31e7a4457c9665bdb40cf31","datavalue":{"value":{"entity-type":"item","numeric-id":5294021,"id":"Q5294021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101348$77E35391-B73D-4E64-9D86-D4B769FC85B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5604306ec9b9d2f17d8cac07ca2339526efd90a","datavalue":{"value":{"entity-type":"item","numeric-id":280833,"id":"Q280833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101348$551444B0-AECB-4CE4-8F43-8BE793219C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7fe54974881caebf21ecbe36f7ba64eaa5eba37","datavalue":{"value":{"entity-type":"item","numeric-id":4609242,"id":"Q4609242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5101348$F2392665-12D8-45BD-B4ED-C506D221F71E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1afdd02c94adb359ac1b0c8b32e3033a0539a766","datavalue":{"value":{"entity-type":"item","numeric-id":5081868,"id":"Q5081868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e94819b8ec59dc87186fd98510fbf492fd366d2","datavalue":{"value":{"amount":"+0.716240644454956","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":"Q5101348$327DEC30-5ADB-47EA-A4FC-E0B94FA958BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e1d98c831b41fa57d66b8ccbee7c221b3c74a2","datavalue":{"value":{"entity-type":"item","numeric-id":4396195,"id":"Q4396195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01cbf99621e9b6bde770b932e13cf3eedb29145f","datavalue":{"value":{"amount":"+0.711358368396759","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":"Q5101348$762DF0D9-03E6-4AA7-B100-940952E3EA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a57c0b933e83da811f155550fb893ed33b52e4","datavalue":{"value":{"entity-type":"item","numeric-id":1295392,"id":"Q1295392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3646f9c4d1bd0e4a5e2a48e9c945d97e7012a2f","datavalue":{"value":{"amount":"+0.6849708557128906","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":"Q5101348$180585F0-08DE-4347-ACF9-EC762829D967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef46b2282a751b053e04c88b231a4482a58e4c66","datavalue":{"value":{"entity-type":"item","numeric-id":3431544,"id":"Q3431544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c922e176d5d5705e4ebc8749605776f477ea2b48","datavalue":{"value":{"amount":"+0.673658549785614","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":"Q5101348$E971E466-1AD8-4499-8595-B890538F6834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e98f86367eec9c9b6579f2621d8a0772aea40775","datavalue":{"value":{"entity-type":"item","numeric-id":6125955,"id":"Q6125955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf166d6751ac9f2f6c795564b2e4c67c53b7b86","datavalue":{"value":{"amount":"+0.6733213663101196","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":"Q5101348$94CB92C5-F533-4286-A435-FA67A3BD1C00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5101348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5101348"}}}}}