{"entities":{"Q3431963":{"pageid":3442666,"ns":120,"title":"Item:Q3431963","lastrevid":50072098,"modified":"2026-01-12T21:09:09Z","type":"item","id":"Q3431963","labels":{"en":{"language":"en","value":"Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5142578"}},"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":"Q3431963$E2FFF77A-D22D-4061-9A00-C970A5A6EC65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"164bfc86a0b9be422857433bea08389773102168","datavalue":{"value":{"text":"Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3431963$AB43755F-195B-465F-A3DF-58A201C1A1F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ed85d0c634d16db89c1e7093c9e6575864d0e0f","datavalue":{"value":"1128.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431963$44468400-4AB8-46BB-87D5-994EF8DD73A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbcbd9b52a6ddb457f866f9e91ab3def8d7a2fd8","datavalue":{"value":{"entity-type":"item","numeric-id":409327,"id":"Q409327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431963$EA9B2DD7-0DB4-4BA9-85E6-277962B3ED86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431963$4F9EF834-842D-4ECF-A7D8-BB1BAF14FD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7ea5f16cc816facd5f588acca584d7c7aab2792","datavalue":{"value":{"entity-type":"item","numeric-id":454384,"id":"Q454384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431963$EFC14599-5659-4583-83CD-79E51240D232","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e086009e2064e6604f7111e0363ab46c19c8ced","datavalue":{"value":{"time":"+2007-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3431963$DB40FCA7-6E66-4A6E-8E34-3DCE03A7D972","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431963$935D76C3-6C94-4C18-AA2E-FC50B899D453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431963$726200E5-E5AE-4A67-B569-E21F86B4444B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7a0c213026f59f48cdde5f23b9133b2067bb4c2","datavalue":{"value":"5142578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431963$04772AE0-3E8E-48B2-97A7-208835239279","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91beba67ee33cdde27bc6f5f85b3154ff0db6671","datavalue":{"value":"algorithm SQEMA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431963$CE2758E2-B294-4747-853F-DD7CDF2C6E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4ad674525e0e7a6e753369e11f5acd98e752615","datavalue":{"value":"polyadic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431963$D4BC63EE-B980-4730-948E-CEE979D7A46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431963$36E7168D-691A-47E5-A88C-B68E871B1FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2ee3fa61c42ca5b815448288eb8709b7cbc2e0b","datavalue":{"value":"first-order correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431963$ED02A858-F35C-40AF-AC64-EB41F5E02271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431963$117C1DD6-BF97-43FA-84F6-E49CC80CFD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431963$98504FFA-8F8D-4D73-9245-B27C1780142F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32c0234b8935e237c0680aaeb54d8e59eea56a5f","datavalue":{"value":{"entity-type":"item","numeric-id":15589,"id":"Q15589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431963$E2C67C01-C971-4CD2-9D14-E68D2E2310C5","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":"Q3431963$01DE9918-85CE-4552-8B7C-7C4B71074A0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5543ca01f87244a145f95bd02d5eea3cf197c27","datavalue":{"value":"https://doi.org/10.1093/logcom/exl026","type":"string"},"datatype":"url"},"type":"statement","id":"Q3431963$D14C1096-C14B-4163-8544-D3DBA851210A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb62428922400d92387dbb08c240c1398511f9f9","datavalue":{"value":"W2051649506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431963$B50B287D-8394-47A4-B026-837B4B9576CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69c8c70b4a59cdbf6b55d785256e5e72525a21ec","datavalue":{"value":"10.1093/LOGCOM/EXL026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431963$3BE24479-E2FB-40F5-B05E-4705CC515A25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431963$6A8C2ED8-8FA6-44F7-BCC2-6812309C883A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925fbffda528c02aac39344d06dd1a17c0231c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5324584,"id":"Q5324584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff4278d1ad733532fbc42a4e974ab79cbe1298a3","datavalue":{"value":{"amount":"+0.921313464641571","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":"Q3431963$85028D61-901D-41EE-9B73-6DD35F13FCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0411f7942d00b9b5179ac8ca344e8b19aea35ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3643312,"id":"Q3643312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39c2d19ab505c3da06806d599bef1e5bc73bd288","datavalue":{"value":{"amount":"+0.915391206741333","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":"Q3431963$797DFC95-3B6D-4D9D-8AD8-18C1A3B6E187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096f23e4a638f66e13e7263b3d2d1d4bbadd1e5b","datavalue":{"value":{"entity-type":"item","numeric-id":5310652,"id":"Q5310652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f48c3c03244e3d4a09b0d8edd5eeb08c444c05e","datavalue":{"value":{"amount":"+0.9128909707069396","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":"Q3431963$D6AECF34-BACC-489B-85B8-29E02876A551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e713091ed4a3618d64dd00a19b9397626c4aed","datavalue":{"value":{"entity-type":"item","numeric-id":631077,"id":"Q631077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0c1102df31d58ad5bf76fefeebcccd6f19f7c7f","datavalue":{"value":{"amount":"+0.8849248886108398","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":"Q3431963$6C25D76A-0D6D-47A1-9A14-E45DFEE96893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ea8d8165302dc2ce23bf39f392b37c4a3acac3","datavalue":{"value":{"entity-type":"item","numeric-id":4982120,"id":"Q4982120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85722d0064a1f7f5783ac991a3d91b2d36296b07","datavalue":{"value":{"amount":"+0.8746992945671082","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":"Q3431963$05B5EFD6-D378-4D20-BDD8-C0921C5EEE2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3431963","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3431963"}}}}}