{"entities":{"Q7361279":{"pageid":31519376,"ns":120,"title":"Item:Q7361279","lastrevid":105423506,"modified":"2026-10-08T13:45:25Z","type":"item","id":"Q7361279","labels":{"en":{"language":"en","value":"The Stern-Brocot Tree"}},"descriptions":{"en":{"language":"en","value":"AFP entry Stern_Brocot"}},"aliases":{},"claims":{"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":"Q7361279$53E8D0D9-11EB-44DC-9583-ADE770C707D4","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"81cd49afe7b0c7730911232a5003ad6efb86ef85","datavalue":{"value":"Peter Gammie","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361279$A192CA11-8BE9-403B-AEAA-8A7A75817D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"480a99c095fd0e6e30ce40dd951da46a627a2bb9","datavalue":{"value":"Andreas Lochbihler","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361279$FCF3F2B0-5ECF-4783-837F-58C1A51A601E","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":"Q7361279$AB0CE3C5-15B5-4235-8D80-562AE136D86E","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":"Q7361279$28EC74B9-0011-406E-AF40-B42504E9630D","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":"Q7361279$621FE78E-2AC7-4EF2-9511-168DD1EB2AB0","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":"Q7361279$0FDECEFE-3F74-4FEC-B21F-13817C524E5B","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":"Q7361279$E466D519-1F26-4778-97EA-8F55C79EE1CF","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":"Q7361279$1CA0D78A-A49D-4EEC-B064-917BD114D20B","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":"Q7361279$0D4148BA-335E-49D4-B735-6E88A43CDD03","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":"Q7361279$44715C31-61FC-4458-BA3B-38AD5E412C55","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":"Q7361279$FEFD3D1D-7DF8-4A5C-8ADE-C654BDD5B9FF","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":"Q7361279$5D762871-3377-4101-8F88-D7A160C2A846","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":"Q7361279$5D03F8BC-FB6B-4256-ABDA-38B975636F57","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":"Q7361279$6E17264C-65F2-4E45-B0A0-6901DDC0AB0D","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":"Q7361279$639AC16B-A757-4E8D-A598-3E3F2F046A2B","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":"Q7361279$D7AF47BC-5D83-43D4-9BFE-40B420898991","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":"Q7361279$66E9E2C1-6799-42A9-B451-7CB17FECDB09","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"867bec1a7d0eca58cb9091ff7dd62adf3ee4d1dc","datavalue":{"value":"28560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361279$D719C709-A1FA-46AC-BDE2-2DE6B41469E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361279$E9C10977-B3FA-43DC-944A-00136A397F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361279$2D06C844-B959-49AF-A179-1A30EDCE3F85","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":"Q7361279$85FAFF87-E0F6-4E36-9033-6E84FCE2B161","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":"Q7361279$90275745-C092-477C-8C26-6C6D754EA1E4","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":"Q7361279$F071012E-5898-4109-AC1D-108235B16F3B","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":"Q7361279$CCCB742A-FC3A-4784-B0C9-5DD02E49DE6B","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":"Q7361279$89550038-DD8D-4034-8F89-7DA25C6C7219","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":"Q7361279$6D90343C-4ADD-4DE1-8702-E50C349E0415","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":"Q7361279$AA635ECE-6D4E-4101-B179-E37FE66BDF62","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":"Q7361279$DFF835E9-E628-48E4-A894-48917C53E07D","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":"Q7361279$148D5C42-88CD-48E7-AEC3-262F6BD51C55","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":"Q7361279$1A614366-C83E-4AFB-9F3C-B70680F1E19D","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":"Q7361279$9F7A53DA-3A2C-4FC1-A997-07391A1DB3FE","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":"Q7361279$DF650475-C6B2-4BC3-B76E-F5FF6741DECF","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":"Q7361279$F5A35E9A-0EBF-471D-8909-C72B2060D1FF","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":"Q7361279$8A4BED0E-A454-44D9-9A7F-0663C6877660","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":"Q7361279$E50A9F68-7BBA-43FA-87F3-72213075D774","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":"Q7361279$02053B24-361B-4169-B958-1633DC6EC671","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":"Q7361279$53586A6F-ADAE-4087-8855-2C456A4CE3CE","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":"Q7361279$FA4158C1-5BF0-4CFE-8821-23E5D9DF6D5B","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":"Q7361279$8DA529F4-2673-4FAE-B550-37352FA00616","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":"Q7361279$CEE9F923-FBEC-41E4-BE2A-0D7F71CE85BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Stern-Brocot Tree","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Stern-Brocot_Tree"}}}}}