{"entities":{"Q878154":{"pageid":880002,"ns":120,"title":"Item:Q878154","lastrevid":65065353,"modified":"2026-04-12T00:05:09Z","type":"item","id":"Q878154","labels":{"en":{"language":"en","value":"Uniform interpolation and propositional quantifiers in modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5146181"}},"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":"Q878154$4111E568-6E83-4534-9687-69EE03993BD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbda5a3be4724f9517a7b5d2237d1440cfb39228","datavalue":{"value":{"text":"Uniform interpolation and propositional quantifiers in modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q878154$2077A684-D39A-4042-B34B-287EF1BE22E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8b90427e9d0416401eb0d36f8ff4a74ed2be78b","datavalue":{"value":"1113.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878154$59ABD6AE-9224-4DB2-B18C-C980F31D0EDF","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":"Q878154$3A671365-7302-4A5C-AC5E-A7D227FB7659","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878154$30AFD542-3820-4469-845D-5BF9EB8394F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"018eb3d5a1529ba4d911dfe810dafc033402deeb","datavalue":{"value":{"time":"+2007-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q878154$F55F1DE3-2D80-411C-AB77-124123949048","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878154$848282D6-8BBD-4F0A-A6F6-BB94DF5D1C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878154$7AF43489-40B6-4AE3-8690-BA4BE6166DAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9a0740f2a427d3abffd72f699d860cde364de3d","datavalue":{"value":"5146181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878154$3758651D-8B6F-4498-BF15-D4DA26F5BBA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q878154$70AE71D2-D543-4735-9754-0AF7EBEE25BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q878154$1A1AE090-8AC2-4622-BF17-7323C935BD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q878154$D7FF2901-646D-4A88-B8C0-CBC2766D59C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fe5fd4ad4b27a13cd8f0190c4e682a5deba6409","datavalue":{"value":"propositional quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q878154$93B55180-E2D6-4D45-9CB9-226ECB2BF6BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878154$54ADFB35-A398-40D2-8324-4B70A2D9C865","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":"Q878154$AA393A35-3973-4A59-8439-ED382D497641","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"357ac20045eee1d7506d44624ef659cd2ad39745","datavalue":{"value":"https://doi.org/10.1007/s11225-007-9021-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q878154$F5D5F632-A5F2-4397-9912-4863E34E67E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d236ad9a936f7c2fb8904c57f8a31e4db5ba6fea","datavalue":{"value":"W2025873079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878154$0BC6EC25-0E6D-4474-AA34-1273A4E0E2E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878154$7D877025-44AD-49B9-B67C-3A741A4BD113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a142e7981f1be1361835a4a2b1a28d5260a8164b","datavalue":{"value":{"entity-type":"item","numeric-id":5576251,"id":"Q5576251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878154$D2892957-CAF1-48C4-89B6-ED5F009A3ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878154$9A2A32A7-1BE7-4A31-91DE-58CC57A6B3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52f372fafe719de5108c59e0672833ae8788a32","datavalue":{"value":{"entity-type":"item","numeric-id":4055622,"id":"Q4055622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878154$042DA24B-7A69-4573-9020-B1331ABFBC94","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":"Q878154$C3716DFB-ECC1-4DF6-BE7F-35FA2D70F4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"336b3ce90c4deb9f6127a52a430d218ebd8c1f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4858826,"id":"Q4858826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878154$C9F00250-2B72-4394-835C-77BB39C89BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adcd56a0617efad5383d484676cc25701bc6e22","datavalue":{"value":{"entity-type":"item","numeric-id":4358053,"id":"Q4358053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878154$D026E04C-0845-4A7C-A451-ABC6446AD8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"121c2b77a2e6f0b6bdb52f35e082e117e95f7c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5287696,"id":"Q5287696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878154$4FF9B4F1-8765-4854-ABE5-B8F22B5B5BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878154$E7F41A32-CE7D-4478-8CC8-654E074FD424","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":"Q878154$F73CE7E7-BE5C-4DD5-843F-6DA2B6731383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b767d85950bf99e8910526fcfcbcb504d6a930ba","datavalue":{"value":{"entity-type":"item","numeric-id":1056745,"id":"Q1056745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878154$AA08C913-2E20-496F-8C68-09F8AC25515A","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":"Q878154$1B826A1F-94EA-4BC3-88AE-B5A35327FC68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ac1794791cb54ae1a33c47778ab0441ad220ad7","datavalue":{"value":"10.1007/S11225-007-9021-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878154$BE2B5165-3E31-4371-85CF-C4FCAEA799AF","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":"7c06c1aa06a7b81e8e1ce4db3fdf18f63e7b4d63","datavalue":{"value":{"amount":"+0.9669293","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":"Q878154$141264B5-3246-4E5B-B6A7-14314EA7570A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12cc7025f751df15f9ad5bdf9f063cb1a1245751","datavalue":{"value":{"entity-type":"item","numeric-id":781510,"id":"Q781510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0cacb3d5001afc60c4dceb10ce73542313d7964","datavalue":{"value":{"amount":"+0.95185804","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":"Q878154$AE119262-3E94-4A33-A71B-66AAD8A7E396","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":"2aadd4ddcf98ea6cbfbe9f76854d58ff7e5ef27a","datavalue":{"value":{"amount":"+0.95001525","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":"Q878154$CAE87C82-4EED-412E-B554-54EAE70FD14D","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":"847295af9d3e11073b1bafaeb676cc2aab07002e","datavalue":{"value":{"amount":"+0.94781274","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":"Q878154$81B0F213-EACB-418C-B02D-E8C02FB0FA20","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":"847cac893e5e9ac57d07a705e3ffb438d8e41b84","datavalue":{"value":{"amount":"+0.9465832","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":"Q878154$230800E2-6DCD-4D5F-8CBA-AAECEFE41279","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":"da11ecbea03d90aa76f5655c51e9059be689efbe","datavalue":{"value":{"amount":"+0.94381696","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":"Q878154$8B7DF40E-1C4C-4DEE-9094-2BFC7EAF57F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b5b88263e4f4f2bd56a9fe779325a5d8fcc5d4","datavalue":{"value":{"entity-type":"item","numeric-id":2940884,"id":"Q2940884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12806f922fe2457cf0d08a78a3da787ef57a9e04","datavalue":{"value":{"amount":"+0.9295225","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":"Q878154$6180D757-0D79-4803-9E1A-F3AA6BF8DAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a06318973ba3d2069bac8a6a7b886f822790f1","datavalue":{"value":{"entity-type":"item","numeric-id":2148800,"id":"Q2148800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7727cd693dc868620208881d87bd16a0e74bb2","datavalue":{"value":{"amount":"+0.9230441","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":"Q878154$29DD6A59-CE62-4FE5-BE1A-05FC80F7711B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fadb2225e40dfb9ef13e16f63f15d23ce6ca7eb","datavalue":{"value":{"entity-type":"item","numeric-id":812104,"id":"Q812104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa394ee224d9dde650256770e8fccbd73a3946b7","datavalue":{"value":{"amount":"+0.9218772","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":"Q878154$75CD83C6-3E32-48AB-B689-DF50B1602682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"114bff08fa22ba8865cae9e74084cbf666ebc270","datavalue":{"value":{"entity-type":"item","numeric-id":5884937,"id":"Q5884937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"585cd1e6e0d8f792d53fc867402f117e3a2db880","datavalue":{"value":{"amount":"+0.9190556","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":"Q878154$3CF7346A-712A-4583-96B8-E6417825E3AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uniform interpolation and propositional quantifiers in modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Uniform_interpolation_and_propositional_quantifiers_in_modal_logics"}}}}}