{"entities":{"Q1314348":{"pageid":1325098,"ns":120,"title":"Item:Q1314348","lastrevid":81159863,"modified":"2026-05-06T17:52:24Z","type":"item","id":"Q1314348","labels":{"en":{"language":"en","value":"Computational foundations of basic recursive function theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 501165"}},"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":"Q1314348$519A2E57-D79D-4DE2-B6F6-05DED4F6DA0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d255b193dd594a39a586203d24ac0bbf054112e","datavalue":{"value":{"text":"Computational foundations of basic recursive function theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314348$18C673B0-4386-4D4A-BEAE-F28C6977DDE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f055dff34f3b7ee434539be4298a8adb20cd7770","datavalue":{"value":"0798.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314348$C95811DE-6A57-45AA-B113-43BDD1537EC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a85c4ef11ac94d85038f47535a3c7aa9a2a3013","datavalue":{"value":"10.1016/0304-3975(93)90085-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314348$6913C5D2-3CC1-42E1-BFC2-D1916EF35D0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f99e72dec046038a5377ceee67d8841bab629f","datavalue":{"value":{"entity-type":"item","numeric-id":1051423,"id":"Q1051423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$E1DA2C4E-1C6D-45F6-A91D-BB77573626A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ce25c77d649bf8afb7d80a0da9c0296258f5677","datavalue":{"value":{"entity-type":"item","numeric-id":1314347,"id":"Q1314347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$9E9A0C51-BA52-4C0A-BDCC-F73BCF81DE5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$13F6AA1C-A467-41DA-A5BB-301858FD4060","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb5cac1bac625d56172333526e9a905d35cc8227","datavalue":{"value":{"time":"+1994-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1314348$5A89AE3F-A4B3-4841-ABD4-B4ACC7E1C630","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23d3e06da2d2344a0dd7f2fd4acd7bf2ab9b1a3c","datavalue":{"value":"https://hdl.handle.net/1813/6744","type":"string"},"datatype":"url"},"type":"statement","id":"Q1314348$82A5A6FE-4049-400F-A868-1C3A64350867","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"df3855cbc7f6807e201a6ab746df41a2e86cf278","datavalue":{"value":"The authors present a variant of indexing-free theory of computing, in which computations ``can be treated as objects and typed''. The family of base types consists of three types: the nonnegative integers, a one- element type unit and a two-element type Boolean. One of the generating rules is very strong: it is the fixed point rule. The axiomatic rules of the theory are constructive. The authors show parallels between recursive function theory over natural numbers and this new theory, particularly concerning unsolvability results. A variant of Rice's theorem is proved. A ``dovetailing constructor'' is defined to make possible parallel computing. The notions of reducibility, completeness, acceptability (a generalization of recursive enumerability) are introduced. The authors show that Markov's principle implies a generalization of Post's theorem concerning r.e. sets with r.e. complement. The theory is deeply connected with Nuprl [\\textit{R. Constable} et al., Implementing, mathematics with the Nuprl proof development system, Prentice-Hall, Englewood Cliffs, NJ (1986)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314348$F31560FC-80A5-4EC0-9916-4330F246B50B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314348$F7050165-11B0-4644-9570-9E2148282D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314348$EE058B52-514E-4B70-BE5A-4D85C6088930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314348$E128161E-97BA-4666-B456-75A993962270","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54bf862c8e9e14a26551f946148776492e1ab2a2","datavalue":{"value":"501165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314348$236EE807-5686-4FAB-9E3D-14485483A0D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314348$FDCC7F93-CEDE-4855-A6F6-C4CE6C936DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a07d00d99d3bace7c0023fbdfa4f79f06d86cc6","datavalue":{"value":"indexing-free theory of computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314348$638EEDF4-774A-45BC-8046-DD58CED0AEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68f392c27612557b87cbb90be631fb1441fa2fea","datavalue":{"value":"fixed point rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314348$2932FE3C-C597-48D3-B534-A20DE20CBD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43893d5d64746664e118f56a0c06a6724f1206d0","datavalue":{"value":"unsolvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314348$8F215AA1-BA24-405B-96EE-6A2710BCC4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e53027033cae6fbc26744a05040eb76af38465e6","datavalue":{"value":"parallel computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314348$0EBC2B11-2319-4331-B766-945C26BCE8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efaf681fa46ac3de36993134e18f2efa737a2c0f","datavalue":{"value":"Nuprl","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314348$F97CB902-C24A-42E7-8378-3C6870BB4397","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fe64c30036b6931dfc08c246a2592bfd800c1f57","datavalue":{"value":{"entity-type":"item","numeric-id":1612485,"id":"Q1612485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$C3C48CFC-EF5C-42D0-90CC-D2169B98624B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$B7ECC20F-9177-4107-9891-4B9EA20CE3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$8996931B-3AED-4F88-99D8-F6DDE8DB2C48","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":"Q1314348$AF6F4B09-83C2-4789-8760-44FB5C3E9E01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6276f680fad7b90e2591f2c0d4e287cc8b2ea586","datavalue":{"value":"W2103838550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314348$3FD6F0C0-872A-499F-8512-910AD40109B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6561ad0e972762faadf5d1600a7f7249272b8ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4100066,"id":"Q4100066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$14613CFD-71B8-42AE-955F-CE33777400ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f77b88c72c8f98445ff1e4e834f40fa9cda0f7","datavalue":{"value":{"entity-type":"item","numeric-id":3805962,"id":"Q3805962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$3D2610DD-E531-4895-B74F-425D1746AA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1f1b83769fefedef94f42bd5222af507a657b","datavalue":{"value":{"entity-type":"item","numeric-id":3703866,"id":"Q3703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$D0D35557-C1F8-479A-9F08-5D0A75B3B0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d84bc52ac0b6ae327590eeb6d0b17cd5b2dfe9","datavalue":{"value":{"entity-type":"item","numeric-id":3855168,"id":"Q3855168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$26239435-F3D5-4D64-B69D-21ACB32B7E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f9e080f623f4cb3a030a9346791873bf61f74d","datavalue":{"value":{"entity-type":"item","numeric-id":3880831,"id":"Q3880831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$3C0A9608-D693-4814-9DD3-A425AB582298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$9BC6B913-8805-4AC5-A647-9BB2ADAED41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$FC8AEC82-7DFE-48F3-8D6C-778FF2B5F19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$4691C06E-EBFE-49EE-98E6-739F5248EF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30fe97ecc358973940e527effd949816c9a97520","datavalue":{"value":{"entity-type":"item","numeric-id":5681533,"id":"Q5681533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$B81FDEF1-7CBD-4071-88D4-407D02441293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$116FE19B-8317-46B3-A613-1B3445509145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"690eac6707df294089bbb4811045c174c4de9fef","datavalue":{"value":{"entity-type":"item","numeric-id":3260568,"id":"Q3260568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$953AE000-FC09-47E4-A229-219546EA3989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3e475dc08d64172b9528d0026dde912ac7a24e","datavalue":{"value":{"entity-type":"item","numeric-id":3679149,"id":"Q3679149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$13A7799C-681F-4C08-A919-454733FF7EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69e4e3c6e6db6273645f322c23116e1ad1c80","datavalue":{"value":{"entity-type":"item","numeric-id":3343983,"id":"Q3343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$9DFF5156-8E3D-4677-A8F5-6CBC9B12F300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb5b813f7d8a3c2627f5c661a61c9efa024187d9","datavalue":{"value":{"entity-type":"item","numeric-id":3734395,"id":"Q3734395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$BFE9DBAD-E65C-4A13-94B9-D729E46C3268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6956a12199d710944333687ed9f973870967e27d","datavalue":{"value":{"entity-type":"item","numeric-id":916656,"id":"Q916656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$B03D4F0A-1C9A-491B-96A8-732E67EC183F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4546fb51b0c77eae3e5566373764a9dbfcc60841","datavalue":{"value":{"entity-type":"item","numeric-id":5604457,"id":"Q5604457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$58F3EEF1-47A7-46C9-9755-2D85A0376980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$1373515E-F1A2-4B0A-B2DC-5CD9FB1606BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$7932C24A-E5BE-4E51-AEAA-FE3BBE414159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$F6C67312-9134-4B5B-AA70-48A8BEA747E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$355E8062-1FDB-47E5-A0A1-8FB7531FB360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$565D135C-CB06-4A1C-B10A-FBA207C4BC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b51e3db39343191a471989a0557f0b9abfdd07","datavalue":{"value":{"entity-type":"item","numeric-id":5577081,"id":"Q5577081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$92B660DC-232B-42C4-835C-E88014F352AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b73cd54916ba3b692eec8925fdc3462c7267e9cb","datavalue":{"value":{"entity-type":"item","numeric-id":5682317,"id":"Q5682317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$ED952D6A-4916-4909-A7AE-14688B52E28C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dd5efd936092dac8d066f9bdade09520dc841a4","datavalue":{"value":{"entity-type":"item","numeric-id":3978437,"id":"Q3978437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2f96fbc8afc347c43d9b9756a3e15f62aefabc","datavalue":{"value":{"amount":"+0.7406058311462402","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":"Q1314348$2C80CFDA-9701-4D22-A0E4-D4B53E701F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c33c34fdd1716b4ed72706071e2445a03aff98d","datavalue":{"value":{"entity-type":"item","numeric-id":4217582,"id":"Q4217582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9791a40c81b37c87601613e7a69e4aaa82d90378","datavalue":{"value":{"amount":"+0.7386398315429688","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":"Q1314348$BE6389C6-FD69-4103-91EB-531E3C92516E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46989099fe36047aa1eb6e31293b85c9f8e92980","datavalue":{"value":{"entity-type":"item","numeric-id":3751553,"id":"Q3751553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c8e51e2d7164a8aa174810bab4736e640c474e2","datavalue":{"value":{"amount":"+0.7359423637390137","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":"Q1314348$799262F0-A18C-44D5-B421-4CFF357EEA92","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":"94df6602e84d45a59185e00be315d3cb4450ec34","datavalue":{"value":{"amount":"+0.7358693480491638","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":"Q1314348$561207B9-1B48-436F-9F64-06E37F02AB51","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314348$932227FC-471B-42A2-BEC6-3EB8A31010B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computational foundations of basic recursive function theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computational_foundations_of_basic_recursive_function_theory"}}}}}