{"entities":{"Q4638975":{"pageid":6668556,"ns":120,"title":"Item:Q4638975","lastrevid":58312797,"modified":"2026-04-04T16:33:14Z","type":"item","id":"Q4638975","labels":{"en":{"language":"en","value":"A direct proof of Schwichtenberg's bar recursion closure theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6865713"}},"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":"Q4638975$69AB4970-9DE9-4502-8926-E9F16C135CCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96887e52be1d99d4da6a601d71223f6209c1d20e","datavalue":{"value":{"text":"A DIRECT PROOF OF SCHWICHTENBERG\u2019S BAR RECURSION CLOSURE THEOREM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4638975$6133E4B9-C439-4124-85AF-B0D56FBC4B16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b45cb739f499ae6d866e8522689da96d3629f0f1","datavalue":{"value":"1406.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638975$F7A5CCCA-80F3-4843-AF9B-964927112BDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62de1bd65cd36d521902ae54b685bc4b017ceeca","datavalue":{"value":{"entity-type":"item","numeric-id":408161,"id":"Q408161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638975$06478E4B-39CF-456E-ACB0-4019B3DFB786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cd82a286f91886831e771d7fa217c07b3dd41bd","datavalue":{"value":{"entity-type":"item","numeric-id":324246,"id":"Q324246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638975$106D20B0-9BC0-4300-84E5-63E312D3AE10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1679cdff871c3abffb2794c84ff8718bbd0c06a0","datavalue":{"value":{"time":"+2018-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4638975$A59DA26D-03CB-4C1B-88FF-11A79F17F77E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44be5f3a0cdf88a690e2a5b4019240cd149b1983","datavalue":{"value":"https://arxiv.org/abs/1607.05237","type":"string"},"datatype":"url"},"type":"statement","id":"Q4638975$D371B766-E802-4795-B0FB-1419A58E5956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"415a6dc59ee237ab881f591d2f58aad565449680","datavalue":{"value":"https://boris.unibe.ch/112774/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4638975$6F7D4B1A-4E1D-4057-8BCA-B8893BD5BB59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638975$2334AD66-54D1-4FA5-A1E3-D127157A4F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638975$3A37A12E-618A-41D2-B6BC-F9EF6CD966D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dea06588bcca0c19bc78f85649cd05423f3cd021","datavalue":{"value":"6865713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638975$AA9CCCEE-04EE-477F-89C6-3F6F790061AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9afc28f285882597daf0d20a75393d45884ee988","datavalue":{"value":"Spector's bar recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4638975$179973DF-0404-4A89-A6DB-27A6646A0757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96334772ccc050892020a34541fc7186612fdc13","datavalue":{"value":"Schwichtenberg's closure theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4638975$1621EED3-014E-434B-9F22-3D36831C660B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4638975$2A099666-2F86-4B8E-8A67-FD01BF05F67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e55c23f31058f1d9bb9cc7b9cbb042e05cc88c64","datavalue":{"value":"general bar recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4638975$8237D132-728F-4B59-B200-B95A9A242649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6bbb05ad69a2ede08ccbbfa866be2b226237bc","datavalue":{"value":"system \\(\\mathsf{T}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4638975$F2B998AF-5429-4097-8FF0-31EBEE83F60D","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":"Q4638975$C6D46E3D-BD07-47D7-9B3A-3A90170354E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"394277f1f33478fc18f72b3d5a62f33dbd3ba71b","datavalue":{"value":"W2964235990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638975$311AAEE2-1A25-424C-82E8-99D87DF5B047","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d74d508f8067239c716b78a60a1fe33cccffc3","datavalue":{"value":{"entity-type":"item","numeric-id":5225855,"id":"Q5225855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638975$C62BA352-F528-44A1-B45B-E379887C9DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2208c84b3f74a0c0e2edd20da31d985bab97d1c3","datavalue":{"value":{"entity-type":"item","numeric-id":5573380,"id":"Q5573380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638975$F82E2A7D-6FE4-4341-B909-EC8F394397DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638975$980000C8-7213-4AF0-802B-0FB8FB7D7B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed487916d3cdc9c48e6c95427874ba546cc872ae","datavalue":{"value":{"entity-type":"item","numeric-id":5545953,"id":"Q5545953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638975$3D204D3D-B137-444D-94BC-74B738D806C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5252507e8b841362919bcb72846047b2bd098dcd","datavalue":{"value":{"entity-type":"item","numeric-id":3887456,"id":"Q3887456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638975$2BF0DAD9-9FE7-4EB4-92FD-FF5FC9923529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ade55e2c6c484c833d7e5a2d3940069198c8b4","datavalue":{"value":{"entity-type":"item","numeric-id":3912574,"id":"Q3912574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638975$8A1957A5-2A00-48A9-A543-10616BE28E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77765a4477c55f314baec87f180c178599579624","datavalue":{"value":{"entity-type":"item","numeric-id":4948521,"id":"Q4948521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638975$0137837A-2D47-4330-B549-CE6A96F56C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4aab8b4eea31d5d165b714e55365ac470a41376","datavalue":{"value":{"entity-type":"item","numeric-id":435242,"id":"Q435242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638975$E0615E58-5D9F-4D33-8EDB-6426FD551AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1935482434002d0fa3e71ce65d32c6e93232c71","datavalue":{"value":{"entity-type":"item","numeric-id":3000631,"id":"Q3000631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638975$04FAC892-706E-4096-A23C-DEB2CF3059ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c59bf00a70c2cce6357ba2427fb74188016b991b","datavalue":{"value":{"entity-type":"item","numeric-id":4079601,"id":"Q4079601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638975$CBD4E1C8-A730-4D94-A7DD-2AEC10ABD207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5684a36bec92b21620fadc7675826463b2988db","datavalue":{"value":{"entity-type":"item","numeric-id":3870893,"id":"Q3870893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638975$4037518D-C923-4ABE-8641-41818DA833B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dac56f2072a3893c756d692707c0c07bfe6e585","datavalue":{"value":{"entity-type":"item","numeric-id":5519134,"id":"Q5519134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4638975$EFADB37D-887F-478D-82AF-9AE43B18A2DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8df5d7e55aa30edd25808295384ecaf901497ad1","datavalue":{"value":"10.1017/JSL.2017.33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4638975$85F80233-A08C-438C-8C1D-44C9AE649EC4","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":"Q4638975$16121309-B32A-417D-94B7-8BBBC1E5B032","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ced790569a69b64d50e7536f6e53d0921d97af0","datavalue":{"value":{"entity-type":"item","numeric-id":5211057,"id":"Q5211057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e5d6ade19ac25b27f9098cf25cc572a6a0596b","datavalue":{"value":{"amount":"+0.7723447680473328","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":"Q4638975$4E929599-3478-451F-BE52-C454BBECDD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c5956087ec7c6e66f3d37f7afb5d5e842d740d9","datavalue":{"value":{"entity-type":"item","numeric-id":2910991,"id":"Q2910991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d4db3e5a00129a6beef4107b32e9f77b446878","datavalue":{"value":{"amount":"+0.761194109916687","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":"Q4638975$5CE05D22-09AB-4367-BCA3-12C36A009B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af5955716d3e538dd02f0b7403e1b04485cacb55","datavalue":{"value":{"entity-type":"item","numeric-id":1115867,"id":"Q1115867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8571fc8c3e474555c0960cbe84de841fbf832fc4","datavalue":{"value":{"amount":"+0.7567049264907837","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":"Q4638975$98B925F7-5E9C-4EB8-A52C-C24341403DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84cf870b60e963bde3a4f9887e8ee860d85d0c62","datavalue":{"value":{"entity-type":"item","numeric-id":3739119,"id":"Q3739119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b3356ec38a60f37937e3d404cc7bf73c4ddc347","datavalue":{"value":{"amount":"+0.7388321161270142","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":"Q4638975$88FE868E-9A91-409A-B420-08E229B6F105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d95a0d8019ff379587790214f720c9b0addc733","datavalue":{"value":{"entity-type":"item","numeric-id":400424,"id":"Q400424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4bf50853a0b5edd6a0a0639ea6e66d213b41bd","datavalue":{"value":{"amount":"+0.729077160358429","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":"Q4638975$336C215C-814D-4B08-83CF-0535B4CC3895","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4638975","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4638975"}}}}}