{"entities":{"Q2229227":{"pageid":2239970,"ns":120,"title":"Item:Q2229227","lastrevid":78503861,"modified":"2026-05-06T11:45:06Z","type":"item","id":"Q2229227","labels":{"en":{"language":"en","value":"Duality for instantial neighbourhood logic via coalgebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7314147"}},"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":"Q2229227$8FB54868-332A-4C1D-BEDB-F3400037E4D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00fd3324be1430454d8b0bff6d2250449e25703e","datavalue":{"value":{"text":"Duality for instantial neighbourhood logic via coalgebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2229227$0BC0FD54-F0EF-426C-90C9-25FA6C88B29E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae017b9c8b4f5e9dcde24da808e36e1a829b38ce","datavalue":{"value":"10.1007/978-3-030-57201-3_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229227$956EF50C-66CF-4DA7-BC8F-001E59FD1B43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229227$50051FD0-C01F-403D-9478-7DFAF68DDFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21f5340f94d7e8bca6721e5302fe3e9f5e2cc1b2","datavalue":{"value":{"entity-type":"item","numeric-id":694495,"id":"Q694495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229227$F23DB5DF-4C30-4C54-9062-1F1E86654803","rank":"normal"},{"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":"Q2229227$04898BD2-7823-4F62-A8FB-758F5F7C78EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf0749869f595759ee793dee0f3189be235834d4","datavalue":{"value":{"time":"+2021-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2229227$380450CE-DB89-4153-BC59-FF6D19974BD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229227$1740BBB0-D6A9-4B09-B993-46522DF13B11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07e9c9b8ee2e009d68118c26288de00e67a220e8","datavalue":{"value":"7314147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229227$ED447190-BDA8-43F3-8F04-3E8553525512","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229227$B2662FF6-F260-4675-800F-4581A7C321C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229227$8D6BED3D-7DAF-4935-BC5D-0FCFAB505A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9457616821029f692aeda108b545a747720db085","datavalue":{"value":"instantial neighbourhood logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229227$D6223418-57A1-4F70-9240-32114853E08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6d9aeb5435381fedc5cffa64b19a2d602a7fa25","datavalue":{"value":"descriptive frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229227$7B64365A-E4A6-4E54-9276-33FD5F14DDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229227$0BA89FB6-9659-473E-898E-9622FF59C923","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":"Q2229227$2B0A6EDC-C53E-4D90-93EA-6DEABC396D36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c180685dc524517c955661bbea0ee5f0d6185b4","datavalue":{"value":"https://doi.org/10.1007/978-3-030-57201-3_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2229227$10B03638-D15F-409B-BBA5-20B4A7BDE2E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd2de0d83beb384d73d274ca8448c2a0f688ff08","datavalue":{"value":"W3080783052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229227$E9A1DFE8-3258-4C38-98E8-15FBF6460500","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a9d99ad0681c95b42f94b663681332f7177b807","datavalue":{"value":{"entity-type":"item","numeric-id":5101337,"id":"Q5101337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25b4c01d945311668c6474d84090f357ea4c2f07","datavalue":{"value":{"amount":"+0.8037313222885132","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":"Q2229227$4BAEC58C-51BC-4F01-9746-4F5B0299E315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c688877bfef0c2a5e3320f85b29bcd32ac58122e","datavalue":{"value":{"entity-type":"item","numeric-id":5737964,"id":"Q5737964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47a108d48056d75a463a810bd6b60249ca5085c","datavalue":{"value":{"amount":"+0.7950311899185181","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":"Q2229227$252E1A6A-0D44-497E-92DE-4AD1B624D2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4f838d99a742f645894986d01de6e36ea2eee7b","datavalue":{"value":{"entity-type":"item","numeric-id":2144186,"id":"Q2144186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e3401a2d52cb5b77685edfb5b2517e5f67f77e0","datavalue":{"value":{"amount":"+0.7556237578392029","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":"Q2229227$F32CDCB7-638E-462C-AFF2-4DBF1C1CF4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"439677f00f781921d290930e2d4c0caeba6ce743","datavalue":{"value":{"entity-type":"item","numeric-id":1825863,"id":"Q1825863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e95958f6ae3727499c0b5604c1e605c7088d2b","datavalue":{"value":{"amount":"+0.755192220211029","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":"Q2229227$173330AE-A2F0-477C-AD0D-0629C1FBD1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"030d7f99942caa9bd5aae2fcba08350ab0b9cc2a","datavalue":{"value":{"entity-type":"item","numeric-id":3636801,"id":"Q3636801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c8829dd71dc070d4a40c0d1514b05cbb19bd628","datavalue":{"value":{"amount":"+0.754002034664154","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":"Q2229227$2A1E2EAB-9DB3-460E-A8C6-CEE1B39A3A30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Duality for instantial neighbourhood logic via coalgebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Duality_for_instantial_neighbourhood_logic_via_coalgebra"}}}}}