{"entities":{"Q7361318":{"pageid":31519493,"ns":120,"title":"Item:Q7361318","lastrevid":105364877,"modified":"2026-10-07T13:35:30Z","type":"item","id":"Q7361318","labels":{"en":{"language":"en","value":"Recursion Theory I"}},"descriptions":{"en":{"language":"en","value":"AFP entry Recursion-Theory-I"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b20ff4522406c6c6988f3ba68f53b2cc0b557dfd","datavalue":{"value":"https://isa-afp.org/entries/Recursion-Theory-I.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361318$15CC647C-4DA1-41B8-BBBA-195BFB836D0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cabbca594a69203c5bcc4228a35c79eb8983f4b3","datavalue":{"value":{"time":"+2008-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361318$D4F6E745-6408-4B32-B2B0-3FE9EE29CDF9","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"dc9ee575b52908f5248a258d2e9730a68ab565d0","datavalue":{"value":"Michael Nedzelsky","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361318$AA964792-0149-4359-9C7B-F56893DE9506","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4580ddf7e16167ebd2af1861834ceb33dfdf3876","datavalue":{"value":{"text":"Recursion Theory I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361318$CB836B71-D6F1-4213-A389-C8FCCCA46B4A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9c82881bd1c1f4f86570e3722dd19ce221c9dc50","datavalue":{"value":"This document presents the formalization of introductory material from recursion theory --- definitions and basic properties of primitive recursive functions, Cantor pairing function and computably enumerable sets (including a proof of existence of a one-complete computably enumerable set and a proof of the Rice's theorem).","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361318$0B22E59D-876D-4497-969D-34EED852EB0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361318$C3DB004A-715C-4200-B283-CA0937D7F97E","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":"Q7361318$8E815DB7-17FD-4379-BBC1-208762B3AD9B","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":"Q7361318$F6F366EF-9DAD-4BA8-B142-FE20E51012C5","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361318$32FB1BB4-B9D6-4D4B-B6F2-B82CA3C92034","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"a455484e47dfc7544c354207cf0aa1a6f13b12cc","datavalue":{"value":{"entity-type":"item","numeric-id":7360806,"id":"Q7360806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361318$337834CA-6A15-4529-869F-49708A292536","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361318$B34BA79D-9394-4361-A25D-6B258D8143F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursion Theory I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recursion_Theory_I"}}}}}