{"entities":{"Q845916":{"pageid":847764,"ns":120,"title":"Item:Q845916","lastrevid":64811325,"modified":"2026-04-11T22:23:25Z","type":"item","id":"Q845916","labels":{"en":{"language":"en","value":"A Kleene characterization of computability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664748"}},"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":"Q845916$5F2F50E4-11D5-48AF-B2BB-2A224CCEE3D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e01b22bbfb00899f6e6332adcefaa33ef517ae2","datavalue":{"value":{"text":"A Kleene characterization of computability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845916$B9319BC3-0D61-4DFC-BD1E-C1404FBF7005","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"993bf29395e28f41c3e12b6dc8edd9a1b752bccb","datavalue":{"value":"1185.68330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845916$AA4DE6C0-B615-4F35-860C-E272C5B42F29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdaa763056574d670db49d3b9b4fb6f07d823420","datavalue":{"value":{"entity-type":"item","numeric-id":255286,"id":"Q255286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845916$93D028B7-C481-456C-AD77-0D7E70686242","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845916$0686D580-549D-43C1-A591-8CC5FAA7BCAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f401d416e6e46815e09909774a39b16cd83f71c6","datavalue":{"value":{"time":"+2010-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q845916$DF50703A-141B-49D5-BFE4-ACFED212D9D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845916$10F3E009-993D-488A-B883-700215F9CC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845916$9372C2FE-F8FD-4E30-AEE7-5562E1280971","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ebfca7b1f9ab47718d72452e904b442a73df700","datavalue":{"value":"5664748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845916$DD3397DC-C1FF-4822-AD85-B24E700BA1F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q845916$A5E7BB36-92BD-4297-A381-72E8BBEC051E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cec3a4fd0f5f73561cce57f4c23b522ff917d49","datavalue":{"value":"Kleene","type":"string"},"datatype":"string"},"type":"statement","id":"Q845916$00E3F477-50EF-4637-BA7E-03879D09517A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1460c68b35d16713446295050b71757d3b7d44f3","datavalue":{"value":"recursive enumerable","type":"string"},"datatype":"string"},"type":"statement","id":"Q845916$8F8B8A34-C9C1-4A60-A353-552D37043211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92866b1654af1a662b0f26d63d8a7f6a99d8a2f4","datavalue":{"value":"binary relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q845916$D00658EE-EBDC-4A9D-BB44-1A8AD2A3AF1D","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":"Q845916$C7D8E025-7432-49F2-9AA4-6CE2566EECE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"949d22665e2f7cc4f5070a88e3c9c79b62586e29","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2006.09.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q845916$ACDC371F-55D9-4706-923F-AE2D86CAE319","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f811e297f4d5c676105cdf0c9dc57ae60661bc4","datavalue":{"value":"W2051522302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845916$384F5014-251F-4BA3-9E61-777B8B3C52C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f549d40919f2bd9d807d049a8287583671274e64","datavalue":{"value":{"entity-type":"item","numeric-id":1176481,"id":"Q1176481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845916$37C650BC-F010-4718-8B8E-C2C2DB04D129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845916$B0533D5B-8B9D-4989-B308-0AEE3047DC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845916$941AEBFC-9207-48AE-8C61-E72549412420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef445b94f796006d9d98abaf7a953e05a5e1367","datavalue":{"value":{"entity-type":"item","numeric-id":1171887,"id":"Q1171887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845916$FA689693-AAF3-46F4-9831-334EAFB36DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3769ff0fc70f6eec4156979da4123ad6b8be4701","datavalue":{"value":{"entity-type":"item","numeric-id":1262786,"id":"Q1262786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845916$78FCA40D-895D-44D4-B044-01A5FF078796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fa39a662e48fbd9d5c2eef35e84e6739744cb2a","datavalue":{"value":{"entity-type":"item","numeric-id":4508635,"id":"Q4508635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845916$44F0F835-0345-4B94-9D60-F41D04C4F11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12638a292c5e9d09a955826d5e09033214d06d55","datavalue":{"value":{"entity-type":"item","numeric-id":4116074,"id":"Q4116074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845916$BCAAAA4C-FD7C-4661-A2F2-C90EF1991844","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc9e95280db6fc1085407efbd8d9428c8f7a9d3e","datavalue":{"value":"10.1016/J.IPL.2006.09.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845916$24ABFBE6-7182-45D0-92C7-F5FD137A893C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Kleene characterization of computability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Kleene_characterization_of_computability"}}}}}