{"entities":{"Q5278411":{"pageid":7307986,"ns":120,"title":"Item:Q5278411","lastrevid":58527186,"modified":"2026-04-05T14:50:43Z","type":"item","id":"Q5278411","labels":{"en":{"language":"en","value":"Bar recursion in classical realisability: dependent choice and continuum hypothesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6748874"}},"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":"Q5278411$96259FC4-08F7-47B6-BE37-D14D317DDB10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"521989eb60ffca125e6d8771fdca214b1c90aee7","datavalue":{"value":"1434.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278411$7A713125-CD65-4799-8220-5D3DA4356B69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c930bfaa88d0466feb9bef34cfbca5f6b60b9e3","datavalue":{"value":{"entity-type":"item","numeric-id":206560,"id":"Q206560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278411$FD2EA3B9-2581-404D-8CB5-A422A7C78244","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5795f7f3b926192010aa9292f450e7804c95cb80","datavalue":{"value":{"time":"+2017-07-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":"Q5278411$4D219BC4-7164-4E2D-8B3F-137B94045CDF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2854037682a13054f6f762ccd0952e41b2d08b9b","datavalue":{"value":"https://arxiv.org/abs/1502.00112","type":"string"},"datatype":"url"},"type":"statement","id":"Q5278411$74366477-D8E5-4E16-8DC8-5B1D40BCCDC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278411$24B5319A-675E-4068-9B02-2EEC3B7703BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278411$4DB30722-366E-476F-BA32-D8744451449C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278411$ABF23A81-6434-4361-827B-487C835AA2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278411$28A7C81A-47A8-4071-A997-C979290476F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2967370ebbd24b230d54d8a663bcaeeedde3c1b2","datavalue":{"value":"6748874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278411$9E486DA8-3C78-49D2-8EFE-22DD730F141E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278411$6912F469-2A03-42A9-BABF-17EA821141C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278411$BB00A893-0514-4E3C-8A54-AEC4F8DF9B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278411$7EA6B1FA-6F04-4605-8028-885CD2C12717","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":"Q5278411$487E0C8D-E956-4C72-9825-BCBB8623FB4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ca7509febeca8d9641bcbfddf7f5d2a30ee61f7","datavalue":{"value":"10.4230/LIPICS.CSL.2016.25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278411$A55F4A3B-3F29-48D8-80A5-590F224E5DB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"556f9ea0386ca073eb50bec106e3334b9155c204","datavalue":{"value":{"entity-type":"item","numeric-id":2937797,"id":"Q2937797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f59585de060c368bbf5e125b6bc958fb302f02f3","datavalue":{"value":{"amount":"+0.8178727626800537","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":"Q5278411$80F294E2-2262-46BB-B1E2-F17C6773454D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b7cc0b9e1691c5553d2a1fa764865dc304f866a","datavalue":{"value":{"entity-type":"item","numeric-id":5702662,"id":"Q5702662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6460892844dce8eadb37fb3ce57600f8c0721690","datavalue":{"value":{"amount":"+0.8161808848381042","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":"Q5278411$4911656C-3F5F-4DEE-B2A0-3E715B0BD0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b07e8c19f47b997f23663b8dd5fd94bda5f743","datavalue":{"value":{"entity-type":"item","numeric-id":5225854,"id":"Q5225854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2015a03f7f1c2acc0d5be789f9f1fa0a8800e934","datavalue":{"value":{"amount":"+0.8143330812454224","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":"Q5278411$80C8A56C-7375-4523-9EA9-8209DF85B955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f7a9cee27635f48dbe32c2b39a0e90d50d8fe6","datavalue":{"value":{"entity-type":"item","numeric-id":4212925,"id":"Q4212925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d63abf88cd9016d839c68271d328e796acb239","datavalue":{"value":{"amount":"+0.7764660716056824","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":"Q5278411$1E89513E-24A2-4F5A-B090-94C9686F2565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52a879a36070095bb20e1d6cbced7ef6874943e1","datavalue":{"value":{"entity-type":"item","numeric-id":1884884,"id":"Q1884884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b57f3fc44d763f879276bd62acb5f66f6ac1fd1","datavalue":{"value":{"amount":"+0.7757707238197327","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":"Q5278411$13639E72-3F32-4690-A6C7-B5535C15789F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5278411","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5278411"}}}}}