{"entities":{"Q3019968":{"pageid":3030684,"ns":120,"title":"Item:Q3019968","lastrevid":45267898,"modified":"2025-12-04T00:13:16Z","type":"item","id":"Q3019968","labels":{"en":{"language":"en","value":"A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934176"}},"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":"Q3019968$20DC736D-B150-40D1-9449-10D2DB90B869","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53fc0038760f1aa1eb541b865b717a40ee050b3a","datavalue":{"value":{"text":"A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3019968$C8AE703C-1B9F-444C-8376-433417854964","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"863712041f85bbe3b663c7f48200e5f2b99f2e71","datavalue":{"value":"1341.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3019968$3433E412-AC2D-4866-B214-DCAB6A66129A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b77bd1925da52d1d1e0351bf65a01521a5ad08af","datavalue":{"value":"10.1007/978-3-642-22303-7_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3019968$757030E2-F116-4704-B843-67B4C40FB63D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ac19c6003a814839a3f511f3b429af9fdef7758","datavalue":{"value":{"entity-type":"item","numeric-id":402118,"id":"Q402118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3019968$6D5391FE-FA01-4CF9-9DA6-5266AF46568F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"73721dca36e09b1fa1957406b9ce9131cf322a8e","datavalue":{"value":{"entity-type":"item","numeric-id":3019965,"id":"Q3019965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3019968$0EBADC00-CC07-41B8-BA2B-1D398F5A47DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3019968$1F4DA1BC-8E90-445B-B56A-76CED79363E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3019968$7F286FB7-E2F8-4F84-9F12-14141793A787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3019968$E712DBEE-696B-47FC-882C-F1D838DA02CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3019968$83170E42-38C5-414E-B1D2-6D7C017344D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b21c0164111a80ce2ad446fd39193dbf283b2af0","datavalue":{"value":"5934176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3019968$07934BE7-6594-4CF0-A234-769CF629D930","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":"Q3019968$F845675F-1EB7-4526-B493-03FD6D20552A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edaa14692f5fef42667391040c19ee4995f9114f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22303-7_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3019968$5E8AE56A-DF2C-4328-878F-37351228245E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab371da409c2daa6d2a8cd1e037ba75fee23a5d0","datavalue":{"value":"W1428964678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3019968$9FD965A1-A730-431D-8EF5-F5FB1CFD7D9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f0349214dd1deb6994816dde1146ad03b4c23b","datavalue":{"value":{"entity-type":"item","numeric-id":1712936,"id":"Q1712936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b071749bb58454002a4984b9acd97686e286b29e","datavalue":{"value":{"amount":"+0.90049887","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":"Q3019968$E38B58C5-D2A3-4B58-91B1-2FD7F0DC0E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617638d35f0c4079e913d6ccc943f1795d69b14b","datavalue":{"value":{"entity-type":"item","numeric-id":2142087,"id":"Q2142087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f509c4bd89d14595db2838168d0b0ba6537d6446","datavalue":{"value":{"amount":"+0.89815944","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":"Q3019968$C021D48F-8C6D-426D-A819-0CD7C7F28F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"252959f31a499c4b81f486e58c8ee7566ffe143f","datavalue":{"value":{"entity-type":"item","numeric-id":5224686,"id":"Q5224686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b806edf6d75f4161d1c36ea792064d86d418eb26","datavalue":{"value":{"amount":"+0.8931515","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":"Q3019968$E54B8EC1-260F-42C2-9E93-01B7E4221952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a66723d39af21b716aa0696f74d721ec8b3a83","datavalue":{"value":{"entity-type":"item","numeric-id":878154,"id":"Q878154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f081dac857a26915a6e73b780f7a80366a10d9e5","datavalue":{"value":{"amount":"+0.8924346","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":"Q3019968$B6D9969A-A771-44B0-AB11-A10C80BCB15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04225f4473bb0d2061fc7a79e5131680e65f419a","datavalue":{"value":{"entity-type":"item","numeric-id":2904063,"id":"Q2904063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e489b219c402a7345762d2639e200838cad0d2b","datavalue":{"value":{"amount":"+0.8912225","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":"Q3019968$C5575FF5-A356-4BF0-AD62-5B5555FD99D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62288425515a0b032fffdff25637cd90310c3e2d","datavalue":{"value":{"entity-type":"item","numeric-id":3532469,"id":"Q3532469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b142831290c222a9a720980d298b67637faab9","datavalue":{"value":{"amount":"+0.88552207","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":"Q3019968$D91C786F-68BC-4D23-BBEC-AC6722A4CACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5ccf9167a3b69b4b9c7bc56a8345a9d325cfad","datavalue":{"value":{"entity-type":"item","numeric-id":4580217,"id":"Q4580217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97875a12a680df459eccbd82f45706e81cfa242c","datavalue":{"value":{"amount":"+0.88432735","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":"Q3019968$D05E57DF-CD7C-49F8-BE17-7D97F48498AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d36b5404b898fe62c53febb4672b0854595158c","datavalue":{"value":{"entity-type":"item","numeric-id":4729756,"id":"Q4729756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65018b7c6a7769d30aec2d18ad6e8341f74b63a7","datavalue":{"value":{"amount":"+0.87130785","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":"Q3019968$88118690-CA62-41D7-8B45-1768D7BA72B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91240a69adf266f22612679fce0b8310fc5de142","datavalue":{"value":{"entity-type":"item","numeric-id":4215595,"id":"Q4215595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9432c3c35132ab10bfe5c6f0e3a5df5735e58dd3","datavalue":{"value":{"amount":"+0.8679466","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":"Q3019968$E5F6C7AD-B45F-4087-837F-412EEBF56E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdfa3c625bee1a59fb06af7382593c4ac459e449","datavalue":{"value":{"entity-type":"item","numeric-id":5884935,"id":"Q5884935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57ce203b004fb7560f707177bf49ab5d98a500d3","datavalue":{"value":{"amount":"+0.86630917","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":"Q3019968$E82DA96F-20C2-41FA-98A6-2754FC077F3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3019968","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3019968"}}}}}