{"entities":{"Q5224559":{"pageid":7254128,"ns":120,"title":"Item:Q5224559","lastrevid":53486084,"modified":"2026-01-25T01:04:48Z","type":"item","id":"Q5224559","labels":{"en":{"language":"en","value":"A hypersequent calculus with clusters for linear frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084825"}},"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":"Q5224559$475278FD-32F6-4FF0-8A5A-7F1E15EE57A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b053adeae31c525ace5e15cf3bad0e9cef1a978e","datavalue":{"value":"1418.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224559$FF9416CE-FB11-462F-BFE9-CD621D27F9D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"439fedb2abb0db23850e986c02a9c62295b684a6","datavalue":{"value":{"entity-type":"item","numeric-id":2167735,"id":"Q2167735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224559$2EC6DE52-1E3C-42E5-AA7D-60F9331532C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2ba921881a53103d0c1cbd2f544609191035b5f","datavalue":{"value":{"entity-type":"item","numeric-id":2180515,"id":"Q2180515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224559$C4F4F560-71A7-401E-BC3D-B6D20A5365D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe894b33b604a8dedddfc76d41297208e005eb0","datavalue":{"value":{"entity-type":"item","numeric-id":290913,"id":"Q290913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224559$F9B23293-A07E-4A93-93AD-710595B861DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-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":"Q5224559$996196ED-8E3C-4CF3-BF5B-E3BEDEDB4B24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224559$0619C3A8-50A8-44BD-B8BC-3359348AB611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224559$E3D40C2C-19FF-4FB0-89A6-4F20A854EFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224559$1ED77F49-4805-4820-A680-4D63F57B58CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdbe2be4ac356c6f51af9e877ae740e58c330f9d","datavalue":{"value":"7084825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224559$F89F8D7B-2105-4F74-AA4D-39E75B667962","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224559$6A52D862-0598-4D56-AADF-ABE727E7DAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224559$76B2AF38-1B80-48E3-BA47-E4B7D2D70736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224559$5EB4CD82-1FD6-4BFF-A34D-BC6C62EBE672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec925930cd5cb92d73c0f9b0b994159f9e248e79","datavalue":{"value":"clusters","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224559$CA07C5E4-DA73-4249-9EF1-5C233BE34375","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":"Q5224559$3C6115F1-0EE0-4B54-9218-1502CA2C65F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266aa60dda3f7903a14184b7f6de7573beeef51b","datavalue":{"value":{"entity-type":"item","numeric-id":5346691,"id":"Q5346691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa4cd5b30b17464abfbec2b5491d7856f805cfb9","datavalue":{"value":{"amount":"+0.8454049825668335","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":"Q5224559$8D6860E6-D499-495B-9BF2-71DD637D804C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1bdcf8be9c8fe947b47f08658bda128ca6e2b07","datavalue":{"value":{"entity-type":"item","numeric-id":2180516,"id":"Q2180516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508ed8d54d9376d5199631d8dfacb64afa332c95","datavalue":{"value":{"amount":"+0.79195237159729","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":"Q5224559$BD71EB45-24F4-4AFA-BCD4-46BA48172FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe3c839e47ac30eb17be5e2e55cc5649fcfd459","datavalue":{"value":{"entity-type":"item","numeric-id":477584,"id":"Q477584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c65cceb317d56c4867128dcbd5f8cf859a0792","datavalue":{"value":{"amount":"+0.7858696579933167","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":"Q5224559$B143B73B-8D97-453E-A44E-23425ABDF2AE","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":"246e0d884cc9cf45db6cf87f8e9c40a30c6e33f4","datavalue":{"value":{"amount":"+0.7735254168510437","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":"Q5224559$8ADC169C-9C3E-4B14-91D3-70223A6CB77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c01ede27f49129e2d739ffa77ff8b0285d00c2d7","datavalue":{"value":{"entity-type":"item","numeric-id":3455766,"id":"Q3455766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68a66b523733603b1867019a33b42080ac7995ba","datavalue":{"value":{"amount":"+0.7689869999885559","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":"Q5224559$440875B7-FFCA-4E05-936A-169F710B44FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224559","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224559"}}}}}