{"entities":{"Q995667":{"pageid":997515,"ns":120,"title":"Item:Q995667","lastrevid":50161403,"modified":"2026-01-13T07:48:31Z","type":"item","id":"Q995667","labels":{"en":{"language":"en","value":"A splitting logic in NExt(KTB)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5189071"}},"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":"Q995667$6B2509FC-266C-4BCE-AC3D-25DDE6D1F600","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddb80cb1f468029b5ec9cd06d62b2003fb89903d","datavalue":{"value":{"text":"A splitting logic in NExt(KTB)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q995667$D06C517C-3939-4753-8437-DBA7C2AD3BA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7df9d210b27ffd817012b6c47c90ea477d1df0c","datavalue":{"value":"1130.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995667$2B5689D8-181F-4982-A956-93A22C4545BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5fafdc9b0578d59764848a3b498d2b5192e7293","datavalue":{"value":{"entity-type":"item","numeric-id":519846,"id":"Q519846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995667$4E531880-E8ED-4898-819E-2D4D6EFFA5EC","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":"Q995667$9E63AA95-6AB0-41A0-AC22-F3477D708C7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42cd48ac6381a576736eec2b9a8e2283d304cd2a","datavalue":{"value":{"time":"+2007-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q995667$4479AC31-7A88-4107-A8BB-F09A8C00F6CE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9a20a5aec28fcde6ab5e67c3d79b8987b4fc66a6","datavalue":{"value":"The author initially relates subdirectly irreducible modal algebras (s.i. algebras) with general frames for modal logics. The author shows that every descriptive KTB frame which is connected corresponds to an s.i. KTB algebra. Thus, connected KTB frames can be regarded as building blocks of KTB logics. Next, the author shows that the normal modal logic of a Kripke frame of two reflexive points joint with a symmetric relation splits the lattice of all normal extensions of the logic KTB and, with this, that there exists a unique largest logic in the class of all normal extensions of KTB.","type":"string"},"datatype":"string"},"type":"statement","id":"Q995667$51FE9C05-4503-4888-BD49-8A8FB27DDDC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995667$766FD4E1-E344-4EF5-9B07-985F7B820308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995667$F9C2D622-5450-497A-9714-1E33AFD48D83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8d8417f60890ad99649424f1a777fbd720cae75","datavalue":{"value":"5189071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995667$FEAFDDC9-98CC-45CB-A9F9-3D777DE2F7C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f34129d9fedd21d56ac6646e506602969b95c96","datavalue":{"value":"possible worlds frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q995667$61F67D63-7025-4944-9D9C-81FF7FF94030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"600672ab55ae471847e00a7bc41bc9851fc3ede8","datavalue":{"value":"modal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q995667$68DA6F41-F438-44BB-950C-F85CF6F733B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49594b43308b180ae6a844466d62e70cbe4968ca","datavalue":{"value":"KTB frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q995667$6FC9FF63-B0BF-44D5-AE7D-58EFAF3CEB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef337a79ce92cde9eef2932c43a95a39719af1ef","datavalue":{"value":"KTB algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q995667$DA38710C-8E04-47B6-A19F-36E5A2455A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4882693fc6d6007b45cbea02825cd3a0a655dd8d","datavalue":{"value":"KTB logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q995667$DEA6976B-F34F-48BF-84C7-53405D4BA491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b6d81377bb9fe493e0b31a63d9717069578b5b3","datavalue":{"value":"normal modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q995667$A7CEFA3C-720C-494B-81F5-F75E3D9BA33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q995667$65B9B1B3-BDBF-4EE4-B604-8B1C4D3C8700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94040e42960d45e36ca1714a4fd3efd7acfaea48","datavalue":{"value":"normal extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q995667$54DA53ED-58E4-41F0-9725-8EE2E279DB1D","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":"Q995667$B98F3970-1008-4FE8-B230-E8FFEC50EF7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09ab1ff60637ae6607499d08a051cdf19ca1e58c","datavalue":{"value":"https://doi.org/10.1007/s11225-007-9039-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q995667$81CFD354-9DC1-42EE-80E6-3663D967345B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"837c36eb481d8df18e1ec1da1563b1319ad04689","datavalue":{"value":"W2052832447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995667$9980FBD4-D333-474B-A4C5-2F31846311F8","rank":"normal"}],"P223":[{"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":"Q995667$AF17F182-9611-4AB6-9D73-41B16782ED77","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":"Q995667$1683D381-7F34-4D68-9A32-482DA8B428D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995667$59C89490-A3B6-4F3C-963E-B28AB2FAD85C","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":"Q995667$5940CCB2-8682-4A85-87EE-59A5155996B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90e62a647d76324dd712fbc39d6d3cb2ce86e17","datavalue":{"value":{"entity-type":"item","numeric-id":5595146,"id":"Q5595146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995667$EA4E0D82-8102-4623-A39F-7F4E0C20FA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"799e9000c66a9302e003e68e1c27e1c7bd28de8e","datavalue":{"value":{"entity-type":"item","numeric-id":809064,"id":"Q809064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995667$F2A38A99-AD12-4261-9745-4BDC3276292A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b699087465adbd5f2e31ba20ec02b18d06650fa7","datavalue":{"value":{"entity-type":"item","numeric-id":5287685,"id":"Q5287685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995667$DCC7DD4C-17CC-46F0-A4BD-89B559A5085A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995667$6A34DF7D-C7E5-4C67-8BCD-6A67611376A1","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":"Q995667$664FD463-E184-49DF-B5A0-FE3AA3B333CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23d29cfc352e00b7adb1204d5a6b587b889584c","datavalue":{"value":{"entity-type":"item","numeric-id":5483007,"id":"Q5483007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995667$1A8F18E0-D062-4A80-B6AB-0E33E8E9646E","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":"Q995667$8A9A4B6B-7CF7-4DCB-B5AE-CD4B08AE52A9","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":"Q995667$0D2A338E-C6EF-405B-B3CC-0C6A8E5511B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c11520391d9e7debe31819ecc68ae311087e73","datavalue":{"value":{"entity-type":"item","numeric-id":1288966,"id":"Q1288966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995667$B6530189-E67F-460D-9DC2-74EDA5545C41","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":"Q995667$AAC1E23D-DD38-4314-85F7-09686A21D01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de898181175b03093b03d250a0621eb8fffd29b4","datavalue":{"value":{"entity-type":"item","numeric-id":4304792,"id":"Q4304792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995667$44DCE044-E20E-42C8-8BD1-B6EB88A858AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6c5e719ef5f13467665d32986efaf5636d24782","datavalue":{"value":"10.1007/S11225-007-9039-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995667$F03C6FF7-B2A9-4EFB-BCFC-1A6ADE25CCFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"481ed04c73ccda3d547d1bc4b82a1480056c1cac","datavalue":{"value":{"entity-type":"item","numeric-id":3600563,"id":"Q3600563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00bb9bbb062651568c83eff791a6e39d940e64c0","datavalue":{"value":{"amount":"+0.8691349029541016","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":"Q995667$4579B42E-5055-4C07-AA8B-A84A737AAF87","rank":"normal"},{"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":"e4fb40ff518bc48161e68f925708b6f3376331c2","datavalue":{"value":{"amount":"+0.8495852947235107","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":"Q995667$032B0295-71B7-4BAC-98CB-A7072374787A","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":"66421c007eb4b35470b3f3366be23e048e6b10e3","datavalue":{"value":{"amount":"+0.8299378156661987","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":"Q995667$305E7334-2232-4D8D-A77F-CE467153A334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677b2ebe7b295a9e797800e62b6cbb26f45f68d4","datavalue":{"value":{"entity-type":"item","numeric-id":809064,"id":"Q809064"},"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":"Q995667$857E9866-CC4A-4FC7-91D2-EA5F2468D9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b88675521efa8efdd59646b9ebfdfcc6bb00183","datavalue":{"value":{"entity-type":"item","numeric-id":1361249,"id":"Q1361249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f0069be896175e6e5ecdffdf83fa768b293bc5","datavalue":{"value":{"amount":"+0.7659735679626465","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":"Q995667$C9B05ED7-B3D9-4B2A-ABFA-38E1698EADF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:995667","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:995667"}}}}}