{"entities":{"Q40274":{"pageid":40330,"ns":120,"title":"Item:Q40274","lastrevid":105429284,"modified":"2026-10-09T10:11:41Z","type":"item","id":"Q40274","labels":{"en":{"language":"en","value":"Stern-Brocot Tree"}},"descriptions":{"en":{"language":"en","value":"AFP entry Stern_Brocot"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"867bec1a7d0eca58cb9091ff7dd62adf3ee4d1dc","datavalue":{"value":"28560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40274$A1EA698B-4E89-43E5-86B7-8F505519DABD","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$4674BC3A-EDA7-4A1D-83EB-45CB4116FE54","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"26f0e405c83e88ed5c9888652737ec27e8a50b60","datavalue":{"value":"https://www.isa-afp.org/entries/Stern_Brocot.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40274$C090420B-9EBB-4AA6-A580-ABCDF0915555","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40274$02F0A79C-6EC7-403E-A9F5-CDBA447E0FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40274$1034F67A-D3BC-47FA-BA63-15B610D3802B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40274$2680594B-C803-475B-A152-8215D779E025","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$D675781E-B9E9-4185-BE98-B45D986F2CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$939670F2-CECA-45F3-928C-54C336D7FEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$C7C2E96B-147D-4F71-9BBC-4855C7068A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$17C4B7CB-F051-478C-8F95-1D805825BDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"914c9c33527696be944efdfa1211e2c8f38443d9","datavalue":{"value":{"entity-type":"item","numeric-id":18673,"id":"Q18673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$0C912085-99F9-48BD-820A-8356C98D68BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$184C1E79-B69C-4FC5-85DC-7E7F7E29F88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$A8CDE7EE-D35B-4295-8A76-E2F9C9A8D02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$12C6EC58-9168-49B7-ADCC-BD8C946A2DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$76E9BF27-3869-4E31-BFBB-1629D29B3935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a1e06d73febe9a481a7a4d44638b08d7b2049de6","datavalue":{"value":{"entity-type":"item","numeric-id":32549,"id":"Q32549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$06CB2C95-7B80-4B2C-A73B-A48207FC1C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$A7898410-9726-406E-9954-7E2EF7E6B655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aafdf7df9ab6945d55471b6dee241d20aae57bb","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$FBFACFA7-CF91-43E1-BA23-605D22A58CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b19fd8e419fa1cf231481feba8263b917fc1cd08","datavalue":{"value":{"entity-type":"item","numeric-id":20838,"id":"Q20838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$DD82461A-AE88-414D-8716-9770949A8873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"01b2dac611a8eb03ba903e3af518755b06793da8","datavalue":{"value":{"entity-type":"item","numeric-id":1354586,"id":"Q1354586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$7805F6A4-9327-4DAF-96D1-C50723CB2929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"346bb06feebe5eec8261e483309d0da7485c1091","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$11C5B888-2257-4EE1-BD14-10105CCDDF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"85d5a2bfb7e5cd7e1dfb166523d6500a685410a1","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$AA38017A-794C-410F-A29A-3930CAC0F6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6d71dab411537ebd7abd7237e5d0a52e74ba2f7e","datavalue":{"value":{"entity-type":"item","numeric-id":37008,"id":"Q37008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$60AFD4CE-E0EC-4E7B-88A8-C507418D60B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3d758980c7aab42229371c3fec56294874b60660","datavalue":{"value":{"entity-type":"item","numeric-id":22838,"id":"Q22838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$50D74259-241B-452D-948A-EE6CD490991C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"475b592b7f3c7573e79f818da959e13eb74264b6","datavalue":{"value":{"entity-type":"item","numeric-id":32994,"id":"Q32994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$1CB3C6CF-9AC8-4A9D-867C-1533CE9941AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"37ec1400e1f12b6bc8d28b86031ea081e4456dea","datavalue":{"value":{"entity-type":"item","numeric-id":32995,"id":"Q32995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$A149DFB8-6E03-4853-B318-B81DD2A883EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b8feab1b9bfe52c13439f85ac5165738356a61c","datavalue":{"value":"https://isa-afp.org/entries/Stern_Brocot.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40274$109B3D4B-F37B-49E5-A640-E64353059D5F","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"81cd49afe7b0c7730911232a5003ad6efb86ef85","datavalue":{"value":"Peter Gammie","type":"string"},"datatype":"string"},"type":"statement","id":"Q40274$385B763A-AEE3-4452-951F-7A09A5573FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"480a99c095fd0e6e30ce40dd951da46a627a2bb9","datavalue":{"value":"Andreas Lochbihler","type":"string"},"datatype":"string"},"type":"statement","id":"Q40274$B0CE4430-AF9A-4349-897B-A8E611889E5D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"02f1826ff8101713d1c29ebcff570090ba02f459","datavalue":{"value":"The Stern-Brocot tree contains all rational numbers exactly once and in their lowest terms. We formalise the Stern-Brocot tree as a coinductive tree using recursive and iterative specifications, which we have proven equivalent, and show that it indeed contains all the numbers as stated. Following Hinze, we prove that the Stern-Brocot tree can be linearised looplessly into Stern's diatonic sequence (also known as Dijkstra's fusc function) and that it is a permutation of the Bird tree. The reasoning stays at an abstract level by appealing to the uniqueness of solutions of guarded recursive equations and lifting algebraic laws point-wise to trees and streams using applicative functors.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40274$CFA09F4F-BE8A-44BD-9DF9-ACBA66E473F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e769ad6d89617e5fe2354c3d2c34f9e3e05b529","datavalue":{"value":{"entity-type":"item","numeric-id":3521981,"id":"Q3521981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$A4884713-CC15-4778-B3FA-A02F56287647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666aa3b7e07938e7fc2552765f273220482eb95d","datavalue":{"value":{"entity-type":"item","numeric-id":3618817,"id":"Q3618817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$DE604813-9734-41DB-A8A0-61A8A8579E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51c2b7475ad824745b0406f7bfdf43407c46e707","datavalue":{"value":{"entity-type":"item","numeric-id":932104,"id":"Q932104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$C8E468BC-41BF-4906-927E-4CD8378E0FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f7ca26c971bc69787decc3ce6effd7fe1a33d6","datavalue":{"value":{"entity-type":"item","numeric-id":3021409,"id":"Q3021409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$7DE190B0-3372-4B1F-A622-47DFA1E44DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9143b9caec2c35ed69b6720f87afb357eeeb92","datavalue":{"value":{"entity-type":"item","numeric-id":3962450,"id":"Q3962450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$7B40D774-9AEC-4DD7-B1CB-92B7349B7647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd78fd7539746ce39fface229dfdce943e7717ba","datavalue":{"value":{"entity-type":"item","numeric-id":4320535,"id":"Q4320535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$8211E5E8-90D2-4015-AB35-7D8AA22192AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311e692d7bc7013c9478101c5ce5dbb1994efebc","datavalue":{"value":{"entity-type":"item","numeric-id":3644933,"id":"Q3644933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$B94D357D-2397-492E-9879-6A043735AB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f84acc216b46a16d3a5b1ae053e7c59afca67c6","datavalue":{"value":{"entity-type":"item","numeric-id":5437031,"id":"Q5437031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$5E5957BD-4520-4BCB-9F31-96C3E315ED25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c99d2e3f4402b81f71c762e3f805919871c7a908","datavalue":{"value":{"time":"+2015-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40274$303BD495-F1CC-4B8D-8F98-A9A9BDCBB568","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f07e56fdbea4a3a06b0cd5345f47b5c1328b7015","datavalue":{"value":{"text":"The Stern-Brocot Tree","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40274$9277FABE-ECDF-4C0A-B731-9E002CC2BD1F","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$4B2A1F86-51FA-4649-A76E-9B5D9B98276A","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"8cf17faf422fed75969aa9ebe32b8797880978b1","datavalue":{"value":{"entity-type":"item","numeric-id":7361733,"id":"Q7361733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$420859AE-24C7-4A1C-A6B6-F3E38C085A23","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"51467ee0a503af56d0e1903e0514853bd73fc1a9","datavalue":{"value":{"entity-type":"item","numeric-id":7360830,"id":"Q7360830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40274$4DD6113A-9775-42A8-9F8B-129D64F8A3F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stern-Brocot Tree","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stern-Brocot_Tree"}}}}}