{"entities":{"Q734987":{"pageid":736836,"ns":120,"title":"Item:Q734987","lastrevid":63973224,"modified":"2026-04-11T16:47:39Z","type":"item","id":"Q734987","labels":{"en":{"language":"en","value":"Conical residuated lattice-ordered idempotent monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5614946"}},"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":"Q734987$FD6380D4-0809-4A6F-882B-2A0C1721C682","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d2fb5d85bff417b6a2914752bd260fedabd04af","datavalue":{"value":{"text":"Conical residuated lattice-ordered idempotent monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q734987$ED3AD4CB-3136-487A-B828-452810496B7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bd0b1f41a60988ae9873510433e291b11031466","datavalue":{"value":"1185.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734987$99FFA859-63CF-43A1-99CF-782E41A59896","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81d2e30a2b8e9fe6a6e3778ab63aedcfb8d76a50","datavalue":{"value":{"entity-type":"item","numeric-id":282124,"id":"Q282124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$B15B7FBF-797D-48D8-9C57-0B7406D93CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8db2de2e4de16011305e7d479756a49b1f0e735","datavalue":{"value":{"entity-type":"item","numeric-id":391752,"id":"Q391752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$B12C648F-A4F2-4D09-80CE-8C8E251B4CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3395b4402c4bdc1e7d4a3d4a9408d1231262ebc2","datavalue":{"value":{"entity-type":"item","numeric-id":1862873,"id":"Q1862873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$D88B7D11-DC94-427E-AF91-2A2B46B05512","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$9FDB7644-844D-4426-A60C-04261960A4BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e9e9116570582aa7a438cfc412256eeb856027c","datavalue":{"value":{"time":"+2009-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q734987$19AECC88-E2C1-4FBE-895C-A8F6AA025E63","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"88d114871162e5f2bb064a83fa7f3d15feadf012","datavalue":{"value":"A residuated lattice (r.l.) is an algebra \\((L,\\wedge,\\vee,\\cdot, e,\\triangleright,\\triangleleft)\\) such that (i) \\((L,\\wedge,\\vee)\\) is a lattice, (ii) \\((L,\\cdot)\\) is a semigroup with identity \\(e\\), (iii) the induced partial order on \\(L\\) is two-sided compatible with ``\\(.\\)'', and (iv) for all \\(a,b\\in L\\), both \\(\\{x\\in L\\mid a\\cdot x\\leq b\\}\\) and \\(\\{y\\in L\\mid y\\cdot a\\leq b\\}\\) contain a greatest element denoted by \\(a\\triangleright b\\) and \\(b\\triangleleft a\\), respectively: An r.l. \\(L\\) is called conical if \\((L,\\cdot)\\) is a band and for all \\(a\\in L\\), either \\(a\\leq e\\) or \\(a\\geq e\\) (in this paper such an algebraic structure is also called a conical lattice-ordered idempotent monoid). Several properties of conical r.l.s are proved. As the main result a (quite involved) construction of all conical residuated lattices is given. Also the subdirectly irreducible conical r.l.s are characterized; the case that \\((L,\\cdot)\\) is a semilattice (i.e., a commutative band) is dealt with, too. Finally, a characterization of conical r.l.s \\(L\\) which are simple (i.e., \\(L\\) does not contain a proper convex normal subalgebra) is provided. Also, the particular case of strictly simple r.l.s \\(L\\) is considered (i.e., \\(L\\) lacks nontrivial proper subalgebras and congruences).","type":"string"},"datatype":"string"},"type":"statement","id":"Q734987$AD5346F2-916C-48A1-B51B-B7964E30DE46","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0e40a3870b32b18b840da0f31227db8fce409223","datavalue":{"value":{"entity-type":"item","numeric-id":731309,"id":"Q731309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$3A1E03C3-6F6D-4929-BA47-00186419FB00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734987$42F45601-4EF7-4131-9338-948822F6C12C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50ed0f5258c7399b7cd5e337126ad39a64767304","datavalue":{"value":"5614946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734987$F17CDB95-7A7B-4890-997F-3BE16F8D239F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2d1157e645de309879364c13a456c3255734a3f","datavalue":{"value":"conical idempotent residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q734987$F2034B65-DA10-457B-B320-A45C4FD8E508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d9fb2b26e7d5559455c0330013b6cebfe35fe8","datavalue":{"value":"semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q734987$885B8D03-D13C-4075-BB68-BF29960ACC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1650c3f62b08434c06e7dc4a617673d2a48474cb","datavalue":{"value":"band","type":"string"},"datatype":"string"},"type":"statement","id":"Q734987$D5D7AED7-D32B-4F92-ACD9-6D08C83EBA3D","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":"Q734987$E1FBDF79-A9BD-48A4-8ED5-B645C6911AC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"905e53bd24eb95e3cc19b023b2d02fe5cf9ed56c","datavalue":{"value":"https://doi.org/10.1007/s00233-009-9158-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q734987$66288A05-714C-471D-A132-50F7D960BEF6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b388c57ff3cf0237cf841e66a8b37e7f918055de","datavalue":{"value":"W2131238258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734987$1E4138B1-49D7-4BA1-BB48-C28BDA79A07C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c549f63c89ca628db1aaf60ad68fa52a69200a3b","datavalue":{"value":{"entity-type":"item","numeric-id":2496161,"id":"Q2496161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$0E18F1F4-A553-47D6-9954-DDB79FFA2650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd83a0e0c158e73a35d24382dd524323f3a8f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3043517,"id":"Q3043517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$D65D8710-EA85-45E0-A648-56BC4A4C4758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$131882FD-FC23-45CE-A6D9-DE604C5D25CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48451130fa325b4302f0c1189496cfa710a55098","datavalue":{"value":{"entity-type":"item","numeric-id":2577691,"id":"Q2577691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$BD468B94-F743-4D7C-B812-A31CCD586C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$22F31A1E-324C-45B2-A76B-B964A35191BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52d8a9dc78cdcb597d72a1a87d023c299265182","datavalue":{"value":{"entity-type":"item","numeric-id":3505080,"id":"Q3505080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$6E2C9CA5-9008-4936-BB1C-4BC52151C896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd19c2601c8cc5cf07bbf9158403b38805896b88","datavalue":{"value":{"entity-type":"item","numeric-id":2490426,"id":"Q2490426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$88744168-2EFE-4F80-9D52-22140CBD3013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0f377cd1f758bb7a1b2206d4153fe35903f24fd","datavalue":{"value":{"entity-type":"item","numeric-id":4786332,"id":"Q4786332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$42FC6983-BB1E-4B9C-A478-DDDDCAD79EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$67194691-07DF-47D2-A2BC-E4D74D158CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a6946d86cd70b1df31472de5e56aa19bc21d785","datavalue":{"value":{"entity-type":"item","numeric-id":3222326,"id":"Q3222326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$0F5FBA08-FCE2-4C67-9EDB-A4397868D017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e153dcad108c14c9a55e8f1c726ec817dd7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5693612,"id":"Q5693612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$27F462E8-9A74-4F1A-A591-3751B595ABFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8002769805880a6fcaccd0690256483458da985d","datavalue":{"value":{"entity-type":"item","numeric-id":2466509,"id":"Q2466509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$5446A48F-D4C6-46CB-A5E7-376297C5BA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8bbb7140c556315ce683eee3304eb052933b1e","datavalue":{"value":{"entity-type":"item","numeric-id":3443137,"id":"Q3443137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$F68FECD7-B2A9-4472-A4FB-D5CC67F617DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dddfa3a60d4eb051ac3c672e39ac00e008a09dce","datavalue":{"value":{"entity-type":"item","numeric-id":1131366,"id":"Q1131366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$7CD32618-3C27-499D-B7E0-C15BB0791612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f4e2b31463e10661ff244769ac5566418debb90","datavalue":{"value":{"entity-type":"item","numeric-id":3617947,"id":"Q3617947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$9267F794-65A2-4FF4-9298-4904E1F5BED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917c2294e85abda367dd39585e2f822634c75a72","datavalue":{"value":{"entity-type":"item","numeric-id":5768431,"id":"Q5768431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$97C1F251-99D6-466A-86BC-7359E74B7DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f53281b31d4f29cdd82a60cc8d761c9524d86f12","datavalue":{"value":{"entity-type":"item","numeric-id":3070134,"id":"Q3070134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734987$1E50519D-AD84-4A86-9A33-1D4626973B7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c5ed313f095b9314f2f32228bb0cb1fce06283d","datavalue":{"value":"10.1007/S00233-009-9158-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734987$1577EFC7-8789-4525-8BF9-D7D202B4CD5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a8655b03c1a7271921d36505366b0c6063c080","datavalue":{"value":{"entity-type":"item","numeric-id":2887809,"id":"Q2887809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db8b1d3b47c3dce7c99320369a229698f4f80a31","datavalue":{"value":{"amount":"+0.867553174495697","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":"Q734987$6F516155-A93D-47E1-836E-4682FF867681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec333df9a7e6dca55569175d2476494eba395ece","datavalue":{"value":{"entity-type":"item","numeric-id":2416382,"id":"Q2416382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f99efbbfc76d22db6e33587d3ed023919ece823","datavalue":{"value":{"amount":"+0.8550425171852112","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":"Q734987$CB577A40-6FED-4D4E-A5F1-801FC2C3BED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1693275a7eaf064e484888ccd9b42562df5f7555","datavalue":{"value":{"entity-type":"item","numeric-id":3070134,"id":"Q3070134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0557f9bbb8e9f4a64ba61d7805e4b4b770d8e656","datavalue":{"value":{"amount":"+0.8396075367927551","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":"Q734987$F3746B83-9455-435A-8DF3-1A50F9F67DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2468fafa338062a313627bcc883e67094a9c602e","datavalue":{"value":{"entity-type":"item","numeric-id":776990,"id":"Q776990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb7d81c14124edd1e0908b35999d944ee119a35","datavalue":{"value":{"amount":"+0.8359001874923706","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":"Q734987$65B94A38-6136-4A79-99CC-D0A92EF5B08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bab6bf133cbb788ffc8a02dbb589f7c0bca4bc9","datavalue":{"value":{"entity-type":"item","numeric-id":2182567,"id":"Q2182567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7537b4081742fd40c82fbf3cb78919068dae0cd3","datavalue":{"value":{"amount":"+0.8300129771232605","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":"Q734987$0184A5BF-D4D3-40B3-9EBE-C48A14F2B380","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conical residuated lattice-ordered idempotent monoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conical_residuated_lattice-ordered_idempotent_monoids"}}}}}