{"entities":{"Q2133432":{"pageid":2144175,"ns":120,"title":"Item:Q2133432","lastrevid":43594108,"modified":"2025-10-28T02:46:51Z","type":"item","id":"Q2133432","labels":{"en":{"language":"en","value":"A note on constructive interpolation for the multi-modal logic \\(K_m\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7516356"}},"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":"Q2133432$9A7CC78F-E839-4751-A3F0-8D1D1BE9B2E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"614dc858424e7efd083537eaeedead1dfa62d92c","datavalue":{"value":{"text":"A note on constructive interpolation for the multi-modal logic \\(K_m\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2133432$0B4C5F80-78AD-4CCA-9CE4-051DC08D5200","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dab1042abd1c85852a7b5e02c97fa5b89dcca6a9","datavalue":{"value":{"entity-type":"item","numeric-id":1744426,"id":"Q1744426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$45A370A2-17C3-42BE-BE38-242057FC2768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573584f2f4ecba6e930c3622ceabc0d84ad3fe32","datavalue":{"value":{"entity-type":"item","numeric-id":1744001,"id":"Q1744001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$2F4960DF-974E-41D2-B6DF-02A83690228A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dd2a84ee8c672b0579fae57b085bea4b1028d45","datavalue":{"value":{"entity-type":"item","numeric-id":2133430,"id":"Q2133430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$B34C5BE5-AC73-49E0-9150-6898EA7EF9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"756836eca507f2c0237bac3cbb65cb215a87134d","datavalue":{"value":{"entity-type":"item","numeric-id":2133431,"id":"Q2133431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$C7662419-B236-439A-9516-85E787438DE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c80bdea672e4cd14dd9cbe0c46e1f9abbfc09a66","datavalue":{"value":{"time":"+2022-04-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":"Q2133432$06108C3D-968F-4D5A-BC12-8F34172C2B9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133432$98BA7231-FE90-4AB2-A5AC-F4F56B7EFBA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"734d9da907a24f705c01d62403a0df4ff4e3625a","datavalue":{"value":"7516356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133432$E4342D8C-16E7-40A5-9448-BE7CFCAF640F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133432$00EB1550-EFB2-4059-BFA5-49636448A50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7691d8cf1baed8642888a6fc33bb7f31a1996ac","datavalue":{"value":"multi-modal logic \\(K_m\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133432$D638AD2E-1171-4F6D-A754-1C2E70EF18C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da070bbd6e429be6a00b879d27a3c05ba021fc11","datavalue":{"value":"tree-hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133432$B83EFE50-8659-48DC-815E-E19790D59FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1590e38ae8c30686985dea5df5468304347d1ba","datavalue":{"value":"Beth definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133432$BCBB4B19-C011-4631-898E-808191348A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c465c2b82130e990facb424c7579219044a97d7","datavalue":{"value":"Robinson joint consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133432$9ED96B5F-A2E1-4FE9-8CE6-4745DF9A49AC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c4c62089aad8e1622c393a29d51695edd9479351","datavalue":{"value":"Q113317270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133432$763F6A3A-58DB-4E76-9178-A4F086F1D600","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":"Q2133432$289312CD-D562-49D5-9D41-0D8E39586D21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a31e6e14f290e488811a3a717662dbb123fbf93","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2020.10.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2133432$5C3AE1E9-1E17-4F96-97E0-6D4FE8DAC309","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c02d262fd7541928c8c4429ac1825577de316d43","datavalue":{"value":"W3108815624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133432$36597E1D-FF87-4604-AE9A-41FCF322B48D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7e200623c0db8babd002504b2488a3561c7266","datavalue":{"value":{"entity-type":"item","numeric-id":5824680,"id":"Q5824680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$0796F3C3-3D8E-4675-AFA5-2720BA0D5287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d08e6067b59bb61a8cf9444d0c163829dae753","datavalue":{"value":{"entity-type":"item","numeric-id":878154,"id":"Q878154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$4C4E7A41-82D0-4275-AC95-6B9EBCA0043F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$0E331CBC-8FBF-4A24-92AD-6F60E6DE899F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$E4836082-6025-4CE5-BBAD-B77088791695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397419662126ccd88ae51119636bcd58ebe8f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":1024121,"id":"Q1024121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$2F42F30A-1723-42E9-9C05-FAF8F5091F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711e282bbd2865ebea7c8b287f5496055a3f9a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4953222,"id":"Q4953222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$B7E9E90A-3F65-4BCE-9AFE-BAA348DEF646","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":"Q2133432$3BED89E5-DDC5-478F-B1D4-FE005FFCCACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e746d596ec0a02ea78c508dbfd871837e35f1ffc","datavalue":{"value":{"entity-type":"item","numeric-id":5641128,"id":"Q5641128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$2AEED2BA-9381-4CA6-ADAC-962FF4D35B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$639979CF-924F-4A64-AD00-DC79504ED17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e483ea320ddb2bc7534be04084cbb959d92342b8","datavalue":{"value":{"entity-type":"item","numeric-id":4779643,"id":"Q4779643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$CF82AA6B-E318-49A2-B318-76A4D439287B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af689b5778e812415a59927b576a1e036d9be12e","datavalue":{"value":{"entity-type":"item","numeric-id":5311763,"id":"Q5311763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$787A28D8-07EC-463F-BAA7-387A5223FE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$2CD6CDCE-5573-413D-A04C-0A34174728CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2cf2a0dbdd01a7a4261488e61c1139b1e8ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":3919674,"id":"Q3919674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$56B65728-24E9-42D8-ADF5-025AACB2CE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0bfbb6caae03a6210ed3fb8bcd9d7d0dc7efd1a","datavalue":{"value":{"entity-type":"item","numeric-id":4870568,"id":"Q4870568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$DF2BC974-3D72-4253-8F1B-D933F4201D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999c8fe94a19a2d0a1c3cffca1245dbdea8ff1ee","datavalue":{"value":{"entity-type":"item","numeric-id":5736158,"id":"Q5736158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$CDC6A29D-D56C-4240-A1E9-740365EB0F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e888c4e0eedeb220bfce539d3de52faf7c270755","datavalue":{"value":{"entity-type":"item","numeric-id":1150603,"id":"Q1150603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$FF64B27B-5C88-4842-A83E-003BCF62E138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26da5ba51d3fda529c78c9f4483730fc2d471baa","datavalue":{"value":{"entity-type":"item","numeric-id":1189894,"id":"Q1189894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$7FA3D17E-B83F-43DB-AA10-0D47BABC3344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd4529e28d041dd641edec8bcd84e45daa2a3c8","datavalue":{"value":{"entity-type":"item","numeric-id":684709,"id":"Q684709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$4C126CC3-4BAC-4528-BDCD-70D5690D7DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c365b9797b8b24b4bc0d80c9ea0e6e159394ae","datavalue":{"value":{"entity-type":"item","numeric-id":3176372,"id":"Q3176372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$627733D5-CEC1-419B-8E89-DEF30AC16C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ee55017802e011954bc099d138e27efcf9e2f8","datavalue":{"value":{"entity-type":"item","numeric-id":5955621,"id":"Q5955621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$62F999F7-800C-48A0-81A2-09DBB6C24F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d0f8cb98472855689e5e217360fce3e2ecfe02","datavalue":{"value":{"entity-type":"item","numeric-id":987837,"id":"Q987837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$D2978BAF-F81E-4268-807C-7EC3FCAD31E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33692c390b1f19aeb0569ead211f73029e6a4b4","datavalue":{"value":{"entity-type":"item","numeric-id":2865008,"id":"Q2865008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133432$FEE108FE-794D-4170-945F-57E3DB83EB7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdadb39ba4ac8ff9db3ca440b12125210cdde121","datavalue":{"value":"10.1016/J.ENTCS.2020.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133432$83DEDE5B-17BA-4BA7-A2EA-6EC573D267ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2133432","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2133432"}}}}}