{"entities":{"Q1057638":{"pageid":1059486,"ns":120,"title":"Item:Q1057638","lastrevid":66050289,"modified":"2026-04-12T07:12:05Z","type":"item","id":"Q1057638","labels":{"en":{"language":"en","value":"Pseudo-recursive procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3898202"}},"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":"Q1057638$E454FDE7-C348-4B68-96BF-0D4E8E0A9395","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31665a2e19817bed736bff07419616b18107a3f0","datavalue":{"value":{"text":"Pseudo-recursive procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1057638$EE76658B-02B7-4DAF-94AA-67D5CAC0B321","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2ea13a0198892d4d2ca5c91dc18a2ca823990f2","datavalue":{"value":"0563.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057638$D533CC10-8744-4CB4-962D-77959AF53CCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52a61732e678cf702f08add7fb2786f2c0d977e5","datavalue":{"value":"10.1007/BF02240192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057638$DDC55F41-0D38-4CF2-983F-8023B1730247","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bddfeca47afcdf7acf1eabb1ba48ae5991f49c7","datavalue":{"value":{"entity-type":"item","numeric-id":1057637,"id":"Q1057637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057638$E58067DA-1F95-43B8-8790-8DE4A938A296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f0702b578a328224eb4d1059a09394720b2b190","datavalue":{"value":{"entity-type":"item","numeric-id":258507,"id":"Q258507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057638$AF00633E-138D-47C1-BC7D-66C8997C102E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b79ece58f33b59758a066cb6b9ee149bab3a2c9a","datavalue":{"value":{"entity-type":"item","numeric-id":167642,"id":"Q167642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057638$3DED8DE2-00B3-4D0F-A53B-7FC85EF75C84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1057638$3B8FE52F-5AB6-477C-812E-6B9487F6D3CE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dc8218a97c439d570438f109125843de49d34449","datavalue":{"value":"Based on a decidable notion of recursivity of procedures (or functions) in ALGOL-like programs we define pseudo-recursive procedures to be those that do not need an activation record of their own on the runtime stack; their storage can be allocated within the activation record of a strictly-recursive (i.e. not pseudo-recursive) dynamic predecessor. We present an algorithm that characterizes each procedure of a program as being either non-recursive, pseudo-recursive or strictly-recursive and associates each pseudo-recursive procedure with one appropriate strictly- recursive one. With this information a better suited implementation technique can be chosen for each type of procedure.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057638$05BDE22D-BA9D-440F-B779-898C90EF2A69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057638$873B1C97-EE14-47FD-A112-874076841F47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3ddbb0056730147faa07c7bc298d303108ef2c9","datavalue":{"value":"3898202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057638$931A0DB4-2644-4B55-97AB-151243342F52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30633f1ce79612abaec8e4e88ab09ea1d81f4fb2","datavalue":{"value":"pseudo-recursive procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057638$CB22BB78-0EA1-4026-9405-CD54294A86B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b94afe8a63edc0390b637369bbc8ea8971cb852","datavalue":{"value":"runtime stack","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057638$6277F647-A98F-440A-8C28-E0B26EB4B37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057638$F9BFB6F7-21BD-4DB1-9DD7-8526207888AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1960b14b932e46b4c7f7024e71e4a9fc633fc53b","datavalue":{"value":"activation record","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057638$12475A38-A806-4611-8FC4-E815C4773972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52fc851c364451495763eaefbcf82f6aba17b15a","datavalue":{"value":"dominator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057638$BB7A9D28-5608-4804-A52F-DCCB6F216B54","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":"Q1057638$A6B0BDD6-C2FB-41D5-A65A-295AF39E15E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4aa49b81f3e943dd3745dba4c217a42f034052c","datavalue":{"value":{"entity-type":"item","numeric-id":4162623,"id":"Q4162623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057638$AAA3AF58-2368-41C2-B63C-C3605AD8D4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e7325979007118002bfffe6683e99fc52b5c08","datavalue":{"value":{"entity-type":"item","numeric-id":2561483,"id":"Q2561483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057638$BE10775C-4F3C-4D8E-95EB-E9BAB8A9ADA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad66e712de02ff1b7a4cfdc9520b6373ff759106","datavalue":{"value":{"entity-type":"item","numeric-id":4050114,"id":"Q4050114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057638$365D69E6-DF46-4480-AAA5-665F5DCEE07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a81cd6faacc1fff33a03beb0210e1ef07324944e","datavalue":{"value":{"entity-type":"item","numeric-id":4101422,"id":"Q4101422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057638$F5EA4311-CD28-4E23-99A0-A7EAF4CDF83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d99b374b38464d15b17b9b19bf9e5c1f9567a428","datavalue":{"value":{"entity-type":"item","numeric-id":1169276,"id":"Q1169276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057638$6025858D-CDB8-4994-8497-DBE28E0705CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4217c11fa018b03721cf9f5e14a3f10a88322586","datavalue":{"value":{"entity-type":"item","numeric-id":3709860,"id":"Q3709860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4037d2df4b28d37647ff83c7046cac433b4b0391","datavalue":{"value":{"amount":"+0.8254719376564026","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":"Q1057638$62506055-C8CA-4988-B1AC-79B504FA679E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ac28cca090b56d8f7ec104057683af1ca8bead","datavalue":{"value":{"entity-type":"item","numeric-id":5096232,"id":"Q5096232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"001c08d53951007a7553da016e885f20c354f87d","datavalue":{"value":{"amount":"+0.7984266877174377","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":"Q1057638$E22ABB75-D487-488F-AF09-7F416EBFF23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acaaea0cc3fa6a8d30716da35caf95fad192a27c","datavalue":{"value":{"entity-type":"item","numeric-id":1329196,"id":"Q1329196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fb334ab1fc02f0f865fedced61c445f597ae381","datavalue":{"value":{"amount":"+0.7275062203407288","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":"Q1057638$EAACF31F-36C9-4821-BA74-97C1E1153A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a18478b8024b0955b5f874bf63825d41b6bb2d6","datavalue":{"value":{"entity-type":"item","numeric-id":3685159,"id":"Q3685159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3514426c4ebc4672b4ac53434fe61fc5a9bd31ab","datavalue":{"value":{"amount":"+0.7271564602851868","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":"Q1057638$B41E22B4-9635-41BA-846D-8397DE9EAE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86c04072fbf74702af7b961341adbb61be3045d","datavalue":{"value":{"entity-type":"item","numeric-id":4294245,"id":"Q4294245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d6fa26aec6ee72dd29686427e2f669fb5cd56ee","datavalue":{"value":{"amount":"+0.7214533686637878","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":"Q1057638$BBEEC758-E903-4FE7-A3D3-A955CA480A19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pseudo-recursive procedures","badges":[]}}}}}