{"entities":{"Q6923528":{"pageid":21044080,"ns":120,"title":"Item:Q6923528","lastrevid":84135800,"modified":"2026-05-11T00:56:35Z","type":"item","id":"Q6923528","labels":{"en":{"language":"en","value":"Uniform interpolation via nested sequents and hypersequents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8099512"}},"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":"Q6923528$40857062-5256-41C4-A67E-04D259A0C313","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78daf68b0fe8c8caafa803a3262f50d9fc1b5fd0","datavalue":{"value":{"text":"Uniform interpolation via nested sequents and hypersequents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6923528$ABD94538-8B20-4C83-BB8E-01766AB783B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04ab6722c1faa915b8e20ed59a13c008865d34f1","datavalue":{"value":"10.1093/LOGCOM/EXAE053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6923528$7C28D4E7-46DE-42E5-8427-75354B41A2D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b93cfdbf92300fb1842f9d6c37605aa42247d1a1","datavalue":{"value":{"entity-type":"item","numeric-id":1982007,"id":"Q1982007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$34365592-2872-46EA-955B-94DBBC763319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c326b18eac0e41e07a51e3b2bf952d1e04d11c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2032996,"id":"Q2032996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$06D85A63-E6E7-450E-90C8-D941A269FCBB","rank":"normal"},{"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":"Q6923528$BAD31E0E-828E-4697-A6C4-EAD3272FDC22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$6D7794BF-0FEF-476D-B8F9-E121179880CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"67b571ae3ce5d75bc39c8248f19a512a27075c5d","datavalue":{"value":{"time":"+2025-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6923528$183258B5-B101-4B9A-A4FC-5E1234B487D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6923528$DAF31A79-B0C1-49C8-9C28-687DB2FEE73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6923528$FB2967D3-2735-47A9-8B2F-61138742D449","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da9d90de99f4aa5cb1ab0c224ccbec1a40e1951c","datavalue":{"value":"8099512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6923528$B0E7A827-DDB0-4F21-9993-05878DDFB6E5","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$BD748F20-328B-4EFA-81FB-A26DD3302AD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066345834ce35a3f9005e468be9585e6c3822e2c","datavalue":{"value":"uniform interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6923528$1689BBAF-3605-4278-8CF2-BB50701A61D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7703d39a27a27281175ecfee2e3e3ef8e18d9ab1","datavalue":{"value":"nested sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q6923528$6A7D314C-E40D-41A5-BD9B-40E219BCD13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q6923528$4705E3B2-0E0F-458B-858B-7D42118FE6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6923528$41A837BA-FC72-42BC-9EB0-F3127998C468","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":"Q6923528$9E9B3542-3308-4D35-8699-84D25C2A61F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$849D3CA8-E5EC-4D34-BEEF-AB5819D19207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5cd0fe113eccd3734617ef2c48fd88afc7821c9","datavalue":{"value":{"entity-type":"item","numeric-id":3019968,"id":"Q3019968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$ED633938-81E3-4EB3-AD18-982713964A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$F2768C45-FA0A-4C66-A03A-5DDD9F36FEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4182b5f6383fc33340dcc861083264d459bc405","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$EA3F2071-C643-492B-89D2-378146AF6CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$6270DFC7-062C-4BE2-8CCE-A9C7D5A978AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8af809ba7cbc6c8c232e4738e8e8cb0c02c419a9","datavalue":{"value":{"entity-type":"item","numeric-id":3613043,"id":"Q3613043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$A40DB821-5179-4878-8BBA-2BE76198885A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$3BE4A4A7-EDD2-4BBB-846B-DAD6BA129E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$2B8278CB-B4D4-4AFD-B4CA-A91571995D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84cfa94eea956d33ac288ccb0c350492b183e589","datavalue":{"value":{"entity-type":"item","numeric-id":487689,"id":"Q487689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$CC7C8C2B-C06B-4CBD-81BE-D57D2E92DCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d9c86154f755477b019e139e0ec45e0822d154","datavalue":{"value":{"entity-type":"item","numeric-id":3543581,"id":"Q3543581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$9132D05E-9043-4D1A-8B77-4734BBEA965E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b7e0536b29168e39de471af102be2b186faa1e1","datavalue":{"value":{"entity-type":"item","numeric-id":1346245,"id":"Q1346245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$2CBE587B-5744-4494-BEA2-AFE4F3217244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee824d2e0910e556fcc580e2b02e6de025931f8","datavalue":{"value":{"entity-type":"item","numeric-id":1902553,"id":"Q1902553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$09F28915-1083-429B-96DA-A863BC77F6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb93535332a50764f81a3ddaee046dbfde1d1975","datavalue":{"value":{"entity-type":"item","numeric-id":1712936,"id":"Q1712936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$D4021488-48DB-479A-A42E-F8FF1891F1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73c23f143e374a6b10f9e74124e08c026bf67303","datavalue":{"value":{"entity-type":"item","numeric-id":2326416,"id":"Q2326416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$FC44611C-EFE3-44AF-B3E6-1730031A5EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713bbd38368036ca62b116bfb9812775b56dfbf3","datavalue":{"value":{"entity-type":"item","numeric-id":781510,"id":"Q781510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$7C3E2DDA-DED0-47AD-A1CA-77F358180592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd71951ec92d871bff17d560e1d2ca4c9fd0bd61","datavalue":{"value":{"entity-type":"item","numeric-id":5221855,"id":"Q5221855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$36B6D2DF-CD36-4BA1-A1B2-942B9F210632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94e70245a6e5477dbdd92b10ce48e49b70b66c6","datavalue":{"value":{"entity-type":"item","numeric-id":4644546,"id":"Q4644546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$4D11FBDD-1F05-451B-83F0-641A8E0D1739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1ca0bcdb44c51fd161ba877546e919f1c8d2c22","datavalue":{"value":{"entity-type":"item","numeric-id":1799040,"id":"Q1799040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$0200E03D-6FD6-421E-BCC8-F63736FF2980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ba6775b3ef12a4cab0433edeae3f5917a10108","datavalue":{"value":{"entity-type":"item","numeric-id":5224582,"id":"Q5224582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$6C916D07-F116-4962-B9E5-2821F2B285A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c666e3fcf0629d0f49377167cb83d1390f2a022f","datavalue":{"value":{"entity-type":"item","numeric-id":2543317,"id":"Q2543317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$AD7D8667-0D7B-4EE6-852E-E22D6DD104A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8425e0dfadac6ffc495ddc05b72321e3f19c94","datavalue":{"value":{"entity-type":"item","numeric-id":3114184,"id":"Q3114184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$4551CE78-AD27-4300-A444-15994CC864FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf5e0864e6808c186dd0092e7f961ddd594b13","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$BE1490B1-A1BB-4019-9CFE-65AC2362AE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e937235437828fd90111b19ee3ad3ae6f098959c","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$A2A5EF67-2E52-46C5-A815-719D11C19440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d33dca22b26d8ad3a16d3e39a17e8d044720515","datavalue":{"value":{"entity-type":"item","numeric-id":5457387,"id":"Q5457387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$C65737D2-0BEB-4315-B61E-9C06F06CBE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2b2fb5e74b72a9a204e563622b55fb87a335a4b","datavalue":{"value":{"entity-type":"item","numeric-id":4694581,"id":"Q4694581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$3F65DA06-1311-4A52-84EF-2B0CC19A5C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfe5005511c31150605509c5edb5afccfcf82e17","datavalue":{"value":{"entity-type":"item","numeric-id":2148805,"id":"Q2148805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$1D29BB27-A564-47C5-9468-AF438119243E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99541863696506b187bd1376a24dd1bd8e5c6b16","datavalue":{"value":{"entity-type":"item","numeric-id":6541157,"id":"Q6541157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$67B61102-CC04-4FEC-BA12-A1AD16821C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08130677d950f0e9764f0a4bfbc64de21effa2bc","datavalue":{"value":{"entity-type":"item","numeric-id":4893140,"id":"Q4893140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6923528$091638AC-EFC4-4FB1-BA65-F1477CCBF336","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uniform interpolation via nested sequents and hypersequents","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Uniform_interpolation_via_nested_sequents_and_hypersequents"}}}}}