{"entities":{"Q866493":{"pageid":868341,"ns":120,"title":"Item:Q866493","lastrevid":64945812,"modified":"2026-04-11T23:17:08Z","type":"item","id":"Q866493","labels":{"en":{"language":"en","value":"A general form of relative recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5129043"}},"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":"Q866493$A1DB5527-A493-43BD-9B26-A17D7EB6995D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1dc7fe7a1fe8ab0f533c85f5eb7f28232bdce9b8","datavalue":{"value":{"text":"A general form of relative recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q866493$803F010D-E754-4A40-9A92-7FF00061CEC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cdcdec1aeec9b21c6b4a6e230af304c88483615","datavalue":{"value":"1113.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866493$EA377C8E-D5F2-4E12-8603-8B7A36227D76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe9e095ac1b70ecb414d116d440bb0e8b81e605","datavalue":{"value":{"entity-type":"item","numeric-id":387124,"id":"Q387124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866493$488A13B5-CDBD-4399-B123-7CFB19AB5374","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866493$B03444D2-502F-4A66-A09E-A1129C9C13E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6a3b01ed43848088ad19bc3cf2f29651a0e98f7","datavalue":{"value":{"time":"+2007-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q866493$F8E9829A-9848-45EA-B506-39B379F35DF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3742d2cdab5667e9e7ed32c202879e4c4aa01ae","datavalue":{"value":"https://arxiv.org/abs/math/0510189","type":"string"},"datatype":"url"},"type":"statement","id":"Q866493$A6978088-729F-4D71-B681-441DF70A4FE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866493$56176200-5F9B-4390-A1EF-E4E90094E7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866493$07A09CA5-25E8-40A3-BBE7-52AA3A4B3CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866493$6C0286EE-F152-4B8D-9D05-89D124130AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866493$96692800-AE16-4E7D-8225-915116A43FAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36803be5b5a23c87f9e1319c8e0af25c03e20d04","datavalue":{"value":"5129043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866493$31485417-E052-467C-8255-EDF66D458C33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d898539b0b7b288326ffe34d8e2bf4b12316d36d","datavalue":{"value":"partial combinatory algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q866493$DA931947-C929-4FFA-9AC6-91A5F5654E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65baa80c66ffd926eb7c090c0cc443ecc29865b","datavalue":{"value":"realizability topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q866493$9524F20B-CB05-4744-9819-1C5E59795F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca8747e792c9ec070a2b651f7745015b1625753b","datavalue":{"value":"Turing reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q866493$D8AFC97B-223A-4B13-B4B1-E6F481E9A634","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":"Q866493$D3972EE4-C14A-4BDF-BA19-B3DDFDD9D016","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4665b27017ac55469397fa1ef1c2c8b9acb5aa28","datavalue":{"value":"W2124223175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866493$C6BF6154-E743-4039-B012-6E985CFDD1B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0365044f9072fe34c2d9cea2864260cd5fe58b75","datavalue":{"value":"10.1305/NDJFL/1163775438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866493$F31B86B6-D16F-4D8C-87EB-5B916F41451B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789c2943bf4c2de31e07ceb444c802b858b929b4","datavalue":{"value":{"entity-type":"item","numeric-id":1849865,"id":"Q1849865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ff771f542f262600410ec5b8f1d57db0fd15c93","datavalue":{"value":{"amount":"+0.7900499701499939","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":"Q866493$2FB3589B-0B1E-43B8-8768-3DCCE23743F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f68b1db2f41f8888aac6967e6d605660656cb2","datavalue":{"value":{"entity-type":"item","numeric-id":2105095,"id":"Q2105095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ff771f542f262600410ec5b8f1d57db0fd15c93","datavalue":{"value":{"amount":"+0.7900499701499939","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":"Q866493$B5831E6B-0E55-4C5F-B4F3-7AA09982789C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5cddce10e195f0dd99466c2121031e92b747ad8","datavalue":{"value":{"entity-type":"item","numeric-id":654017,"id":"Q654017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f8b634754723fb9bb6bc068d52ec3ee0cd3be9c","datavalue":{"value":{"amount":"+0.7762591242790222","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":"Q866493$220D4DB2-E025-4CB5-A702-257A3CA969F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf12dea13b43bdc5eaac6a903d35521a2552843","datavalue":{"value":{"entity-type":"item","numeric-id":4984865,"id":"Q4984865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865c111665b557f2cdfd8d1725fc0670f1956ddb","datavalue":{"value":{"amount":"+0.7756541967391968","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":"Q866493$AA865A79-B1D3-4A5F-A89C-9EAF56C9D61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b510e7821f9cd6f63832c7dd822555c622953d96","datavalue":{"value":{"entity-type":"item","numeric-id":5740205,"id":"Q5740205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd371ca8e668362f41ffe8cda35e49d31373727","datavalue":{"value":{"amount":"+0.7749620676040649","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":"Q866493$C52B97A2-992C-40C8-867B-F7640EAD9EE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A general form of relative recursion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_general_form_of_relative_recursion"}}}}}