{"entities":{"Q2948556":{"pageid":2959276,"ns":120,"title":"Item:Q2948556","lastrevid":58074519,"modified":"2026-04-03T17:07:36Z","type":"item","id":"Q2948556","labels":{"en":{"language":"en","value":"Sequent Calculus in the Topos of Trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6487989"}},"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":"Q2948556$CB55E9E7-B547-48F8-B079-18CD3C6007B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69512c45c0bf2e528a87f2f06b40e179485cb4b3","datavalue":{"value":{"text":"Sequent Calculus in the Topos of Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2948556$E8D137A7-B499-4EB0-86B1-98483B97B12F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b02aeb0de35082e2ceac7d1e3b59b2328f23297","datavalue":{"value":"1461.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948556$E858FEC5-0EA6-4A42-8E40-835AD83B163D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ddca1477b58faa2dfd432769f7d1c9aabb16ccc","datavalue":{"value":"10.1007/978-3-662-46678-0_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948556$4A78EA0A-20DA-4310-B4EB-4197CA6554A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cc236d1b83c1da4faad787dc86785ac363afb66","datavalue":{"value":{"entity-type":"item","numeric-id":1652987,"id":"Q1652987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948556$A1FA1E79-44E8-490C-959A-9FD3E2E04AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948556$CBD50F77-7B5D-48BC-B485-DEABEDC406E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948556$B9730C67-521E-4872-A778-0687D93F09AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9cc25a3f929f7dc4cd6afff1695aa56ef6a0364","datavalue":{"value":{"time":"+2015-10-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":"Q2948556$9D9EDFFD-8450-4C23-8146-1F3C47320069","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61275a5527f00f5969c6bb24a84934103e7a8363","datavalue":{"value":"https://arxiv.org/abs/1501.03293","type":"string"},"datatype":"url"},"type":"statement","id":"Q2948556$852D577E-A47F-4C1F-9ACF-C32391E900FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"8200f03a7368224afd8b5fdbcb0efa89ad9e5e2f","datavalue":{"value":"http://link.springer.com/chapter/10.1007/978-3-662-46678-0_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2948556$D6A3261E-C1D6-4262-8BD0-02ED2F5963A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948556$CBA560E4-8549-4529-B1DF-E3D0D377DC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948556$0C55C73E-D350-4EBB-BAEC-BDF483A59EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948556$DF7256CF-8F1F-4960-A90D-C28E8BD45193","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e920ddd76e114755039b86698744d990f44c1874","datavalue":{"value":"6487989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948556$6FE44252-1776-4260-A85B-4B6D9070472D","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":"Q2948556$D6B7177C-F572-4F29-9B6C-67BFE7E46605","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea0a0a7834484a252168648323f9d280a0dc94fa","datavalue":{"value":"W1603328070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948556$CEC32FBD-E73D-44CA-B367-EB690E656382","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c9deb95f2ba1892ca0d2fcd3e8900c5c617220d","datavalue":{"value":{"entity-type":"item","numeric-id":2663333,"id":"Q2663333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73fe6d02cbe193347b6521a919b4da728327f796","datavalue":{"value":{"amount":"+0.90873533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948556$0E9286A4-6D04-4B00-8C21-6CA654C0D7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76790668b5a87f5f77c5a3592d2d295d55a5ca84","datavalue":{"value":{"entity-type":"item","numeric-id":5112652,"id":"Q5112652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e283fd35e493f294345ddf67ba7faf0388a03762","datavalue":{"value":{"amount":"+0.90584254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948556$B227654F-A90E-49CF-8B50-D65C535FC774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cecc61e6ed06b8762152d6f9da7924b63982a35","datavalue":{"value":{"entity-type":"item","numeric-id":2007478,"id":"Q2007478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf8624e5f5ed1043fae921f2cbd7f281a91f60f","datavalue":{"value":{"amount":"+0.90239286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948556$13B20A1D-C292-48BD-AE9C-22250DF2272B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f749ad0d0c5bbc3285fc607db42795b6c7de4c84","datavalue":{"value":{"entity-type":"item","numeric-id":2752412,"id":"Q2752412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f18676ac41e98a61ac29d1a4cb6541b7e5075eca","datavalue":{"value":{"amount":"+0.90065587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948556$8FB693B2-5F5B-4626-9D9F-E10614A75CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc35e2b9930762a999ee18667f2e75470fe3b4e0","datavalue":{"value":{"entity-type":"item","numeric-id":5278420,"id":"Q5278420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f9ffd242edf78a810db457d966b53ca2abbb7fb","datavalue":{"value":{"amount":"+0.8947191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948556$DEDE0645-2B17-47AF-8B69-EA75DB6BD077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23ddf6431192977e6814521a6abd69db02fdf862","datavalue":{"value":{"entity-type":"item","numeric-id":964505,"id":"Q964505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bbfe0b73903107ab2bb4d3ed34eb030de48aeb2","datavalue":{"value":{"amount":"+0.89215195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948556$24B7457F-DF1C-42C0-BD5A-0FD0BEB2CDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f295daa925ebf37a1c6a09c638bd493c340bae6","datavalue":{"value":{"entity-type":"item","numeric-id":4612431,"id":"Q4612431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"831522cd678444f6c6bdc935614d392b590a5b6c","datavalue":{"value":{"amount":"+0.8905423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948556$5237B251-F580-4D30-A62F-41EAC63E32EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516c0d9ade4668ccaad1376068843547fa30bd7c","datavalue":{"value":{"entity-type":"item","numeric-id":5901869,"id":"Q5901869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ce8d4002d52e13655aa96a5b63db926b079d96","datavalue":{"value":{"amount":"+0.8888364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948556$DB23EAB2-31DF-4194-8D3E-5E7F5E2FFD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f486b9f4171899a84de2bb417dbb8564a40f7680","datavalue":{"value":{"entity-type":"item","numeric-id":3564340,"id":"Q3564340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f32da21bf744989e4ba4998ebc16aa02a3bb77b3","datavalue":{"value":{"amount":"+0.8884411","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948556$05F7E4B3-900D-46E0-B358-16495D623AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0b85470d56834fc5356dfbec0c5b9fbac36ea0","datavalue":{"value":{"entity-type":"item","numeric-id":4381705,"id":"Q4381705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c1fa47febe905f87dea2d038a5adcad7214ba6d","datavalue":{"value":{"amount":"+0.88620245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948556$81586184-8053-4CFF-A86E-74C60D8148AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2948556","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2948556"}}}}}