{"entities":{"Q3010370":{"pageid":3021094,"ns":120,"title":"Item:Q3010370","lastrevid":51283865,"modified":"2026-01-17T14:35:34Z","type":"item","id":"Q3010370","labels":{"en":{"language":"en","value":"Cut elimination for shallow modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5916714"}},"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":"Q3010370$6C77B5AB-A5EC-4B3B-98BB-C146ADA04A0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a88a59da2ef05a8a6a47a1b5f04ddbf1bcf0f76","datavalue":{"value":{"text":"Cut Elimination for Shallow Modal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3010370$B22F0963-BBBC-445F-956C-7BDD37878E15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"671ee7d8fa03fe77f9b3cf3893cdc9c9cbed2d9d","datavalue":{"value":"1244.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010370$E518306B-C84D-4D8F-96FC-0F58DF7EA1A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e011303a5d48656b1921b259e30d94ae028b9682","datavalue":{"value":"10.1007/978-3-642-22119-4_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010370$8F8A12B5-9582-4CE8-8733-25F6B6CBE35F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"900b948a3c89cfd527e771da7f94f9ede8bdc85c","datavalue":{"value":{"entity-type":"item","numeric-id":344800,"id":"Q344800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010370$A6BA01C0-B52E-4D6A-912B-5A9E20B85B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010370$E56B455E-F18F-43A2-9BDA-A760DB4D23A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010370$72B0CD6F-6A6C-43C4-B7CC-90AF39CB6818","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd5c974ae982856259c10daa0aea2556c9e24f8d","datavalue":{"value":{"time":"+2011-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3010370$B5F59010-C9DF-40DB-9A68-AF20DFC5930E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010370$87C50647-E60E-454F-80D3-68E4995D38CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010370$97C35DCB-3AB9-432F-9EC0-C5457E63D295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010370$C22DCF27-3574-4D3D-83C6-12EE5E8DB48E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db2736003a42572805107b2343f3bb7da5c61322","datavalue":{"value":"5916714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010370$0ECB866F-D247-4142-9261-ACC3BBB9066E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3010370$24174B72-56BB-4BF5-84F3-535E77203B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a027cc6c69e14371ce3b0caa3d4ea616d122d747","datavalue":{"value":"conditional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3010370$0362F91D-B475-40FC-AEF5-FA3E00A51312","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":"Q3010370$2B6A1918-27C7-456D-A44F-64F2F9C0F041","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1c8384d8a4bbae2da16b83d83393d0b1cc1231b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22119-4_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3010370$AC4F7FB0-BA91-41AE-BD75-D841795585A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b4411da4f62b8c4bfae16bb14727a5dfdf12aab","datavalue":{"value":"W108950962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010370$41F71302-BFF5-4702-852F-3BB36F83E0D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e1d811262dd8c2250bea4bc0f676125b4798fd","datavalue":{"value":{"entity-type":"item","numeric-id":4539639,"id":"Q4539639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010370$E1FCE16A-4A8B-4CBB-AF47-E345D84567E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34fb1cf5b96dabede3133729855788d007c6605e","datavalue":{"value":{"entity-type":"item","numeric-id":5458060,"id":"Q5458060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010370$EE2227E9-EE56-425C-9903-FB83993D7B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257df51e393b0d853943fde502aaeb273a88b89c","datavalue":{"value":{"entity-type":"item","numeric-id":4289279,"id":"Q4289279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010370$526B0040-1503-41F3-9A58-5D5466DECE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa5bee5357a250d05fef165e66d176475085e3ad","datavalue":{"value":{"entity-type":"item","numeric-id":5180413,"id":"Q5180413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010370$FF72E210-2C9C-4764-92F4-21BD3C597882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e3a0b8f3c0319a385e9c7d08af68e1581017d40","datavalue":{"value":{"entity-type":"item","numeric-id":1909606,"id":"Q1909606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010370$5289D08D-2AE1-484F-8846-048D11C65B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df371ac2d0a17e7e1006933262fa9d95a1329e06","datavalue":{"value":{"entity-type":"item","numeric-id":4789444,"id":"Q4789444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010370$E860B2EE-047C-4C22-B1FA-9F350BBBDF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b80a374b3c6924c7ff54b10bc049ba49c7c861","datavalue":{"value":{"entity-type":"item","numeric-id":5277787,"id":"Q5277787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010370$86FB43C0-48E3-4833-840E-98ACCD3EC9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c21b4575617ca34f3479dfb5cd1267e9ea5b0f7","datavalue":{"value":{"entity-type":"item","numeric-id":4448378,"id":"Q4448378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010370$8570B141-FCA5-42FC-86D1-02162EE2F179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062c756fa9733f49060155583a38e4009df699fb","datavalue":{"value":{"entity-type":"item","numeric-id":5458351,"id":"Q5458351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010370$5E68CEBA-A079-4B7E-80D7-9CC698F57850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4bef7064c2f980668d1f3333d7ffc1cc33b6047","datavalue":{"value":{"entity-type":"item","numeric-id":5902296,"id":"Q5902296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010370$31D7A145-24E2-4646-A4A4-D9F427288AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cfb0d2ade58232332214dc54a5ef14b4d99f877","datavalue":{"value":{"entity-type":"item","numeric-id":2461191,"id":"Q2461191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010370$2912535D-7448-41CA-A2CE-612312B4C899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50717835f7f6961b0d32328866377521644caf81","datavalue":{"value":{"entity-type":"item","numeric-id":2946571,"id":"Q2946571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010370$D54AF20C-7C65-4816-B043-0036EDBABCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010370$C45CF22B-0CEC-4532-885E-301374B9D3B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c4cb7ed150fd903f5a4174fd804f9490e25ac5","datavalue":{"value":{"entity-type":"item","numeric-id":5892512,"id":"Q5892512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5abc33b0175d94bb276e580338d9c091c80e1658","datavalue":{"value":{"amount":"+0.8559452295303345","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":"Q3010370$CE38D180-8694-4BB7-8962-D7766DAEA765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b44e0985c0eafe9bc20e40d69ffdae5b0c45b315","datavalue":{"value":{"entity-type":"item","numeric-id":5902296,"id":"Q5902296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f1694dd41d868afc59324e2419535e7962e2cc3","datavalue":{"value":{"amount":"+0.8556414842605591","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":"Q3010370$0937E7A5-F87E-41BF-A59D-802E49E1F31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2396bba8dfc90dce3e47b524a32007f7a3a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":4627724,"id":"Q4627724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca7460c0c0ac9d90904b6fdf30ff1ded0c295211","datavalue":{"value":{"amount":"+0.8014706373214722","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":"Q3010370$76DF8A0A-F212-4E6B-8987-23C8D231C39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0891f45889d6e6c669d53d9b1231735f9a3d21f","datavalue":{"value":{"entity-type":"item","numeric-id":5693112,"id":"Q5693112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b558b5b4883dbf86958830e21bef738fe5c2367","datavalue":{"value":{"amount":"+0.7980032563209534","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":"Q3010370$F07D2643-03FC-4E64-800B-8A153EF0E812","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":"56aac23106cd27823b37824b77b1e8eaed477575","datavalue":{"value":{"amount":"+0.7872291803359985","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":"Q3010370$C65090A8-FB2B-40EF-82CC-C31BE63BA42E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3010370","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3010370"}}}}}