{"entities":{"Q2377059":{"pageid":2387802,"ns":120,"title":"Item:Q2377059","lastrevid":78729953,"modified":"2026-05-06T12:18:16Z","type":"item","id":"Q2377059","labels":{"en":{"language":"en","value":"Some normal extensions of K4.3"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182010"}},"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":"Q2377059$06F2457F-1B6E-4B32-856A-4D5B4A0B089E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68410c5900c8436037e2ec4e7415bbf386a87a3a","datavalue":{"value":{"text":"Some normal extensions of K4.3","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2377059$E5D2886D-0765-4DF5-A941-8C663CF89C7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03d8f3b36cd84adde5bf714036fb8701d31c0753","datavalue":{"value":"1272.03103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377059$926176E6-C85D-4031-81BC-E9D571030B37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377059$7E4B500F-04F1-48AA-9A17-FBD3256B6BEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377059$48D5C0BD-0BF1-4E79-99E8-4F6D667C3D79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3597cb1f80734925febdf12e95bdb9febd2257af","datavalue":{"value":{"time":"+2013-06-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":"Q2377059$277B49E9-0EC1-43F2-BCA4-7FC600D8A399","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"da9c974616023809a6d8f230206f1e8e9006b02e","datavalue":{"value":"A sequence of normal extensions of the modal logic K4.3 is defined and it is proved that each of them is finitely axiomatizable and has the finite model property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377059$0D559CA9-FEF7-4DB5-AFFD-DDF970728BE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377059$16B117BC-C707-4246-9EC9-08FBB8C8D2E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"363f3bd58618b17ee618f6c9e4c8e3f157656ab0","datavalue":{"value":"6182010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377059$504E7D21-2247-4F8F-A991-305A0F59A72A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a931c4267253276596b8805adc0978823f4138e5","datavalue":{"value":"normal extensions of K4.3","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377059$E60CC952-19C3-4E25-9ADE-2481BF806371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377059$59DFD199-02CD-410F-83DD-4350CF1D5ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377059$D18EACF8-EC07-4A5C-949D-1524E78B898B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500e450443ae18a05a00c5f0176a8adbab0babe9","datavalue":{"value":"finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2377059$7B8C1B87-5ED7-4C64-9CF2-E35CFB0AE764","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377059$FC078354-06DD-4611-9A38-F1DDE7F76568","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":"Q2377059$969DD4FB-E4E0-4826-A8CA-67F3C7B651AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5d1522712d50c0802a5ca23d8de595359d2a832","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9398-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2377059$927721B3-A770-473D-BE40-0A8397321D36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c2cff27ba57f26861ca9f0fa0c6d62b968d6fc4","datavalue":{"value":"W2028174037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377059$5C30ADB6-940B-4D0F-ADAF-D7AC06D67840","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377059$ADCC877F-DF81-4AF4-9B4B-E2BA70601EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fefae4aad4ffe92f5da65d23427de4252bca48f2","datavalue":{"value":{"entity-type":"item","numeric-id":5533177,"id":"Q5533177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377059$25EDB4A0-390F-4EC8-9092-E660992793A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb352cf3a8aa1bcadf6623070f33c0f521239455","datavalue":{"value":{"entity-type":"item","numeric-id":4342093,"id":"Q4342093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377059$3864D312-E2BE-45CE-8259-ADA169C52454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377059$37FB5E8D-B5B6-467F-9A96-CE623EBC323C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b78f04a769bf9d49ac8bd1c0ab56559bb3ccfe8","datavalue":{"value":{"entity-type":"item","numeric-id":5635425,"id":"Q5635425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377059$5733542E-FB22-4632-813B-D95D4BD779D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e077e7607e20bb5a3fdafc25ee20d2f189f763a0","datavalue":{"value":{"entity-type":"item","numeric-id":4773678,"id":"Q4773678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377059$BB15FCD0-0644-42A0-AEBE-9505C2A6250C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377059$D39BB4BB-3E8B-4E92-A1B8-6F04DA6238ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377059$68FF9E2D-EC00-472D-8E64-D4D57BADC6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e250ba8c2b1f0ecbce7e2a3047a90fd64d76f9f4","datavalue":{"value":{"entity-type":"item","numeric-id":5804992,"id":"Q5804992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2377059$D8500B3F-AD18-43AB-972B-B40A84234543","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53eb0331e7718093d39043e7b7affe6fc6bbafe0","datavalue":{"value":"10.1007/S11225-012-9398-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2377059$2CF0E63E-8287-4884-B8B1-28964F0B9CC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"165115f64178eae9e237f560bd6f7810ce00ed82","datavalue":{"value":{"entity-type":"item","numeric-id":4323828,"id":"Q4323828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"692c451a41913147cd86f3e50c378c2e4942df94","datavalue":{"value":{"amount":"+0.8509557843208313","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":"Q2377059$FD702F96-5651-4C89-A5B9-8EEF397F80CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"874ad9be1eb8f1fc608f0d99d7e57e89c13a64c5","datavalue":{"value":{"entity-type":"item","numeric-id":5483007,"id":"Q5483007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23eff983c48ea0fd19dea79573d50aa26797bb85","datavalue":{"value":{"amount":"+0.8471627831459045","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":"Q2377059$FDF4240F-1F7B-40B1-A1B7-7987BE152A8F","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":"7826ae60dd344afe73e8f029d0d3ee94b199dba5","datavalue":{"value":{"amount":"+0.8405563831329346","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":"Q2377059$BF78E155-3352-4211-88EA-997342C03F9F","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":"87b8bf0536196139bbdbfdc2e5a00709d477b994","datavalue":{"value":{"amount":"+0.8405560851097107","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":"Q2377059$6E1087D6-8E13-4354-A7BE-B73D0B699A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"602176a39ad1ad5829183620756797b3a8732975","datavalue":{"value":{"entity-type":"item","numeric-id":3712313,"id":"Q3712313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287dc2dcc914ea7c96f5c26382517a91583a84fe","datavalue":{"value":{"amount":"+0.7909777760505676","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":"Q2377059$C455BC9E-8DCC-4972-A1F8-9BB940D64559","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some normal extensions of K4.3","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_normal_extensions_of_K4.3"}}}}}