{"entities":{"Q1346903":{"pageid":1357642,"ns":120,"title":"Item:Q1346903","lastrevid":67669788,"modified":"2026-04-12T19:15:25Z","type":"item","id":"Q1346903","labels":{"en":{"language":"en","value":"Toward a generalized computability theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 738953"}},"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":"Q1346903$9386099F-9E9C-4A0D-9A07-1D404E2699CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c6cdc84bb3053ba71fb437072563b14024b2245","datavalue":{"value":{"text":"Toward a generalized computability theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346903$E4039AD8-E993-492C-B42C-445D55CEDD1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0b933a18a3e50c340993e0740285ce66aa7109d","datavalue":{"value":"0829.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346903$27B13A22-0A95-4AD4-8E54-2089FCC492C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04107bf29838cea6c3f560e688a9d703c69625f9","datavalue":{"value":"10.1007/BF02261744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346903$72795AA7-F795-4B70-B2F7-8326C1329934","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"922409811d7e78b36467af76713ef7eb14a1dcec","datavalue":{"value":{"entity-type":"item","numeric-id":1346902,"id":"Q1346902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346903$7AF4895C-597B-4413-A93A-C2592FE42EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08fc4a39e33209ccc9cd02fed78403d801827222","datavalue":{"value":{"entity-type":"item","numeric-id":797701,"id":"Q797701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346903$D674033F-E596-4F0E-9859-421CB63FC425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b1843ff51384642f69cbb6cac945664c66fbeb9","datavalue":{"value":{"entity-type":"item","numeric-id":639687,"id":"Q639687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346903$AC6C94E8-3F78-4859-81AD-FAD4EC65B4D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346903$28761562-5B9B-4B62-ABBE-F021A543708C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b74804618c57ee35b990cf82f55e89bccfb918","datavalue":{"value":{"time":"+1995-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346903$7CA03930-F21B-4D92-95BE-55EDB6D6785E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3ff3faaeb21c51418de27c39941065fbca7fec57","datavalue":{"value":"The main objective of the paper is to extend the classical notion of an algorithm to arbitrary algebraic systems. Algorithmic constructions are chosen as in well-known standard program schemes, and are called BSS- machines following the names of \\textit{L. Blum}, \\textit{M. Shub}, and \\textit{S. Smale} being the authors of the paper: ``On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines'' [Bull. Am. Math. Soc., New Ser. 21, No. 1, 1-46 (1989; Zbl 0681.03020)]. The basic idea of the suggested approach is to use BSS-machines over the list extension of a system \\({\\mathfrak A}\\) and not over \\({\\mathfrak A}\\) itself. Different generalizations of classical recursive functions in the theory of algorithms are introduced and studied from this point of view.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346903$7262167B-0C14-4480-906A-8A8ABA7A56DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346903$A6A9CF0A-5BDD-4EF1-8FFE-C543D3684B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346903$4EED0DBE-FB3E-4F49-BC66-6653967CDA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346903$571A2CD2-D322-4E28-882E-BC2CA8C4DF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346903$2A339692-DBBA-4EBC-9D57-813D25B6AB31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dba6abf6b7733c93cbf89f6c9fce42dc766a7971","datavalue":{"value":"738953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346903$025861BA-8731-4FE7-BD9B-AC278498DCA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346903$B025DEDC-F94D-4F7D-B9D7-1B0AF8BB7BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c076cbba3879ea62b1e41c3c4255e50a11f22bc5","datavalue":{"value":"algebraic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346903$FE481475-9204-45E7-AF9F-716BE8FB71A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68466761ca93134c593a5eb31e741a5bfca2d1d1","datavalue":{"value":"BSS-machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346903$9A6DEEB6-6A23-4CF4-A664-C0C615A03743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e819018a8d1b0dfa68fe89740f4e64d6cb9551ed","datavalue":{"value":"list extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346903$D908A1D1-F38E-4A7C-AE96-EA1A1FBC5F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92f25b9ea895f2b57606a79389bb66216727043","datavalue":{"value":"recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346903$8EFFDFDF-ACE0-4996-A41A-54DEC59565F4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"377196f0936f14c5f40316c205cbb7535714207a","datavalue":{"value":{"entity-type":"item","numeric-id":585662,"id":"Q585662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346903$0C70CE94-45F6-4D89-8CE1-6242A8389476","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":"Q1346903$6AC15719-7D98-4A01-9AFC-93EE8580CEA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1efc6d224ffe0d7322355df220a9a0a92863a911","datavalue":{"value":{"entity-type":"item","numeric-id":4729768,"id":"Q4729768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346903$609230A4-8F6B-4C89-BA5B-5D64655C48D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346903$8D022614-8493-4061-AC0A-13D95F0C4F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d13be93326fe439d9ba63c1d8fc97ba3bcf3655","datavalue":{"value":{"entity-type":"item","numeric-id":3893911,"id":"Q3893911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346903$D8CB9BCB-F690-436F-8346-D1E92ABDC8FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5bb5aefa7f73c5b8390799cf7d1c081c0a26581","datavalue":{"value":{"entity-type":"item","numeric-id":3081644,"id":"Q3081644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3d87b9d10c8e31130d27ade8bddea1538c9ac4e","datavalue":{"value":{"amount":"+0.94390535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346903$CAF3518C-2ECF-4154-9E17-7AA519D88927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8649d9b8b3aedd3e5015a462ed8df7e4c41bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":3773864,"id":"Q3773864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89d3e0f7a449a9c2bf960ec76b6435efa2cdb04a","datavalue":{"value":{"amount":"+0.9349717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346903$A80BEAAB-34D2-403F-858E-A6F1AEB0C7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30738d233c7b4e000b47e5a427370528e79f6c4d","datavalue":{"value":{"entity-type":"item","numeric-id":3053050,"id":"Q3053050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"850bce0643b3ddab4a34d590d443306afa4814b1","datavalue":{"value":{"amount":"+0.9317649","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346903$BD488A55-74A5-4D32-BD3D-1CDFE76F0F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f616191a4252d46a7d480cbc69c8183922b7d568","datavalue":{"value":{"entity-type":"item","numeric-id":4354427,"id":"Q4354427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"850bce0643b3ddab4a34d590d443306afa4814b1","datavalue":{"value":{"amount":"+0.9317649","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346903$7BB48142-6267-4EC2-850E-E653ED0A605C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae2b1970389166d54a25482676308f10310bad5","datavalue":{"value":{"entity-type":"item","numeric-id":3452499,"id":"Q3452499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80641ce068fae980a8bad5f46087437f7d0ea219","datavalue":{"value":{"amount":"+0.92876154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346903$6D41B8FD-2745-4C59-A3E5-18B4D624614E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e45e3596c26729130d39a78175177b00d8d23d","datavalue":{"value":{"entity-type":"item","numeric-id":4936681,"id":"Q4936681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5226770070d34cf03b377abd3252b7250674636","datavalue":{"value":{"amount":"+0.9219102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346903$FBDDE014-946C-4BAD-8F59-595B20B15116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c496a6f43e67ff066faf45ce7d6fa2084e6c69b3","datavalue":{"value":{"entity-type":"item","numeric-id":4637219,"id":"Q4637219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf3b8751f22a03600a43bbcb207b40b1c0101d1","datavalue":{"value":{"amount":"+0.92083794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346903$2F332517-021A-4194-A081-7453D007D3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad4d07259bb45ca06baa0100ff803885d53eecf9","datavalue":{"value":{"entity-type":"item","numeric-id":1694010,"id":"Q1694010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97eb8fb4e24ba0691d0bc24f4996a35650cb24a1","datavalue":{"value":{"amount":"+0.9190112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346903$99FCE7E2-43AD-46C9-BAF3-8AD5D55DCD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acef74485359b9315d301d83768966d9a89dd588","datavalue":{"value":{"entity-type":"item","numeric-id":2891272,"id":"Q2891272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5fdd746e60d5f4a327d31a564ce0d74d1cc1403","datavalue":{"value":{"amount":"+0.9152947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346903$5DDA56A4-C3EE-41A3-9528-67517CE845AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85530b3bc1d23a009fb63c468eed00239800841f","datavalue":{"value":{"entity-type":"item","numeric-id":2851819,"id":"Q2851819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5fdd746e60d5f4a327d31a564ce0d74d1cc1403","datavalue":{"value":{"amount":"+0.9152947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346903$94F933C0-B938-46D2-AB02-446C21E459DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Toward a generalized computability theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Toward_a_generalized_computability_theory"}}}}}