{"entities":{"Q1577169":{"pageid":1587909,"ns":120,"title":"Item:Q1577169","lastrevid":70744230,"modified":"2026-04-13T16:28:00Z","type":"item","id":"Q1577169","labels":{"en":{"language":"en","value":"On resemblance and recursive isomorphism types of bounded partial recursive functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1498415"}},"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":"Q1577169$86EFB060-E023-4F4C-89C8-D3549A5A42FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e012aeb07107a2c2b1ccb9be45dd05584e958c7","datavalue":{"value":{"text":"On resemblance and recursive isomorphism types of bounded partial recursive functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1577169$FE636ECB-10AB-4287-ADC6-635F967132B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8a432a503229a8f098c4087450a4ebda4a61d9b","datavalue":{"value":"0947.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577169$E1AFC6DF-EB66-490B-82B3-BA1F5995184F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08bc9a820283b5fa1ee553d6680dcf22fe84d7c5","datavalue":{"value":"10.1007/BF02674602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577169$C5C14101-7ABE-4A15-A6C5-4B702A27193B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1fd060a26261f62a58559ef46d917c6d1e0c33b","datavalue":{"value":{"entity-type":"item","numeric-id":1577168,"id":"Q1577168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577169$D1CF4ECD-DBE1-4C6C-9DEA-188075C96884","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577169$C303CC32-375B-4FA8-B74C-F535F128DE18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6586588445949d2fbb40c4309ca2cd89ad6a7878","datavalue":{"value":{"time":"+2000-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1577169$27184A33-3776-4B3D-9197-656089F72042","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9d9639ed557e412f4bb6a008a70196519bc9c93","datavalue":{"value":"https://eudml.org/doc/120559","type":"string"},"datatype":"url"},"type":"statement","id":"Q1577169$5A9FF237-100A-429B-B619-CEF8608381DE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"28367469cf1def59c19051168a0d972c2560ef38","datavalue":{"value":"Partial recursive functions \\(\\alpha\\) and \\(\\beta\\) are called resembling provided there exist recursive permutations \\(f\\) and \\(g\\) such that \\(\\alpha=f^{-1}\\beta g\\); they are called recursively isomorphic if there exists a recursive permutation \\(f\\) such that \\(\\alpha=f^{-1}\\beta f\\). A function is called bounded if its range is bounded. The author proves that each resemblance type of a bounded function consists of finitely many recursive isomorphism types; an upper bound is presented for the number of recursive isomorphism types in the resemblance type of a bounded function; for some bounded functions, the exact number of recursive isomorphism types is determined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577169$C28E524D-F76E-4015-8ED2-80BFDF68EE57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577169$12662398-88F0-4387-BB6F-8831AAC24BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577169$D7A4E592-C344-4D1C-ABA3-209A298A8091","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c30d2e8eea1ecc19ff3c25d7b6239b3600b71a56","datavalue":{"value":"1498415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577169$7A431D75-C1D2-4E4A-8CE2-4FE8328EBE3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37945f6b40676a65ee9755abe02aadb9ba932605","datavalue":{"value":"resemblance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577169$203F869E-400A-4EC8-A75D-C0F594C027D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0adbff92b752a1cb484430c1997373eaa601ce98","datavalue":{"value":"recursive isomorphism type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577169$0FB59899-D39A-4E8C-9D20-2F2A7149A57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0765e65356fbe21988bb33a689b6f9824530b0fa","datavalue":{"value":"partial recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577169$32762D62-4B60-483B-A46A-DFD101987D32","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577169$DA64A04B-E8E5-4916-AD71-DFF02C7BD11F","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":"Q1577169$A7A32A20-F164-478D-97D6-DC5C2A6A51A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7f388418384e3fbca4b0e8a49db9b1c6cb8eb1","datavalue":{"value":{"entity-type":"item","numeric-id":750426,"id":"Q750426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577169$5EF29762-78D4-4E18-96C4-8EB4C94484CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f66cc310b2f906ca38a8555771c2385bc274a4","datavalue":{"value":{"entity-type":"item","numeric-id":4773690,"id":"Q4773690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577169$EB24A7D6-ACC5-42E2-B225-2D39FBA6A43D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b9a7d7f80188c345626ebd29a3cd1e74b14ca79","datavalue":{"value":"W1996744224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577169$C6A1FFA2-F0D0-4A10-B72C-FDC2C3CF89A9","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":"7f42059368713a2d52d1e91e89dc55363a42c7a8","datavalue":{"value":{"amount":"+0.9170677661895752","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":"Q1577169$2D15EFD1-B027-44DD-8B59-B8CCF49C6B03","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":"44bfb751569b0c28416c85b50640fb409c769836","datavalue":{"value":{"amount":"+0.9143074750900269","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":"Q1577169$F2481934-3ABF-428B-99DC-5D0FDA68437C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6d2c1cf93593cd302293d0206afdca24aada451","datavalue":{"value":{"entity-type":"item","numeric-id":1975814,"id":"Q1975814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"885216f3f221c8a0675626986e0b6c4f52614a01","datavalue":{"value":{"amount":"+0.8666019439697266","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":"Q1577169$4BC7085D-B6C8-4DD6-82D7-3623B154ED0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On resemblance and recursive isomorphism types of bounded partial recursive functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_resemblance_and_recursive_isomorphism_types_of_bounded_partial_recursive_functions"}}}}}