{"entities":{"Q3480027":{"pageid":5509927,"ns":120,"title":"Item:Q3480027","lastrevid":80569427,"modified":"2026-05-06T16:30:04Z","type":"item","id":"Q3480027","labels":{"en":{"language":"en","value":"The formal language of recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4150136"}},"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":"Q3480027$19A97534-EEA3-4D92-A9DC-4B1A0A24B4A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17b31ed624a513bbd991f4e7a57f6239936f6fe0","datavalue":{"value":{"text":"The formal language of recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3480027$99446A79-D93D-44F7-B0BD-D431F42756C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86b5e4ac220e2647fbc137bc0ccb52e900f3683c","datavalue":{"value":"0702.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3480027$1D26BC3A-DC44-41AC-A900-D4A399A3121E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bd64b40062e13f4cc73b3e1ac01f6fdcbdeae10","datavalue":{"value":"10.2307/2274814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3480027$0F65AA11-845F-44F1-990B-1409083AF31C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01a99737eae512011b9bc05738f2ccfddb1d9066","datavalue":{"value":{"entity-type":"item","numeric-id":638493,"id":"Q638493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3480027$B65D0815-CEFB-4AA7-8493-DD89293185FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3480027$5AE66EDF-3C2C-4661-B2E8-5C59325DE863","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3480027$DF38FFD3-1F9D-432E-9EE3-02AD7DCEA13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3480027$24841AA1-A326-4A3E-BE42-98FA44F9D08F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"063ee124bf6be655cf6730e975c5f1e6f8acd6cf","datavalue":{"value":"4150136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3480027$DB8375FE-A4DF-4F7C-9744-041F8BC3A0D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e14d047b1542db4ec51e08bf000ec17ed1f037","datavalue":{"value":"foundations of computation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3480027$A24E25A6-4781-47A1-9AA0-D2BA582D9F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed16eec282d56f767116af7aa74aee365541375","datavalue":{"value":"formal language of recursion FLR","type":"string"},"datatype":"string"},"type":"statement","id":"Q3480027$6020C652-E540-47C6-ACB1-9571370132F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a78b648d77b9a51552964b940d3755d3dfabb55","datavalue":{"value":"reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3480027$88C3D4F0-14E6-430E-B6A4-7C4C5FFB1C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"756215f2fb2f844c82a2065b21d83faf9ae0defd","datavalue":{"value":"abstract algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3480027$46B61926-E019-4552-B40C-4DCA2BE1D484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3f13943b2b14c339f3a3fd0c166292238aec984","datavalue":{"value":"Kleene recursive functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3480027$DC9FB2AA-DDA9-4367-B3FB-7C15D65FCDA8","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":"Q3480027$C56F92AA-2A94-4D36-8013-A4BDFC5396D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"214fa1045513790efa0a1f59cac92655afe98887","datavalue":{"value":"https://doi.org/10.2307/2274814","type":"string"},"datatype":"url"},"type":"statement","id":"Q3480027$D2DCDB37-E07A-4630-8373-A485FB93935D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98f652506d73767ccd2bdd037153abff2a04ad20","datavalue":{"value":"W4240626053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3480027$C75C8642-4315-42F8-811C-9ADA5F33F6B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3480027$EECBCD55-21E9-4D25-9122-81BFB63FD9B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e0010af651dbb739b8f72c2c18444d6e0a37b2c","datavalue":{"value":{"entity-type":"item","numeric-id":4710656,"id":"Q4710656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f3134a290857647144a92aba8532b59d14a80aa","datavalue":{"value":{"amount":"+0.8199755549430847","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":"Q3480027$C15D92EE-AB82-4759-9541-E184143B2FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"065bb026310d6db0dc54843f68e4480ce5d53b6b","datavalue":{"value":{"entity-type":"item","numeric-id":3219101,"id":"Q3219101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f3134a290857647144a92aba8532b59d14a80aa","datavalue":{"value":{"amount":"+0.8199755549430847","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":"Q3480027$173A02D6-207D-4CF5-84D7-E01F39CC066E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3afdc1d99b49dfe9d0e45fa71c9a8896abc5a1","datavalue":{"value":{"entity-type":"item","numeric-id":4395617,"id":"Q4395617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"648981fc7b082dc7c607e95f356994a70f86e7ee","datavalue":{"value":{"amount":"+0.7876702547073364","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":"Q3480027$E8F5FBEE-3B82-4797-A4EC-1FB9EC71F0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e22da892f8f07d387f3320be2df56cefb2e5cc","datavalue":{"value":{"entity-type":"item","numeric-id":4212915,"id":"Q4212915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e3e1683cb60044f51251b88c5700cd79761a1a6","datavalue":{"value":{"amount":"+0.7644754648208618","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":"Q3480027$9493FC15-6974-4F32-9C1C-7AFF593D752D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1f6543ca1c1dc31cb0a912e74e8920347f8e9ee","datavalue":{"value":{"entity-type":"item","numeric-id":3734395,"id":"Q3734395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"202cf68f73a9eca469af0d7b06208bddbc494d28","datavalue":{"value":{"amount":"+0.7458764910697937","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":"Q3480027$F4C63945-0343-4773-81E4-8826C8BE8A12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The formal language of recursion","badges":[]}}}}}