{"entities":{"Q4380448":{"pageid":6410047,"ns":120,"title":"Item:Q4380448","lastrevid":46537350,"modified":"2025-12-25T00:01:45Z","type":"item","id":"Q4380448","labels":{"en":{"language":"en","value":"Products of modal logics, part 1"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1129208"}},"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":"Q4380448$D3159510-16EC-42C4-89AF-6272CC4C8E18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e497f45e36b4fedd4e68f06e5b6c9b12fafa4544","datavalue":{"value":{"text":"Products of modal logics, part 1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4380448$DEDD2B6B-267A-4669-B8F5-FC11B32DF29A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e12d9212acd2e35bc6d0826960bd63ef0faf1c54","datavalue":{"value":"0902.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380448$D664D671-E1EC-4BD6-80EF-59B6E0B4A381","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b54eb6f24cdec251693dac073683f53f8dacf64c","datavalue":{"value":{"entity-type":"item","numeric-id":472807,"id":"Q472807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4380448$CC096999-905B-4075-BF8A-5189AFED6EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4380448$1699D314-39FB-4C8C-9E71-F7B07A2C84D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd4b049ed45c807df2d896dae78bc4c4cca7a746","datavalue":{"value":{"time":"+2000-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4380448$B1349505-7D2C-4B48-A293-F2A93A1F7EE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380448$F016E5A0-999C-46A7-915D-60D29E364547","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e11637818851c7cf60c303be116cb8d1b6de7a9","datavalue":{"value":"1129208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380448$475B6824-FA35-4CB7-BD7E-5B1B39BED53D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5ea4da1e094521f740805d67f741735cecc0600","datavalue":{"value":"multidimensional modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380448$CEE3CE4C-C3D2-4774-A660-801C4011BAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cec7262029f6852df9c4fb14e7822e43c2697f10","datavalue":{"value":"products of Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380448$FE39E325-655A-4B60-8F87-B3C6CC0AA60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380448$995C1378-2673-460E-AD9E-4689B6C3C3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380448$BC55BE4E-2B02-436F-995B-7A26E9ED658B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380448$FAFECC8B-A7FB-433A-95F4-1C7B49923DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9489ed72332818f7aa7b13fffbeb3c67a899bdb7","datavalue":{"value":"finite depth models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380448$D7C6204F-0942-487D-9BDC-5F469DC321CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380448$89359056-60A1-4A1C-B5C7-0520E72363E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05bdd07461d09bc38695333a1cd0618fef804a5b","datavalue":{"value":"filtration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380448$F8996D07-EC03-457F-B2E3-872803080D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380448$6562B6AB-7603-47BF-91BA-418A4AA2109E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e97315ad5b66228e5a7bdc4c765a681216d8c1","datavalue":{"value":"products of modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380448$B9591A7E-51E9-4AD0-B5A7-1AF4603ADDA8","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":"Q4380448$6A55548A-AC1A-4833-BE31-EAE43F7B3A94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"028e5a79498febfaadd8e450346d3a0f9d4c1c25","datavalue":{"value":"https://doi.org/10.1093/jigpal/6.1.73","type":"string"},"datatype":"url"},"type":"statement","id":"Q4380448$F21ADAC9-1A6A-4433-A05B-B9B54E5F517F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85f5759ec5865db588c0ce8b77e04a25e3a0b688","datavalue":{"value":"W2118324648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380448$60ADDC6B-208A-4CB2-9BDA-54A608CDE34C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1eef77d2ba772220b7d736d13b9a2f9847fcdc69","datavalue":{"value":"10.1093/JIGPAL/6.1.73","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380448$7F51CD6A-4C12-4862-BEC0-C03E3300A17F","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":"Q4380448$FE861C33-A333-447E-A9E6-48F4C1549936","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab363b7c791b644d398fd1902a1b6cd9f6fcc9e","datavalue":{"value":{"entity-type":"item","numeric-id":1863827,"id":"Q1863827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ddf6e2772a642b711df6538b1763489c3d85482","datavalue":{"value":{"amount":"+0.8673056364059448","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":"Q4380448$10F72E77-AE81-4A7D-82D6-8F5339D344AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c41a9d42c5a68d348f643666968eba0f08cb49a","datavalue":{"value":{"entity-type":"item","numeric-id":5718700,"id":"Q5718700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa88783bb38bc99cc202140f42764f98c17008d","datavalue":{"value":{"amount":"+0.862523078918457","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":"Q4380448$2873344A-43E0-4280-AB33-A1ACA95A2BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f7ae6e9dec47858e9c1ceb6119b4027e7b90fb","datavalue":{"value":{"entity-type":"item","numeric-id":3085168,"id":"Q3085168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3968d4af6c1f79515d946bb53b42e21fa72cf5b","datavalue":{"value":{"amount":"+0.862120509147644","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":"Q4380448$BF5521F9-8F83-4635-B78F-FE2AF83E40AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95534a014d834799deac2107f757923e02f2f4c3","datavalue":{"value":{"entity-type":"item","numeric-id":4508270,"id":"Q4508270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041213e2af8a3e51dc2fc4e751fc53f79da1e4e9","datavalue":{"value":{"amount":"+0.8553265333175659","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":"Q4380448$065E29F7-9D42-449C-9155-2FA171BE5CF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4380448","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4380448"}}}}}