{"entities":{"Q5884962":{"pageid":7914514,"ns":120,"title":"Item:Q5884962","lastrevid":55442128,"modified":"2026-02-17T16:28:28Z","type":"item","id":"Q5884962","labels":{"en":{"language":"en","value":"Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7668113"}},"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":"Q5884962$965C3D85-3381-4CFE-8E50-B3EEC9C14C76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"217eb5b070cd46adbf3614484e226982cafa2646","datavalue":{"value":{"entity-type":"item","numeric-id":256786,"id":"Q256786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884962$5D8A2560-1A13-45CF-949E-0B77734559F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e79fb0f81a13e01e2adb5a30058c546d3cd532","datavalue":{"value":{"time":"+2023-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5884962$BDC14B33-6998-4465-9999-E4962D034398","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb74c2293604c968e733451dbc30a8545ab7eb0f","datavalue":{"value":"https://arxiv.org/abs/2201.07098","type":"string"},"datatype":"url"},"type":"statement","id":"Q5884962$9B9E9820-78B4-411F-A3F5-E2D4220639CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884962$89A69565-15C8-4633-8D23-A8A170592062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884962$E74A3F13-34D1-461C-93C5-464B9BEBAFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884962$6FF695B0-DF07-4B62-BD02-3E9F03F10248","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24eca380b0b89f4c6cf532346cabc30f874bbd35","datavalue":{"value":"7668113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884962$03A565A5-DF0A-4A38-8BF4-8E50FDDA51DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a6469559583fc59bd625434aa5d9b0dc35201e","datavalue":{"value":"lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884962$7D916631-67B6-4D28-AB2C-CD8BEB4CC67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2f97dec6bff53205bf55123a75220dbaed2a75f","datavalue":{"value":"representation theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884962$9DD4959E-6764-4F71-9FC9-BD32AB0147B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b7c3745877244ac47678da16219046619d216ad","datavalue":{"value":"ortholattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884962$F26D0D08-8E15-4B60-B333-F75656DB9501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a63125d4146b0c69c8e312a4f67df6119922af7","datavalue":{"value":"orthologic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884962$311CCA3E-E4A2-406A-8F64-E4BA9EC316DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884962$30293025-5785-47C1-B766-FAE0AFE13CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884962$57900F64-051C-4022-94E5-F551F302C966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884962$3924DF18-3136-4591-8AC2-7E0329687D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884962$34035D7B-9777-4EE1-9D17-C8108E897CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884962$31FA718A-78AD-473E-AB26-30201F012947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e963e5a546842153a1caf9ab525e5749ef576711","datavalue":{"value":"graph-based frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884962$96ED5E83-247C-45A8-A510-2728B6FF7EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7140b0b5e8faf08d111cac61118e9bcfaa3105da","datavalue":{"value":"possibility semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884962$03072C71-EEF7-4E12-B85A-E83CF6693604","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":"Q5884962$58F2699D-6C2C-4482-8917-565C33995E10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a921556e6f1ac4950487447113fd0d9594ae0e","datavalue":{"value":{"entity-type":"item","numeric-id":5483303,"id":"Q5483303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05ff1ae32d4e8ca25dcc2ef26dcdf4fb1c79b934","datavalue":{"value":{"amount":"+0.7935988306999207","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":"Q5884962$06AF0DCD-2581-43D1-A222-085D9D7138E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cad91a4cd3be2f55c115ffddd88a41d37bd43da","datavalue":{"value":{"entity-type":"item","numeric-id":2968534,"id":"Q2968534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1bd640ad0f2a12d4205efa3e925310b70759ac4","datavalue":{"value":{"amount":"+0.7731322050094604","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":"Q5884962$2C4747F6-4E77-469F-BA0D-5DAB99CE8D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcc8f17120de37d0337685caaa825e555cd9a92a","datavalue":{"value":{"entity-type":"item","numeric-id":5703741,"id":"Q5703741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10bb8c33ee914a19201bf78c550fb0dd1930263c","datavalue":{"value":{"amount":"+0.771040678024292","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":"Q5884962$BC437711-7847-42E1-8A91-7D27E8A47DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f26d3e6b3d43f5a2f5a13582ca7110ca53aa315","datavalue":{"value":{"entity-type":"item","numeric-id":5379876,"id":"Q5379876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c26da73529eef3df0b8b2c81f259590542f7cfe","datavalue":{"value":{"amount":"+0.7444959282875061","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":"Q5884962$D4BCC10C-8823-4215-A223-1F4D310ABEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ec83a14da67a0215fd99eacb63479a493de3ecc","datavalue":{"value":{"entity-type":"item","numeric-id":5027243,"id":"Q5027243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55344e03e03553e5083c72f11c02dad291432d7e","datavalue":{"value":{"amount":"+0.7310236692428589","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":"Q5884962$02ADC856-AD41-4A26-91D3-F0EB0B867931","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5884962","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5884962"}}}}}