{"entities":{"Q4521289":{"pageid":6550882,"ns":120,"title":"Item:Q4521289","lastrevid":47549455,"modified":"2026-01-02T01:27:46Z","type":"item","id":"Q4521289","labels":{"en":{"language":"en","value":"Embeddings of propositional monomodal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1545324"}},"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":"Q4521289$2C30E4A3-8C57-40AB-B0AB-99CA97655BCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f50c50d4e738a4c0774797e55c3071774e501cdf","datavalue":{"value":{"text":"Embeddings of propositional monomodal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4521289$B73C0558-9553-4598-9370-D8641D0138D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1025e016d6970c27ea83af15ce6c21b1d462a4a6","datavalue":{"value":"0963.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521289$5ECC2950-9FD7-4AF5-8D5A-6748A76C006A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90979b81b018a348b1a5b71f174fe9ac84bc6b6d","datavalue":{"value":{"time":"+2001-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4521289$A0B79470-4AB8-443C-85DD-265910F15BA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521289$68B4ED49-333B-4C12-B7A0-B09867A7EF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521289$5DACC0E1-1E8A-4D24-924C-96969D1F606B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a12e80c913c9294384f510c09747e13031574b9","datavalue":{"value":"1545324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521289$0BCD983E-F0C9-4792-A40A-53EE4B3153D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521289$26D356DD-30D0-48D7-8F06-5BFCA7570B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521289$E8EF29A8-FE26-4391-83DD-78E0A269FA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86d9b4ad5a06064fd9c9bcbc50f8026b1c776dc","datavalue":{"value":"embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521289$D49BFB7A-2EBA-4844-BC76-CD72D9DBDF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c71ea0a54982ef351f7981d7952b275f5753d5","datavalue":{"value":"expressibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521289$B9D88C53-C41F-4528-8F4C-6653CF3288CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a44c82ef10600f6e342e14b8a2cd59d5438c3f88","datavalue":{"value":{"entity-type":"item","numeric-id":1347607,"id":"Q1347607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4521289$35D69FCD-EA22-44B9-BB4B-C3CBAC885B94","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":"Q4521289$9F5C82E1-753C-49A0-85DA-2147D7A011FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3cdfbc035e2f2b60c9cc88c56757e2dc5643ac1","datavalue":{"value":"https://doi.org/10.1093/jigpal/8.6.861","type":"string"},"datatype":"url"},"type":"statement","id":"Q4521289$F7F73551-4569-4897-9D9B-746501F70F29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92a472a8abcbefa0d2a7aee5ab877b79b21f6eed","datavalue":{"value":"W1963857568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521289$86009267-8152-49E9-9222-E83E0AE876DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a10f4b7b951e67b30e6cac13c0c7d445ff18b10a","datavalue":{"value":"10.1093/JIGPAL/8.6.861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521289$4EF3591E-17D6-4B9E-B163-E1712A726C1B","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":"Q4521289$888324D4-8AEE-4E2A-A2AA-C16058AD7127","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1218e63a6dbcecb98399eb3d7afc63d038889162","datavalue":{"value":{"entity-type":"item","numeric-id":3391744,"id":"Q3391744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e863bb48e5a66126c15bc1bfb21ac1818613fb4","datavalue":{"value":{"amount":"+0.802415132522583","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":"Q4521289$AD463331-C19E-4016-AC9F-324E8664A6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b2fba66e53ff81ddddc511719b39d326113c99","datavalue":{"value":{"entity-type":"item","numeric-id":3803087,"id":"Q3803087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e90d3b9a9c9c9d39d108eb48bd85eb80429f674","datavalue":{"value":{"amount":"+0.7810356616973877","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":"Q4521289$F8943C67-BF60-4149-BC1A-26C6349B5F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70f5b8f217dacd021bb952a18fd450d6bc3c89f8","datavalue":{"value":{"entity-type":"item","numeric-id":5395248,"id":"Q5395248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c6259f2089a4f44a01c2217c4a62d153a9d4d4","datavalue":{"value":{"amount":"+0.7673770189285278","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":"Q4521289$F254280B-39BC-4AAE-84A2-D8ECB863F2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0dda82a5ce75d2f4def52abe591c202144e4907","datavalue":{"value":{"entity-type":"item","numeric-id":3726082,"id":"Q3726082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf02bc7a976f698f2b3da4e478db2df0b679e6c1","datavalue":{"value":{"amount":"+0.7654733061790466","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":"Q4521289$1FEC6BD6-3448-4968-8FC0-A77F501215CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95662d17a9d645681e4a4bfd61d894d787c9a7b0","datavalue":{"value":{"entity-type":"item","numeric-id":691133,"id":"Q691133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"290a499df91c03eeb41c3e681260b9ef6a95bd3a","datavalue":{"value":{"amount":"+0.7626156806945801","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":"Q4521289$EA1FFEFF-AAB6-48E6-A807-D07E4BD3E819","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4521289","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4521289"}}}}}