{"entities":{"Q4338319":{"pageid":6367919,"ns":120,"title":"Item:Q4338319","lastrevid":41142688,"modified":"2025-04-18T11:56:35Z","type":"item","id":"Q4338319","labels":{"en":{"language":"en","value":"Completeness and decidability of tense logics closely related to logics above K4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1014592"}},"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":"Q4338319$8098A881-8505-45F6-8E8C-514746CF60C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cede0896d58612e47e3ba58f9978736d457f10aa","datavalue":{"value":{"text":"Completeness and decidability of tense logics closely related to logics above K4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4338319$3F046B05-E8A7-4598-A4F2-2CECC5EA9D7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a95d004222f08888324fcdc0979bc2d6264b8fe5","datavalue":{"value":"0893.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338319$729304E2-FBD0-450A-819F-EC99C2924A80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4458889492340968702f663489308d7df7207ee","datavalue":{"value":"10.2307/2275736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338319$5BD832A5-57FC-4496-A107-675067DD4B7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76722ee993ef1bba5eff4ce8b9dbe5e1d07862be","datavalue":{"value":{"entity-type":"item","numeric-id":239516,"id":"Q239516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338319$8D3615E1-6F8B-42B2-976D-E856E2F862A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338319$E24CEE5F-2321-4064-BBAC-D6E25A3D5A0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5db0d405f6ae86d2c7391df1633165283031cbc2","datavalue":{"value":{"time":"+1998-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4338319$4FC8C276-3F9B-4F31-8422-224CE175A9BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338319$85FE4E3E-E99D-4814-9FD6-956AF0F2F638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338319$482F4C76-EA56-4CB5-824D-15412032A323","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e11cda36df68fc81ae830c76e08353aac42b40ea","datavalue":{"value":"1014592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338319$75F0EAA9-B69F-4A8B-B8AE-E020015F8C8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338319$01EEC5B5-F315-46EE-BA91-3B2E4A856778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338319$E13918F7-62FD-45F6-A893-494A5EFA693A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338319$3A2A902D-A770-4642-8442-CDBB9ECEF3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20ddba68fb7629a4f48cd00895b30c95bddf8e9a","datavalue":{"value":"minimal tense extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338319$70656971-1330-459E-89DF-15FC576CF640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9593bcc976be5d791051183436e7f3567b39df59","datavalue":{"value":"finite width logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338319$A86D26D5-79D4-4E12-90B8-DA5980A75F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd9bbd3c69d561080e8f0a317ffeb894ba78cc13","datavalue":{"value":"cofinal subframe logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338319$2DF84647-E74B-44E4-A6DC-DC325D28E742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da4e3175fff9f957483c703e4e2827eeb53221d2","datavalue":{"value":"finitely axiomatizable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338319$2E1B9058-D5B1-4D18-8FFC-3401A81F5463","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":"Q4338319$47A3626B-65EF-47FB-8A0F-AE7C0B9A822C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6eb6e4960bd892bf967fefd1eaa074870d313e6","datavalue":{"value":"https://doi.org/10.2307/2275736","type":"string"},"datatype":"url"},"type":"statement","id":"Q4338319$AAD9E35B-6B20-4438-8180-1E5EA8982C69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a53ca4480a3110648137384e8cf0cec924586edf","datavalue":{"value":"W2155314032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338319$FE25BC38-9660-44E5-9549-D72319FB46CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4e7e1dcbf368305b0805eed3df01bf4e94561f3","datavalue":{"value":{"entity-type":"item","numeric-id":4858814,"id":"Q4858814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338319$794A167D-F4C8-489F-B231-5A42C6D6AD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab97b87e0595b2bacf97f95676e921f1b900367","datavalue":{"value":{"entity-type":"item","numeric-id":4286214,"id":"Q4286214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338319$7785E770-D0CA-43A5-89A3-9D2BE018263B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338319$E581FADE-8397-471C-9C37-89F37C6A4854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b82f9b29fdf1d516bb2cc7fb83ab9fb762475b","datavalue":{"value":{"entity-type":"item","numeric-id":1245214,"id":"Q1245214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338319$D7192480-AB04-42C3-8DFB-F5FE2B714804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeddacc40899976e9a705244d96a08c700067a2","datavalue":{"value":{"entity-type":"item","numeric-id":1203789,"id":"Q1203789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338319$07EC22A1-30CF-4C5C-93FD-2D096BF1072D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8e0c5cc3575d6be27e025fb497f951125e4854","datavalue":{"value":{"entity-type":"item","numeric-id":3984418,"id":"Q3984418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338319$215AC1BB-8930-431A-9C54-4E7FBD49D8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338319$E20B752A-7F19-4A9A-A51E-50E1BD4E3140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73d6c27ee2d92e0a6ba9a337e40eba45e340765","datavalue":{"value":{"entity-type":"item","numeric-id":4879194,"id":"Q4879194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338319$878EBC3E-8ABA-4F83-A86E-06A4C746D608","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a10a811d54b394540726160ab89e8107e1069c","datavalue":{"value":{"entity-type":"item","numeric-id":4834484,"id":"Q4834484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2132fb5922bd3866b74cc9b3cfeefc5f83d34786","datavalue":{"value":{"amount":"+0.9222786","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":"Q4338319$867D46F6-3B05-4E3A-BE5D-95D892E287D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ddf895384c42ccb0ce7eed548d342886a3b2af3","datavalue":{"value":{"entity-type":"item","numeric-id":4833777,"id":"Q4833777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8099e5b36bee7ad6cbbdb96d85ece4c0060235e","datavalue":{"value":{"amount":"+0.8963533","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":"Q4338319$BD70DD23-4425-4C8E-93A1-580C7A09B2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362a8a0dcc7d299cc03d38b6ea2486c6fcb53e38","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db3ffe260d71355b7a6b0597595d90290a834cd","datavalue":{"value":{"amount":"+0.8962597","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":"Q4338319$C9E93FDF-4ADC-4B6E-AF02-2BC5068CC937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62b43a20c757d7c7a2d59a027ea0d624912434e6","datavalue":{"value":{"entity-type":"item","numeric-id":2277246,"id":"Q2277246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c57dd7274621f4e75c053fe232da4a6bb49d601c","datavalue":{"value":{"amount":"+0.89358383","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":"Q4338319$6097C949-E4C8-4C3D-963B-931F23057FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3edaef82ba66d0c6203c7b31678ad1ae92db83","datavalue":{"value":{"entity-type":"item","numeric-id":6102994,"id":"Q6102994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ad413e07566b32ee356d5a767775e1378f1435","datavalue":{"value":{"amount":"+0.8895426","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":"Q4338319$5FD1D105-5C20-45FE-9CF4-5DFCAF702AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff6b9ee09012b5dea05f8c2e8487e64615dc170","datavalue":{"value":{"entity-type":"item","numeric-id":5688808,"id":"Q5688808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf7df9f4055e46b75314813a7d19565f4a6d5b13","datavalue":{"value":{"amount":"+0.8858204","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":"Q4338319$475FC3F8-9C77-4CED-A70E-66BCE681B3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff33e647c396314d924690dbbac22206b69df5a3","datavalue":{"value":{"entity-type":"item","numeric-id":3772182,"id":"Q3772182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af670ac343391768e661e6a1e3d656c2ff8e7b68","datavalue":{"value":{"amount":"+0.8828877","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":"Q4338319$7EF19861-9E99-4F5E-BC9B-A9EAD5472A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc1510ba7b18e6b1438473e3903fb76b7838e4fc","datavalue":{"value":{"entity-type":"item","numeric-id":2771498,"id":"Q2771498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a19869057c41ff3535d0b9022eb114b92e80c59f","datavalue":{"value":{"amount":"+0.8815162","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":"Q4338319$BAEA76A8-6569-42CD-8816-17A8D2B7F145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"413e92685c377909d4b8899bcee78a8ab3cf82d6","datavalue":{"value":{"entity-type":"item","numeric-id":897475,"id":"Q897475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e7969ed264c1a1fa600b20ee9d4a6229998fe16","datavalue":{"value":{"amount":"+0.88112","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":"Q4338319$35F9BADA-F99E-45BB-B969-B566B98033F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c92a7c07abf7b14a05fbb706f3825d93c40221e","datavalue":{"value":{"entity-type":"item","numeric-id":3340835,"id":"Q3340835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df6d0c33d7a13312ab22fa1211c09fece03cc1b","datavalue":{"value":{"amount":"+0.88078785","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":"Q4338319$F922E364-F43E-46E8-941C-A3A5AC70FE23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4338319","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4338319"}}}}}