{"entities":{"Q5258963":{"pageid":7288531,"ns":120,"title":"Item:Q5258963","lastrevid":52288928,"modified":"2026-01-21T08:59:16Z","type":"item","id":"Q5258963","labels":{"en":{"language":"en","value":"A formal framework for hypersequent calculi and their fibring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6449625"}},"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":"Q5258963$E0363FF6-0DDB-478D-9D05-2FE917A41D44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd44118b51d3d38e76c0fa289c25e4c00d8d2299","datavalue":{"value":{"text":"A Formal Framework for Hypersequent Calculi and Their Fibring","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5258963$A99D69E9-B7B3-43A2-AA28-A24E3E31C919","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0998f8a62d1636aa249e43b4f3420fc53eb718c9","datavalue":{"value":"1376.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5258963$178FC083-6686-445F-BB47-71075D8140A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2defa24ea66d2eb7506f7ce0778d802a24ffaec1","datavalue":{"value":"10.1007/978-3-319-10193-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5258963$84EE58ED-F6EB-4756-B4BB-B743275B2E0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abb72aee385d3c375008fbb213dbc232938cad53","datavalue":{"value":{"entity-type":"item","numeric-id":186027,"id":"Q186027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258963$ABD03565-F7B7-4D4B-968B-58578B99B7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44c653e58c5090a735660d928d35e93c3cc089e9","datavalue":{"value":{"entity-type":"item","numeric-id":456966,"id":"Q456966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258963$64C7DD41-D75B-40D2-A7E1-42CA59E8125B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b747cf0c9bd19fcbc5688fe3c3f4334a261bd34a","datavalue":{"value":{"entity-type":"item","numeric-id":371439,"id":"Q371439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258963$28F6135A-21D4-49CE-870D-D641223BE87E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"354c0581a3debbff4659a60277ac3936b006a9c4","datavalue":{"value":{"time":"+2015-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5258963$EDFA8F9F-597F-4BB7-9C3B-FE0FABC45474","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5258963$E3E592B8-1403-4C93-B61B-19E612465F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5258963$7CD2FB7E-41F7-4D47-8897-C07E784C130E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5258963$1272AACE-C224-4F09-BC3E-D79DBE15C20F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2ae92bd279988a79463d3842e3fd518a2e4be72","datavalue":{"value":"6449625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5258963$84746903-99F7-4C5D-985D-5B1731A2DA48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q5258963$B689D650-4227-45F9-B3B2-195512B30F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f346264936768a92306e42f086dac62aeb178e5","datavalue":{"value":"fibring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5258963$182F7E96-A5EF-4285-A855-D852FB563F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b51c55b46a18c520d90beaccc0118e9d0c3fc4","datavalue":{"value":"translation between logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5258963$83309850-60C2-408B-BEB1-696A7802CE90","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":"Q5258963$4C4B1AA0-95D1-47CD-A1D8-3EC1022630E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc9cc089f390d6e2fd47c2fdea5c81fb5b9abc50","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10193-4_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5258963$10F95EA1-86D0-4050-AF29-58B6A171F2E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"983f8d2eac354856b0aaff002218e80df3835e34","datavalue":{"value":"W1482301682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5258963$FB391295-A315-4766-ABE6-80ABDE0794A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e2c38ffb25b230af95b7569666ca7dfb7535e45","datavalue":{"value":{"entity-type":"item","numeric-id":4221771,"id":"Q4221771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a39a471242560d587a1c9c9ffb2ee7abc4598fdb","datavalue":{"value":{"amount":"+0.7806792855262756","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":"Q5258963$2CAC4A89-0C29-48A4-B2E0-5B33BD0C1F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95581da49d8e3c37a4665da04d77b92186b104e8","datavalue":{"value":{"entity-type":"item","numeric-id":5413334,"id":"Q5413334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"821ae6fd5b7e6a6a8eda2010c173edf4a69a060d","datavalue":{"value":{"amount":"+0.7729765772819519","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":"Q5258963$1ACDB099-0DC3-4DC1-A36F-D7A7AA131940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc6216207f2eb67389a854c1d29a5515242c051","datavalue":{"value":{"entity-type":"item","numeric-id":2851936,"id":"Q2851936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f768980c42ad43a4ca6ebeec6ba9e26747ce6db6","datavalue":{"value":{"amount":"+0.7725825309753418","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":"Q5258963$C9673797-0E6C-4B80-9D5B-C65653A52EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aec3cd58b4a5c92b91e24712a1e1ca65eb52d4ea","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eacb1e2787c612f9b761394fe7b1876336ac5a3e","datavalue":{"value":{"amount":"+0.7709680199623108","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":"Q5258963$6B1DDFD9-0939-42B7-9F24-C39791406A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3aac096f5523c7b293d2e5dece543fa5681165","datavalue":{"value":{"entity-type":"item","numeric-id":4242584,"id":"Q4242584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"488f6f50dae2cb2b8c888ae277bd199921eca42c","datavalue":{"value":{"amount":"+0.7635695338249207","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":"Q5258963$8860BEEA-6A58-4939-A5DC-50DD38298CB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5258963","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5258963"}}}}}