{"entities":{"Q3382808":{"pageid":3393511,"ns":120,"title":"Item:Q3382808","lastrevid":55388347,"modified":"2026-02-17T15:17:25Z","type":"item","id":"Q3382808","labels":{"en":{"language":"en","value":"Interpolation for intermediate logics via injective nested sequents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7398774"}},"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":"Q3382808$3996E931-092D-4FBB-B01F-E214AFE34F32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36bab0ed948740066c7558e3d29b1056c112ed8b","datavalue":{"value":{"text":"Interpolation for intermediate logics via injective nested sequents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3382808$427AACE9-AA51-4DCA-8844-34DD1DE33A5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"196dbdb570f68291e9833b5fdffc455b470e5721","datavalue":{"value":{"entity-type":"item","numeric-id":392270,"id":"Q392270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382808$A03A0EED-5E73-4E3A-B338-BB6A93A84D3F","rank":"normal"},{"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":"Q3382808$1277EA05-B9A6-489D-A045-C63DBAE22C42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"298bf7ba67772e027c232daaf82fff0b94bbeb35","datavalue":{"value":{"time":"+2021-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3382808$E1856370-DD29-4E05-BD7E-96950C6C3F08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382808$E0A74833-B735-4FF6-BB39-75C633AB1D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382808$7A654834-DABE-43C9-955D-50844FB49DC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bbccf1016a75c65340a10c7f76a5c9075fb94a6","datavalue":{"value":"7398774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382808$BC9BF0F5-1D49-4DAE-8F55-D68C08351645","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9b90f7d801f3791832bce5f616874d0058540974","datavalue":{"value":"Q114091819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382808$7E988941-AF21-4C9C-AAE5-AED69DFE017A","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":"Q3382808$42F90F66-641C-4B29-A321-756DD9BCEFB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"085294c1590b582ea5b26d8357025f953a5fd473","datavalue":{"value":"https://doi.org/10.1093/logcom/exab015","type":"string"},"datatype":"url"},"type":"statement","id":"Q3382808$736EC38A-E39D-4CFC-A5AB-ACD74136CFBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26c8c28f1b96c783e469e27072ca7dc784c488e8","datavalue":{"value":"W3183249815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382808$834F6CD0-4C63-4909-B52B-EE220206FFC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec6b61ab8c33a7ba8b75af1217984dc89a416cbc","datavalue":{"value":"10.1093/LOGCOM/EXAB015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382808$5E0FE58A-FB79-40EC-9AD1-05B4C6424996","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":"Q3382808$6BC6C26D-7535-4A08-93FA-6A010A994A74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6306f0e0e82f3db9e3d8b660ff2108d7b68b70f3","datavalue":{"value":{"entity-type":"item","numeric-id":5224582,"id":"Q5224582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8e0c0ec5048bc952f57297aac88466a4690006","datavalue":{"value":{"amount":"+0.9171332716941832","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":"Q3382808$9F461A61-4A23-4012-B409-97F67E01512E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e555e534aa0d7da5f2098bfd68195a0a21517f2f","datavalue":{"value":{"entity-type":"item","numeric-id":487689,"id":"Q487689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b0e0bb0ae2cfccdb1d1d21822f324c3747f39d1","datavalue":{"value":{"amount":"+0.8433400392532349","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":"Q3382808$8F439299-A963-4F3B-9486-37BF27D614F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5266003543121ea6470d12f665fa5285e7c2e346","datavalue":{"value":{"entity-type":"item","numeric-id":5283429,"id":"Q5283429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe4233a35e7df0b13cbdd5ea8f332c6b771c880a","datavalue":{"value":{"amount":"+0.8339920043945312","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":"Q3382808$F37634A1-98BE-4C60-93EA-FD580F5F3DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10302b388e271b81e336cfd3a9d6910270a5e834","datavalue":{"value":{"entity-type":"item","numeric-id":2503400,"id":"Q2503400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"637544b974c66264c2905c0adfa26df4fba83c49","datavalue":{"value":{"amount":"+0.8147763013839722","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":"Q3382808$3656745B-5AC6-4C7B-8F7A-7BF87C0E7AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b24b60f54b10f182406b27fb5cc87cd8650145","datavalue":{"value":{"entity-type":"item","numeric-id":2148805,"id":"Q2148805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2d036f75fd5cbaa45076be594b78eca7674bb3f","datavalue":{"value":{"amount":"+0.801602303981781","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":"Q3382808$ADE259A2-5EF6-4E8A-9B80-2C8B8134B95E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3382808","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3382808"}}}}}