{"entities":{"Q2474099":{"pageid":2484842,"ns":120,"title":"Item:Q2474099","lastrevid":44154504,"modified":"2025-11-20T10:31:58Z","type":"item","id":"Q2474099","labels":{"en":{"language":"en","value":"On the (un)decidability of a near-unanimity term"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5242741"}},"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":"Q2474099$D0A144F1-9955-4D74-8AD5-80E4FE0E14DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e94d4d70192643f69d6d4390ae3429f485cd889e","datavalue":{"value":{"text":"On the (un)decidability of a near-unanimity term","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2474099$572BB416-AA5A-4F70-92CD-E9C1A84648A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1b764fbbfb91a0e7e2a88152385e64c2736e122","datavalue":{"value":"1136.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474099$F16C1637-31D3-4CFB-8AB4-1DAFC4CDDE33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474099$4828C272-A63F-40E8-8BC3-5FD0AAFBE1D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"320775bc8330b9df723b904d964cd89baad4e710","datavalue":{"value":{"time":"+2008-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2474099$73706186-EC24-40FD-8FDF-68BA843F72C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7efa5adb0240e57dce8c5389b8c021abec0f89d","datavalue":{"value":"http://real.mtak.hu/4592/1/1116613.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2474099$4D8F5D7C-6932-419D-95D5-BB42800E1E77","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5b829977d730d11b322ed8c7ff8dff6933b14c7e","datavalue":{"value":"Let \\({\\mathcal A}=(A,F)\\) be a finite algebra with \\(| A| >2\\) and \\(a,b\\in A\\). A term \\(t\\) is called a near-unanimity term if \\(t(y,x,\\ldots,x)=t(x,y,x,\\ldots,x)=\\ldots=t(x,\\ldots,x,y)=x\\). The near-unanimity problem for \\({\\mathcal A}\\) is the problem of deciding if \\({\\mathcal A}\\) has a near-unanimity term of finite arity. \\({\\mathcal A}\\) is called idempotent if \\(f(x,\\ldots,x)=x\\) for all \\(f\\in F\\). The algebra \\({\\mathcal A}\\) is called strictly simple if it is simple and does not have a proper subalgebra containing more than one element. The following results are proved: It is undecidable whether there exists a near-unanimity term on \\(A\\setminus\\{a,b\\}\\). There exist three of the six maximal clones on \\(A\\) such that if the clone of \\({\\mathcal A}\\) is contained in one of these three clones then the near-unanimity problem for \\({\\mathcal A}\\) is decidable. If \\({\\mathcal A}\\) is idempotent and strictly simple then also the near-unanimity problem for \\({\\mathcal A}\\) is decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474099$003D1CDB-BC56-4FB6-AE9C-2006E0911023","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"979ef4a30a3c4b4dc502fe36ddec548597439b00","datavalue":{"value":{"entity-type":"item","numeric-id":190393,"id":"Q190393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474099$3D321612-CA4C-43CD-91A1-0BE6B4799D4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474099$B7D41D07-7A95-4D3D-A5E2-81A3ECA47F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a6b8910b2f61f84f7da81eca252714eacb86688","datavalue":{"value":"08A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474099$1578A109-35D9-4A54-AB04-E619D199377F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9e972033c53d86c025bf376b561c7f8a2e5e6cc","datavalue":{"value":"5242741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474099$88C57F93-44DF-40BA-8101-83B06526EDF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b6b335687f38a561260f0772b2d36f4d6795fc9","datavalue":{"value":"near-unanimity term","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474099$96A81A67-3CFF-4B2D-908B-A45F5AEF7893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1afe33db573b35de357fa1792c3831fe627f2de6","datavalue":{"value":"near-unanimity problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474099$164E8D35-33C4-4773-999D-CD01C3EBA402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474099$32A2B5CF-D9A0-4AA3-AF76-52C255B613B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e2919efda3d9828b76deb30a63d62ca5b413914","datavalue":{"value":"clone","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474099$9B728944-A2BC-4DCF-9D88-4D9C3D71CB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac7cf189284be14301bcb814101ad7650e2604e6","datavalue":{"value":"maximal clone","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474099$7DAAA6AF-D0F1-47A9-980E-D9279A365D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60f2315b98b3b5069daa48fcf8e139df6eef1965","datavalue":{"value":"idempotent","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474099$EA5D8E3C-8983-4002-AE68-EBD54F54D8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1e034d35f1f102be5fd26641768ab0fb7978c34","datavalue":{"value":"strictly simple","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474099$5AB9C3B3-950C-42E0-8972-A0860E33B0C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18ab44fff9c88d94f451b15a05165816cf799437","datavalue":{"value":{"entity-type":"item","numeric-id":438816,"id":"Q438816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474099$A074C5D5-985C-4DC3-A0F7-966482EF30E2","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":"Q2474099$12C8028F-64B8-4341-8D49-436BC05B5E05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1ece1f01a2903c220a59d52801a2e1ac5a04513","datavalue":{"value":"W1994368615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474099$D1B1C25D-5C6A-4F24-BDA6-5699C8374C2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d3ecf179186c8d17eb2d7e4f5d44b907a5ab3e9","datavalue":{"value":"10.1007/S00012-007-2037-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474099$698DF826-B2ED-4A37-B49E-BB11DEDF69E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6139aa5ec92594797d3b30bf6cbe1bae3980a09c","datavalue":{"value":{"entity-type":"item","numeric-id":2449447,"id":"Q2449447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f46a4c2d9cb4a317feddfb51db1da8642e7f596","datavalue":{"value":{"amount":"+0.90487623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2474099$A96FEC8A-C8B5-437F-A992-A58B1C260012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f090bd7e61de904044bd04e5301ae75f4dec3b8","datavalue":{"value":{"entity-type":"item","numeric-id":3399189,"id":"Q3399189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6371f9be712f982b13525787b8188976bcf7481","datavalue":{"value":{"amount":"+0.902124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2474099$3474F337-01B6-4563-9CDA-354B16453B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"345a23c3869bfafb8eed5d17b432ae196016e837","datavalue":{"value":{"entity-type":"item","numeric-id":1207950,"id":"Q1207950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23457706e2ff833229d4be3749d234fe17c61a2c","datavalue":{"value":{"amount":"+0.8549323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2474099$112803ED-4EEA-4510-8729-AED0F8682804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b410b1e4531ee4135eaa7ecc52ffde4be920bae0","datavalue":{"value":{"entity-type":"item","numeric-id":3772198,"id":"Q3772198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6acf6f7c0df746115843032ec0d188b0513726a5","datavalue":{"value":{"amount":"+0.8514961","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2474099$6333363D-7D21-407A-9FD0-CEBC729DE3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c20c207fbae33f7c0feab7340c348a30fb6a9d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4035254,"id":"Q4035254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41dd00775a7d7f0f3250194edf4b5fcb42ef29ee","datavalue":{"value":{"amount":"+0.8508439","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2474099$8507E3DC-BCBA-4270-BB77-84BCA9DCD6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63c7143dd4987cfba819cdf3bd6e45fc6552d962","datavalue":{"value":{"entity-type":"item","numeric-id":5863602,"id":"Q5863602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"083e561f4fbc4652197a7eed8ef2d1bfd6a8122e","datavalue":{"value":{"amount":"+0.8501537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2474099$F41B632C-4BD2-41DB-8434-959A68591061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79d87a6748a7d0eb77aaaa71becfaea221c5b5ef","datavalue":{"value":{"entity-type":"item","numeric-id":3478395,"id":"Q3478395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ec5076f2849b103da738e2ffd06b618b08e9066","datavalue":{"value":{"amount":"+0.84918004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2474099$823E0A87-DFAC-4DC4-85E5-AC99CF2AB66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf0ca38629ee1d8c9e1fc5296fc7a92aff3e902a","datavalue":{"value":{"entity-type":"item","numeric-id":3772200,"id":"Q3772200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f7700535b4b7679a1dbc8346d1615b1e475ca2","datavalue":{"value":{"amount":"+0.8483678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2474099$9E6B13D8-690B-480C-AFF2-1ECFAE498301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a429fd751118f48491982afa50e84bc3bf508407","datavalue":{"value":{"entity-type":"item","numeric-id":3079624,"id":"Q3079624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed33bfa2e552f027de4922f297b44106d13499af","datavalue":{"value":{"amount":"+0.84643185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2474099$B7C396CC-3D3B-49BE-86FD-05ED4E0AF2F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2474099","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2474099"}}}}}