{"entities":{"Q416275":{"pageid":418042,"ns":120,"title":"Item:Q416275","lastrevid":51462116,"modified":"2026-01-18T08:53:24Z","type":"item","id":"Q416275","labels":{"en":{"language":"en","value":"States on finite linearly ordered IMTL-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6032301"}},"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":"Q416275$EFEAB984-0EC9-4C52-8E01-1BF87DFE6D26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3301b1fa4e5a013366bc6242aafe8931526cc07","datavalue":{"value":{"text":"States on finite linearly ordered IMTL-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q416275$1348E829-4705-45F0-AB14-A3408C65CD85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"369379354574944839d210af6a7ccf1d6702856d","datavalue":{"value":"1247.03138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q416275$8AE79351-A7B6-478B-B21F-DB3C82265F5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57f1b616d38adf1877de27b009af22b74245a44c","datavalue":{"value":{"entity-type":"item","numeric-id":230410,"id":"Q230410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$EEFAA2FE-BA33-484A-A7CD-1ABDF0DA2706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00a0e6eb3470cb557f75050ed46f406922facb0e","datavalue":{"value":{"entity-type":"item","numeric-id":218284,"id":"Q218284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$29F016E6-F006-486F-957C-618B34644F98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$96053416-AF17-49B6-8A21-907B0FE419A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c389f58e38360b59868aca1b4ab367674832e721","datavalue":{"value":{"time":"+2012-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q416275$291E07FF-7CBE-4747-9CAB-073557BED340","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a804378ab6afbe790b52ca73bf33349dc0422f62","datavalue":{"value":"An MTL-algebra [\\textit{F. Esteva} and \\textit{L. Godo}, Fuzzy Sets Syst. 124, No. 3, 271--288 (2001; Zbl 0994.03017)] is a commutative residuated lattice satisfying the additional axiom \\((x \\to y) \\vee (y \\to x) = 1\\). It is called an IMTL-algebra if also the condition \\(\\neg\\neg x = x\\) is fulfilled. It is known that every IMTL-algebra is a subdirect product of linearly ordered algebras [loc. cit.].  In the paper under review, Bosbach states, Rie\u010dan states and state-morphisms are proved to be equivalent on linearly ordered IMTL-algebras. A locally finite IMTL-algebra has a state iff it is an MV-algebra; a more complicated necessary and sufficient condition for the existence of states is given also for the so-called peculiar IMTL-algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q416275$DFD15A00-5DC2-4CF8-A364-0CB79DEC030C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$09C2B9C2-A620-4DCA-B849-37CE4281F39C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q416275$548D3E90-36D4-4DB9-B7D8-79DE949F26D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q416275$DFC9CB80-EE04-43E0-9F75-98309C07CD4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b70c48e135f6e36d2e1760e505d44795cfaffae7","datavalue":{"value":"6032301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q416275$9706E1DF-A9A9-4B6F-9315-3E65B5D6E5E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bf297342105eac484ea7a065e1919cf2b7663a3","datavalue":{"value":"Bosbach state","type":"string"},"datatype":"string"},"type":"statement","id":"Q416275$97B6559C-C655-4ED7-AD69-6E41EAAD1FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bb440fb7ef87e94b610e6f6b100a2bc3200be64","datavalue":{"value":"IMTL-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q416275$1A1BDE22-B019-42C6-A16D-58BC654D2A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q416275$4B07D560-69C8-4AE8-B4A5-9A4AEDDECC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5998348bba0ff39186874de14edcad53b47f77d","datavalue":{"value":"Rie\u010dan state","type":"string"},"datatype":"string"},"type":"statement","id":"Q416275$B370E877-C7A5-4D89-8BCE-1A6BF227DB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bca97a29ebc1d0b5a5cf1276d0fd0c1263f1572","datavalue":{"value":"state-morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q416275$26303B72-AD4F-4B75-8E89-5FC7C4025C4B","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":"Q416275$EB355EA4-7604-4223-938A-60317889A33E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31ef5046436fa154c6f1834e9ccfd8aebdceb88e","datavalue":{"value":"https://doi.org/10.1007/s00500-011-0701-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q416275$3C3623D3-34DC-4C22-BF24-27F638E0AF12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ea81648005515d646ee001511b79c5caed3346a","datavalue":{"value":"W2071848866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q416275$89244156-18B6-4530-A4D7-7FCCC290C891","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$65020FB8-81C2-4BB5-B4BE-C81F90968487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f920251fe31bb7cf45358b565dedc1f78cfad28b","datavalue":{"value":{"entity-type":"item","numeric-id":3620498,"id":"Q3620498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$74E1B6BA-2893-410E-AA84-3C68F842FBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8196a3b5c54a7cc7d1dc9e767f3653156ae3eeaa","datavalue":{"value":{"entity-type":"item","numeric-id":600459,"id":"Q600459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$B224D28A-9F01-490F-9C7B-C59CE189A3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d296beb583a0859fa54bfe79ccec5920cf76e2","datavalue":{"value":{"entity-type":"item","numeric-id":4804772,"id":"Q4804772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$1047AA21-AB71-403E-9F5D-91A816B6F45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73100f7b1c8793974d27854c3cfcea8da0f7d0d6","datavalue":{"value":{"entity-type":"item","numeric-id":5951892,"id":"Q5951892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$147CF036-4AA2-402F-A5EB-08585C9AE173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92b86a046ca4130acbd3438524071e345b2e3324","datavalue":{"value":{"entity-type":"item","numeric-id":877764,"id":"Q877764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$215C7611-7D3A-4528-ADE5-65309802059F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0121632c3cbd5db786d6d198f15cd6bd865de88","datavalue":{"value":{"entity-type":"item","numeric-id":5698941,"id":"Q5698941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$FA323093-6F7F-478F-8676-C969AD2D007F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$EA11B88F-0BB9-4497-8815-54D1CE644BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1d637e05f10b35806b40cec438e76cc96ae58e","datavalue":{"value":{"entity-type":"item","numeric-id":558218,"id":"Q558218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$F6FB38B4-F425-45B4-948F-B2AC9966DE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e1c6271a09ad6cbace6dbf939a192324911a5a","datavalue":{"value":{"entity-type":"item","numeric-id":3148262,"id":"Q3148262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$98C46193-FEA0-4277-A4DC-69F4CECA7902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62cbb42689b2d0d9993016960608cbf709c4ace","datavalue":{"value":{"entity-type":"item","numeric-id":4542634,"id":"Q4542634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$6FD65C8B-630B-45E3-9914-FE451375860C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$BA5B8C5B-A705-4513-8F36-0F73332931D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fcdb5e30e526dc39a1320017bd25aa11991d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4291523,"id":"Q4291523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$F6EDC409-168F-44C3-BE66-E581BFDB43B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f99f09129a993c537be890cbe92a72f896b0aa8a","datavalue":{"value":{"entity-type":"item","numeric-id":5316811,"id":"Q5316811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$E27FD065-6ED8-4E41-98A0-CABCA8C8EFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea5a5ba022fc7ce677f3a246e7b2548d0704a9b1","datavalue":{"value":{"entity-type":"item","numeric-id":937268,"id":"Q937268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$EF21C9CF-7E6A-4534-A9D5-BC1474D4A1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0b926d879a9b22e3f361de92882176e5f27186","datavalue":{"value":{"entity-type":"item","numeric-id":1896758,"id":"Q1896758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$07DFD270-AC74-4DE6-A049-C10227575B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb522f815a8652a2a902aa38f27fb3ae9a4a148","datavalue":{"value":{"entity-type":"item","numeric-id":2573726,"id":"Q2573726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$9F6A58BF-54A2-4E39-9090-295C37E23903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e67b34f8bc88dd63c5676c48ca42848cc107f296","datavalue":{"value":{"entity-type":"item","numeric-id":1406865,"id":"Q1406865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$0B6BEE60-E6FB-4080-A831-4F64BA4479A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa940be2517ddc2f2dc748c5fba15821f7255dca","datavalue":{"value":{"entity-type":"item","numeric-id":4799961,"id":"Q4799961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$B565DEC5-C7FA-4B86-9B4E-D74E2C2D2794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b8622dfe1085676b7d0de8a878d9c31dc2d9f7f","datavalue":{"value":{"entity-type":"item","numeric-id":2466755,"id":"Q2466755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$CA67210B-0285-4610-B2B4-6863508F5E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c520f466c29fa1a2f58f5de0c0bb794166e00444","datavalue":{"value":{"entity-type":"item","numeric-id":1125164,"id":"Q1125164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$426E5A75-10FF-4CA3-BBD8-53BCB12B89D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90843fb783f6ed47e9c449f6c13e2278746aba94","datavalue":{"value":{"entity-type":"item","numeric-id":4542641,"id":"Q4542641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416275$322041D1-EE27-4EAD-A81F-6B5FD69FAB8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fa92cfd199ec6db991b2d9c2d437b9fe6a66f78","datavalue":{"value":"10.1007/S00500-011-0701-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q416275$9B49CE79-CFE2-4A33-A4F9-22FCD16DFD1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96bd572e7d7fb2e6b6cc222b26cc3c799ea6f39b","datavalue":{"value":{"entity-type":"item","numeric-id":543823,"id":"Q543823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2b8d78e70ec9c5591d6a8dec1d9594ef56ef41a","datavalue":{"value":{"amount":"+0.8795126080513","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":"Q416275$35AC8F29-3599-4D64-B9BD-34FEA90035F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"032970ce24e1cb6f187b1294a6ec1c5c9f03c507","datavalue":{"value":{"entity-type":"item","numeric-id":2249683,"id":"Q2249683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603764612205c860607fb5b70574f97fa37a80a9","datavalue":{"value":{"amount":"+0.8496147394180298","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":"Q416275$3F1D1C4A-B1BC-4388-916F-D5B7FA0B9002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15f58565f99a497b2883094dcd6c6ba843fd46d4","datavalue":{"value":{"entity-type":"item","numeric-id":5212288,"id":"Q5212288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcefdfe2328eff333df7824263760bd2ac8db0c9","datavalue":{"value":{"amount":"+0.7817748785018921","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":"Q416275$59D6A5D2-D44E-4AE1-B968-B7454E6BC9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5688bb62a24ff9b1240d027c9e365f59b793f6f","datavalue":{"value":{"entity-type":"item","numeric-id":877764,"id":"Q877764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e09dbb0092ed16dcd7719e4c49b7f8ca2823467","datavalue":{"value":{"amount":"+0.7731866240501404","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":"Q416275$F7418725-E08F-4D63-827E-94D293084C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f02b9b29752d1136d6dccd6f7ed8408741ee5100","datavalue":{"value":{"entity-type":"item","numeric-id":2377355,"id":"Q2377355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a523c9114d6940cfa08f0a3f538df2982732d9","datavalue":{"value":{"amount":"+0.7719166278839111","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":"Q416275$5DD9DC85-AE14-4653-8AF5-C2F2C08614AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:416275","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:416275"}}}}}