{"entities":{"Q4291869":{"pageid":6321470,"ns":120,"title":"Item:Q4291869","lastrevid":46325853,"modified":"2025-12-24T14:07:13Z","type":"item","id":"Q4291869","labels":{"en":{"language":"en","value":"A Sufficient Condition for the Finite Model Property of Modal Logics above K4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 567633"}},"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":"Q4291869$6C27C697-89B7-4EFC-9BF5-0B8CBE7335FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"371947b977577a7230eef58c53125faffe6630f2","datavalue":{"value":{"text":"A Sufficient Condition for the Finite Model Property of Modal Logics above K4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4291869$95910B3D-C44F-4A60-B896-F99E8B6F9E1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bc182644069eaa092b763e4f9207e9d0eb329c6","datavalue":{"value":"0799.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291869$3BAE1D4E-362F-4F17-AD82-137128FD70F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa820dc859444e8bd30bc83b522a3fb170c4380","datavalue":{"value":{"time":"+1994-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4291869$6CC5FFE0-BB8D-44A9-A510-C6179EC4DF14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291869$AA56AE9C-85CE-41F4-A1B5-2D93CCB248E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291869$640E40B9-3E4B-4B63-8A38-FC743439D6AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b87ba89fb0b97a410a8b609436db7515916b234a","datavalue":{"value":"567633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291869$6F5D4700-F027-416B-9E3B-6ED7450BDC7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291869$119D97F4-240C-489D-9CB0-6D7EC6E52E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291869$0EC309E1-C286-4EFC-96CA-D302575B6DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291869$8B82A6F8-9988-4622-853F-E8EC96ECE7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1be9c7f9061e71374cdf3fcdde9f2be907b9ee7","datavalue":{"value":"canonical formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291869$62E4C6FA-A607-40AC-A8D7-580EB8B2FDD7","rank":"normal"}],"P16":[{"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":"Q4291869$7DFDEF4E-1992-4893-898F-527ACFAC2391","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":"Q4291869$71001746-DE5D-4D9F-9D69-C6BB6BFE6DA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5ad359a08c2ff55d92a589355b1517262d9dbe9","datavalue":{"value":"https://doi.org/10.1093/jigpal/1.1.13","type":"string"},"datatype":"url"},"type":"statement","id":"Q4291869$9C7ED3E1-63F1-46A6-A242-23338CE56A27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a5b1d7ce26b87b1875c0f6c1603e011e05230f5","datavalue":{"value":"W2076298571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291869$EB3A0DC4-C59F-4FFB-A129-C6261699FD6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9211a16d33a291a421d3b95807e624f659325dc7","datavalue":{"value":"10.1093/JIGPAL/1.1.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291869$22EC2729-B862-4119-9D2E-3194CC8C5A67","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291869$CECB8F06-C1ED-4966-9C4A-B232803D8F25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1cb6d2f44553728d8de4c4d813f0519a52c638d","datavalue":{"value":{"entity-type":"item","numeric-id":4372915,"id":"Q4372915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2beb77737269f1d883d47958a65804758f1650b6","datavalue":{"value":{"amount":"+0.8636509776115417","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":"Q4291869$BD6A37D4-3C5E-4A97-A635-DEA0F550DA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d366a4c6c510b9e7a4a28f5e649a93a122ca929b","datavalue":{"value":{"entity-type":"item","numeric-id":4704656,"id":"Q4704656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c7a579252b932ebf84c4b748fa08950dd78eca","datavalue":{"value":{"amount":"+0.8074799180030823","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":"Q4291869$347C2C3F-7EAE-47F2-B02C-DA73D349D778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e416c444868174ed34e8b8db32baf7711a11ef","datavalue":{"value":{"entity-type":"item","numeric-id":3691638,"id":"Q3691638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba80ea17e29fc40ab088c655ac8464093c18a4fe","datavalue":{"value":{"amount":"+0.8073598742485046","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":"Q4291869$E358F364-EED7-4777-967F-0FD201D0CFC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4291869","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4291869"}}}}}