{"entities":{"Q4323828":{"pageid":6353429,"ns":120,"title":"Item:Q4323828","lastrevid":96649541,"modified":"2026-06-05T11:52:50Z","type":"item","id":"Q4323828","labels":{"en":{"language":"en","value":"All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 724868"}},"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":"Q4323828$6B597B84-706D-428C-AC44-C882D92CAF0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31c5068002ae931625b7128190f8931932ae9a93","datavalue":{"value":{"text":"All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4323828$295D5627-DF22-426E-81A8-CA37D899EB77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f6a6b65f3ec9f8cc2c1ba18692de1d6fb5dff5f","datavalue":{"value":"0818.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323828$2FD0BABF-B058-450F-BFC7-AD5B1AED9515","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a6140dbdba553534c9fa5d3f59dfa57df1a32f9","datavalue":{"value":{"entity-type":"item","numeric-id":220296,"id":"Q220296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323828$11D7D0A0-2EBB-43FC-BE9A-9D7D29DBBDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323828$EED0D8FF-5E19-43C0-AAD0-A7F2C9FE5004","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323828$91AB2462-BFCB-449B-A4F8-5EA6135FA50D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35318f4a6a1eda395c808a03ab928ea550bb58ef","datavalue":{"value":{"time":"+1995-02-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":"Q4323828$933E3AD0-4B13-4424-BB3C-91192AAC18BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323828$652196F6-8E5C-4B27-84A5-123E8F243A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323828$B41A743B-EB9C-4E6F-9179-6FBE1AD2B03D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c02cde717514ab2b7355e9657bf6a085e016f75b","datavalue":{"value":"724868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323828$D075AB9B-2F2F-480B-A182-AD673161CBB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323828$192F44BD-67CB-49A0-81C9-B13EE4FF4A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323828$C61F7B41-4F16-4BAE-8703-45704481B5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf02195d7c3ea39d1ca241139afc48251cb25cb","datavalue":{"value":"normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323828$90A25567-CCF6-42F8-B464-71317A38B8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323828$FEF83254-F253-4253-BEBF-2079BD6A580F","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":"Q4323828$9BCE8E43-E715-4A77-8DDA-F94D95B0A877","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5dfe702a2f042862ed454d37ce36d0b1b4c6e226","datavalue":{"value":"https://doi.org/10.1002/malq.19950410103","type":"string"},"datatype":"url"},"type":"statement","id":"Q4323828$91551F40-A106-4E4D-9206-DAA679136CD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8185ba7f14543440b28be4daacdce3e4eff89ca6","datavalue":{"value":"W2066692146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323828$E3252802-28DA-42D8-891D-623772332EB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d60cb852ff3d9bfc44eb432b91096bf3d6c9459","datavalue":{"value":"10.1002/MALQ.19950410103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323828$A88CA59C-104F-4A23-A870-CC3E0982DA17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22f0dec763c2077f9158c96bde4a338e0579f241","datavalue":{"value":{"entity-type":"item","numeric-id":5294709,"id":"Q5294709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"928f68b8381100fd499a79d9b85514ca041d2d6a","datavalue":{"value":{"amount":"+0.8374536","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":"Q4323828$B8B9137C-1B62-45A0-A5A5-09C55557811A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1fee6690a4ed5b25766e8928e4ee92c8815c854","datavalue":{"value":{"entity-type":"item","numeric-id":5262609,"id":"Q5262609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"163dc10bd1c50660f2511102cfd9b66dd8fe90f0","datavalue":{"value":{"amount":"+0.8307567","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":"Q4323828$8CBCF966-67E3-47A9-9284-332D4C5B42D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f128356198a31a1cf984e999fe616b287aa36f8","datavalue":{"value":{"entity-type":"item","numeric-id":2377059,"id":"Q2377059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fa8798c6f295139cbdf6764b4409b0f25929e07","datavalue":{"value":{"amount":"+0.8192948","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":"Q4323828$F55078B0-A9EE-4C7C-AC8C-64C2C972EA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aef101205f7677e5740815f0deab014924b1eee","datavalue":{"value":{"entity-type":"item","numeric-id":5419892,"id":"Q5419892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a0dd60cdace8f8fe8c6f626d0228b381c7dd8c","datavalue":{"value":{"amount":"+0.814381","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":"Q4323828$6A3464DA-D6FC-4449-AE63-9D193557D419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d00ed73b55bdb8adc87fca2371bb6aad3adcfee","datavalue":{"value":{"entity-type":"item","numeric-id":2366342,"id":"Q2366342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c8c54a7e7e6194a444e172e31fc657e217a41a7","datavalue":{"value":{"amount":"+0.8090463","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":"Q4323828$AAA3ECFC-FF75-42A9-8D7F-F2CFFA93C09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c4e68477f828a742cae3d09adff795ca04e2f80","datavalue":{"value":{"entity-type":"item","numeric-id":3363966,"id":"Q3363966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9372ff0d99a1891c71a2a5620c010855ecd198d5","datavalue":{"value":{"amount":"+0.8029103","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":"Q4323828$A2AEDBF2-365D-480A-845D-4D0647D2C5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0108300adc6ece2b5ea582a3150c11ec47889494","datavalue":{"value":{"entity-type":"item","numeric-id":1295382,"id":"Q1295382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff4e4f0664f94fe55f0c97f37562ea4e62df703a","datavalue":{"value":{"amount":"+0.80271447","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":"Q4323828$EF6EB2D7-CB71-4B83-BD16-631C6A4DC5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a5e71f686e6944fd7b49f8bff5ddd1458241f7","datavalue":{"value":{"entity-type":"item","numeric-id":4024646,"id":"Q4024646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fccf342cca86d423becf4df639615a15bcf26401","datavalue":{"value":{"amount":"+0.80145407","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":"Q4323828$282DB374-E86C-4678-9AF2-A306137FE417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ba3c6e93294bdc004f3d4266d37a1d809ce698","datavalue":{"value":{"entity-type":"item","numeric-id":1803020,"id":"Q1803020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14679c1bb67d175cc7982ac9e69d75c729f681ba","datavalue":{"value":{"amount":"+0.8012465","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":"Q4323828$26F781DA-DF6F-47BF-9820-237DECB32DA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable","badges":[]}}}}}