{"entities":{"Q2799121":{"pageid":2809859,"ns":120,"title":"Item:Q2799121","lastrevid":79771160,"modified":"2026-05-06T14:40:25Z","type":"item","id":"Q2799121","labels":{"en":{"language":"en","value":"Algebraic functions in \u0141ukasiewicz implication algebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6566697"}},"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":"Q2799121$12F7EFA9-E1ED-4635-B640-166E7E568A2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7783ae60def659e9f7bebd7116a5af3a963d902","datavalue":{"value":"1339.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799121$957AAF7F-F991-4ADC-B235-20044707F3BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f38721014358593bcc681e848a42095c0f5a85b4","datavalue":{"value":"10.1142/S0218196716500119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799121$6782DBB0-70DD-4488-8D01-A32FBDA91661","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7f4e75461d95037e69d585d3faf5530e0368f039","datavalue":{"value":{"entity-type":"item","numeric-id":2703070,"id":"Q2703070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799121$F0B18870-E84C-43B3-9E0E-4285CC0537E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b86ea1a94e09e929f8289e34f06858aefd9bcd2f","datavalue":{"value":{"time":"+2016-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2799121$27A37E31-F2E7-4C01-AD5C-0A39555116E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799121$E9EDB004-A41A-4FEE-9B50-65C3B88D4960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799121$4BA1B2F7-29C6-46B2-A943-22E7BFB1D1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799121$9D52CD37-DC37-4C63-AD20-A1021F0A90A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49526bacffdadf141a5ad593e6f59b443a3051aa","datavalue":{"value":"03G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799121$1A08F52D-C30E-4972-8F02-C198AE1ADCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799121$6D6725A3-9BA5-427D-9E69-9123CE55A705","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a1f69c4f6ed7619ec175bf78f61188ad70ad061","datavalue":{"value":"6566697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799121$54E8CDC3-8ED9-4CEC-BB51-F6026D07324F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45442b35ca919fcbb491d2c1669ffaab05eb5224","datavalue":{"value":"\u0141ukasiewicz implication algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799121$E8231838-2959-43A7-BB20-7C589AAAA2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eac2ff8f08a267e4b682a1e2784fe8443cc5f804","datavalue":{"value":"Komori algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799121$69F24C24-1801-4526-A8ED-A70DA0B375DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"268627c37807acc4cd58ad021b0d694d3c16b39d","datavalue":{"value":"algebraic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799121$CB56B78D-8B42-42F5-B301-C877A3433802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2535d2ef04e82019574c53811524d6b00042dcb","datavalue":{"value":"first order definable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799121$FD624291-E50A-4779-A10E-CC5D4FEA3B96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"843f08a1dffcac75f48a4e8f90ad97dbd6efacb6","datavalue":{"value":{"entity-type":"item","numeric-id":539982,"id":"Q539982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799121$F4130CCC-1C7E-4A63-97F7-EEF750F124ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1c4464f6c45a39b0731a4675b2e292d7fb95bb2","datavalue":{"value":{"entity-type":"item","numeric-id":616115,"id":"Q616115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799121$DE0365DF-C1CF-42CC-9E46-1E141C5C1587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"400890dd66db10164ad71f611209574f2fce9097","datavalue":{"value":{"entity-type":"item","numeric-id":422483,"id":"Q422483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799121$4997B6B1-C3EB-40AB-959D-3A148E17339E","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":"Q2799121$9906F291-4DD7-4D71-BCF8-489B90B100D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0974b1a205e4707c397751175cae7fb59a455e","datavalue":{"value":{"entity-type":"item","numeric-id":5532577,"id":"Q5532577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799121$103882FC-5DEC-4763-98BC-4D14E8068860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fad4786269ecd0509183eeac4abe49e483e2e36","datavalue":{"value":{"entity-type":"item","numeric-id":1770972,"id":"Q1770972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799121$DC789FBC-D4E7-4EAF-B64F-3D49C43D0709","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":"Q2799121$FA65ED8B-BADD-44E0-AA6B-6974F9B450E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"142c37b1697a1becef93061806f0d8cd6dfa18de","datavalue":{"value":{"entity-type":"item","numeric-id":3162711,"id":"Q3162711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799121$9E66E2C4-AAFF-4A92-845E-F2811FD7F05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c5b2614e112448ba5efd623bcaf2f69f2afa68a","datavalue":{"value":{"entity-type":"item","numeric-id":4527760,"id":"Q4527760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799121$EC8AA5C1-78FD-4A82-8C0A-3515A59F3E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815eb2ee300f1f7920e9a5654fcb96a47b99269d","datavalue":{"value":{"entity-type":"item","numeric-id":4137140,"id":"Q4137140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799121$CADFB8B3-C704-4EF4-ABFC-A65410124598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddebecba5228c2c587db848afd240d4e169403bf","datavalue":{"value":{"entity-type":"item","numeric-id":3853700,"id":"Q3853700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799121$D6CDA298-0AF2-4665-ACBB-3795E5DEF532","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbada1cd3dad044651909ec25ddaa8ed445cf855","datavalue":{"value":"https://doi.org/10.1142/s0218196716500119","type":"string"},"datatype":"url"},"type":"statement","id":"Q2799121$3E36B57E-5602-46AD-A421-5FE779F7F822","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"baab7317994964b70cb5fbcf7388cb21838fe18d","datavalue":{"value":"W2279652948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799121$F8BE27A1-B62C-4734-836F-4756F7AE8045","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b2abb5abb1778dc08f2d574d115a8d5362f1359","datavalue":{"value":{"text":"Algebraic functions in \u0141ukasiewicz implication algebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2799121$1A590688-5A7C-497A-A504-9108ED4C35DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"25a8eac48ac03ad312162df370892879dccc2678","datavalue":{"value":"The authors are concerned with functions definable by conjunctions of equations in the equational class \\(K\\) of Komori implication algebras, the \\(\\{\\to,1\\}\\)-subreducts of MV-algebras. When an algebra \\(J\\) of \\(K\\) is fixed, the \\(J\\)-definable functions are said to be algebraic on \\(J\\). These functions are a step above the term functions of \\(J\\) in the hierarchy of first order definable functions in the language of \\(J\\). A characterization is provided of algebraic functions in members of every finitely generated variety of \u0141ukasiewicz implication algebras. A representation theorem is proved for all finite \u0141ukasiewicz implication algebras extending the well known result for Tarski algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799121$D23E3DBD-DCEC-40D8-B320-826407DB4A1C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799121$375EAA9C-B45A-4039-98FD-0C9BDE654DFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"015c368f112d2d935dc072d14c587a9544b23323","datavalue":{"value":{"entity-type":"item","numeric-id":937211,"id":"Q937211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c3a405cb8df804739b5f69d11bab6462918b0c4","datavalue":{"value":{"amount":"+0.827532172203064","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":"Q2799121$5D7D46AB-E753-4D1D-A081-78E16E682E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf5b219ae6f24727206ae2790576dffbf9fada6","datavalue":{"value":{"entity-type":"item","numeric-id":3426091,"id":"Q3426091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"917248595d97e48d8e4675aec0ea5badb99f11c1","datavalue":{"value":{"amount":"+0.8242353200912476","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":"Q2799121$E94E7D1D-B86D-4A2D-8EAE-4ACB48D9DCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a75fd28d41e591b59b20f58c6d8393300dc59806","datavalue":{"value":{"entity-type":"item","numeric-id":763305,"id":"Q763305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b78c8f3d1ddbd7eb4c06f190b3def2376e0be1a","datavalue":{"value":{"amount":"+0.7930446267127991","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":"Q2799121$6603AD68-15FF-41A5-982F-DA5D20D63C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652e3ddbaaa0482fa49c40e3689e31a387b98509","datavalue":{"value":{"entity-type":"item","numeric-id":2450844,"id":"Q2450844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a0b8df6df26bd1ec5afef0f98d37f567864502","datavalue":{"value":{"amount":"+0.7885138988494873","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":"Q2799121$5BB0FAE1-0DAA-45FD-B136-593B0FB909FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa2abcdcf88afe6c5f2288bd79c8dd6e8f56287b","datavalue":{"value":{"entity-type":"item","numeric-id":862351,"id":"Q862351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9a089ecc793f75e3eb2ba1f4181eda4ac59a171","datavalue":{"value":{"amount":"+0.7706522345542908","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":"Q2799121$C5C6C5AF-406B-4B5F-A38E-C5245497C8DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic functions in \u0141ukasiewicz implication algebras.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_functions_in_%C5%81ukasiewicz_implication_algebras."}}}}}