{"entities":{"Q4511600":{"pageid":6541193,"ns":120,"title":"Item:Q4511600","lastrevid":41137146,"modified":"2025-04-18T11:16:40Z","type":"item","id":"Q4511600","labels":{"en":{"language":"en","value":"Algebraic polymodal logic: a survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1523607"}},"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":"Q4511600$05F1B93F-6180-4E94-B406-D54376CE44F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8075590c182a3f7699ba3fbed6c21dbce7e9e01b","datavalue":{"value":{"text":"Algebraic polymodal logic: a survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4511600$37ABA9EF-8D8D-47B3-BEF8-2E08360987B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"350fe81a74bc35c4a569e31268b0ca860b0befb0","datavalue":{"value":"1012.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511600$E485D1E0-6953-4F46-8BB9-68070E83E712","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511600$9AFDC7D7-D731-4696-B64C-A101022F95F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b0a79be519cf2c70225fbf164067e791560614d","datavalue":{"value":{"time":"+2003-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4511600$5031BD1C-FEE1-41F1-8522-2830C278A104","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c0e668fe5db847b04a7b108b745b9282635d802","datavalue":{"value":"https://semanticscholar.org/paper/7fe79876d075435f2a3a34ae83510350c59c34e0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4511600$13A5D552-1A06-4849-BA5D-BD76CD621E22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511600$81F2EB1D-CA42-4FD0-B0E6-93B41C0C5799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511600$CC3BBFB5-63A0-40F5-95B1-28FB0AC51B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511600$820404DD-076E-43A1-BF31-5630FFEE95C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511600$EB9C7BB1-8B8B-47B1-9156-FD51E39AB3F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bd2b69faac97c2f899a7c3eb1d72d9c4035fdc8","datavalue":{"value":"1523607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511600$E2FE288B-BE0B-4F02-AA04-A4A4711AC52C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511600$AD52DF71-A3DD-494B-82B4-F335A4E90A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1b27cd03b18c6b001924fc59198a44cb74f9681","datavalue":{"value":"varieties of Boolean algebras with operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511600$639DE1B9-755D-49DD-BE1F-32F59FE03FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511600$22D79E31-FB01-4273-9382-6000A100C050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511600$8E4F6730-FF8C-458A-9291-03AA3BF239B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511600$9262FF5F-A07E-48B4-9527-2643F3B9FEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511600$B5BB2F46-3682-49B5-84E4-5AD3FB583BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91368d6fc1c930cd5cea7cc4d87ccaf0c8f0bb80","datavalue":{"value":"polymodal propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511600$98E3ACDD-4C3F-4CB7-B9FD-CED7C1BD510C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511600$E2B000E9-51C3-413A-A6DA-B060D1E21A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511600$53660AC5-A94A-4CCE-9B78-F1683341508E","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":"Q4511600$3040C323-2A71-425B-B14B-372DF0F6BC25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3c3c7bc82973ab5aef56bf4a1ed63b09a7bd251","datavalue":{"value":"W1968372691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511600$77AE774C-21DF-48F0-BBA3-9C1DF6CD1073","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c30a8ad722591abe972c51dc57b0e9c6bf005c9d","datavalue":{"value":"10.1093/JIGPAL/8.4.393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511600$0D3728C8-AEA9-4B66-B17A-FC0F8541A641","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":"Q4511600$EC335E74-14FC-4180-A468-B49D84C7BAB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe52a8fff88e3d9a3e985efe82fddfd5b7e6b35","datavalue":{"value":{"entity-type":"item","numeric-id":2995003,"id":"Q2995003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d79a118ec8a9f5697b54fc8c15ec054f17bdd8f","datavalue":{"value":{"amount":"+0.9377879","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4511600$A45B0FCD-23D8-4DC1-9D5D-7A02BF28A7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec239d8502081891c5094ed767871bd4d59bdae","datavalue":{"value":{"entity-type":"item","numeric-id":4879200,"id":"Q4879200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12d4034f91f30c92b1bdde878f72699f9946f3bc","datavalue":{"value":{"amount":"+0.9213787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4511600$A964D05A-E4B4-47A3-8BED-DE1DC7551F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdc32fd3c64cd1dec7b77dc8edcee1e73f59969e","datavalue":{"value":{"entity-type":"item","numeric-id":1422446,"id":"Q1422446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a39b419dd08ea43cd51b65ea09df93c8a6d0a33","datavalue":{"value":{"amount":"+0.91825444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4511600$BD050F1D-86D6-4DB7-9E6F-43A3141F7ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9a85827000445f2db027c0992b8b738868ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5243399,"id":"Q5243399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f1f2cd4a2fecf291f4ccf77ee75850bded1c6ab","datavalue":{"value":{"amount":"+0.9167453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4511600$7C07D7B9-C2EE-4690-851D-BEB98026457C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e6e70573b32bc2e1bcdc519f53a69a26d42ee15","datavalue":{"value":{"entity-type":"item","numeric-id":685423,"id":"Q685423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0895d03fb17dc2e7ed7b668816b56ca1bc58c266","datavalue":{"value":{"amount":"+0.9105023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4511600$D6B83FA8-42A0-4AF3-9739-614C910D8F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b23f562fb031484f67fae9fd420fa5b7137505","datavalue":{"value":{"entity-type":"item","numeric-id":5202654,"id":"Q5202654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa6c0843ba5643c54a8021acd31e69e14009320a","datavalue":{"value":{"amount":"+0.90899354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4511600$7ED1D6AD-E7B7-4A1E-AAE7-C49710915326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49758ae7f0c24f36fed850c61c492dbbf6196fb8","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d651bd238493a41ee6e873298400d9748696be3c","datavalue":{"value":{"amount":"+0.9068001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4511600$34BED8A3-8670-4BA4-9B38-313E8A714B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"262fcb7ae9552937cc39c83dcc94d35a8803d697","datavalue":{"value":{"entity-type":"item","numeric-id":5187260,"id":"Q5187260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f67004c8bdf836bc164af9f84249fe73628df64b","datavalue":{"value":{"amount":"+0.9052465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4511600$73906C52-A252-4AA4-AE08-26D3424D7A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad6055e4a9f645d2ee95a120cade9303e2efd71","datavalue":{"value":{"entity-type":"item","numeric-id":5196848,"id":"Q5196848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb8396ebd1964edb412d3612e46d71af6b6f2fdf","datavalue":{"value":{"amount":"+0.904177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4511600$4CACD823-EE28-4368-BAD9-507202E15B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d5bbefaf2cc93c6a779efed0eacab21b374b919","datavalue":{"value":{"entity-type":"item","numeric-id":3601808,"id":"Q3601808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a40d208bed795c04d0fae8cd30379e696b2b117","datavalue":{"value":{"amount":"+0.9039292","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4511600$1B11EFF2-6D3A-4225-8B34-49BC149E8680","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4511600","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4511600"}}}}}