{"entities":{"Q1104351":{"pageid":1115100,"ns":120,"title":"Item:Q1104351","lastrevid":66724302,"modified":"2026-04-12T12:25:28Z","type":"item","id":"Q1104351","labels":{"en":{"language":"en","value":"Interpretations into monadic algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4055691"}},"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":"Q1104351$10EC6DE0-7A25-4231-919D-E66D53CFEA3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a316a2ac3f075bc1e2d6d13da43f234147bb69f0","datavalue":{"value":{"text":"Interpretations into monadic algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104351$0926C037-458D-4B3C-8669-B150D6A4F628","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1084faceaa821dd067e3f4f75588c474c400f19a","datavalue":{"value":"0647.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104351$82818A64-B4E3-4CD3-8BC4-85D8C3F2D83E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"193cbd985bf155a3086874ba0721894b3e639baa","datavalue":{"value":"10.1007/BF00370644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104351$7C80C981-B830-480B-9212-AEA86F71EF3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fd20a3f39dc5ea0f18531f9ec3674bf83941b94","datavalue":{"value":{"entity-type":"item","numeric-id":186044,"id":"Q186044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104351$EA1D544C-0A68-4521-BB57-D4A62727EE1D","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":"Q1104351$1B7CAA9A-56BC-4562-9FFD-2B5CC3598401","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1104351$57788B3A-589F-4B3E-86D0-A551C4D74088","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c9177f6d4d9f79f23a3fa6a7ffa86c9c560871a2","datavalue":{"value":"Le but de cet article est d'\u00e9tudier les interpr\u00e9tations pour certaines cat\u00e9gories de treillis. L'A. d\u00e9signe par \\(D_{01}\\) la cat\u00e9gorie des treillis distributifs avec plus petit et plus grand \u00e9l\u00e9ments, par B la cat\u00e9gorie des alg\u00e8bres bool\u00e9ennes, par K la cat\u00e9gorie des alg\u00e8bres modales, c'est-\u00e0-dire les alg\u00e8bres bool\u00e9ennes avec une op\u00e9ration unaire (x\\(\\circ)\\) v\u00e9rifiant \\((xy)\\circ =x\\circ y\\circ\\) et \\(1\\circ =1\\), par T la sous-cat\u00e9gorie de K avec l'axiome suppl\u00e9mentaire \\(x\\circ \\leq x\\), par \\(B_ i\\) la sous- cat\u00e9gorie de T avec l'axiome suppl\u00e9mentaire \\(x\\circ \\leq x\\circ \\circ\\), enfin par M la cat\u00e9gorie des alg\u00e8bres monadiques, c'est-\u00e0- dire la sous cat\u00e9gorie de \\(B_ i\\) avec l'axiome suppl\u00e9mentaire \\(x\\circ^ c\\leq x\\), o\u00f9 \\(x^ c=x'\\circ '.\\)    Les principaux r\u00e9sultats sont les suivants: Il y a 4 interpr\u00e9tations de \\(D_{01}\\) dans M. Il y a 4 interpr\u00e9tations de B dans M. Il y a 8 interpr\u00e9tations de T, \\(B_ i\\) et M dans M.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104351$1F8490F7-F815-45DE-98A2-B79930858FEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104351$3A3E6598-AA52-40E1-B274-6B1078D0604B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104351$06C6185E-0375-4F31-96C5-F3DF8D25DACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104351$B77E7B48-45BB-4A70-AB85-87AE4E5B2671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104351$B24A8610-2D55-4CCA-BD03-A578DF3156CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104351$A8BAFF30-9A14-4920-B4C7-CD3815A0787B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1df8d2a90fcd1b77c829d7d1ce16c151bb80f751","datavalue":{"value":"4055691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104351$C1623674-9166-4E02-810F-3F90FF91DF7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d6a066b04dace10e21e2536a57ac641092e019","datavalue":{"value":"lattice of interpretability types of varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104351$075A8979-DDBB-4989-859F-32330FF4BE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feaec606b507cb0319a31ea65e09c00603eea923","datavalue":{"value":"monadic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104351$034786B5-712A-40FB-80ED-BCCECD91DC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c089417157ee3ac31bab92fa6b3d86ce2455518","datavalue":{"value":"interpretations of varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104351$0138643F-BE6F-48E9-A2F8-7E92CBCDBC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a56fcb185ef51e2b7b0def18768a105e2a1b613a","datavalue":{"value":"categories of lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104351$877D693E-1B52-479C-8A8D-6F95F7CC1303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"600672ab55ae471847e00a7bc41bc9851fc3ede8","datavalue":{"value":"modal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104351$F3B2169A-D3D5-4E04-A367-25E9598887B2","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":"Q1104351$6EA6463B-430D-40DD-AEB3-84BA27563C65","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53281fd5952abc38d54f1bae25afe254e5c90b6","datavalue":{"value":{"entity-type":"item","numeric-id":3262264,"id":"Q3262264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104351$F1F2D823-ACE2-43DC-8379-F296059EF185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34d924cd66b30d8646af6100b0d2b8decf96705","datavalue":{"value":{"entity-type":"item","numeric-id":4046098,"id":"Q4046098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104351$3D41B036-299E-48F0-A4CC-10CF64B9A730","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da306919a54c24ce21a6ed0fabb0277f27c2483c","datavalue":{"value":"https://doi.org/10.1007/bf00370644","type":"string"},"datatype":"url"},"type":"statement","id":"Q1104351$FA00C42E-FD08-451C-B185-BFE57206E117","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5f9d394ee8647426cd78aa251c4ffc27d7f4af5","datavalue":{"value":"W2082759889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104351$ACBC8F82-1DA5-48DD-B155-1361B10617AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c9858f012dd0a2495044c6ae82dccea92848de7","datavalue":{"value":{"entity-type":"item","numeric-id":4503729,"id":"Q4503729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dca3622c9a03cbe21d7495b2390cbbc5394ea2b3","datavalue":{"value":{"amount":"+0.7282524108886719","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":"Q1104351$51D48542-DE59-469C-B7E1-377F4B95D33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ac94350060337be9992b2623dfd6fb96ce04f5","datavalue":{"value":{"entity-type":"item","numeric-id":5436991,"id":"Q5436991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15c3add94e167ac4312c4bdb4a8f878983ed600c","datavalue":{"value":{"amount":"+0.7195496559143066","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":"Q1104351$7CC5BB2B-5B9A-483D-89C4-4E8CF2BBA157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a418f6819c3866af45e71c30bfebbb044f5126ae","datavalue":{"value":{"entity-type":"item","numeric-id":3971329,"id":"Q3971329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c27f1275c98cfa5973d5820dc279b13cb6986e9","datavalue":{"value":{"amount":"+0.719211220741272","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":"Q1104351$7969C0DC-96E0-4554-B7CB-770E62C4C647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88428c8b908082830e9bbb76dd67551157c97eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1121302,"id":"Q1121302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b34774c763e2e6935cbad7b67fc89f42704cf1f9","datavalue":{"value":{"amount":"+0.7129881381988525","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":"Q1104351$A340FDAA-9F34-4C11-B7E5-621499A11630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e30dfca282ab422e06494e22a28569bbef10cc6e","datavalue":{"value":{"entity-type":"item","numeric-id":1040206,"id":"Q1040206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f07783403a589ba75fb6ff709a0eddd229652296","datavalue":{"value":{"amount":"+0.7120947241783142","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":"Q1104351$1938ED7E-6735-4DF9-827F-F9881ABD48E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpretations into monadic algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpretations_into_monadic_algebras"}}}}}