{"entities":{"Q2804039":{"pageid":2814777,"ns":120,"title":"Item:Q2804039","lastrevid":52517534,"modified":"2026-01-22T20:51:50Z","type":"item","id":"Q2804039","labels":{"en":{"language":"en","value":"Finite model property of normal modal logics and constant formulas: an example"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6574606"}},"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":"Q2804039$E5FB9DB5-A7FB-4B62-9B49-0EDA29382460","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc1f3f6a5020b916f0d03e9e3f94e8cfd96387eb","datavalue":{"value":"1338.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804039$04670D1D-692D-4520-B5F6-EE507FE3FD7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6bab1e04a2dd935c04e3f5ad0d3bd237dec213f4","datavalue":{"value":{"time":"+2016-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804039$428D0CBC-31C7-4046-9C3C-B021299D609A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804039$1C0E3B4F-0426-4545-8C78-1F36359897F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21c5d1419e3bb260a196878e60b5b6dcb474f90b","datavalue":{"value":"6574606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804039$C8C2D867-8279-4D41-B4CD-EF82C03CCE4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b6d81377bb9fe493e0b31a63d9717069578b5b3","datavalue":{"value":"normal modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804039$E0D96E51-6850-4182-861F-879EA3588B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804039$309060D1-17C7-4057-BB05-ADF73D38E15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9088904787067f8a99e3d3550b2ccafb6bbea4ce","datavalue":{"value":"constant formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804039$B0FD547C-F8BE-4C6B-AD87-15878F17BD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804039$1D338153-92A6-4DC5-854B-5BE8B1125474","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9766154da8868329ab713f56377e5e5d3217fc5","datavalue":{"value":{"entity-type":"item","numeric-id":1181480,"id":"Q1181480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804039$C20C6B0B-5673-49C3-9B93-64B1246AC30A","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":"Q2804039$A56489AD-0371-44A7-95BE-0A5CB89CCE55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f06399b314a59b90a126aa2743718ac2a4563cd","datavalue":{"value":{"text":"Finite model property of normal modal logics and constant formulas: an example","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804039$E3F74CEF-7114-4C1C-94AA-40A6AB967429","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"149112218bdb038213a4d05b46a1244a47d21344","datavalue":{"value":{"entity-type":"item","numeric-id":6581940,"id":"Q6581940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804039$0C43D9AF-37C5-4B8B-8B8C-544C47F095C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee03e8a044a6e8ed1f625de41f70519c2204a530","datavalue":{"value":{"entity-type":"item","numeric-id":742479,"id":"Q742479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4572b90fc8106d611fbfba8ed5593643f6140f3","datavalue":{"value":{"amount":"+0.7991540431976318","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":"Q2804039$891597A5-7A17-481B-A3DB-FA6EEE4ABECB","rank":"normal"},{"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":"659f80f5c38b2d5cd75285afae341e21e2e0ddac","datavalue":{"value":{"amount":"+0.7886055707931519","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":"Q2804039$E1FF9487-4AFE-4E54-AD53-D5D1B23F2DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0ca458cbf43856c1561f865d875c267d3f988a","datavalue":{"value":{"entity-type":"item","numeric-id":4440791,"id":"Q4440791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"949f58d0b3fda3a16575feaff28e41a3e3bae4bb","datavalue":{"value":{"amount":"+0.7886049747467041","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":"Q2804039$F888C135-18D5-47EA-8D5D-0BE33AFB1F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3621047a3ff8a2f8cce960cf1f9d42ecfc70f47","datavalue":{"value":{"entity-type":"item","numeric-id":3655206,"id":"Q3655206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f70c9dcf97633c86b4a4afdace7460f9c8272d","datavalue":{"value":{"amount":"+0.784211277961731","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":"Q2804039$29FC2DCF-E351-46CB-A386-26E258CE2994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e1be4ce8c966efd6d5252748d8af90e82f47d5","datavalue":{"value":{"entity-type":"item","numeric-id":4345015,"id":"Q4345015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77d97d19d0abc386f2a27c4c88e0c8e84fbe8d90","datavalue":{"value":{"amount":"+0.7747849225997925","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":"Q2804039$20FAD939-39F6-4117-A278-F968866EC7FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804039","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804039"}}}}}