{"entities":{"Q268079":{"pageid":269846,"ns":120,"title":"Item:Q268079","lastrevid":60653976,"modified":"2026-04-10T18:18:26Z","type":"item","id":"Q268079","labels":{"en":{"language":"en","value":"On hyperarithmetical realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6568784"}},"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":"Q268079$ACE13203-96CA-4B3B-8BCB-18788DB83C5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97a3ea4ad09e3467c2f37ba0b150d84780929bd0","datavalue":{"value":{"text":"On hyperarithmetical realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q268079$CC97BF6D-BC9B-42B3-83FE-D2FCDD4C14F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5590b2f15a7fb14dfb528a78b74b16a4124858b1","datavalue":{"value":"1382.03081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q268079$01686380-215B-4EE4-A164-510E0ACAEF97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"965baa0ae4595b4bca5c3fea67241b84067b92e7","datavalue":{"value":"10.1134/S0001434615110073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q268079$C3F42120-52D6-479C-8B2E-7FB35EFDC65A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q268079$1B80033A-5863-4EF9-B008-C8202FB029BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6499ac5bf3e5da5b67d7df6b220045d399489bd","datavalue":{"value":{"time":"+2016-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q268079$4942EDBE-315E-49E3-8ADE-ACBC3FEDFCEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q268079$7F89D517-4298-47BD-A341-5D969A0F0051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q268079$112607BA-9143-407E-B448-0F93C4C47512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q268079$A1E20634-80CF-4B39-A613-863A0060853F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d146a0aa049073455075be1d14c3f659d9ee68d5","datavalue":{"value":"6568784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q268079$5F994A24-BB7A-4B11-8CD9-DEA9C82500DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"517039be7e69da5546ba6abc0f04ff9b9b2efc12","datavalue":{"value":"hyperarithmetical realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q268079$E2F4A59A-3F64-40A8-9F55-0AF4EFA44423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8089146631499aa656ce34a91facbd40d25588e6","datavalue":{"value":"formal arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q268079$8DD4099F-9A03-44D8-B018-30D9CC2E055D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f2761dffa2157658c1f650ca94d70b083f164b2","datavalue":{"value":"hyperarithmetical set","type":"string"},"datatype":"string"},"type":"statement","id":"Q268079$BAC01705-B2D3-43B6-88B9-022C0C045A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9827c5cae64b706a503393512bb3e0de9182fe22","datavalue":{"value":"hyperarithmetical predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q268079$FAA767CC-6334-4F44-99FE-E726775998C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fff1e85d86670bab80da82ee2316e4de24321f7","datavalue":{"value":"hyperarithmetical function","type":"string"},"datatype":"string"},"type":"statement","id":"Q268079$F34FFE48-0B08-4195-A9F4-6B17AAAF9A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7997bb624ad8633e919a907750f2cf752e992ac4","datavalue":{"value":"G\u00f6del number","type":"string"},"datatype":"string"},"type":"statement","id":"Q268079$03ECA5F8-9911-4350-9929-5D2E64B10D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3db7f7c17f7526ccd5f5aef9f06181c9f73db14f","datavalue":{"value":"universal function","type":"string"},"datatype":"string"},"type":"statement","id":"Q268079$7012502C-2DD9-4908-8D12-9E1AB60AAEEF","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":"Q268079$D6BFD4F5-7E20-4760-B135-9737B3953D42","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q268079$B90CEC4B-BA6A-40F8-BD98-D1D852CB6A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43854fcab9cefe2423ba907b5a43eb5b5be821c1","datavalue":{"value":{"entity-type":"item","numeric-id":2510768,"id":"Q2510768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q268079$CA99CD27-9BCC-4FA6-9830-FDD9D06803D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c1213895221a2830629fc6564df37c8298055b","datavalue":{"value":{"entity-type":"item","numeric-id":4053615,"id":"Q4053615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q268079$2010F83E-D4CE-492C-A9C3-982B4578DBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f85398194532fbcb10fd385f6a9cd3a54134518","datavalue":{"value":{"entity-type":"item","numeric-id":3216644,"id":"Q3216644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q268079$31978D4B-E9EC-45A4-97B7-DAF24CAFCC28","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":"Q268079$F5F937F1-30B8-4C47-BA5A-1D19E717DB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q268079$0827BBA0-EA42-4C72-B881-1771D9B97010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0389db7be2e276e760be3fbee1d815a588a76f42","datavalue":{"value":{"entity-type":"item","numeric-id":1156789,"id":"Q1156789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q268079$12F237EA-DCB3-4825-AC3B-FE5E8B0BF93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2089fa58da7d2fc1dfe60e40e3a108a0413c8a8","datavalue":{"value":{"entity-type":"item","numeric-id":5937805,"id":"Q5937805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q268079$7357F2C2-ED7A-4A54-81B5-7874331CDCCF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10b28ab5ac7a9642593955b09af6079137f178f8","datavalue":{"value":"https://doi.org/10.1134/s0001434615110073","type":"string"},"datatype":"url"},"type":"statement","id":"Q268079$C3B9EFF7-F4CF-4453-94C6-592E5BB67BE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79a22524c002ce3c23859d5c88a08725f3f91eda","datavalue":{"value":"W2258224561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q268079$221B2099-275C-42E0-A9A5-6BEAFE37A0BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cdb2930e2582528817f04af5d3addf5081c196f","datavalue":{"value":{"entity-type":"item","numeric-id":785956,"id":"Q785956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q268079$8E3B3950-CBDF-4E2D-A901-343F5B25BEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ffeb8d8d53f1688b52e59a3bd6e2ef5bbd376da","datavalue":{"value":{"entity-type":"item","numeric-id":2510767,"id":"Q2510767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q268079$76FA29D8-6565-4F3B-9621-13B44B3CA3FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e250dfefaa99cba2fba607d1062bc47e9a486407","datavalue":{"value":{"entity-type":"item","numeric-id":2287392,"id":"Q2287392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"575b30a85286cdaccb33c6e08cc4225431ebd4c4","datavalue":{"value":{"amount":"+0.824781596660614","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":"Q268079$6F170851-6A83-4A92-B805-C8980F25C82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0385868f50fd2c9ab1e92bbf2e229a409f9d72ec","datavalue":{"value":{"entity-type":"item","numeric-id":2403574,"id":"Q2403574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"038d64fc5d779ef6713422699df9866f36daffd4","datavalue":{"value":{"amount":"+0.8153847455978394","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":"Q268079$CAD3E9BB-D421-4E08-89D6-D0166E8FF530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2046776814bf1bed67e77bc1a5477dd1a01601","datavalue":{"value":{"entity-type":"item","numeric-id":1274048,"id":"Q1274048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23987426e315117f41c74064111b2e9769b54afb","datavalue":{"value":{"amount":"+0.7981523871421814","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":"Q268079$E1A849E6-D58D-4FE6-97AC-112F9A5101FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e180b012ea47dc785fc3662940e4ff286514d6","datavalue":{"value":{"entity-type":"item","numeric-id":4133605,"id":"Q4133605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfdf130f0141dcd7d5749618a933095b78b1865b","datavalue":{"value":{"amount":"+0.7732203602790833","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":"Q268079$9878DF91-6A47-437B-94FF-23C21D58AB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0c106d1fe85c4d22a015414cdc2f0d1e2aaac3","datavalue":{"value":{"entity-type":"item","numeric-id":4323037,"id":"Q4323037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a74f7e5be859fc2dff65e70d2d067a5d27a6fdfd","datavalue":{"value":{"amount":"+0.7716728448867798","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":"Q268079$1C9D82CA-B0CC-4877-9C21-39F88ED632FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On hyperarithmetical realizability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_hyperarithmetical_realizability"}}}}}