{"entities":{"Q2577367":{"pageid":2588110,"ns":120,"title":"Item:Q2577367","lastrevid":72813417,"modified":"2026-04-14T08:01:32Z","type":"item","id":"Q2577367","labels":{"en":{"language":"en","value":"On \\(R\\)-universal functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2239743"}},"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":"Q2577367$8EA69414-BC40-4358-BE79-61AB423522D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4f7988666ec88e1c8f5af3538a978b5846d7cc6","datavalue":{"value":{"text":"On \\(R\\)-universal functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2577367$8399020B-6BA7-4EE2-BE88-BEB8FA479F0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"912b6cba80c179b5d0640d2dba9f59f3ec819b99","datavalue":{"value":"1086.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577367$C7668A06-71AB-4B4F-8C19-C06E2BFB10A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33a9c317a2b7700f56259b67159803896ac8603b","datavalue":{"value":{"entity-type":"item","numeric-id":178449,"id":"Q178449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577367$2529F9BF-FDCE-413E-A100-ED92FC900716","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577367$A4290722-AF8E-40B9-BB7D-0A4D2E1B62AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c86b0376083a4b6860e8045b2b10b2c342b2fab7","datavalue":{"value":{"time":"+2005-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2577367$9E22B713-8F9A-4ACB-AD56-58D7643C0934","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"210db7053ceedd32ed15a4a47d3e3cee41fedda1","datavalue":{"value":"A partial recursive function \\(\\alpha\\) is called \\(R\\)-universal, if \\(R\\) is a recursively enumerable set, the range of \\(\\alpha\\) equals \\(R\\), and the range of \\(\\beta\\) \\(\\subseteq R\\) implies \\(\\beta\\leq_m\\alpha\\) for any partial recursive function \\(\\beta\\), where \\(\\beta\\leq_m\\alpha\\) means \\(\\beta=\\alpha f\\) for some recursive function \\(f\\). This paper gives some properties of \\(R\\)-universal functions. For example, it is proven that the \\(\\rho\\)-resemblance type of an \\(R\\)-universal function, \\(R\\) being not the empty set or the set of all natural numbers, consists of one isomorphism type, but of more than one \\(\\rho\\)-recursive isomorphism types.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577367$C73CF9E7-24A1-442E-B0F6-E9CD818E7614","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577367$CA3C1159-B678-442D-815E-91A044BA15C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577367$B688F450-EEA8-4F19-A957-27E9FD8742DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00b3d8fa9da827f134f80b19f10782c2a4da9cca","datavalue":{"value":"2239743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577367$D5F8FD72-ED96-4305-98E2-8764EFCA871E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"005929b8bfafc6abd9d0874fdbd0066dd20db758","datavalue":{"value":"\\(\\rho\\)-resemblance type","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577367$E158891B-D303-4A6A-A00E-C88218D603FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdb53891448ec17117169ea776bc7a96f6db3ccd","datavalue":{"value":"\\(R\\)-universal function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577367$4B4CAA45-7927-4B60-9302-43AE7D666905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9071fe8c44d73569a1ee1a45b9bfc65dcc7529ed","datavalue":{"value":"recursive permutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577367$5ACB445F-A5A1-4E4B-AD96-5AA85D8A8F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4621363af916a594424b00a09cda5add94c73bda","datavalue":{"value":"recursive isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577367$44154601-E47E-4F6A-87DC-B0F46F1842E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0765e65356fbe21988bb33a689b6f9824530b0fa","datavalue":{"value":"partial recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577367$7C2D6646-F065-4D3B-B788-F46F405A0312","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"488d048a8186245364a15937ead16119e53adf2e","datavalue":{"value":{"entity-type":"item","numeric-id":1176062,"id":"Q1176062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577367$ADE4AA2B-6C87-4E85-86CE-0C89288CD85F","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":"Q2577367$A9F5DB60-F5C4-4633-BE13-EF575A96A2E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85216678a35759c9490e5d226eaab5a196f7a082","datavalue":{"value":"https://doi.org/10.1007/s11006-005-0120-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2577367$F401FFF0-3EC3-4B3B-AAFA-698227E3192D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37e3f3bf0ef21ccc359457e06fa1e089dbf60177","datavalue":{"value":"W2066719265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577367$1E5B0995-C2D1-4305-8F11-BCB0ADD777AB","rank":"normal"}],"P223":[{"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":"Q2577367$CE0C4A18-A03B-4427-8B55-E17099609C85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"faec366fcadc76d6f23c1fe890f1ed297c4c33ac","datavalue":{"value":"10.1007/S11006-005-0120-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577367$C095ADDF-7BAA-41EA-B73D-87441D74C311","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbf87dd111397f702b1b8db597470c0b669b8753","datavalue":{"value":{"entity-type":"item","numeric-id":750426,"id":"Q750426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97edae8a11a073d44d6e8f0d8050b688c531303e","datavalue":{"value":{"amount":"+0.7924286723136902","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":"Q2577367$C2708FF6-54BA-42A1-95C6-4FBC88275725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3509b43055d3e1858ca4da91d917d81440201c","datavalue":{"value":{"entity-type":"item","numeric-id":1814465,"id":"Q1814465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba0da675985ee228164c2e3b4b2989d0b698ccac","datavalue":{"value":{"amount":"+0.7914494276046753","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":"Q2577367$C2E18F81-771E-4786-ABF5-067CF561E585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcdedaba7d0f1d06d98d8d55a73b7caff9de7bcf","datavalue":{"value":{"entity-type":"item","numeric-id":1921786,"id":"Q1921786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17085379a206b51d7400ddf3b713245157a655f7","datavalue":{"value":{"amount":"+0.7914112210273743","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":"Q2577367$D19D837D-B467-4703-84D8-C1560E9522DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9976c142387e6d6332290354e2b5001cfa6d1475","datavalue":{"value":{"entity-type":"item","numeric-id":5932630,"id":"Q5932630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f88b6e57ec42e143ea11ba04c8460e2dfdc80f86","datavalue":{"value":{"amount":"+0.7527360320091248","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":"Q2577367$1209DB86-19ED-4952-8A9C-DE766374D58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c8ddf122588ffb5c51bf868519f17faf8c6598","datavalue":{"value":{"entity-type":"item","numeric-id":3335770,"id":"Q3335770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fce24e20d042a003f729b48dcdb07d61990c245","datavalue":{"value":{"amount":"+0.7527356743812561","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":"Q2577367$EC95EE68-F168-4E10-B612-847FB3E46AC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On \\(R\\)-universal functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_%5C(R%5C)-universal_functions"}}}}}