{"entities":{"Q1346246":{"pageid":1356985,"ns":120,"title":"Item:Q1346246","lastrevid":70208235,"modified":"2026-04-13T13:10:24Z","type":"item","id":"Q1346246","labels":{"en":{"language":"en","value":"Power set recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 736433"}},"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":"Q1346246$07D89908-9B42-42E4-A361-02A991499484","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb72af103d01b2899eee4f7c6ba402a6ac288e38","datavalue":{"value":{"text":"Power set recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346246$881682C2-5CAC-4F76-A01E-0E6B56BEA0F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f679d5a1e704c94c703d76d2d3c60188b274e7a","datavalue":{"value":"0817.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346246$EC4EA7F5-A568-4DD8-9DEB-C8906608CB41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38d35739d0863aec3dd1c48bfccbcbf8f338e7ac","datavalue":{"value":"10.1016/0168-0072(94)00005-N","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346246$F4BFFFBB-A7BC-4BDA-8C5F-C84E43E2918D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f061899b2b82dcfb68452d0e393f9f5a06fe89d","datavalue":{"value":{"entity-type":"item","numeric-id":168598,"id":"Q168598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346246$569677D2-C4C5-488A-B8C8-A01B76505D29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346246$C938F05E-0DD7-4922-BCF0-4267AF03AD11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63363922c803e5bf02b091d219b37a0b52aee2e3","datavalue":{"value":{"time":"+1995-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346246$BE810A16-16C8-44D8-B272-CDA5B87AF4BE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5a9a9bcae7279427d4df5dbbb4e87daa8765ee6e","datavalue":{"value":"This paper, the author's doctoral dissertation, develops a theory of power set recursion, basically set recursion supplemented with provisions for power sets. Recursion-theoretic notions such as relativization, degrees, and semirecursivity are explored in this setting. Relationships between power set recursion and power admissibility are also established.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346246$ECA03709-3263-4A73-82C4-65D4C4C1DDD4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"918802f1a1362bd512279080eb151cb7e040bd3a","datavalue":{"value":{"entity-type":"item","numeric-id":588764,"id":"Q588764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346246$22701966-B8A1-4654-9A05-F38AEB6ED804","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346246$65B09C7A-F1CC-4E97-8F12-CD2B9069EE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346246$EC3103F9-AA82-41E2-994D-96E5FB474C1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a968e9a330c3abab7da73d7ee0c2eaa0d7b9e49f","datavalue":{"value":"736433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346246$41AA0804-0333-43D5-9275-18576DF9A0EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccf244038de658b01d5f03e8daf2dbe0d5cbc073","datavalue":{"value":"power degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346246$6988C277-7A92-4C5F-A990-27F74C9DC5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcc9cb2644501ddb0b9e885e19292b493fffaa3b","datavalue":{"value":"power set recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346246$D377BA71-DEA3-499E-94FE-22E5612B4248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06059c11269d258bbccac60c4e9a619d8f9e5b9a","datavalue":{"value":"relativization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346246$22FAFCF8-3E08-4DFD-A2DA-B5C711A890B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab5b7414ca622dddd0d36c4786bfe52904b58cfe","datavalue":{"value":"semirecursivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346246$232208C2-097D-420E-8B17-9F1C83D63638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23053784eca89cedc06690f468762dcedc302452","datavalue":{"value":"power admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346246$59A67130-DD5E-4896-8A57-362B06C08CF8","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":"Q1346246$656C3EED-20AB-4637-AE1B-4CDC78ED9AF9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae13c95739388d0908d6b352d91ed116ad2cc1ee","datavalue":{"value":{"entity-type":"item","numeric-id":4111558,"id":"Q4111558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346246$9FCE9A38-95D6-4834-B39D-2CE4C860A747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b0eb072ea0d5308b432065c9b8eb95644c2c21","datavalue":{"value":{"entity-type":"item","numeric-id":3329455,"id":"Q3329455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346246$FB9FD4EB-DD61-4923-808A-FDA0E55BB804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a1b287314fabd186f00ab1700b539cfc030a340","datavalue":{"value":{"entity-type":"item","numeric-id":5597516,"id":"Q5597516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346246$12303684-1D9E-47B5-A066-70E08AE0A44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2caf41b993b68bfdf48cc9bf57e21122213f0b2f","datavalue":{"value":{"entity-type":"item","numeric-id":5536629,"id":"Q5536629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346246$4A808529-F6C1-4B85-BEBF-D5A8766927BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287785aa8651b26f912f2bcca2b2a743939d591e","datavalue":{"value":{"entity-type":"item","numeric-id":4146722,"id":"Q4146722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346246$6CAD0B16-6BE9-47B1-855C-6F918CDD5EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346246$1380E967-B619-4BFE-A856-23C7AC83704D","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":"Q1346246$932A672F-FC31-4066-B6E5-42D55A947F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346246$3C1D4377-F948-4EF9-876F-BDB8FE6A1C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d366ce9b4f1fa83ab6041f826fa082549a3d35","datavalue":{"value":{"entity-type":"item","numeric-id":2560401,"id":"Q2560401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346246$A926F90C-15D6-4472-99DA-BCEA1F72B5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58668f5a21f0b80370d76a4930b78069cdff5a30","datavalue":{"value":{"entity-type":"item","numeric-id":5631103,"id":"Q5631103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346246$F1E82082-40A6-444B-88FB-DA352192B1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c505903792ffc7ad39bb74a5b060ea96e54845c5","datavalue":{"value":{"entity-type":"item","numeric-id":5542099,"id":"Q5542099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346246$DD40A8FA-249B-495C-B5A1-11C67B5602EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509cf55aa315a445cca690669cad34e437c5b90a","datavalue":{"value":{"entity-type":"item","numeric-id":3689175,"id":"Q3689175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346246$112B3DD4-0141-4838-98A5-D3242DF64CE2","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":"Q1346246$34D11F0D-D398-49A1-AC0F-DA6F9B629193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44e48d35b1f338c242a6a0d557ee0e3a1ae096d1","datavalue":{"value":{"entity-type":"item","numeric-id":4398473,"id":"Q4398473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346246$684BD869-7616-4D98-B25B-CB7CC4F69AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f40c77110e28562941ffed9c814c46e347072418","datavalue":{"value":{"entity-type":"item","numeric-id":4063424,"id":"Q4063424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346246$F173B99A-0D9B-4A40-AFEC-1D6AC1C32578","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ac77b185d1f99f4314535c68e02462f521e21f5","datavalue":{"value":{"entity-type":"item","numeric-id":5274767,"id":"Q5274767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c23bc60751f075b2084c9e6decaea496f123c00","datavalue":{"value":{"amount":"+0.7382970452308655","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":"Q1346246$FD8B7293-BADA-4DD9-AA54-DAE7075251EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caa1214882d02c1725a13857a8a96e4afbc0390d","datavalue":{"value":{"entity-type":"item","numeric-id":4551666,"id":"Q4551666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bbd3b45d4613ddb67d40f33a443022b6fcfb6fa","datavalue":{"value":{"amount":"+0.7289959192276001","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":"Q1346246$0E7CF827-C3E7-44B4-9BC1-A7ABE96A9DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aed13585ca478441d4883e419673f20768bdffcf","datavalue":{"value":{"entity-type":"item","numeric-id":4934284,"id":"Q4934284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c2df65804d02e3b97103466a51e9a8c2a393f65","datavalue":{"value":{"amount":"+0.7209362983703613","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":"Q1346246$54C5CA69-4AE6-456A-8D29-9FB10F08C56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133c41f2c7c087c7b4dadeea14a3609200594eb8","datavalue":{"value":{"entity-type":"item","numeric-id":791520,"id":"Q791520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f2de9e79439e00382da865b2721310312e4139","datavalue":{"value":{"amount":"+0.7148999571800232","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":"Q1346246$05346D39-88FD-4745-8F32-BCC80A58467C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f65d266ef06ad73aa1452ca06d1420c9c8bf408","datavalue":{"value":{"entity-type":"item","numeric-id":2260474,"id":"Q2260474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74272512710ea05d8fd60dc1e8c2232e060a6d5","datavalue":{"value":{"amount":"+0.7138710021972656","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":"Q1346246$77D62CEE-E358-43B5-9861-101BDB6E56BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Power set recursion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Power_set_recursion"}}}}}