{"entities":{"Q2983393":{"pageid":2994118,"ns":120,"title":"Item:Q2983393","lastrevid":85296134,"modified":"2026-06-03T06:47:35Z","type":"item","id":"Q2983393","labels":{"en":{"language":"en","value":"Dual characterizations for finite lattices via correspondence theory for monotone modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718434"}},"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":"Q2983393$66E0203C-14E7-4220-870B-CF4BF525E9B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3a37f5ba862d4898facd4827448c9b0511f91bc","datavalue":{"value":{"text":"Dual characterizations for finite lattices via correspondence theory for monotone modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2983393$1B248DBA-F735-4D96-B811-4A1E40A5332B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2e93f7f9cb64e7071531d9c98cf195bc2d7e3a6","datavalue":{"value":"1444.03173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983393$6B2BC87C-7BF3-4B3D-B47B-BE9341BC58A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc867214b7b4689a846e89d501237ace7cc2786b","datavalue":{"value":{"entity-type":"item","numeric-id":1791145,"id":"Q1791145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983393$BCDA4949-9CC5-4677-86BA-431150375F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5841b83a718cc098e69cb8d263beacc1e29be24","datavalue":{"value":{"entity-type":"item","numeric-id":393905,"id":"Q393905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983393$72B92D22-1BAA-40A6-9EED-733DA003917E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6be09e7ba570f5faa41154bd4f257af7db691c","datavalue":{"value":{"entity-type":"item","numeric-id":240375,"id":"Q240375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983393$C93AA357-4A2F-4D0A-B611-FC079C5249B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41be8a7ccb30ef6453be136c830247d17a0d171d","datavalue":{"value":{"time":"+2017-05-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":"Q2983393$95BD37A5-8979-41BD-8383-51DE868C122E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f70a2da2afe887c8353fb7b3df631fa0b55b811b","datavalue":{"value":"https://arxiv.org/abs/1408.1843","type":"string"},"datatype":"url"},"type":"statement","id":"Q2983393$5CED7EBB-E4D0-4E50-A55B-1A3C99E7DFD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983393$A5310B5E-3E75-4544-AC68-E248F995EB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983393$0656563B-43FB-4F94-8428-E65522B1C23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983393$FDEF81A1-F94C-4C7A-9D38-F0EFC08F77D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983393$7A982225-E276-4ADF-AE89-D8801A5AB41A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"674ea9b24ca92fafef69afdebb98f95070abb55a","datavalue":{"value":"6718434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983393$8FF2821E-52AD-4A83-813E-C25B6291C5AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30685e66f52a189960de49ca7064a387ebc3307d","datavalue":{"value":"finite lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983393$D5441F8E-0ABE-496F-A692-1D54CAED5B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2530a29a5059e11311890e22f1b745a9a830b036","datavalue":{"value":"monotone modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983393$41170570-02CA-4778-8C6A-014512197281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c97cf87e639697a57111315622ad6b119c3eb71","datavalue":{"value":"algorithmic correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983393$2D166686-794A-4EAB-956A-B065B9C7AA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84e1ed8d3e152d2808bd9e0c0a578a9463ab6b9f","datavalue":{"value":"dual characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983393$4BAE54C3-3B4C-428F-B0F3-239B3600E6E1","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":"Q2983393$FAC7595A-7860-4227-A0C6-03AF43A4237E","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":"Q2983393$7862E848-D13E-41EC-96AB-99031B7C0B49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c61bf9317f73fbcb74fa4b0fdcf10d74927a130b","datavalue":{"value":"W2963033294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983393$A5CF7AF8-8784-4EEE-BE0F-5913DB4666C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81deea83e87a581f553dbff3aaeb35ba4decbc3c","datavalue":{"value":"10.1093/LOGCOM/EXW011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983393$D70FFC56-B928-47F8-BCD4-13DC08D81B65","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":"Q2983393$0F1E53A0-7534-4077-B386-30AFF447367C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06a7b178a49417da8020c48217909cd235b0569","datavalue":{"value":{"entity-type":"item","numeric-id":2273010,"id":"Q2273010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a38a9341b46443a7ecdcf3adf9bac94cc3d8d85a","datavalue":{"value":{"amount":"+0.7289865016937256","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":"Q2983393$3FE219B9-89E9-48FB-A991-AC7D91CC1F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6aee020929d6d7f07a1a5fa907731f1093d6c7","datavalue":{"value":{"entity-type":"item","numeric-id":3638290,"id":"Q3638290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d67d6630dc233272b6886ba4a3456ec9d95a135","datavalue":{"value":{"amount":"+0.7222137451171875","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":"Q2983393$85404103-A01F-425E-8A46-2FDFD0C573F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14c5ec0ec72603a5bc70c81a1862339a5b6a8e5","datavalue":{"value":{"entity-type":"item","numeric-id":409328,"id":"Q409328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58b9154392645cd07b1b9d11000090f520221cd","datavalue":{"value":{"amount":"+0.7212544083595276","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":"Q2983393$403CB945-0422-4027-B40E-451B1EC85208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c69222faa747f6ac739824bb894198a4bb8cdde","datavalue":{"value":{"entity-type":"item","numeric-id":5899313,"id":"Q5899313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8233d8c45078b5cf4b0a469b8171d286dfffdf0","datavalue":{"value":{"amount":"+0.7181225419044495","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":"Q2983393$FF628450-B957-4B5D-8177-819F9C719393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c179e6d80d6715cb6411e5398dd972da9e05058","datavalue":{"value":{"entity-type":"item","numeric-id":5212298,"id":"Q5212298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e7e8376bd6210eb69d7fb31c47915de158ab1a","datavalue":{"value":{"amount":"+0.7147291898727417","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":"Q2983393$D33260B3-66B6-49F2-B1AE-CB880979A9F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dual characterizations for finite lattices via correspondence theory for monotone modal logic","badges":[]}}}}}