{"entities":{"Q1145694":{"pageid":1156443,"ns":120,"title":"Item:Q1145694","lastrevid":66240138,"modified":"2026-04-12T08:28:38Z","type":"item","id":"Q1145694","labels":{"en":{"language":"en","value":"Recursion on the countable functionals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3697102"}},"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":"Q1145694$962129B7-52D0-4EEE-8BBF-294B52E29DE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26ae053f852fe89e7aebe96f82f695c4981d268e","datavalue":{"value":{"text":"Recursion on the countable functionals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1145694$0E9A8100-BAA7-4D7C-B6AA-71113F4CDE74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9af09831f46f9070a50145280fe3e4cbe50bafe2","datavalue":{"value":"0446.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1145694$4D4D3914-32D2-4132-8E2B-EDBC99325A47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e2194cbd076f554310c20043be5c70c039c27e","datavalue":{"value":{"entity-type":"item","numeric-id":1063590,"id":"Q1063590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1145694$67AD03EE-5CE2-4B70-925E-9DB306DBAD9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"583d5634d5ee6575aaa37bb42a0c5602371241ea","datavalue":{"value":{"entity-type":"item","numeric-id":163387,"id":"Q163387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1145694$013F5BB4-87E3-4873-96B5-A0AA85B76EC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q1145694$1A6332BF-29B9-409D-84B1-2ED5457D8AFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1145694$EFD0A3B5-A7E8-4677-979C-05BCBEDF5754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1145694$B6C34231-31BC-472F-BBFB-EFDEFD0832AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1145694$D1C90107-C664-4F04-AF9E-7959D640DE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1145694$77EDC80F-23AA-4485-BF04-5DCA31D0A8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1145694$3ED2F2FA-4674-4DA7-BFD0-0DCE0CCFB29D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b3e8dfc5c6483a548debcefa0ab0940b992be23","datavalue":{"value":"3697102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1145694$793CB9E4-4F75-4474-A80E-48CA4528441E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1827c757cd3949517c7eb358c69fc785ef35389","datavalue":{"value":"countable functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1145694$E5112C12-21CF-4F21-8038-96B25ADB5D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45f2c4ecf661d52d038102867478805420d08ff2","datavalue":{"value":"associates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1145694$170FDA34-972A-4DB2-9DB7-3000A10F3A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58417e59771f95d7017735bf3f6b1090b94539b7","datavalue":{"value":"Kleene computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1145694$879712AC-3D0B-4F31-B51F-E6F58CD84BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6907e9b83f957b47990b4e0638bc567ed9634cc","datavalue":{"value":"degrees of unsolvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1145694$D6222196-9E78-4D48-8CD9-BDE4AE67BDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b84f3daf8e8ec671c2d12787f1264514c92ea524","datavalue":{"value":"continuous functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1145694$244EEE52-6396-498E-9833-7567917A4B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eeace9b0ee6a7ef11580bdd42f56f3cc1df0a9a","datavalue":{"value":"topologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1145694$C41E8A78-E091-4F91-A684-33AA57D51CC7","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":"Q1145694$A076A307-D642-43C5-B163-66EF9A518A42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursion on the countable functionals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recursion_on_the_countable_functionals"}}}}}