{"entities":{"Q5262490":{"pageid":7292058,"ns":120,"title":"Item:Q5262490","lastrevid":100666073,"modified":"2026-06-05T22:43:22Z","type":"item","id":"Q5262490","labels":{"en":{"language":"en","value":"Embedding the hypersequent calculus in the display calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6458866"}},"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":"Q5262490$D464B5D1-CAAF-40EF-8665-AD3C6184C739","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d64a22ea0a1e6644f8c8630a0eeda1256b16c63c","datavalue":{"value":{"text":"Embedding the hypersequent calculus in the display calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262490$05EDACCA-5A7A-494A-8F09-CA7E2FD4F424","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa7e02719c98acd3ca4a2901259abe3ef16a570c","datavalue":{"value":"1348.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262490$57A02C63-B023-4930-846A-918F49058B4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd26fdbdfe1d2fb01e4aa125652a423d7111de5","datavalue":{"value":{"entity-type":"item","numeric-id":1709694,"id":"Q1709694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262490$FE526D6F-6A2D-4041-B402-335D487FE7E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d4604287d09c54eee9e2f817efbc91cbdb51d79","datavalue":{"value":{"time":"+2015-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5262490$82FF9736-7B6A-4439-B805-58BFD13758FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262490$59116E59-3B92-43AA-9BBE-11668F609321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262490$24DC59F5-1535-4532-A8DB-6EBD8DC2A4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262490$C7A4B573-EF0B-4F2C-8FF8-28D7DBF068E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262490$30C351DF-DF83-4D4A-BED7-2D5265057244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262490$BEDBFE0C-66C7-4D84-8CB5-6B025B694E66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0795e522c37ba0c4ce673041bb1f102e7c31bcbf","datavalue":{"value":"6458866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262490$90BB7C2C-3935-4DF9-A038-E4B00BD97A19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eae2b3a2788ace2ec5cffecfcf5bbf07601bfd7","datavalue":{"value":"display calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262490$31ED7767-EF75-460E-9756-79234E2EE8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e3b78f3149db7c0dcc97ef2bd019728dfc4b35a","datavalue":{"value":"hypersequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262490$B8F7B32E-0306-46FE-8F34-38911BDA4EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e19c5373a57a8ec08887bb03f075fd3a694937b6","datavalue":{"value":"notational variant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262490$CF6F5E11-BE5B-4494-B32E-46A2A5C67519","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":"Q5262490$EA91A99D-0BDD-469C-A846-CB69A2F7D320","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc8598aae4e4c87f40482fd6439635292496fe72","datavalue":{"value":"https://doi.org/10.1093/logcom/exu061","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262490$72A2AAAB-7179-48EC-BF15-EB4B89FB93FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0489684e57ada01ff3b71a27304f8bd0971075e7","datavalue":{"value":"W2155634961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262490$77DD7995-1D5C-45B8-89AF-E213C679FDB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c507e97b8f2bdf8850293e91d2c069fe796e0d5","datavalue":{"value":"10.1093/LOGCOM/EXU061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262490$848CE851-021F-4D7D-800D-169842058AA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262490$087F9F56-E5C3-4781-9D32-855E22AEF2CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c519bef2132e51d8f59e67a71f7e4cd360762ff","datavalue":{"value":{"entity-type":"item","numeric-id":4579958,"id":"Q4579958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d49c0a6ee5733243f325e1426b4680ee1c20e911","datavalue":{"value":{"amount":"+0.8179481029510498","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":"Q5262490$07FE1214-903C-4E6E-97C4-504C8FB2F561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e31825295d4c4d73708aa65933909e5eb4fdaf","datavalue":{"value":{"entity-type":"item","numeric-id":2259013,"id":"Q2259013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3032520fd56f6724cf5a17c3393a6c95196a67c4","datavalue":{"value":{"amount":"+0.8129795789718628","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":"Q5262490$1BD4EE66-E5FC-45A3-8741-3473FEE4C5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb781b7f2347efb7aac3b27a8219a7f0aba7c0c0","datavalue":{"value":{"entity-type":"item","numeric-id":4636035,"id":"Q4636035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad6ee3650dc03d787204940a1b2df490f5c071c","datavalue":{"value":{"amount":"+0.7748802304267883","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":"Q5262490$EAA71232-042F-4A7A-ABDF-A2282337F7C0","rank":"normal"},{"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":"f1b4065a8d246d0d37b62e9ef7dbcbbb1ca15e1d","datavalue":{"value":{"amount":"+0.761347234249115","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":"Q5262490$A45907E5-1534-42BF-90E1-1D297F006E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1a36b64c65f3f5e25bcf0a82c6f93f1c5fa1758","datavalue":{"value":{"entity-type":"item","numeric-id":5258963,"id":"Q5258963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d9fcfd9b46f474a5ddc1a56b57259f8b3549e4f","datavalue":{"value":{"amount":"+0.7612832188606262","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":"Q5262490$951EF2FA-0F30-49CA-87D9-143E04139942","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embedding the hypersequent calculus in the display calculus","badges":[]}}}}}