{"entities":{"Q1204117":{"pageid":1214866,"ns":120,"title":"Item:Q1204117","lastrevid":66870480,"modified":"2026-04-12T13:24:50Z","type":"item","id":"Q1204117","labels":{"en":{"language":"en","value":"Even more about the lattice of tense logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 126096"}},"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":"Q1204117$CA519B32-7455-4DBD-8BEC-5F4CE920618C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0df265743ed5c99e8b620dac169b5369001cbb83","datavalue":{"value":{"text":"Even more about the lattice of tense logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1204117$81A8D1A7-F8ED-475A-83FA-67EEBE4A5921","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c0ee44ff06d3d050fbaf71fad8c6c91566de070","datavalue":{"value":"0787.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204117$C2BCA8E5-D674-4D79-8E76-7D3C9572D9AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f34758f0b271727beb47d535e9e33da033b23516","datavalue":{"value":"10.1007/BF01794981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204117$26D3223D-F1DA-4EB6-B4AD-D1FCC7614ED7","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":"Q1204117$9EC91714-657D-4EBA-9BAB-776E70387496","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204117$E61C42F1-2C85-49FB-B8FD-97976B59E3E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6966fe933ba4ebac14e44328e594ce9c2621776","datavalue":{"value":{"time":"+1993-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1204117$68C027ED-8062-4A74-8452-2815E5738351","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9c22b42e00567d2f507ec040a64bacaa16867dce","datavalue":{"value":"The author investigates the splittings in the lattice of all normal extensions of the tense logics Kt, K4t and S4t. The main tools of the investigation are Kripke models (most of them finite), and the main result of the paper is that there are only two splittings in the lattice of all normal extensions of Kt (K4t), and only one splitting in the lattice of all normal extensions of S4t.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204117$67767331-AF18-4160-B349-F67583EE7085","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204117$76BA3FCC-0BCC-4151-8FAB-7C1965BAED24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204117$881BD638-F0C8-430A-83ED-882CCC3EDE83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2df97569c3fae08d4c6f2b6c5165d7ac706b2fe","datavalue":{"value":"126096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204117$07A690C2-7BD6-4625-859A-D186D4DADB98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3829b79408d0e34cc0fa053f7fc4e40d313ffdb5","datavalue":{"value":"frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204117$06BE843A-C35B-4B06-AE5E-14CCBA89DA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ddc9a0cd844e32824631876b02438a1f305c361","datavalue":{"value":"cluster","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204117$7C895AB5-BC70-4F1B-8EDC-086FDD2FEB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae40a0b789b462ab4b6cf694f0ac44182422c6cb","datavalue":{"value":"lattice of normal extensions of tense logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204117$9CC8E7B5-0471-4162-BDED-CCAAA979B5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eca56c2f31e4a8bda285541b625d9f9c59b1256","datavalue":{"value":"splittings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204117$2073B5B9-EE24-407C-BA9E-DFE932040114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204117$858B3F4D-C05D-4DCD-BB95-9ABB9F21E9C5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"67a71dc8d5d63bc79a22e8a3eb2b08857c8e89a3","datavalue":{"value":{"entity-type":"item","numeric-id":1052313,"id":"Q1052313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204117$6F46AD66-6123-4A9F-A450-C9008CC8876E","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":"Q1204117$33F30FAD-B246-40C8-A074-61BEF9213CD3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adb3963b13caa0d3ff235f1cf69469b8cc3f0ca6","datavalue":{"value":{"entity-type":"item","numeric-id":1111541,"id":"Q1111541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204117$FB6BA020-C4DB-4CAF-A875-564E8CC6C502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409217ce1647c2ba67189b9324c5e54d65cf0dda","datavalue":{"value":{"entity-type":"item","numeric-id":4342094,"id":"Q4342094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204117$9A90900B-07A1-482A-B996-32F008E90155","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":"Q1204117$375524CE-2E56-42E1-8E64-7AAED5A8F887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef350ead7090cd66027dea6c9a11f206e833f3c","datavalue":{"value":{"entity-type":"item","numeric-id":1839272,"id":"Q1839272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204117$1DE79E04-91E9-4DE4-99A1-4D9D96467BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f6f7b8a3a7aa17fe4538ae2a91e04e78ddf654","datavalue":{"value":{"entity-type":"item","numeric-id":2641327,"id":"Q2641327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204117$9803B7DA-D0ED-4A4E-90C5-2056514F6383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4293874795ac709ce4d112763a0625a4794d25","datavalue":{"value":{"entity-type":"item","numeric-id":4750696,"id":"Q4750696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204117$B262D77B-9D2B-45C1-AB0E-1D72BADEFC86","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":"Q1204117$D322A4DA-55C6-44F3-9D52-6454E35D4950","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":"Q1204117$30FDCFFB-9EF2-4F80-8EA8-65BEE85AB61C","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":"Q1204117$013F2BDD-A56B-4C42-82FC-8F9D7293B303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1c2bf4a72849a6874a4b0df9473f28739fe05a8","datavalue":{"value":{"entity-type":"item","numeric-id":4198726,"id":"Q4198726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204117$2918506F-6924-4122-895B-CFE3E7AE7E2C","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":"Q1204117$19A3EBF4-3771-4474-AAAF-16D983E79081","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":"Q1204117$0F766EB7-03CA-489A-B2DE-AAAF6E5E8D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1b82cf4871faf69538f3161df586c7c8cbdea","datavalue":{"value":{"entity-type":"item","numeric-id":5648343,"id":"Q5648343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204117$539569EE-CC9F-4162-A476-7D2251D9A511","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5128805d2e6ec94b00594e9fa886f03c851f30d8","datavalue":{"value":"https://doi.org/10.1007/bf01794981","type":"string"},"datatype":"url"},"type":"statement","id":"Q1204117$D5F1BF64-2EF3-49BC-ABDE-B18513F93003","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45c1783d17b601b21affc6f7dbe2a54db034e2ff","datavalue":{"value":"W1996529189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204117$CE5BB15B-D626-45B7-B68D-819A24C6057A","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":"1efc3a69da672b5e3b350b1686978488f45779c9","datavalue":{"value":{"amount":"+0.8034030795097351","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":"Q1204117$C95F0685-C5B9-44E5-9F80-F182C6EE2D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb3142dac90fd20b631fb151b91f1f0adaee3161","datavalue":{"value":{"entity-type":"item","numeric-id":1288959,"id":"Q1288959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d8f211f1a37cb4edf263e02ca2f2b2ea7285d3","datavalue":{"value":{"amount":"+0.7928798198699951","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":"Q1204117$F7FAF1B4-36E1-4528-966A-A448AF4B9B64","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":"8d27f0e21b422a48ac71fc499f2c303dbd4f6476","datavalue":{"value":{"amount":"+0.7822372913360596","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":"Q1204117$805888EE-7801-4222-98BC-92D126A2CEC0","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":"40a886335e25bb43ae41750eba910d48aa382e76","datavalue":{"value":{"amount":"+0.7784532308578491","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":"Q1204117$27363EE5-1A25-4423-A423-66AA9E2E058E","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":"3c91b2332c4f9206151f14281058079ea48cb92e","datavalue":{"value":{"amount":"+0.7521312832832336","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":"Q1204117$A91774D7-4211-49A0-9A61-7144C9A3C641","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Even more about the lattice of tense logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Even_more_about_the_lattice_of_tense_logics"}}}}}