{"entities":{"Q2811590":{"pageid":2822328,"ns":120,"title":"Item:Q2811590","lastrevid":42159918,"modified":"2025-05-26T18:06:49Z","type":"item","id":"Q2811590","labels":{"en":{"language":"en","value":"Cut-elimination for knowledge logics with interaction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6592215"}},"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":"Q2811590$C15289A0-00FB-49DD-A18C-CAA76E126166","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"456c356cd540fcfccabdfb76ae5e5158c12b2e71","datavalue":{"value":"1344.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811590$E03D4142-21DB-4AC0-9622-58018221F4B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7005f3205c6d572dd273124f42aabb440cb06d","datavalue":{"value":{"entity-type":"item","numeric-id":392987,"id":"Q392987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811590$C640A4FF-E1A6-4497-84A4-0793B936FD31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e972b30c5e72787e282a33f718cd738a1fcdeeb","datavalue":{"value":{"time":"+2016-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2811590$AF1457E2-BC45-4FC5-99B7-8F5656F4CD32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811590$80F0C365-51FA-4D89-A983-D1503E54F828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811590$33C7B3C9-B6A7-4E19-9E5D-9D39AFD294D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc3637082f29823a5a858819b9d17bd14bfaf325","datavalue":{"value":"6592215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811590$9779E845-DDAE-439C-AD2D-4D4E4F21CCC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d498488c3d2eb9dbbbb87a60ab83c66585311d68","datavalue":{"value":"K4\\(_n\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811590$61DFE891-DF22-4956-B793-1241E66A9159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88d93b617ed89a5c9a565bc572a5cabdab5f6af4","datavalue":{"value":"S4\\(_n\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811590$A5D91755-D73D-4E0C-8D49-E9C00B3DC054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd7188bf72608d603b86b6120c2f36d2e80f3a7","datavalue":{"value":"interaction axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811590$E22E47A0-4C46-46AE-8E9D-F8B010B22667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811590$D6536A3F-49CD-4CAD-8F46-2EA6FC3BFACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5917b210d6ac32ead012af7f41190a92debd0cf","datavalue":{"value":"central agent","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811590$8E93F591-DB74-4119-8FDC-9C41DD2476EA","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":"Q2811590$72661BC5-9654-4B80-93E1-81D02BE50485","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cda7bb88146d79022676266ce860752d2c5119d3","datavalue":{"value":{"entity-type":"item","numeric-id":1772772,"id":"Q1772772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae16a41b346d97846c0ca520e60c9d350d78d939","datavalue":{"value":{"amount":"+0.92677724","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":"Q2811590$91316385-0970-4751-8373-4DE6FA147E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5246ecbc2eb2378e93e87a74f5e840abf5e2d43e","datavalue":{"value":{"entity-type":"item","numeric-id":5108026,"id":"Q5108026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32576088fb269027bb17d8767c0b7c5c64a4728f","datavalue":{"value":{"amount":"+0.9061009","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":"Q2811590$8B0BC320-EA51-40BE-9099-7502947E1268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b1f39a89efd954d8c9d70b43675f31dbb93449","datavalue":{"value":{"entity-type":"item","numeric-id":3165756,"id":"Q3165756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1f5aa7596656abf593f4ab0997cf92820392a9","datavalue":{"value":{"amount":"+0.8967701","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":"Q2811590$7C28A422-0A21-4FB7-AD6E-F429A48500F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c49fdb116f128089026fa817d4b97b833b3a9128","datavalue":{"value":{"entity-type":"item","numeric-id":2312091,"id":"Q2312091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72b3bbef3091d958d4183ecc6e0ba1dfd823145b","datavalue":{"value":{"amount":"+0.8912232","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":"Q2811590$D10C3297-884E-48F0-9719-BDB925B7A238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c9696d466114212941c86d3ceec7394aac4b5e","datavalue":{"value":{"entity-type":"item","numeric-id":4910421,"id":"Q4910421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95f68df7c04101e711d709e1255867fd5dacfa57","datavalue":{"value":{"amount":"+0.88762194","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":"Q2811590$DE7D5093-9080-45C8-88C4-6086BF43D759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9aa1f6270f25ab280ca77f8719a4af5e633e7dd","datavalue":{"value":{"entity-type":"item","numeric-id":3010370,"id":"Q3010370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18f498712c40b7f1c915cf6d811835f5df0a4681","datavalue":{"value":{"amount":"+0.88711524","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":"Q2811590$A1B0FB45-4785-44CD-AD0C-D58BCC1FF225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11405d699732eb52e458d5eb811247f8d048ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":1114684,"id":"Q1114684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"761081719562cfa45d49a5bde14db8d41fc8d674","datavalue":{"value":{"amount":"+0.8869916","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":"Q2811590$3EEAEC66-1F88-4429-907D-2F55F58B3BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38584f2f52deae4b10fef8e1098215a781019da9","datavalue":{"value":{"entity-type":"item","numeric-id":2363418,"id":"Q2363418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5210edf2fe88ba65cc7bacd84c393f55c617f81","datavalue":{"value":{"amount":"+0.8859295","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":"Q2811590$394C8EA9-F6F2-4770-8839-428004E63545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"159e99a66b45ece08d8265e462514540b71260b5","datavalue":{"value":{"entity-type":"item","numeric-id":5241408,"id":"Q5241408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebc2153d7e6fdcdbc84d8e898df21e8b8183cea2","datavalue":{"value":{"amount":"+0.8831146","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":"Q2811590$1104AF47-F820-47A7-BAA2-990C48D75D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb3f97197cc5507bdb6e9313478f714e3311063","datavalue":{"value":{"entity-type":"item","numeric-id":1204120,"id":"Q1204120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84681b5566eedb361c0aaaaa2f93b1c494391b4f","datavalue":{"value":{"amount":"+0.8800658","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":"Q2811590$6941771A-C46A-4497-8E0E-B6B7A482FEFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79793433308a0e404672720ce14d1c17e5ca3f9e","datavalue":{"value":{"text":"Cut-elimination for knowledge logics with interaction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811590$8C9A7D44-5094-4F31-A445-F4AB9B1106FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d13f78e0250926a342a04894d5483e01be9d177","datavalue":{"value":{"entity-type":"item","numeric-id":6770969,"id":"Q6770969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811590$BF41E68D-7186-4E35-8C16-3D39620AC14F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2811590","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2811590"}}}}}