{"entities":{"Q2342799":{"pageid":2353542,"ns":120,"title":"Item:Q2342799","lastrevid":72557736,"modified":"2026-04-14T05:43:50Z","type":"item","id":"Q2342799","labels":{"en":{"language":"en","value":"Existence of finite total equivalence systems for certain closed classes of 3-valued logic functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6432203"}},"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":"Q2342799$A6D6B63D-78FC-4812-B797-4E9C283C2A52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5317de9baf0f3eec025a87bc2e134bc16719ea02","datavalue":{"value":{"text":"Existence of finite total equivalence systems for certain closed classes of 3-valued logic functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2342799$E63E72BA-680C-4783-98A4-6C2370C31FF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39331de8cfad515edae1cd5830f9f2e76ac8521b","datavalue":{"value":"1358.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342799$7F46DF13-4DC0-4806-97F8-D8A125442655","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a2d7fe2c74f0269db890fe075523591ee8e806c","datavalue":{"value":{"entity-type":"item","numeric-id":2342798,"id":"Q2342798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342799$828D3DC3-0857-446D-A7B5-9E3CC2E7F828","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342799$4607B340-E418-43D6-9C51-B6BC8BF2C690","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d95d2d0a50d4e72ba00896317b0d1f40c726855","datavalue":{"value":{"time":"+2015-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2342799$FC7F4A3C-6AD8-4EF2-BC0B-23497AF0BD6E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5618e305f28e9cdda58ef459f9a010ac889e98e2","datavalue":{"value":"The aim of the paper is to find finite total equivalence systems (FTES) for some classes of functions on finite sets. A reference monograph on this topic is [\\textit{D. Lau}, Function algebras on finite sets. A basic course on many-valued logic and clone theory. Berlin: Springer (2006; Zbl 1105.08001)].  For more details, we quote the paper summary.  ``The article deals with finding finite total equivalence systems for formulas based on an arbitrary closed class of functions of several variables defined on the set \\(\\{0,1,2\\}\\) and taking values in the set \\(\\{0,1\\}\\) with the property that the restrictions of its functions to the set \\(\\{0,1\\}\\) constitutes a closed class of Boolean functions. We consider all classes whose restriction closure is either the set of all functions of two-valued logic or the set \\(T_a\\) of functions preserving \\(a, a \\in \\{0, 1\\}\\). In each of these cases, we find a finite total equivalence system, construct a canonical type for formulas, and present a complete algorithm for determining whether any two formulas are equivalent.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q2342799$948339AD-C49F-4A3C-80D0-E99C2C7E87C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342799$D1D5D9AD-3C76-471F-83F4-7C9636986178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342799$E6DEEC61-DF88-47EB-9910-969701E81285","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebc55cde0423334bbb76acbc971716b31efadbff","datavalue":{"value":"6432203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342799$056609A8-AB59-4E10-BFBF-F3AE6B81A1E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2342799$FD48CDED-8AFB-4F7C-8167-C2B40C3D3F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aac66e171120d022e609defa43b145d0c6413b98","datavalue":{"value":"closed class","type":"string"},"datatype":"string"},"type":"statement","id":"Q2342799$E33B4749-52E6-40A8-ACB3-E55388D1AFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca8d4128dfa40201c8e0ac56d42bac178aa7832d","datavalue":{"value":"finite total equivalence system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2342799$4C525A1C-FB15-470E-BF25-0A864A5FF760","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":"Q2342799$2744C75F-8812-4F04-9C91-7B49C8D7DA1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09014e311326d1b901587782a45e6dde83cd9b74","datavalue":{"value":"https://doi.org/10.1007/s11787-015-0117-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2342799$D2E7B2FB-73A6-4F97-91F0-CCD1DBFEE6BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce15a3ce026c5c65f3e456f4ef06e035bf677e48","datavalue":{"value":"W2061732288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342799$FF96CD81-54CA-422C-8C3B-B012E82ACD85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342799$63245626-532C-49AC-9D72-108EE0529F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b552bf80de4b2cc3461bbfcde9fcbff1a366130f","datavalue":{"value":{"entity-type":"item","numeric-id":5806804,"id":"Q5806804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342799$A5F83213-6C06-4C01-810A-51B0C63D1EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cbfaa5b37c212b78484bcb29e71b7a4ff9df44f","datavalue":{"value":{"entity-type":"item","numeric-id":5825749,"id":"Q5825749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342799$81076F7F-6DA6-46F5-9F43-B38BD024456D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83a5442c083262defd6e6ece6e8ebe5149a49a8","datavalue":{"value":{"entity-type":"item","numeric-id":5570932,"id":"Q5570932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342799$CEE4CDA6-3530-4093-99FF-2107BDE1F6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af8e589111d42cf47925c6b6daf6a3425f110e7","datavalue":{"value":{"entity-type":"item","numeric-id":5393647,"id":"Q5393647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342799$1F7A73D3-6145-4C2A-8422-186BDDB04698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab6d39911afe70444d668c59a72557a9573b8e5f","datavalue":{"value":{"entity-type":"item","numeric-id":3946099,"id":"Q3946099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342799$13E65E96-D144-4330-8AE4-82CEE9806CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33d7ae2c8075964087a631fe78287c17f4aed76c","datavalue":{"value":{"entity-type":"item","numeric-id":4657024,"id":"Q4657024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342799$D5465D7F-2AFD-4AF4-8774-66E8903CF108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a96965e4b24de2b00663d74df6a735a9ed88bcae","datavalue":{"value":{"entity-type":"item","numeric-id":5613923,"id":"Q5613923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342799$B649BB69-E7CC-425D-9E42-D63DB7C4DA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ddbd5ace5579af28195b888b66e44987be3a6e7","datavalue":{"value":{"entity-type":"item","numeric-id":2536623,"id":"Q2536623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342799$46DED51E-033E-4A9B-8BFC-D99555B1A9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd2c5f3d0361666f0b4f32c95e10fbb3963a30a7","datavalue":{"value":{"entity-type":"item","numeric-id":3874283,"id":"Q3874283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342799$E8E82713-07E3-41EF-AD22-300F3468B161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4a0f984476920cb2aeebea77a2368b12f68010","datavalue":{"value":{"entity-type":"item","numeric-id":1931351,"id":"Q1931351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342799$A9DB4846-D43B-45C5-82F9-2A159709F8BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b413f9ad54391a2af8de38eb23453c68c7150c2b","datavalue":{"value":"10.1007/S11787-015-0117-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342799$87B0DB54-8BF3-4744-866D-4F44C3CE9886","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be0b92814195399b8ab9dbcd133dbaeeefbd1fde","datavalue":{"value":{"entity-type":"item","numeric-id":355308,"id":"Q355308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a0a0c24569a59de399969023874558856cc61e2","datavalue":{"value":{"amount":"+0.8103469610214233","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":"Q2342799$8C4BD131-7872-4469-8248-27E0FD1626B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6edd1ab50ca69680af2a6a6e52f98270566f0ba","datavalue":{"value":{"entity-type":"item","numeric-id":2513000,"id":"Q2513000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"545d38040ea124b1cbf03d522200658812343106","datavalue":{"value":{"amount":"+0.8084951043128967","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":"Q2342799$9D1353FA-B66F-4DC0-B6A4-6A6C661547E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e906de0525e5426ef0f0d40929b737fd533522b","datavalue":{"value":{"entity-type":"item","numeric-id":2734032,"id":"Q2734032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27da052ba90c8bebef2d9baddf75f4d4b0d6a10c","datavalue":{"value":{"amount":"+0.7884265184402466","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":"Q2342799$0C911BFE-1DFA-4921-ABF8-D453F4466601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4a4344a174e65e3badcd23a13cb82077992a47b","datavalue":{"value":{"entity-type":"item","numeric-id":2820944,"id":"Q2820944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"215b1a4c7a748a31410c29144e2bceee5c0fc615","datavalue":{"value":{"amount":"+0.7863283753395081","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":"Q2342799$32166751-5FE0-4576-9888-06558505B89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26157f57dddac0e03762f9cde93d784efa54a178","datavalue":{"value":{"entity-type":"item","numeric-id":5264727,"id":"Q5264727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d79c86665d2396c00a342dc392c346d4bd9aef67","datavalue":{"value":{"amount":"+0.7843652963638306","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":"Q2342799$5730C8A4-A591-43CA-BCD3-D635EAFECD92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Existence of finite total equivalence systems for certain closed classes of 3-valued logic functions","badges":[]}}}}}