{"entities":{"Q2366342":{"pageid":2377085,"ns":120,"title":"Item:Q2366342","lastrevid":43951770,"modified":"2025-11-18T11:37:42Z","type":"item","id":"Q2366342","labels":{"en":{"language":"en","value":"An analog of Beth's theorem in normal extensions of the modal logic K4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 223708"}},"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":"Q2366342$0F0D57F8-C0B6-44A5-95BE-4EC05C5D88C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1affe699292c7a825f9b2c3eb29469074339336b","datavalue":{"value":{"text":"An analog of Beth's theorem in normal extensions of the modal logic K4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2366342$41F86EAA-20EC-4200-AB21-8C232435D9B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"364945329ef038cb27fe911333f2b83336c495e0","datavalue":{"value":"0834.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366342$CAFF9F35-C3A4-4FE3-8946-D141C9F9EDDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49690e334ad5b3d013a1b054b4e30f2f2413d832","datavalue":{"value":"10.1007/BF00971028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366342$F5F2BA4C-15CD-4B2C-A549-11F57BCC8D56","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366342$88AC3CF4-D527-45AB-8895-22492A8ABE47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2366342$5207AFB3-213C-4EE4-A4C9-2BD032F8AA34","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"85534141e49e6590b104f5464a4f217a3e71f9b4","datavalue":{"value":"See the review in Zbl 0795.03026.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366342$BFA193DE-2F45-46DA-83E1-084D33A6ABCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366342$7C8EF518-21DF-480C-AD1D-87EA0E6062FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366342$2A104335-4774-480A-BF65-08EE2E21317C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa58cbd44a62d0ba319ec4474f722fe14dc75672","datavalue":{"value":"223708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366342$6F35A9D1-20DD-4A6A-B00B-1A83E721D146","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea719b363176bc9a50fff27fab38bff9497aa667","datavalue":{"value":"equational class","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366342$F749E66D-6D43-4490-8DF3-9C11A2ADA490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615f485e2ef5d711dc6b65f3aad7478d15f8b7f7","datavalue":{"value":"Beth definability theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366342$29A07DDD-CE0A-46DC-94B6-B0F5BE666666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99a004505a4ea68ccaabd7c7fce069ee882645ff","datavalue":{"value":"normal extensions of the modal logic K4","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366342$5904CBA3-D444-4121-BE2F-8A77157C8C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54ccbcc8b9303147cca122cf94f1800c070f1799","datavalue":{"value":"ultrapower","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366342$C2BAFC1B-050B-4A5D-9109-0A287441E485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"600672ab55ae471847e00a7bc41bc9851fc3ede8","datavalue":{"value":"modal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366342$45E97870-3BE9-40D2-BF14-5750C47DFFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf02195d7c3ea39d1ca241139afc48251cb25cb","datavalue":{"value":"normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366342$AAD253E8-6F04-4794-854E-5B0232388F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe726506e6cf57ecdc8b0f7f85434b9af83f6c38","datavalue":{"value":"two- element Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366342$E286E650-FDEE-4E5B-AA0C-AEC3162D0C95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366342$72784280-D623-47FF-B314-2844A4717F74","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":"Q2366342$97AC9EBB-CE8A-4CDE-A79C-4101B4FDBFB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7e200623c0db8babd002504b2488a3561c7266","datavalue":{"value":{"entity-type":"item","numeric-id":5824680,"id":"Q5824680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366342$430456E1-F952-4398-8A21-C0B00D8C6FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366342$7E96F95B-F12A-4D30-B4F3-E8ECAB5AFD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9d1d011af220a7af2b951d8f673734f5f6d08c","datavalue":{"value":{"entity-type":"item","numeric-id":918958,"id":"Q918958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366342$7AE99CE9-FE24-4D6A-8840-103D1247319F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366342$5C1ED256-D0CD-473C-9B42-39ECF850086A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eeaf31c8fd9a9de33cf5bc0327064e140d51b7d","datavalue":{"value":{"entity-type":"item","numeric-id":1150599,"id":"Q1150599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366342$33771E97-9356-4B61-A98B-C7BF48964AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366342$038B2C0F-C262-4122-ACB7-3E788600E29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366342$A0E07D3A-B3BA-47AC-83EA-73596D7C0416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1689434b8a8715c4866359ea8026b729021b6d","datavalue":{"value":{"entity-type":"item","numeric-id":5650663,"id":"Q5650663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366342$CECBD34C-18E9-4485-A0EE-0124CE3872F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e746d596ec0a02ea78c508dbfd871837e35f1ffc","datavalue":{"value":{"entity-type":"item","numeric-id":5641128,"id":"Q5641128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366342$E2D4AA07-3E35-4C73-B912-F6DB19215803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d60697a31a720ca3818e290670745c2871f117","datavalue":{"value":{"entity-type":"item","numeric-id":798647,"id":"Q798647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366342$4FF4A49C-6BF4-4175-94B9-15ABD6214DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd4d324bc6273766a52bb608ca79459be84f9c49","datavalue":{"value":{"entity-type":"item","numeric-id":3784045,"id":"Q3784045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366342$4629DEF4-096C-4175-BD24-688CB23D6E62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2366342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2366342"}}}}}