{"entities":{"Q2433103":{"pageid":2443846,"ns":120,"title":"Item:Q2433103","lastrevid":73404225,"modified":"2026-04-14T15:48:17Z","type":"item","id":"Q2433103","labels":{"en":{"language":"en","value":"Maps and monads for modal frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5068037"}},"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":"Q2433103$589A8DEC-E3B9-40A1-8A3F-08903D18F8CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a426a7bb988bf7a3fefff01ce73590235493418","datavalue":{"value":{"text":"Maps and monads for modal frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2433103$260696D8-0164-4361-BFC1-0DC8413794DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4f720c759519bc1df0df16fe155c18637e1f0b6","datavalue":{"value":"1106.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433103$04F87AA7-9C76-4D00-8E1A-DE8E8B0F5B0F","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":"Q2433103$F80BE1B8-C4E5-4514-A679-9D9ABB6196E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433103$9EDA6CF4-468C-4A8C-B2D3-6CC5FF03577C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50b7fd0a0c44a7cc6c2f9a66104698377fd376f1","datavalue":{"value":{"time":"+2006-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2433103$7F354E25-B311-43A0-947D-3F29E0D218AD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fd708a6da2628904e7e27df75cd9d34765dd3c64","datavalue":{"value":"This paper seeks to clarify the category-theoretic nature of the relational structures (frames) that are used in the semantics of propositional modal logic. A new notion of ``modal map'' between frames is defined, generalizing the usual notion of bounded morphism/p-morphism.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433103$0EA0F874-FE6E-4111-B979-FABA283E8B38","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ccb45899d5f7bb3c880aa37d11928692be2daaa6","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433103$3A468480-95E6-4459-BB78-B7E72A2F76A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433103$E9EFC6E6-ECFE-4BE4-9937-9ED534F4F4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433103$152B47EE-4478-4A2C-9B97-45B216C145DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433103$15D76A8D-FC82-4882-A625-00B858F36F6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ed4539f65b98fb031e2420fb9ce4331eed12991","datavalue":{"value":"5068037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433103$361153A1-5FA0-4AC2-ABAD-8274C5D81230","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50619d55f47b1e42be6ff4e90a906035503640ed","datavalue":{"value":"modal map","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433103$C82C6AD3-9D5D-45AE-8F57-60AED52C641D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6964ee7d21f8e01755751ecbcecad699066a0819","datavalue":{"value":"bounded morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433103$24A62B00-5FBF-4FAB-9CB2-09774A0D0F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eb474a1914a8c21efe7f063fd7fa2b83183410e","datavalue":{"value":"descriptive frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433103$C40D3BCD-118F-415D-8F1D-02FC3736BCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04388f9e5e1a783c71568d6857dc6bc7fe8cdd5d","datavalue":{"value":"equivalence of categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433103$205D5CFB-5986-4B91-8B0C-241EB1E30A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433103$B59F7F11-3924-483D-B525-ED3D39887A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77aed24b59e7d3af589f28ee288f424d3f3e19a1","datavalue":{"value":"reflective subcategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433103$48B6BB95-15B7-480C-A04B-CFDDC37C9FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433103$042C3A04-BDCE-4171-A5C9-C311BDA717E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94b8a3473f0ffd688a45f95929d58e5dc56714f","datavalue":{"value":"Kleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2433103$39067DF6-9A38-4731-BA8A-33E01026CA10","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":"Q2433103$FF28CE46-2C9A-4AF5-8DFC-B42AD81578AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"384a0b8e1b268603669ea00e325460237fd80957","datavalue":{"value":"https://doi.org/10.1007/s11225-006-8306-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2433103$51094900-363C-4421-9EA1-F8E9D4964740","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"110fb62e713c8b1954f0563b603e04440acb8a4a","datavalue":{"value":"W2044910484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433103$2E6098CB-D0B5-4FC9-A5C2-DFCAA53CF59E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba26e21967cff67d33fc2dc6b5aab99b8103a58","datavalue":{"value":{"entity-type":"item","numeric-id":4304740,"id":"Q4304740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433103$519D842C-0DBB-4FC4-B166-EC8998F54E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65eeabb99db53adaf7c57c5e6c3606fed1fecd86","datavalue":{"value":{"entity-type":"item","numeric-id":4314472,"id":"Q4314472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433103$C3751FD2-BB4D-48B8-9E53-C609C74D9E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfebed2dfd055b7c0ce0c9700bf4142282266dbc","datavalue":{"value":{"entity-type":"item","numeric-id":2520849,"id":"Q2520849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433103$8712004B-0E00-4401-9119-E825423A3EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a504bd821708fb3f06c088102a7703928cb0b82","datavalue":{"value":{"entity-type":"item","numeric-id":5181665,"id":"Q5181665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433103$B1DFF3C7-09BA-4B19-A02C-D56D29911CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a47d2fee262f33e393f2f9f1f4a0ff74eb2ecb53","datavalue":{"value":{"entity-type":"item","numeric-id":5512211,"id":"Q5512211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433103$1E1E8F64-C426-4EF0-A99B-08DA8B5A647E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433103$E594FFE0-E72B-4ADE-9D44-EC6C3F039CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e894cf50d98f6d23776708d1d4498cd17fde0a0","datavalue":{"value":{"entity-type":"item","numeric-id":4077980,"id":"Q4077980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2433103$050F26DB-A65F-49A1-AD32-64B995348277","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9eaf02ed82d24801d623f551186ff485970e6261","datavalue":{"value":"10.1007/S11225-006-8306-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2433103$FB69F349-1B7E-4CB3-83E5-1365380C500A","rank":"normal"}],"P1643":[{"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":"d28377853c5453eb228ba86b59805ee46c073cfe","datavalue":{"value":{"amount":"+0.7926393151283264","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":"Q2433103$16EE92C7-10D7-4F9D-B35E-AD8F2F42581D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc166c5d57e4647ac36b2df8412e12720e6d54dd","datavalue":{"value":{"entity-type":"item","numeric-id":1101436,"id":"Q1101436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd09d4f54cd856f296de5f719cfc0f093e45a221","datavalue":{"value":{"amount":"+0.775242030620575","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":"Q2433103$41A4F61C-A884-46E4-8C41-CC708C4B906B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55858bc7942da1d0607f9cc6d936c5d5d946748","datavalue":{"value":{"entity-type":"item","numeric-id":647410,"id":"Q647410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af7b45cdb0528820e2faaa40b52fea48656f311d","datavalue":{"value":{"amount":"+0.7660314440727234","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":"Q2433103$8DE3972A-3018-42EC-9949-5BB7C06B840D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"748cbca1695a8e0bcaee8b59e5e08079eef747cd","datavalue":{"value":{"entity-type":"item","numeric-id":558732,"id":"Q558732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc3af199a114ac0cc81c036e363b366fa7841f3e","datavalue":{"value":{"amount":"+0.7638097405433655","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":"Q2433103$74B76AE6-068B-4EDA-ADF2-6F5680697CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e444e9af7523f3ae7c361dc38c57984447b8bb","datavalue":{"value":{"entity-type":"item","numeric-id":3818372,"id":"Q3818372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e4c188d03106c9a22f6d4dcbf5dd57b3803550","datavalue":{"value":{"amount":"+0.7576799988746643","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":"Q2433103$834DD74C-A600-460B-BED2-BC998949DA85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Maps and monads for modal frames","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Maps_and_monads_for_modal_frames"}}}}}