{"entities":{"Q3416113":{"pageid":3426816,"ns":120,"title":"Item:Q3416113","lastrevid":50003032,"modified":"2026-01-12T14:16:56Z","type":"item","id":"Q3416113","labels":{"en":{"language":"en","value":"A Buchholz derivation system for the ordinal analysis of <b>KP</b> + \u03a0<sub>3</sub>-reflection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5117107"}},"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":"Q3416113$EAE956F6-1603-448C-9333-9B5390D2F785","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"620139c90bc68122880be0c8271773ea02e40082","datavalue":{"value":{"text":"A Buchholz derivation system for the ordinal analysis of <b>KP</b> + \u03a0<sub>3</sub>-reflection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3416113$1C9DD2B8-7F56-4047-BBD2-7EB5B6B31895","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a094f646587747cb32f8be577e7433446250e7c1","datavalue":{"value":"1114.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416113$1DC92FD4-FEE1-4C99-8E76-00466EC38E79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416113$E9D1E8E0-D95A-4FDD-8A06-CC49E3D6659A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccfbcab9dc0e00345be770d3637c6c67cbc30af7","datavalue":{"value":{"time":"+2007-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3416113$E41F840C-87B4-4F5B-B269-74760C8FB548","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416113$C9D59113-8318-4454-8742-AB2DC6AFB6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416113$66E8E403-94B0-4401-BEE1-E81A452F614A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416113$E0B8534A-74DA-41A1-B852-F2886CC5A4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416113$DEDFAE39-DAEC-4B73-B328-F10239CC4F7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcced5b6e3771ce0651f0d270b64c193a4829c7c","datavalue":{"value":"5117107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416113$92F296CD-5711-4C11-939D-96D9F599120D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"401123af516938ef0b1ac43e6edd1dad05ddd1d6","datavalue":{"value":"operator-controlled notational systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3416113$C46CA35A-1F7F-4474-8043-7A99350704C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd45e101400de0e1173810ca53af2986ea301177","datavalue":{"value":"\\(\\text{KAP}+ \\Pi_3\\)-reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3416113$5C5E51F6-DE99-4A82-AB2B-5C52E6E77305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905898c43185600c6379f45499d0a4d4a7a5c61a","datavalue":{"value":"provably recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3416113$1C34A2E5-A38F-47CC-A919-055E58264A28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6575cff51975739d551f57056395ae004f63ff1a","datavalue":{"value":{"entity-type":"item","numeric-id":2503335,"id":"Q2503335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416113$DF9BA208-1E71-4CC3-AC44-F38CFE4544EA","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":"Q3416113$0E352A70-0765-4DD6-B58B-3D7C56DB66BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"424303ee0d6000727cce664da1b9aa462afcc93c","datavalue":{"value":"https://doi.org/10.2178/jsl/1164060454","type":"string"},"datatype":"url"},"type":"statement","id":"Q3416113$D9A687F1-90CA-45F8-A6EB-3F5ED447A8FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2dd773c1b6b8f17ec9edd2c4845a88d3ad999fdf","datavalue":{"value":"W2074989306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416113$A901439F-7AA3-40E5-B5D3-97E18BE8E466","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"442321204f0846e6d42ccce9aff806849d058e00","datavalue":{"value":{"entity-type":"item","numeric-id":1332853,"id":"Q1332853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416113$514200D1-34E6-4EBD-A3D1-DBE9665C4E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a41e51759b03d93fbc94ef3ba8acf0dd412666","datavalue":{"value":{"entity-type":"item","numeric-id":4040375,"id":"Q4040375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416113$5FF0EE54-E51A-47A5-87EA-F6FD0F87C7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f03bb73061ecb0f96c44a7ddf18c7285fa61e72","datavalue":{"value":{"entity-type":"item","numeric-id":2743649,"id":"Q2743649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416113$1BAB0F71-38D7-4E88-9AE4-82BE0AA42AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c20063395d481d6afd6b6ba37dc0e8e042800c","datavalue":{"value":{"entity-type":"item","numeric-id":5944050,"id":"Q5944050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416113$8B62376C-F76E-4D57-8B44-598C84F989EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d00387896589b5e49220f22dbb558564f833852","datavalue":{"value":{"entity-type":"item","numeric-id":1887655,"id":"Q1887655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416113$269F69F7-7A5A-437E-A6A9-5DF8442A4A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22d218d3690c005dc0a2ab436158adb54815ddc2","datavalue":{"value":{"entity-type":"item","numeric-id":1400597,"id":"Q1400597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416113$3D5B9B36-35DD-4B37-AFB1-41F679AC32DE","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":"Q3416113$DD040F75-2354-469D-B7D3-7EEEEAAC9180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416113$F921C66D-ACD1-4C45-BB82-84E0E91AFB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe447f578e2cb8ec9c17248c32e8835a2af4218","datavalue":{"value":{"entity-type":"item","numeric-id":1212459,"id":"Q1212459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416113$CF80CEFA-9E74-4C3F-A66F-C0A0AD1D1B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1d6593cd0ebfca53ff73204240e1bf28b6816d","datavalue":{"value":{"entity-type":"item","numeric-id":1765099,"id":"Q1765099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416113$D6F51E59-F6C9-46EA-8CD0-231BA193F0BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f55fe22a8a82d8147355accdea1306905d794f9","datavalue":{"value":"10.2178/JSL/1164060454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416113$F8A7561D-8AAB-4CB3-A931-C277A4FEF507","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf20a72c87c85cf6f836cdd293a539c83e95161","datavalue":{"value":{"entity-type":"item","numeric-id":1332853,"id":"Q1332853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c0d2c0a61b9e43f5792ab2c5fa3899cff1692f","datavalue":{"value":{"amount":"+0.8367672562599182","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":"Q3416113$4EC81742-56A9-4F91-9925-33EF1B4AC5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b83846e77848704234acd12a129f1bca7015c5","datavalue":{"value":{"entity-type":"item","numeric-id":2743649,"id":"Q2743649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1da9825f3d581eefd2252cd979c3ab5b21fc8eb5","datavalue":{"value":{"amount":"+0.8344375491142273","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":"Q3416113$838DABD8-42D2-4FEB-B1D5-36DA16F05208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57c6e74f0dc692143d060bf08d947a0a68fceff2","datavalue":{"value":{"entity-type":"item","numeric-id":4325775,"id":"Q4325775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efaf1785d4b321acc480715fae46c041170ee8d7","datavalue":{"value":{"amount":"+0.8171523809432983","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":"Q3416113$7926258D-CD0E-40CB-B2A1-BB298A0A7014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887dd5830fa4f924e4f422162681bc2edc4f6a45","datavalue":{"value":{"entity-type":"item","numeric-id":4527929,"id":"Q4527929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b1ffeb7a270b7d5c68bb79e6f72d6c1a2c06e97","datavalue":{"value":{"amount":"+0.813372790813446","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":"Q3416113$6E40BC5B-C5C9-41C0-AA36-A29B10F8E2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f851965da6a75c58f86d26b9887bdd9b1e0f8feb","datavalue":{"value":{"entity-type":"item","numeric-id":5855753,"id":"Q5855753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9715991c0f15599463bf1d262901524c19dc19","datavalue":{"value":{"amount":"+0.7877830862998962","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":"Q3416113$6669E510-811F-4B71-84D4-677B66A84281","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3416113","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3416113"}}}}}