{"entities":{"Q794446":{"pageid":796294,"ns":120,"title":"Item:Q794446","lastrevid":48715846,"modified":"2026-01-05T17:03:50Z","type":"item","id":"Q794446","labels":{"en":{"language":"en","value":"Note on a central lemma for learning theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3860429"}},"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":"Q794446$3964A1B2-2C0F-4BBE-B387-48291A90E2BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a37b98cab0bbb905bb5190f84ce6d5f484f73c3c","datavalue":{"value":{"text":"Note on a central lemma for learning theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q794446$7B7102E9-58C3-4D1B-968B-2A453BFEB857","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0cd01380c7d6a09a9d021ff3f903bca956a9b7d8","datavalue":{"value":"0541.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794446$4883CBEB-4C1A-4DD5-AE28-F9C63EB3D478","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59c5c574ca2f7fdee807514ec119ef401be3cfe5","datavalue":{"value":"10.1016/0022-2496(83)90027-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794446$158BD60C-51E0-4B46-BCDE-59048D0D2572","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c90ac5b207dcefa5c6ef962a975a56da5364fe8c","datavalue":{"value":{"entity-type":"item","numeric-id":580240,"id":"Q580240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794446$D3ED5B53-7C9E-4E16-BA1E-6A85A8B018B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4761e83e89cc17291485567599a5ae1ee159d81b","datavalue":{"value":{"entity-type":"item","numeric-id":685056,"id":"Q685056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794446$E4E2743E-D1C8-4732-9BC3-F8C1355B1AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a162ed9c1228af5f8628b45a1fbe4b46bf3f13a","datavalue":{"value":{"entity-type":"item","numeric-id":703862,"id":"Q703862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794446$42796E6D-1ED1-4ABF-9622-9BF807C275B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4f631007fa9c04f40fd535823111667193921238","datavalue":{"value":{"entity-type":"item","numeric-id":69872,"id":"Q69872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794446$D16A9849-3A67-404F-B406-287C7FA392FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q794446$C720CBF4-075A-4B83-8916-7CAC87FF33F6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1a15e191a3d4d9f2538f9af46c5198156e61edba","datavalue":{"value":"The paper is a contribution to text identification in learning theory. It begins with the enunciation and proof of a classical result - the Blum and Blum Lemma about the existence of finite locking sequences for any learning function f and any language L which f identifies [\\textit{L. Blum} and \\textit{M. Blum}, Inf. Control 28, 125-155 (1975; Zbl 0375.02028)]. The importance of this Lemma and some of its applications are also presented. Then, the metric \\(d(t,s)=\\sum_{t_ n\\neq s_ n}2^{-n}\\) is introduced on \\({}^ NN\\) (the set of infinite sequences with elements from N), and \\((^ NN,d)\\) becomes a complete metric space. The Blum and Blum Lemma is reformulated and proved in this context. This result appears now as a consequence of rather general, topological considerations. The usefulness of this approach is then emphasized, by proving other interesting results about other learning paradigms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q794446$58122A65-5F80-4A8B-A9A4-4D3D1943014F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794446$65071EA6-60A0-407D-A124-DD8DD48DA3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794446$0446D9FC-FCF7-4EE5-9CB8-5D10E785EB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794446$28A84A32-0304-4D9E-9DF0-1970A7ED5576","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22b3eb5bfcd3bd825c2cdd9ef11935b767b5a2e9","datavalue":{"value":"3860429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794446$1A66540C-1C3E-45A5-8D27-D2A3C32085EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da28e6210bab32e2aa890f9d8d8eb06527592c55","datavalue":{"value":"text identification","type":"string"},"datatype":"string"},"type":"statement","id":"Q794446$9B3A8F32-C7B6-4C51-A340-9A5091D6419D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bca5b8f8493e57969b551637f12770d6fc436fb","datavalue":{"value":"learning theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q794446$91473BCF-D9D7-41FF-AED7-5C225F716589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d939bd8e97d39977b48095416642bb3cb3b2b793","datavalue":{"value":"finite locking sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q794446$B2B47048-A421-4FDE-888D-7714FDBC2A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516d811d6b23f3df23e0e1b30aca8343e60000f2","datavalue":{"value":"learning function","type":"string"},"datatype":"string"},"type":"statement","id":"Q794446$EBF85ADA-7C83-4D09-A1DF-AB0992BAFC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20f87686e57cd5798939eefa169b80e212af9083","datavalue":{"value":"metric space","type":"string"},"datatype":"string"},"type":"statement","id":"Q794446$D707FB2A-2903-4FBA-8831-26B4B8135C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"186b8f1fa1773e57f7c0d134ac268188b71c1b27","datavalue":{"value":"topological considerations","type":"string"},"datatype":"string"},"type":"statement","id":"Q794446$454BD707-B2B8-44B0-B16F-9D8DA428AC87","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6536f759dee9ce142c834adc5cc137400d919eb8","datavalue":{"value":{"entity-type":"item","numeric-id":1037240,"id":"Q1037240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794446$FB515F36-277D-46E2-9C3F-E279B1BD3C2B","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":"Q794446$F8057391-75AF-4DDC-8AB7-813FE4B96E48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ae112d518433ced962b574ebb1fd806b44bacf4","datavalue":{"value":"https://doi.org/10.1016/0022-2496(83)90027-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q794446$CF62E5DA-C89F-42DF-BA12-D3130EEEAF97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb709a1f171e6ef07b30e225c719c60140242c33","datavalue":{"value":"W2025659114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794446$6F5D75AA-2821-419E-AEAB-C5773B59FC5B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a78cf4e260e770d8669b5580a360746671925743","datavalue":{"value":"Q124879123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794446$714147E6-8CF8-4C0A-A299-323B2F45DE78","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38edea1b938fbdd8a9623a6542490f846108277","datavalue":{"value":{"entity-type":"item","numeric-id":4154852,"id":"Q4154852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794446$15958E4F-A3CC-4E1D-95E9-EDBBF27B009D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fad3746525616cd98d48335992c761e26a7b5a6","datavalue":{"value":{"entity-type":"item","numeric-id":5653577,"id":"Q5653577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794446$A708FBD0-EEAA-4856-888E-E4051DFADED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac60edc46b96d391fd19f103e4a89f46a0a07b","datavalue":{"value":{"entity-type":"item","numeric-id":5674988,"id":"Q5674988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794446$7249F3DE-CF70-4249-AF88-4B56994DE5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0842ce128cfedce92388e33aef9ec54f9d18a7","datavalue":{"value":{"entity-type":"item","numeric-id":4189277,"id":"Q4189277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794446$847657CB-04AE-425C-BD0C-8B272A965464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794446$2363B020-D7ED-4430-A830-084A3DDE5B65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4454d4339595b878bec17f834607524c8bfdeaef","datavalue":{"value":{"entity-type":"item","numeric-id":4272503,"id":"Q4272503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fba86be158eccacf5fb4e4c4eb76be4bf1ed546a","datavalue":{"value":{"amount":"+0.7070813179016113","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":"Q794446$E7F2AB79-0115-4A38-AB3F-81DB855E8339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92abd8383bf11cf6eb63e8bec2809f2bcc337436","datavalue":{"value":{"entity-type":"item","numeric-id":5494240,"id":"Q5494240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d49fe092bacdc613e65aa60202947e60a238f9","datavalue":{"value":{"amount":"+0.7033656239509583","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":"Q794446$98E63F80-09D2-4C56-B038-387E59B02F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c41dab23b6215633192d2677ee65e4c81d7ae867","datavalue":{"value":{"entity-type":"item","numeric-id":1314333,"id":"Q1314333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a87acbd9bcfdb593107ac868d87d40d96037c4","datavalue":{"value":{"amount":"+0.7000212073326111","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":"Q794446$AF9051F6-5FAE-4C72-811B-35B86A5B84DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"999dfdd483299384cf3994ae6807971f6fc9e00f","datavalue":{"value":{"entity-type":"item","numeric-id":416397,"id":"Q416397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e881be700302b8e8d21519d863725a36ac123cc2","datavalue":{"value":{"amount":"+0.6974847912788391","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":"Q794446$F9BA870F-65D4-434E-A591-40B11246F8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6670075316d66599efcf975fa97fbaf3a9ed8e25","datavalue":{"value":{"entity-type":"item","numeric-id":3093940,"id":"Q3093940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8925361923a57bf3015fa9efdd65341939648e4","datavalue":{"value":{"amount":"+0.6958763599395752","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":"Q794446$128257DC-0A71-454B-9552-E62B00BAF7A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:794446","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:794446"}}}}}