{"entities":{"Q5427256":{"pageid":7456830,"ns":120,"title":"Item:Q5427256","lastrevid":50216786,"modified":"2026-01-13T13:29:47Z","type":"item","id":"Q5427256","labels":{"en":{"language":"en","value":"Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5213012"}},"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":"Q5427256$1D18A2A5-C39F-493F-BA0B-22226BB4EEA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"515c607cbcb7996b1c3debaf0f61cdaff990b914","datavalue":{"value":{"text":"Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5427256$CB6AB310-93AB-4CF7-85A9-0F0740C7580C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9815cc2ddea4dd61878ecc127796c5ac5e8b2626","datavalue":{"value":"1126.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427256$07CD937E-8282-40C5-B2CF-94930DA2052E","rank":"normal"}],"P16":[{"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":"Q5427256$83C6DE09-3C85-4C9C-9443-D528E9D26D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5427256$D75BD1F2-7EDE-4072-84D1-F71B741272FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"806ce7a5341bdedb9ded78965f199921fbebfc0e","datavalue":{"value":{"time":"+2007-11-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":"Q5427256$626535CB-909D-4350-B336-41943928B495","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f189bb0f4a3c906f218578c6e42afac082159edc","datavalue":{"value":"https://semanticscholar.org/paper/6fbaee36838d15da4242ea3d11029d5353b0b553","type":"string"},"datatype":"url"},"type":"statement","id":"Q5427256$1C36D330-134C-41C2-81F7-E2E26744E8C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427256$F1E3BB80-7435-4B95-8CED-D4785EA6CEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427256$DE6CA33A-21DA-4E16-B0CA-8231BDA6FC45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ef8a49cd6c54c51384ee2233f49091e08eb664a","datavalue":{"value":"5213012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427256$EEF74236-06C9-44EC-9FAF-55DF24C83B2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6bfc6cb4e944c3dea94e46f9c5f8b0ec2fcd1e5","datavalue":{"value":"calculus of structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427256$A3FFEF9F-5202-49C0-AD47-1BFA7FE1FC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c03bfd65e2aa086786c76d29f8e55874752fd42","datavalue":{"value":"cut-free sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427256$5F65DD04-592A-4060-B30F-F066D4280278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427256$F604E80B-F2AA-439B-9822-55D4CDAF26B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc3a19089d3c475a56535a8622363edd5f36cd5","datavalue":{"value":"display logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427256$08B2AD90-B960-41BB-B5C2-524C5FB96296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f607b1fdf4b771d742bd538551b1a531a0419326","datavalue":{"value":"proof theory of modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427256$A5F6C3F5-4784-41C4-A049-D07ACF962BDF","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":"Q5427256$2F531761-7079-4B32-BBA0-F79C8198DC96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c78234e4b900642139b54d42ec153944f0e4e500","datavalue":{"value":"W1990883597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427256$A4C73717-BB39-47D7-8A85-3CAB60E3D6B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c1ae3910a95feb16e1e0c0130096857d0d46ff1","datavalue":{"value":"10.1093/LOGCOM/EXM026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427256$7591A794-DEF0-4BCA-952B-0A1189ECCBC0","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":"Q5427256$98C3BB8A-00B0-4EF8-9B60-B375D42FE8AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac1a879978c5df7ebd68cbafb7f21d964f852ef","datavalue":{"value":{"entity-type":"item","numeric-id":2642520,"id":"Q2642520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e06cb4ad53823629b486b448f705733e575099a","datavalue":{"value":{"amount":"+0.8433346748352051","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":"Q5427256$856A443A-3B5D-4328-A49F-E00CAE3FFB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6a3b3464904406b908bfc2ed88d01fa2bf50f5","datavalue":{"value":{"entity-type":"item","numeric-id":5688807,"id":"Q5688807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda1ed372a7260a12a0fe586a99d351708b4d810","datavalue":{"value":{"amount":"+0.8115786910057068","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":"Q5427256$D358C55D-E533-4470-8C41-30FF9B9021FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde24f2dc05d718c17873e27325a3ec9b3ed0755","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d73e2b651707763255a30e0d2a941d2f746bfac","datavalue":{"value":{"amount":"+0.8113818764686584","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":"Q5427256$2704A599-0E89-4ADF-BE38-833F57EF788F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e5e3802bd5dfe947195afba9933da926c295cb","datavalue":{"value":{"entity-type":"item","numeric-id":5483015,"id":"Q5483015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26108d9606ad13599b6665253128ef5fc27abd74","datavalue":{"value":{"amount":"+0.8039836287498474","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":"Q5427256$579C50B9-DF26-4174-B524-4EDD9B045278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99e23115295051719ad82b571f72c0fa008b465","datavalue":{"value":{"entity-type":"item","numeric-id":3509048,"id":"Q3509048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bcad208872acc6710b843818634aa8aed7f5451","datavalue":{"value":{"amount":"+0.8010826110839844","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":"Q5427256$CF7BD62F-3359-4176-88E6-8BB5C7AE54AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5427256","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5427256"}}}}}