{"entities":{"Q344089":{"pageid":345856,"ns":120,"title":"Item:Q344089","lastrevid":52680260,"modified":"2026-01-23T06:14:31Z","type":"item","id":"Q344089","labels":{"en":{"language":"en","value":"Internal states on equality algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6655021"}},"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":"Q344089$EABBE937-4F2B-4B62-B50E-0D33CEBF5F1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d234d61b589dc09118c5c37b4fdd1a1a0f05ba86","datavalue":{"value":{"text":"Internal states on equality algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q344089$FDF98FB4-F96C-4F81-B84E-AC7FF33628CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adbece0323fe7ba92bc5aa98b0e7df3802220191","datavalue":{"value":"1392.06013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344089$57612998-E4CB-47D8-BAA7-57C82684E0F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bf6d0a4618a804858ae584687cec02ca3596cb6","datavalue":{"value":{"entity-type":"item","numeric-id":344088,"id":"Q344088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$77FE0E53-2886-4026-9CCE-111E31D4BAE2","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":"Q344089$CAC5290A-F069-46AD-BC74-EC3D680F9226","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a18793aeb6a89d8a2af4c11b79598ffabdcf227c","datavalue":{"value":{"time":"+2016-11-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":"Q344089$4E19033C-50E4-417F-9838-6397F047CD7A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"377c56cf0ff95e697138b373e71972ee55ba0b17","datavalue":{"value":"The internal states and the state-morphism operators on equality algebras and on their corresponding BCK-meet-semilattices are studied. The main result consists of proving that any state-morphism on a linearly ordered equality algebra is an internal state on it. Moreover, any internal state on a linearly ordered BCK-meet-semilattice satisfying the distributivity condition is also an internal state on its corresponding equality algebra and a state-morphism on a BCK-meet-semilattice satisfying the distributivity condition is also a state-morphism on its corresponding equality algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q344089$486A6339-E76B-4B27-A0FD-CDCC1D555ED1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344089$A50D3B63-A39A-410D-9D13-5F11868DB378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344089$D34D7C13-0201-458C-B092-5FBD50656E30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24afe69ca3a268a5b8635e6ac3dd9c00337c4f3c","datavalue":{"value":"6655021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344089$8589C307-4B93-4902-990C-848FC12236DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db0c8a5ae610c889fa5515d6e230ac85b887cde7","datavalue":{"value":"internal state","type":"string"},"datatype":"string"},"type":"statement","id":"Q344089$F3DFB3EE-42D3-4F2F-89FF-4E2C854B8EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27c075517acd8dab5de24763f4bf88a4168acf10","datavalue":{"value":"equality algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q344089$7C9E2534-7319-431C-9F1E-3D35CD430264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ae94c07cfb807968a09f81c41709366559e315","datavalue":{"value":"BCK-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q344089$B620FA5F-A1D6-4359-B203-799E44432C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a5f72353e29c59d6e36719bf52470d4b7c0b1ef","datavalue":{"value":"state-morphism operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q344089$72A1A8FA-1899-4797-AB77-C41BC33B55C9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0900d4695d5246fc582c8224af534b30f303eb21","datavalue":{"value":{"entity-type":"item","numeric-id":202029,"id":"Q202029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$61A8BD31-73E5-41F9-8256-B6BD29EB076F","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":"Q344089$EA252C72-35AD-4ECA-B26B-8FFD698C9B84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"326cc1dc0ae6b16befea31af5165a9360b7c1036","datavalue":{"value":"https://doi.org/10.1007/s00500-014-1494-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q344089$67505386-9069-4690-893D-65FE5A0D70C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40cf6dc5f12b3d52d84da5b0c4ea8b7d66658b60","datavalue":{"value":"W2007473754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344089$BBD6BCEE-9786-4180-8FFF-484FE9CD03FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae492ca26062d9e46ba073eee7e3ab18decf4380","datavalue":{"value":{"entity-type":"item","numeric-id":2350514,"id":"Q2350514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$FB7E1ED6-F68A-4D25-AA5C-ED55A8F75765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4e044795e82844339ce961e083119a8d747aa3","datavalue":{"value":{"entity-type":"item","numeric-id":422429,"id":"Q422429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$3FEC44D4-9BFE-4130-AE9E-35800818B71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b8444c0882e98d520ce373b91593abf38a6907","datavalue":{"value":{"entity-type":"item","numeric-id":432189,"id":"Q432189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$6D4252D6-BADA-4A91-8470-359666BA2ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"459891a4b63bed528e79723ce086c66f1bafb9b8","datavalue":{"value":{"entity-type":"item","numeric-id":5746299,"id":"Q5746299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$46971866-D9EB-48FC-9BD7-0ED5E99DC8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e55f9c7f5c7e4fe5674f5ac43e205d1dfb22862","datavalue":{"value":{"entity-type":"item","numeric-id":403404,"id":"Q403404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$3AA9E267-CE35-4B42-B7CA-0C15949A6D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"929cc21f4ca526c221a265a7b9696a8246de4ced","datavalue":{"value":{"entity-type":"item","numeric-id":962839,"id":"Q962839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$78355430-07CF-47AC-89ED-DFBE119936BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8954db2afc7594479184e486e6b055104ed86831","datavalue":{"value":{"entity-type":"item","numeric-id":1035651,"id":"Q1035651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$D51896D9-819A-4230-A1D9-F573E4D3C972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa5d6c8a29a2e4fbbe35674d63061e1d0dcf13b6","datavalue":{"value":{"entity-type":"item","numeric-id":636395,"id":"Q636395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$A0690B4D-8414-4E98-A684-5C75BEE286AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e06f7a9d0c8efec2c84676c229d76a5cd4b9ce0","datavalue":{"value":{"entity-type":"item","numeric-id":627435,"id":"Q627435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$C5EAE417-9A0D-4260-9FC7-9FCE77FD5A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbcc4f7941d50d4e552200e61ac0ac1d44a8131","datavalue":{"value":{"entity-type":"item","numeric-id":427916,"id":"Q427916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$5F708D82-4A2E-4F1B-95EA-B644D26CC4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d15cacfca59fb90c1ad35d05a95e3bdc0d7115f","datavalue":{"value":{"entity-type":"item","numeric-id":409738,"id":"Q409738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$C3C76131-B3AA-4EEF-89E7-43673B803DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce363d7ac763a221c97793e13567b3143f394522","datavalue":{"value":{"entity-type":"item","numeric-id":2752146,"id":"Q2752146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$66D6F68D-A0E0-40E3-A7C6-235585727F51","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":"Q344089$6B9C1B3C-297C-4C3A-B9E3-C66E6A8B7D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cfde52ae4ca370ec9954aad90847d8b82de5421","datavalue":{"value":{"entity-type":"item","numeric-id":5536250,"id":"Q5536250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$E4EBEBB9-3459-4CE2-B741-DDF5D517C5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"495d768697900982c49ed140764875c6384b263e","datavalue":{"value":{"entity-type":"item","numeric-id":3508717,"id":"Q3508717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$D1DEE605-B416-4F38-82D2-FFB1F7E61106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecdfd467ef47604fb851dea6a35936a7323cb6ab","datavalue":{"value":{"entity-type":"item","numeric-id":5190972,"id":"Q5190972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$F37D0CEA-9FFE-4299-A84A-67F13E55E741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f8d47bf1a22a51f1534226ba974e486ce9ea18","datavalue":{"value":{"entity-type":"item","numeric-id":1935560,"id":"Q1935560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$C951EF7B-2448-4EDB-9E4E-5E9B837DE2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84dee311b3cc97b88cd46b95d0e83f9d57f651d3","datavalue":{"value":{"entity-type":"item","numeric-id":365672,"id":"Q365672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$A00CA1E1-3A16-4715-B03D-85686B244D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"139e0de8cc80a0a35f9a33739f6d09c1b7f6b24b","datavalue":{"value":{"entity-type":"item","numeric-id":5442313,"id":"Q5442313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$1FEF088D-9B84-4889-8346-831EB708C7E4","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":"Q344089$8E6EC774-71BD-458D-8DA7-F5968E3E4DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ace31db1f296da1ce366e00315b63f7c024ee5","datavalue":{"value":{"entity-type":"item","numeric-id":703370,"id":"Q703370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$998641DC-C10C-4312-B84D-596BECFCED0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364127aaa8aa7a37a24d8a892ef4dcd4cc99b788","datavalue":{"value":{"entity-type":"item","numeric-id":1043290,"id":"Q1043290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$C7776A43-CE27-4F4E-8C8D-3C478EFFE8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33339f52b6fca12c3ec126bbd697db1ad6ca94fe","datavalue":{"value":{"entity-type":"item","numeric-id":2885176,"id":"Q2885176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$D78408FB-F636-4619-AB96-6F3BEDFD9BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cb6f6bb9d9ab632421a20a989d01029a7064a8d","datavalue":{"value":{"entity-type":"item","numeric-id":549345,"id":"Q549345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q344089$DE45ABC3-F5E3-4108-882F-61F986456E55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3a8bfd4a40e4655382a2a09a31ff0593a010437","datavalue":{"value":"10.1007/S00500-014-1494-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q344089$3813235B-6ACD-407E-830C-D9141DD72FD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aac64b9a59e4d19a3e9f7eedaf4a8de11f4f743","datavalue":{"value":{"entity-type":"item","numeric-id":4963205,"id":"Q4963205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27dc8873b1ea73e09034000770188cbe08b1e7f2","datavalue":{"value":{"amount":"+0.8861620426177979","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":"Q344089$64D051C1-D8DA-4097-9CAA-AC882C6F2B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"304e2027a4f423b987e2fa67c6823e1aba44aaf2","datavalue":{"value":{"entity-type":"item","numeric-id":4609190,"id":"Q4609190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"001282f83935c9a51c5f5fa0443fae5e8fa14b04","datavalue":{"value":{"amount":"+0.8774512410163879","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":"Q344089$90CDF862-7D63-4E82-B958-7DCE2B543311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c7fc953766c7c609cf67363f4bdacd281c051e2","datavalue":{"value":{"entity-type":"item","numeric-id":5240893,"id":"Q5240893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5614c9ad11383ff872aadb88d75d42de53184a8a","datavalue":{"value":{"amount":"+0.8281562924385071","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":"Q344089$97E5EFDD-6B4F-4402-883B-E54EA6082E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15d39b10624905245f8eacc54a453cb8402dfd1a","datavalue":{"value":{"entity-type":"item","numeric-id":2292942,"id":"Q2292942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cd75713668ff9150e1f609a6d7a726654a66497","datavalue":{"value":{"amount":"+0.8247133493423462","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":"Q344089$2F841E50-7397-4513-9BF5-E7ABAD925608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4ae08646b48bf1bbce930066a3b2ddecb54d4c4","datavalue":{"value":{"entity-type":"item","numeric-id":1797925,"id":"Q1797925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dc01f5619f847f7471fd0310fc94db216ce262c","datavalue":{"value":{"amount":"+0.8246066570281982","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":"Q344089$2DB2BFE1-F58C-408C-BC63-D04D94D3A467","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:344089","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:344089"}}}}}