{"entities":{"Q634775":{"pageid":636623,"ns":120,"title":"Item:Q634775","lastrevid":63141201,"modified":"2026-04-11T10:52:14Z","type":"item","id":"Q634775","labels":{"en":{"language":"en","value":"On nested simple recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5939554"}},"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":"Q634775$0771A740-976E-496A-8D15-884F18C9A060","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e25f0e821302cd0d4d7c937db6e8660c1022778d","datavalue":{"value":{"text":"On nested simple recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q634775$6E63B58F-34F8-49B9-AF19-251C34DDC469","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31f922995912735ef3ca99a0ca91a182c91174c0","datavalue":{"value":"1227.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634775$0EB9AA13-B3E6-45DA-AC8E-869B20E9D25F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"910211ee5f7f20346ee1aca4486d5b2fa5fcd1e0","datavalue":{"value":{"entity-type":"item","numeric-id":634774,"id":"Q634774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634775$C3881B33-E322-4B91-BDF0-CE47BD0F32ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634775$F9089C20-1100-463E-94E7-6CCCEFC01D15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e46a6b83be9fcbd5764c46af6454b5ea03b3b70d","datavalue":{"value":{"time":"+2011-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q634775$CDDAF7FA-DA9F-4E3A-BB91-73D7D2AA4404","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"12790d4fa5aeaaebb0abd5bf9f17390a1d9b5131","datavalue":{"value":"The author proposes a new proof of Peter's result that the class of primitive recursive functions is closed under nested simple recursion. The proof is based on the arithmetization of the computation trees for the functions defined by the nested simple recursion.","type":"string"},"datatype":"string"},"type":"statement","id":"Q634775$8782FC6A-2767-484A-B728-2CBE6F35C5FB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b1f73afd33192153e94113807fdc62b87cbaa1ee","datavalue":{"value":{"entity-type":"item","numeric-id":234728,"id":"Q234728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634775$1B41A36E-E893-41C6-8865-3983C7FBBF90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634775$35F0905F-BB84-4EB2-894E-7802A2EC3A8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f33aaa66566be810088584d75f343ca2a5bf925e","datavalue":{"value":"5939554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634775$6AC87636-15FC-4A4A-9A90-3B01418DF501","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa40d769f07cdfbcfc8196efb73c1253dbfc567","datavalue":{"value":"primitive recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q634775$E581AC36-04F2-465A-83E7-7A424590364B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b350616b96834f1194ea6de221414f804a05504","datavalue":{"value":"nested simple recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q634775$CBCE6CB3-DCBE-4168-A8CD-D78AB0E05F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a00f32c00be1c079cf28e3b621e4c5212fa2cf4c","datavalue":{"value":"pairing function","type":"string"},"datatype":"string"},"type":"statement","id":"Q634775$CEEEA40E-82AF-4753-BFBB-763445D25202","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":"Q634775$F24FF6EC-213B-4CF0-898E-BB11D2C20B96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c9c6ce4d5ccb3825be33abcbf7e30fb6f33dcb5","datavalue":{"value":"https://doi.org/10.1007/s00153-011-0236-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q634775$9BDC873C-2A2C-442B-9CB9-C2CC60D04BB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d9911c9cc8046bd39066d9bc15184bcb1961e39","datavalue":{"value":"W2011848188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634775$FDAB5FEE-76B0-450E-AC0F-F8DA73748D6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c473e525ddb30377e0108bbc9cb0dd0c2ff0887","datavalue":{"value":{"entity-type":"item","numeric-id":1361250,"id":"Q1361250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634775$D5ECBE77-C6F6-4604-9D0F-16804DBA6B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d204b14fff0f1434758e3ae2af5feb2ef0faec34","datavalue":{"value":{"entity-type":"item","numeric-id":4325772,"id":"Q4325772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634775$8CBB8C0A-2C27-41E3-A03C-C79DB8C1C4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d356ebfaf5725a6262f13de5d5313f007ee40e","datavalue":{"value":{"entity-type":"item","numeric-id":5600870,"id":"Q5600870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634775$DA9693E8-85DF-434A-A138-00FB3BC6BAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88100a68597a0f0388ad29f5d27eac96d4997788","datavalue":{"value":{"entity-type":"item","numeric-id":1840177,"id":"Q1840177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634775$8CE63A5A-1778-4D0A-ABA1-1F7FB07BC4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bacb5aa102ce6c71274c34a5360472cea903ae3a","datavalue":{"value":{"entity-type":"item","numeric-id":2641297,"id":"Q2641297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q634775$5710C654-49AB-4BE3-B9A8-F54D9E11471E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"213354495669bba521996778fa362620bee17f36","datavalue":{"value":"10.1007/S00153-011-0236-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q634775$8FB705DF-E6B0-4C13-B3A3-FF86279B135D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac4d4eabd46477df90bb4696f7297ab0aed949d","datavalue":{"value":{"entity-type":"item","numeric-id":2754066,"id":"Q2754066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de0e4c5ba88bb0c0a5d403fdcdaca4f2e69ad232","datavalue":{"value":{"amount":"+0.9176183","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":"Q634775$26A3C476-9726-4DC2-A0D1-707878E09996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a558d304890b106ff6080a09c3a6c452024709d","datavalue":{"value":{"entity-type":"item","numeric-id":5239685,"id":"Q5239685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5606fd99eb550ccdf53afc2923305dab03b0e94f","datavalue":{"value":{"amount":"+0.8805338","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":"Q634775$B5F49E4F-69DF-4272-9205-4F1CC9ED541C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec8e8a96cb452b60a66dc1e1f75c64c492e2efac","datavalue":{"value":{"entity-type":"item","numeric-id":405147,"id":"Q405147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c4707cf18dc556ee15b9415f8d4e9ec5755a7b5","datavalue":{"value":{"amount":"+0.8668167","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":"Q634775$26CCA4E5-F2FF-489D-8D55-92F72FD3B036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b322a9373dccf521844164aaadf07cbd28b82692","datavalue":{"value":{"entity-type":"item","numeric-id":4271874,"id":"Q4271874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a701529c8ebc1460fb7ec1652df0b2a654fecb","datavalue":{"value":{"amount":"+0.85318416","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":"Q634775$E1580A72-D9E1-4007-AA23-2B94D7C63373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75362f48e0ad09a92230901f8271e349474a77a8","datavalue":{"value":{"entity-type":"item","numeric-id":2895661,"id":"Q2895661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb05ff9690f2b62559819cdb0a53f9ecaa7fbd9","datavalue":{"value":{"amount":"+0.85006005","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":"Q634775$33163B53-200B-46EB-8A8C-C5E6AB4E6C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43499dadcfbfa3e0627efafcb640e7c615051939","datavalue":{"value":{"entity-type":"item","numeric-id":5959194,"id":"Q5959194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"450c56cf253ec52885b6ce8ef0ac4f552d142cde","datavalue":{"value":{"amount":"+0.84830344","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":"Q634775$C1D4FA84-7689-4496-B8BE-394D7501EE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8161fbb98d9ad0e249dbce35c05761564373f7a1","datavalue":{"value":{"entity-type":"item","numeric-id":3283893,"id":"Q3283893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"450c56cf253ec52885b6ce8ef0ac4f552d142cde","datavalue":{"value":{"amount":"+0.84830344","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":"Q634775$AC7E4255-99AC-4936-A82E-7AED9FC8BAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8014813037f73552bd297ac53d1011057627666f","datavalue":{"value":{"entity-type":"item","numeric-id":4653081,"id":"Q4653081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bfe8beeb373811eb88071fddf9df0adf0ccb52f","datavalue":{"value":{"amount":"+0.8473656","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":"Q634775$3DC3A5FC-00CB-4ECB-853F-1DD8E2DDF9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c7a4a94babfb43863e2bb22d5635c380e7c7cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4203104,"id":"Q4203104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c307371bc350816c93f5fc5b2722df81f01b66f0","datavalue":{"value":{"amount":"+0.84659356","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":"Q634775$47A8A868-BBC7-4643-9426-F89AC11401A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On nested simple recursion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_nested_simple_recursion"}}}}}