{"entities":{"Q418118":{"pageid":419885,"ns":120,"title":"Item:Q418118","lastrevid":61693347,"modified":"2026-04-11T01:01:07Z","type":"item","id":"Q418118","labels":{"en":{"language":"en","value":"A constructive version of Birkhoff's ergodic theorem for Martin-L\u00f6f random points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6038284"}},"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":"Q418118$5B77D86F-DDA2-47D4-99AC-D3D0C5BAE494","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"147ec8c43229539dbad042e48e9dcd4470b80051","datavalue":{"value":{"text":"A constructive version of Birkhoff's ergodic theorem for Martin-L\u00f6f random points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q418118$04350F17-32BF-43D6-AECA-53407C11677A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"106e9225bb3774370d64e8df2b36e352dcc3f136","datavalue":{"value":"1257.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418118$C83D9003-63C8-4F7F-B986-07FA62B1F4D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd86380e4b6d55c67b77b4e3fb65fe4741cc4b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277526,"id":"Q277526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418118$33C3C727-884E-4A2E-B064-B013FA9188C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20851ec27ce2feabe43d12eb808d2255c98326e1","datavalue":{"value":{"entity-type":"item","numeric-id":418115,"id":"Q418115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418118$6B2E40FC-CDB4-43B5-BEF6-D80536EFA20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72fd48acaa84d7826cd50a971b3c8781ec7710d1","datavalue":{"value":{"entity-type":"item","numeric-id":418116,"id":"Q418116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418118$63CB391C-DCE7-43D4-BDD7-C1EDA627085A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8aca9b7ba6ab5de643628b4ed18f3d7e480d8ddf","datavalue":{"value":{"entity-type":"item","numeric-id":418117,"id":"Q418117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418118$CAED2866-5D74-4450-B7D5-29401235880F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5476b83132587367d55252d960d0edb44ecf4f90","datavalue":{"value":{"entity-type":"item","numeric-id":235575,"id":"Q235575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418118$30CEE651-C446-41E9-9681-BE9F4DC46969","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418118$ACB2E88D-6F8B-443E-B83E-56F70BCF16B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dd357d987d60d499edfc98e682fe931160623b6","datavalue":{"value":{"time":"+2012-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q418118$A7B7365A-8788-4B43-99C7-123F474CDEE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71c2c9b3f1266afddbdbf0f88a60c8b83d576bcc","datavalue":{"value":"https://arxiv.org/abs/1007.5249","type":"string"},"datatype":"url"},"type":"statement","id":"Q418118$AE4EEC34-288E-44DC-9975-363077361EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"8780c889b5d5aff3da36731ca8d504465192b21b","datavalue":{"value":"https://hal.inria.fr/hal-00643629/file/ergodic-edited.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q418118$E7CC9BF4-CDD3-44AA-85A1-CE384F936D04","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fb1931166cb8486d29e43b37815eb8b912e6db38","datavalue":{"value":"The authors prove a constructive version of Birkhoff's ergodic theorem for Martin-L\u00f6f random reals and effectively open sets. From the proof one can extract a new simple proof of the effective ergodic theorem. The main result was independently obtained by \\textit{J. N. Y Franklin}, \\textit{N. Greenberg}, \\textit{J. S. Miller} and \\textit{K. M. Ng} in [``Martin-L\u00f6f random points satisfy Birkhoff's ergodic theorem for effectively closed sets'', Proc. Am. Math. Soc. 140, No. 10, 3623--3628 (2012; \\url{doi:10.1090/S0002-9939-2012-11179-7})].","type":"string"},"datatype":"string"},"type":"statement","id":"Q418118$AD7642EB-B3CF-4F60-B512-948082B15BBB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"21fa9a9223cebca47884c37548205488b3400e7b","datavalue":{"value":{"entity-type":"item","numeric-id":235567,"id":"Q235567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418118$B182AFEF-90ED-4446-B179-CF7B93588021","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bfc1b1c272474384546bcd37c9164f9d239a9903","datavalue":{"value":"03D32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418118$D020919A-A0C6-4619-84C0-B9EC085F883F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3450a5db34e1a7725e1951d82618aef0cabbd7ba","datavalue":{"value":"28D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418118$0FD0203E-F232-444F-B615-4DDE3A826DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"97bf85d83b207d40f5cd1e5761ad8330c8b05c5c","datavalue":{"value":"37A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418118$38D8DDFF-275E-42FC-A6F5-4A93217F7F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418118$F031CB54-97F1-4201-8E89-F30209CF0B77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cef472bd69ae39b50d0e3ab0a09eb82310d6e24","datavalue":{"value":"6038284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418118$0E839751-07D1-4659-87ED-AA22E2D2E9D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0589afb2b1700a8f9efb1183b772c06cbe801a0","datavalue":{"value":"Martin-L\u00f6f random real","type":"string"},"datatype":"string"},"type":"statement","id":"Q418118$F494D148-4314-4088-AABE-C911F3533F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4377ba69cd3726cc63aed270585e93418a2a2b0d","datavalue":{"value":"Birkhoff's ergodic theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q418118$BBB6EC77-AB96-4BF2-B5E9-A81ADC7E83FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"253950ef9f36c75e4b6308b41e5fc8485cbda011","datavalue":{"value":"Poincar\u00e9 recurrence","type":"string"},"datatype":"string"},"type":"statement","id":"Q418118$A6AD8116-1725-438A-BF27-073C18C3B51B","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":"Q418118$03A91B3B-7A4F-43C7-92B1-ED68EC8196C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e75b11d8afa689abb67ea4bc8c962ba5cc5e5436","datavalue":{"value":"W1593512589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418118$F3517974-A70D-4D5F-9E2C-4DF93A34C972","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"342873fe66b1f2806d981aaef80a310ca14f6974","datavalue":{"value":"Q57349503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418118$064CCC8D-C9C6-4B88-A037-9EB214F492EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb241275e18fae6b591da2c7b03e23f02caa8de5","datavalue":{"value":{"entity-type":"item","numeric-id":3576190,"id":"Q3576190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418118$E3C4BFFE-20A5-45FA-BC9B-C3ECF2AB73E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2fd19ad60a6d643cd4675049094bc20cc5ad51","datavalue":{"value":{"entity-type":"item","numeric-id":2510759,"id":"Q2510759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418118$3A73E8DC-6540-4785-BF45-867D1E821FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9335f0b82eb76efb2b737bb7b513e2031a3cf9d0","datavalue":{"value":{"entity-type":"item","numeric-id":3915691,"id":"Q3915691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418118$7E961036-8ADC-47B4-A223-D769C623C80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6bbeff9ce8589255858815fefb6bf0d4fe1f307","datavalue":{"value":{"entity-type":"item","numeric-id":2566004,"id":"Q2566004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418118$E12CAE5B-54C2-47F7-8791-9B5CAA18CB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6994a8e6644ea333390c4346f5276e08b0c6a734","datavalue":{"value":{"entity-type":"item","numeric-id":3576058,"id":"Q3576058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418118$6E509CF6-1BAE-424F-9BA6-11617BFEEF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca006c0c7b926402776346b6808eb49277ec0331","datavalue":{"value":{"entity-type":"item","numeric-id":3638062,"id":"Q3638062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418118$F6C90DD6-12F6-4013-96CE-8F418499F4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46566aa4a308a834c13eed04f323f80b2bdabfc","datavalue":{"value":{"entity-type":"item","numeric-id":2389335,"id":"Q2389335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418118$5B72534A-9BE3-4CF1-9360-72DFF2A93BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69f71c65f6603cecb67d9b8266a9670a9f8a421e","datavalue":{"value":{"entity-type":"item","numeric-id":3758821,"id":"Q3758821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418118$EF15C7B4-CDBB-4584-89EF-063099566180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e63001f23c0e936e76d5b0846f3523727ff4462","datavalue":{"value":{"entity-type":"item","numeric-id":989415,"id":"Q989415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418118$95921CEA-633E-4AB1-A482-E3558CC9018C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66f83f7b440c51743446fa29488b978550b076b0","datavalue":{"value":{"entity-type":"item","numeric-id":3549680,"id":"Q3549680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418118$4CC14356-FD11-4596-A55B-A6AEC80E7F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6281262c750ae8fa00376b8787cc0bce0011cf89","datavalue":{"value":{"entity-type":"item","numeric-id":3764938,"id":"Q3764938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418118$0C721981-7F07-480F-950D-0F805E3B9B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d581532019b68a7454cd1ea3c787b5d74d703a88","datavalue":{"value":{"entity-type":"item","numeric-id":3842376,"id":"Q3842376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418118$71133E48-3A5B-404C-AE91-FF78DB2796C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca5609531e4131e0b6a6e7aee321f61c973b68d8","datavalue":{"value":"10.1016/J.IC.2011.10.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418118$F63F8CB9-526F-476A-95B2-13BCDFB1F59F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d1e14b1f219831a609bea53e30bf1a3ba194db","datavalue":{"value":{"entity-type":"item","numeric-id":2845878,"id":"Q2845878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6846e91070eb3d743d65a787baee9b6edbe9602f","datavalue":{"value":{"amount":"+0.8884546756744385","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":"Q418118$13843F6B-15CC-4C5D-B50A-DA291AC21A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc2970e3dfb5fb4c605aa04a0a155486d6344845","datavalue":{"value":{"entity-type":"item","numeric-id":5043603,"id":"Q5043603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c430d5315d8e7d79733c864204c6c96957265d","datavalue":{"value":{"amount":"+0.8715662956237793","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":"Q418118$07A1A62B-FCDC-4FE5-B8AF-E884B4DDF12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c96e67abb7259facfba11b3c4e7ed6114b53af0","datavalue":{"value":{"entity-type":"item","numeric-id":3576190,"id":"Q3576190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b5f3ef78c4f1e4967578fa6e0f82f071a2b6f34","datavalue":{"value":{"amount":"+0.8464854955673218","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":"Q418118$B0DD4C17-C495-4D04-9C36-3501741890F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"194d77a1f2744cd9009e381887fe70b8f781af25","datavalue":{"value":{"entity-type":"item","numeric-id":1275009,"id":"Q1275009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92be6b57262b01ac2a8f8ffd413bfb366b664ff8","datavalue":{"value":{"amount":"+0.8239408731460571","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":"Q418118$F9CEE134-C0AB-46C4-8447-EBDECDA91A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ded9cf0b1d92f864abb34b4efa400c38c92e651","datavalue":{"value":{"entity-type":"item","numeric-id":2904794,"id":"Q2904794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1c37f5a4504f7070416b6646abd2b0cf83ff435","datavalue":{"value":{"amount":"+0.8208518028259277","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":"Q418118$CA991DC8-64DC-421D-80DE-0497B9D3FBB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constructive version of Birkhoff's ergodic theorem for Martin-L\u00f6f random points","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_constructive_version_of_Birkhoff%27s_ergodic_theorem_for_Martin-L%C3%B6f_random_points"}}}}}