{"entities":{"Q5145647":{"pageid":7175218,"ns":120,"title":"Item:Q5145647","lastrevid":94606781,"modified":"2026-06-05T07:14:49Z","type":"item","id":"Q5145647","labels":{"en":{"language":"en","value":"Modal intuitionistic logics as dialgebraic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299481"}},"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":"Q5145647$8186A2FF-CFA4-4BD6-8160-9D48A418511B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7281546fc70cd885ca9df8fbf246a6abc1bf789f","datavalue":{"value":{"text":"Modal Intuitionistic Logics as Dialgebraic Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145647$2771AC25-11FE-455B-BFC6-135BA5F589D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a876634f33dd9232b82decbd137151d34d017ae","datavalue":{"value":"1498.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145647$CB9A83D1-5C3C-4D9D-BC85-C4DA23D26E76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b555c711713da56d88e8a21ac758f26e2aac4058","datavalue":{"value":"10.1145/3373718.3394807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145647$8BE069B9-41CD-4B09-B318-15A2E7BB470B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81242a8eba707b179b483553438b1a78dda87738","datavalue":{"value":{"entity-type":"item","numeric-id":2144185,"id":"Q2144185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145647$D7985C53-7494-4427-A09A-A96BB4CD3A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145647$8BEE8184-E9BF-4181-91FA-ECD3E9205BBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145647$8DAA69BA-DC92-4F1B-BF32-CAF2DF65E08E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145647$EBBEB4B6-A2B6-42DA-A056-F9C4FB6D3B8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145647$7DB1C9C4-91BA-43C0-84E1-68144E62A36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145647$F30E008D-9EC7-4F67-BA78-DD475A08594D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145647$BC6F9771-CAC9-49DA-93A9-6F038BD0F338","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"918834e3e435344d28b64c30e7bfddca8481fca1","datavalue":{"value":"7299481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145647$6C1079ED-98A8-4C38-8BF4-3A3EE6EA4FF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1847f1d1eb2343299689288309cd1e6ebf63ef","datavalue":{"value":"coalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145647$F9453427-96A0-4851-BE82-DA936256968A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8048df89e8ad5b63b113d25a642a5e9279e5afe5","datavalue":{"value":"dialgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145647$5E8961A9-DA90-47D0-8CE5-F4A579490F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145647$AB90B775-5750-40BD-A85D-8220B11EE0AD","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":"Q5145647$22AE8418-FD21-4060-A768-66BC78AA573F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b48b766e83d235b970b9ffd5ed997bca68edbbf3","datavalue":{"value":"https://doi.org/10.1145/3373718.3394807","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145647$F72A3D7C-5D3F-4FE7-8599-0F42F218F935","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91df6c1a056cda14ed761e1a60d9594769bcc0c8","datavalue":{"value":"W3031573046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145647$1D49B010-8160-4CF6-9D5D-4A5DF17A0A64","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"27cb4ad52cb354b7c9acae5c66816db4731173ad","datavalue":{"value":"Q130841261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145647$208B597A-CB4D-4E3F-9D91-815A4A30BBE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb69908545b9338ea357fd1cc14c26830226e279","datavalue":{"value":{"entity-type":"item","numeric-id":1977898,"id":"Q1977898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c7041026b3662d6a53cc7a42a6f125757eef65","datavalue":{"value":{"amount":"+0.7979630827903748","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":"Q5145647$709F63D0-3586-46A3-83AD-01A17924B9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de78a50c621b87933bb71bf3e2585e5d8f4a50c4","datavalue":{"value":{"entity-type":"item","numeric-id":3731574,"id":"Q3731574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42645afd570ae95938ed56c08c02c56499d61208","datavalue":{"value":{"amount":"+0.7979627847671509","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":"Q5145647$89230436-4AD1-4DD4-B60B-17377817841C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b55b422feea490b5131923cd4a61e76a996150","datavalue":{"value":{"entity-type":"item","numeric-id":4636306,"id":"Q4636306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14dc0af04bd9b905869d255b22949d58aaa6dfeb","datavalue":{"value":{"amount":"+0.7773509621620178","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":"Q5145647$8DC6282A-DEF2-44C7-BBA2-8A262D061D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b583cc996c663254efb6b20a66488980023e11","datavalue":{"value":{"entity-type":"item","numeric-id":1346248,"id":"Q1346248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eb39a8f3d9c60211f53b4588c1a2025e485f22e","datavalue":{"value":{"amount":"+0.7741464972496033","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":"Q5145647$A4F0E1D6-5FAE-4DC0-9926-B1D7C7792B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3545df8912f15006d9c05ff2d38f858072effeb4","datavalue":{"value":{"entity-type":"item","numeric-id":4215605,"id":"Q4215605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eb39a8f3d9c60211f53b4588c1a2025e485f22e","datavalue":{"value":{"amount":"+0.7741464972496033","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":"Q5145647$2381D8D1-BF98-4DB4-8E0F-DAE2ADB714F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal intuitionistic logics as dialgebraic logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_intuitionistic_logics_as_dialgebraic_logics"}}}}}