{"entities":{"Q2332068":{"pageid":2342811,"ns":120,"title":"Item:Q2332068","lastrevid":53579267,"modified":"2026-01-25T09:05:41Z","type":"item","id":"Q2332068","labels":{"en":{"language":"en","value":"Partial decidable presentations in hyperarithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7125233"}},"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":"Q2332068$9559CB34-2C33-4B28-A92F-A205D6551153","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"065e5c828cd8c7c48d14a0ce8c9169353cce52f4","datavalue":{"value":{"text":"Partial decidable presentations in hyperarithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2332068$5D455686-A1B9-44E6-81A6-EA188B0557EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d139819099e5043868ea6c4b4eaf34a66e31d85","datavalue":{"value":"1481.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2332068$860DF90A-438B-45E3-B119-A643BD2D314D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36bd1bf2ad91783aa14e286db4471a257a0e706a","datavalue":{"value":"10.1134/S0037446619030091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2332068$A35C31F8-8F78-49A6-8EB9-0C6AE173798B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02119532e8ee3b82864ea31300ae0b38862cab37","datavalue":{"value":{"entity-type":"item","numeric-id":431668,"id":"Q431668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2332068$5DE9E433-A20C-42A6-9D78-58AA8E6CFAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"702d0c7e8cd80ace1a075c035af48eb7a69b74df","datavalue":{"value":{"entity-type":"item","numeric-id":1407512,"id":"Q1407512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2332068$848E6973-08BD-4FEE-9C61-4520500B7D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4efc5fa9bd22e2151a017b4ded957e9e8efb0108","datavalue":{"value":{"entity-type":"item","numeric-id":542198,"id":"Q542198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2332068$23E2C365-50FB-456B-A6DD-CF7BA4EDD16D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2332068$3E5D99A6-EF2B-4988-943E-B97BA1E435F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a08a5233efdb0bfa77406699a389e94eb9331ca7","datavalue":{"value":{"time":"+2019-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2332068$0BF42513-282C-4BFE-AD7A-3EDD0BD03F31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2332068$7F2E2812-FEBD-45A4-98F7-36D8CD614007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2332068$F265501F-079F-4B28-8F42-1B6A32238AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2332068$D7FD45CC-C100-47C4-B571-6807EEC29E48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf2283ca728f7f767ad9531569ff177d11291bac","datavalue":{"value":"7125233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2332068$0D351717-280D-4872-957E-9AE67B4F40D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a72bd861ecc038a29fe6e6c5fe79a0a8ed9c83b7","datavalue":{"value":"numbering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2332068$C1E82700-5B7D-4412-83A3-8E6064120FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b363cd75fb945c58d50637682d279f713276bb82","datavalue":{"value":"decidable numbering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2332068$F6595B13-550B-411F-B675-95E860FAAD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5db6962021eaf89aa713d4852468fcee7c2fd48","datavalue":{"value":"positive numbering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2332068$37EC385D-81C3-4367-B78C-4452B31E8545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"163104295a1d9549194718c0bee6c91d1a6e7f35","datavalue":{"value":"computable numbering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2332068$212CBB7E-3668-4B09-A4C5-A3F2122D7F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"746c1aa59372d7ae11ac5fee184d805965369f65","datavalue":{"value":"computable set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2332068$6F9C1854-77BD-4DB0-ACDE-15C3A4222188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba6185ddb35aa4db5098a7342bf05504260c3e6e","datavalue":{"value":"computably enumerable set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2332068$C251F474-92F1-4500-ADCC-1F60752A3CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27719b81bcbaac6c18ab597e0df6873ab9f81290","datavalue":{"value":"\\(e\\)-reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2332068$D765ED1F-EB61-4996-892A-08493473AC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91797d99c225f1e0a65ffc66959435a3e71d290d","datavalue":{"value":"hyperarithmetic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2332068$4795D2DC-600B-4B1B-A80B-E06D4555C572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec6ad45c3229696467ceee14eafe5b437782982c","datavalue":{"value":"constructible admissible set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2332068$DAEB2145-76D5-4766-88CC-61D843250237","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":"Q2332068$52476306-05B5-4740-82FF-D03B35DA03E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f83c6d4d4ece9aec6bc1c2591f7957b1029b93e7","datavalue":{"value":{"entity-type":"item","numeric-id":1617982,"id":"Q1617982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2332068$0FB49832-948A-4494-9AFA-8E5E26C90C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7d746df1f347ca0cfc7ddd94e4d8a63845ce61c","datavalue":{"value":{"entity-type":"item","numeric-id":5631088,"id":"Q5631088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2332068$D7C42F80-75EC-402B-98B5-DF887C86815F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b618cb66db84fe51222cde78ed5087a4d0863e","datavalue":{"value":{"entity-type":"item","numeric-id":5741347,"id":"Q5741347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2332068$80425B70-991C-43A1-8BEB-12F03468E911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7519c3e30a52aa9033bbc119695bdff5fcd38696","datavalue":{"value":{"entity-type":"item","numeric-id":2630488,"id":"Q2630488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2332068$3F9E0DF7-CD78-4CD4-836D-4BF317BA78E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac45a1a5f1d8e5d5f6a48943dd5ca5598bb581d6","datavalue":{"value":{"entity-type":"item","numeric-id":4973206,"id":"Q4973206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2332068$9FC908D9-B8D6-4A19-BF42-AC4DA4B645A2","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":"Q2332068$F8B605C0-D56E-4358-BC3A-C987B25BD030","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":"Q2332068$0F4B1733-D39F-4687-B555-BD4A41C24C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96df3df16f664736beb562bfd247a0867ba9b0e","datavalue":{"value":{"entity-type":"item","numeric-id":4882531,"id":"Q4882531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2332068$A50871C1-4469-4470-9513-AD2B2892817E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2332068$27F7CCFD-61BF-4662-ADA3-9636FF5FD6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2332068$EB615B94-9E2D-410B-BAFB-B1698C93365E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf31ef76ca83dcb577def0e8d8e21710222761cd","datavalue":{"value":{"entity-type":"item","numeric-id":4517267,"id":"Q4517267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2332068$F22AACE8-4DBB-45E8-B656-ADE20AAECB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a564f19618aa010e995eb9e94d8b55ad8cf1c8d","datavalue":{"value":{"entity-type":"item","numeric-id":4795523,"id":"Q4795523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2332068$7454F81D-3394-43B6-BFB6-FA3EE8CC8A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1991913a85290c9f588c4d05954f1d869ebb0399","datavalue":{"value":{"entity-type":"item","numeric-id":5602099,"id":"Q5602099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2332068$F8B08098-2D6E-4D96-9DFD-27321D509014","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"13ecb258049331f54dc179dc3bd61fc22b22be92","datavalue":{"value":"Q127702496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2332068$F7B5A514-262F-496B-B518-EC7BC1471648","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f405a2c15458a1dd9a2bce509a5ab4806adb19e0","datavalue":{"value":"https://doi.org/10.1134/s0037446619030091","type":"string"},"datatype":"url"},"type":"statement","id":"Q2332068$2945511C-006C-4236-B3F8-AD50DE23A4D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8efe280e0b94d3661f815c0f629876066240bb5","datavalue":{"value":"W2952286598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2332068$2BBDD95F-CA22-40E8-98E0-50B924C3F30E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7900c93209cc92a37e3e2e06fafc49cc2862164b","datavalue":{"value":{"entity-type":"item","numeric-id":2213918,"id":"Q2213918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac94875492bea154fabf433cb9a28224b489f01","datavalue":{"value":{"amount":"+0.7993325591087341","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":"Q2332068$4940239F-3BBF-4793-B271-D34F990825AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8166f6aa9b9497e09f5d6dec6a075ea0fb74bff1","datavalue":{"value":{"entity-type":"item","numeric-id":695803,"id":"Q695803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f51fc1155f6d7de5597926a793b96908ddea2cbe","datavalue":{"value":{"amount":"+0.7693495154380798","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":"Q2332068$4F01F670-FB1A-4F34-AFBC-B691A62C5899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7897e4e4580734fcf9e535542f29d73ce8d408f","datavalue":{"value":{"entity-type":"item","numeric-id":1731525,"id":"Q1731525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c886a2bc1271d24c6f0cfe76dad8f2b50445d325","datavalue":{"value":{"amount":"+0.7532116174697876","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":"Q2332068$52D83F38-96CC-4606-A5CA-402015339D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b51c9f76bf6e3362b66e70bce4f88c37e24b464","datavalue":{"value":{"entity-type":"item","numeric-id":4795523,"id":"Q4795523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a3d40f961352356757dbf9389ab0a82caf40389","datavalue":{"value":{"amount":"+0.739310622215271","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":"Q2332068$155F2DE2-3FDD-48A9-A3D7-8B04D2103F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"995b5cfff20dbf74e946a7e2c3f8f191a821005e","datavalue":{"value":{"entity-type":"item","numeric-id":1948664,"id":"Q1948664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a3d40f961352356757dbf9389ab0a82caf40389","datavalue":{"value":{"amount":"+0.739310622215271","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":"Q2332068$6CA2BDBD-4D9A-4D0E-954E-4C205137DAF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2332068","badges":[]}}}}}