{"entities":{"Q1407110":{"pageid":1417850,"ns":120,"title":"Item:Q1407110","lastrevid":67369413,"modified":"2026-04-12T17:09:43Z","type":"item","id":"Q1407110","labels":{"en":{"language":"en","value":"Macrotransducers and applicative systems for partially continuous functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1978404"}},"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":"Q1407110$6F32BE51-25CE-4C26-BB58-E99365AC0AA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b487bd542481beb86dc30c04e3d2e2afa9f8f89","datavalue":{"value":{"text":"Macrotransducers and applicative systems for partially continuous functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407110$C953ED85-8110-4EBC-A226-ABB96155B8DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adc5f85c13c47799f1ad447fedeff58fc3580dc7","datavalue":{"value":"1025.93001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407110$FC0E795C-D9EF-4DDD-BF1A-893CF4D77B6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bd67ebd79a7373b1252e4125e5d403c15380a76","datavalue":{"value":"10.1023/A:1016741416419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407110$C6F6AAFF-4B9F-4ECE-8D77-549DE6CAEA99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c7f0c926245832115f408aabb05006233a9ddf5","datavalue":{"value":{"entity-type":"item","numeric-id":797276,"id":"Q797276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407110$442DF696-632A-4842-B7F0-4903D0CAE20B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407110$53822F20-AAE9-4723-8858-489CD6914F72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a3bd22b3255d28cafbe1a32be16f369f6f38fa5","datavalue":{"value":{"time":"+2003-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407110$371980DB-117F-41EB-8E06-A584391B6C27","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f63cc7a217694da9e87b57a16a34c55b823af39c","datavalue":{"value":"The purpose of this short note is four-fold. (i) To provide further interpretations of the \\(\\Delta\\)-calculus, (ii) to provide some extension of the \\(\\Delta\\)-calculus to partially recursive functions and to partially continuous functions, (iii) to build up functionals and operators by means of macrotransducers over labeled trees, and (iv) to study some relations between the notions of computability, semicomputability, continuity and realizability. It is shown that the basic axioms of the \\(\\Delta\\)-calculus are true for partially continuous operators.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407110$DE7CE68A-A10E-4D6B-8FF4-5F4CEEF5D7C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f4ce24ea798cb24d40f7f7b071db8f0491546ad5","datavalue":{"value":"93A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407110$5E8D6F90-28BC-4158-9EE8-A57D111A1AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407110$F3014B30-1E02-4EBD-8E57-2F1F8C1F986F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7a16fb5514acfe41736fc124fb6cc97073e6787","datavalue":{"value":"1978404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407110$5E70C2C4-B967-44D7-BE5C-E81A002727B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29d5132ae1b78efa07ca89ec1622fb00588c3d16","datavalue":{"value":"macrotransducer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407110$C13D6FE0-EA4D-4FDB-A2FB-0D8A32D8AE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74db523a5ef5f0979ffb53930fa61c3d04c6727a","datavalue":{"value":"applicative system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407110$55CC2A75-B2F1-469E-AB0E-4BC8A2A1455F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c45665375c968b23ee2804ca5b51df8a059235e","datavalue":{"value":"partially continuous function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407110$7682D123-B308-4CF8-8269-5C9494BC58F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11fc461c2c5c08730e8cd05d6004c26a19b64dd7","datavalue":{"value":"partially recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407110$89D7D414-54DB-420B-AC07-DB55CB8CB519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d03a73c68469403caf78b63edf1f6cb3d1dd175","datavalue":{"value":"labeled tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407110$1B1C1E9A-5195-49BA-8A6C-0B9C6638B494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"076b0f0097062c8c82eedd4d9931cd67c75cf8f0","datavalue":{"value":"\\(\\Delta\\)-calculus realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407110$C2100268-A34A-42DC-BE96-B1BE8A373EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27c2e420b7a7dc3b2d33a778c4052dde05e3b536","datavalue":{"value":"continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407110$A1622D50-BA82-4AAC-A289-44AFE1D64F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407110$B93D821A-E047-4960-9F11-6E5E8B182BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54a761608b38554c6acea1b3e5b09eb5a82140d4","datavalue":{"value":"semicomputability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407110$6CA29262-E9C2-42EB-8BC5-D9D265968EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4105003c4f3e439222e65059758acce41a02d876","datavalue":{"value":"axioms of universality and approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407110$8D4B5560-97EA-4CE0-8AA4-96FFE1983152","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"75a45b76db153c66d61ccedd203c8ca07754cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":1297751,"id":"Q1297751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407110$F79CEC94-9ABA-47BF-BA62-202203A92F18","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":"Q1407110$34C63099-A596-4EC2-A947-AEA44CE8AD58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e26c22291a33175a21ae23500c1b24db96abf219","datavalue":{"value":"https://doi.org/10.1023/a:1016741416419","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407110$32082079-05B8-465F-A262-6BDA15BCC7B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55fe93386eee6fd684f5c09a162b28b3996f5604","datavalue":{"value":"W1578181250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407110$BB7BE76A-80F9-4458-B617-2973E103A0BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb2c7ad139d1b6582f55724db36024dd5c04b13","datavalue":{"value":{"entity-type":"item","numeric-id":1375271,"id":"Q1375271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e147767a24442b7293dd05e0e037b80b73c65203","datavalue":{"value":{"amount":"+0.88505","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":"Q1407110$1CBEAC13-183F-42AD-B24C-242DDC5D3A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccb70cee22b9fc5386b22abcaa44dc6371d35fe2","datavalue":{"value":{"entity-type":"item","numeric-id":1816067,"id":"Q1816067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b62b28b866423897440c3d4a7d14af11386650e5","datavalue":{"value":{"amount":"+0.8705409","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":"Q1407110$0AD22D58-9FFA-4AD6-806A-5047C5710581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca86a84163579aac3280e8e8fc83653fc41ce3e6","datavalue":{"value":{"entity-type":"item","numeric-id":1098303,"id":"Q1098303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9451dc5c277c4008f9bfa45d11b9798de523fee1","datavalue":{"value":{"amount":"+0.8226395","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":"Q1407110$12EE5143-F595-41B4-BC5C-8E4404A41A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68410f7e69b930694df10a76430368953d9b5a90","datavalue":{"value":{"entity-type":"item","numeric-id":5109512,"id":"Q5109512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70d5f50344428e4a0c46316d95022fa446c049e0","datavalue":{"value":{"amount":"+0.82089376","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":"Q1407110$1A7112BB-0487-4987-A67C-A293FF25DCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960641a2e77a7780993a137730c7d0d39f26f92f","datavalue":{"value":{"entity-type":"item","numeric-id":5900680,"id":"Q5900680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4a34ce85f427719fa4f469e656a39609460bc8c","datavalue":{"value":{"amount":"+0.8185312","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":"Q1407110$F128D7C6-FD61-40D5-B7A8-F83E833CA173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b5f10e705cfda81bc3e2e4b11c2f5eef40cbed0","datavalue":{"value":{"entity-type":"item","numeric-id":3334094,"id":"Q3334094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b66696c00c9deed192010675ceb94422c09c6971","datavalue":{"value":{"amount":"+0.8163146","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":"Q1407110$35331F0D-F383-4996-8018-64572B62AF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bbb8cd863147beb295c3db490fd27853febeb91","datavalue":{"value":{"entity-type":"item","numeric-id":1398474,"id":"Q1398474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a951c27d9d63e6e3f46a55cec2a0f664c78ef191","datavalue":{"value":{"amount":"+0.8161831","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":"Q1407110$77582D7A-34A5-4D14-94FE-0E4630F34AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b608f1ddcf9b55e66d938d338a2b0ea2c4eba1b3","datavalue":{"value":{"entity-type":"item","numeric-id":2074205,"id":"Q2074205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4208919c121fd213ca94bbe13cf0670e3ebeaf12","datavalue":{"value":{"amount":"+0.8160467","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":"Q1407110$3257AF71-A34F-44D4-999D-4F9131978892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5d16632e91a0b1590036557e3aa1361b91a7803","datavalue":{"value":{"entity-type":"item","numeric-id":1593866,"id":"Q1593866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ed949757bfadd0c903b7b977137e9ee1ff2a2fe","datavalue":{"value":{"amount":"+0.8140937","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":"Q1407110$FBA35E02-2BC7-4BAF-8CC4-3FB4B377CA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3fbed6d0b7d509ab5670bed234fd2d6f33baecc","datavalue":{"value":{"entity-type":"item","numeric-id":4259952,"id":"Q4259952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f78838bb51e38c1a1ee151e5b408b90aa95c934","datavalue":{"value":{"amount":"+0.8138709","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":"Q1407110$2032C64B-5346-42A8-88E0-EA84DE91B28B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Macrotransducers and applicative systems for partially continuous functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Macrotransducers_and_applicative_systems_for_partially_continuous_functions"}}}}}