{"entities":{"Q809064":{"pageid":810912,"ns":120,"title":"Item:Q809064","lastrevid":64534158,"modified":"2026-04-11T20:32:01Z","type":"item","id":"Q809064","labels":{"en":{"language":"en","value":"An almost general splitting theorem for modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4210106"}},"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":"Q809064$76B8D67D-7715-499F-AD6A-D9AB125AC367","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"653aa0a4a096ae03ef8a8e8ae2e16c12f33ad84f","datavalue":{"value":{"text":"An almost general splitting theorem for modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q809064$46B706D0-EEA0-4193-B319-821CCCB28053","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b09929b5d1cbf4634d56967635799806ec4ddb30","datavalue":{"value":"0732.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809064$44AE3403-0A65-436D-843E-E61314E82BE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f73cc30f07279a2438e0673b7f37e17ee38c36f","datavalue":{"value":"10.1007/BF00370158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809064$AB6334C3-0564-4CB5-9C40-773898BACD7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"038e797dce8577a599953ecaa64cde238c4ac836","datavalue":{"value":{"entity-type":"item","numeric-id":190342,"id":"Q190342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809064$5FC488C8-9191-4713-BDBD-9486FEF05314","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":"Q809064$AB367D70-761E-4B8C-B632-6FD48A0A69C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q809064$CE6D1E1D-C17B-4B8E-ADB4-B43C6C052F8F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"46c504bcfe7bc5b2eea03940d74fc783047cac44","datavalue":{"value":"The idea of a splitting in modal logic is this: given a logic L, is there a logic L/A \\((=\\) the splitting of L by the algebraic model A) whose models are all the L-models that omit A \\((=\\) the variety they generate does not contain A).    The purpose of this paper is to present an ``almost'' general characterization of all algebras which split L for an arbitrary normal modal logic without any assumptions of transitivity. The author allows the language to have more than one modal operator, and also the splitting algebra to be infinite.","type":"string"},"datatype":"string"},"type":"statement","id":"Q809064$24C0AFC4-95A8-40F9-934C-3EF5DB0470DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809064$012713C9-5F23-4A2A-B54E-FC70AEDE558B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809064$1F3280A1-0FF2-437F-8629-50188E194282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809064$9D6D8E03-BF28-4F56-9F4C-74D590C818C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6c89332556a0281a00f72c20c8d4f7a6b907430","datavalue":{"value":"4210106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809064$04060F2F-170B-4BFE-9217-B8AF5176BFE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"918dc7b925c9b1f34e89bdb9188d37ae770529d6","datavalue":{"value":"splitting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q809064$F6607E9C-3AFE-44C3-8957-7D27C35B2259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q809064$4B1B85B4-46B4-4A5A-8BCF-0B5A11BC9AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0533ac80140507f706453c7f8fa6a0861a7c9f3","datavalue":{"value":"splitting variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q809064$B1BF85E4-1714-47C1-ABAC-417A8D8361EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q809064$E2708C8D-03DD-4197-8224-9133DB2679EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17f14ef722dcf2148e4af51ba3c03b71b683e46b","datavalue":{"value":"algebraic model","type":"string"},"datatype":"string"},"type":"statement","id":"Q809064$65169400-D41A-417B-8E54-CA9FB23E8241","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"55cce125d2b50c23768a94700ce957231de3a61f","datavalue":{"value":{"entity-type":"item","numeric-id":454369,"id":"Q454369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809064$67406576-9B93-48B1-8E91-DBB2958A3643","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":"Q809064$F4A45DBA-1CBD-443C-A410-7B600163873A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3419efc203aeb720c75d227cff7b3d42437773","datavalue":{"value":{"entity-type":"item","numeric-id":2645756,"id":"Q2645756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809064$25E3F1E1-A615-48CE-B2EA-49BE02F56D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a93d6dbdf36588b4e734c1070891cad4705c5bd4","datavalue":{"value":{"entity-type":"item","numeric-id":3208624,"id":"Q3208624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809064$877B1EA3-DF5B-4D28-AA06-D1A0582B5AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3d2f911ecb3b5590d70035c532dcb4003778fb","datavalue":{"value":{"entity-type":"item","numeric-id":3875896,"id":"Q3875896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809064$C0B8245B-E1CB-4065-BB4B-F151B18E9708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e077e7607e20bb5a3fdafc25ee20d2f189f763a0","datavalue":{"value":{"entity-type":"item","numeric-id":4773678,"id":"Q4773678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809064$81A2C9F3-D3C8-4AE3-8B6D-59D3298CE485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b4735cc1f5a60bfef583599fdacac66c6ca8dd","datavalue":{"value":{"entity-type":"item","numeric-id":4063119,"id":"Q4063119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809064$6F5115D3-B140-45C8-ACFA-F9EC4FEA46BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809064$480B96FD-1AA9-475A-9C9F-C548BC63012E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c087c749fac9e62b1f0f29ee6e8e1b8e2ba181","datavalue":{"value":{"entity-type":"item","numeric-id":1062045,"id":"Q1062045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809064$AF68DFB9-BAF4-4C5C-908A-53FFE2A2F087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aca700bd28fd036c1956bf4ff184b0a0e2f33bc","datavalue":{"value":{"entity-type":"item","numeric-id":5682373,"id":"Q5682373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809064$B8E17F36-DC00-4315-9B7F-1EEBF71898C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a16772c1c01146bd65752e6cd7055c6202def24","datavalue":{"value":{"entity-type":"item","numeric-id":599049,"id":"Q599049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809064$66D3AEDE-C685-4314-968B-B4779D8E322B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc56f2f655fec3b9707505e4f9c356f0c245d319","datavalue":{"value":{"entity-type":"item","numeric-id":3900020,"id":"Q3900020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809064$E00C6A1E-EA15-4977-9496-01FD2F842C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2b05a7bce71aa28da8da767e6dcef8492f4a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3858239,"id":"Q3858239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809064$8FBC3753-E78E-4B34-BDDD-C9637513B976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57bb7e0b65611d4746e94cc88f40746904f4a46f","datavalue":{"value":{"entity-type":"item","numeric-id":5834633,"id":"Q5834633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809064$ED7DEDD8-DB53-4D75-A071-90EC504D28C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ff1aa0094a0eb14d2f9700558d1569050cd64e6","datavalue":{"value":{"entity-type":"item","numeric-id":5287685,"id":"Q5287685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c04c2e95207142b6ed1db3b915318e18997fbec","datavalue":{"value":{"amount":"+0.7998949885368347","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":"Q809064$1D9B50A6-E2F3-4927-9585-ABB63376D71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a6ab696ff3c08af560279138954b256e3e26260","datavalue":{"value":{"entity-type":"item","numeric-id":995667,"id":"Q995667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7978c9ffba4590513561cabc037ebfc78e8aecff","datavalue":{"value":{"amount":"+0.796760618686676","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":"Q809064$17CDB48E-AD2D-49DC-BA02-0623720BA848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3cb0dae4f53448b00a4ce1a73980aaaef42bf1","datavalue":{"value":{"entity-type":"item","numeric-id":5002194,"id":"Q5002194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1afcf8fcf849212ae1f819425a90e7049a07bc0","datavalue":{"value":{"amount":"+0.7809829711914062","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":"Q809064$F6925B82-4543-4C1A-8289-E99FAD48A26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a3d0c5853641d241bb2b62ed6ec3dad48335709","datavalue":{"value":{"entity-type":"item","numeric-id":5277764,"id":"Q5277764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee2509ead116fbee2c5e70f272f9297436e53f4b","datavalue":{"value":{"amount":"+0.7764622569084167","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":"Q809064$27E69C1D-22CC-4488-957F-3D7DF601BC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42c02bb5cad344c888bfac4658f02ec2d98ceb5a","datavalue":{"value":{"entity-type":"item","numeric-id":5040690,"id":"Q5040690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3d23537c5f881ac83695d40e54246aa039349f7","datavalue":{"value":{"amount":"+0.769963264465332","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":"Q809064$D2959BE3-5594-4E2B-89F2-C68EA939A1DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An almost general splitting theorem for modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_almost_general_splitting_theorem_for_modal_logic"}}}}}