{"entities":{"Q695786":{"pageid":697635,"ns":120,"title":"Item:Q695786","lastrevid":63698304,"modified":"2026-04-11T14:56:21Z","type":"item","id":"Q695786","labels":{"en":{"language":"en","value":"Antivarieties of unars"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6116200"}},"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":"Q695786$F76A2D7A-19FA-4EF6-9F7F-2B63CDB33DF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8e367f9a65794b0a0eb30ca7c97aaeca987896f","datavalue":{"value":{"text":"Antivarieties of unars","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q695786$DEA859BE-26C0-4A93-A48E-9A79A7E40A2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"893b06a16ceeded11b6c0331c55126e9f9e2e555","datavalue":{"value":"1268.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695786$9E3B40C7-A6C5-49B5-9952-EE3A6FE36AF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f0ee31a6989db8d85d6f7d2268d643499a9cdfe","datavalue":{"value":{"entity-type":"item","numeric-id":462597,"id":"Q462597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695786$E4BBD05F-419B-4A48-938D-C8DDA9F74671","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695786$DDA9451B-CEA2-426D-8839-CD4421401121","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"361bffbceda806006d5fec8b3962c6c8e6ce4aff","datavalue":{"value":{"time":"+2012-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q695786$DBBB88C8-3536-4D15-A88F-B58EC047B7B2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7a7d00a28c4f79b7f85ca716cb476df3f181b284","datavalue":{"value":"A class of algebras is said to be an antivariety if it is definable by anti-identities (an anti-identity is a disjunction of a finite number of negated formulas). In the paper, antivarieties of unars (\\(=\\) monounary algebras) are dealt with. They form a lattice \\({\\mathbb L}({\\mathcal U})\\) with respect to inclusion. It is shown that the unique atom of \\({\\mathbb L}({\\mathcal U})\\) is the antivariety defined by \\((\\forall x)\\neg(f(x)=x)\\) and that \\({\\mathbb L}({\\mathcal U})\\) satisfies neither the ascending nor the descending chain condition. The main result is as follows: There is a continuum of members of \\({\\mathbb L}({\\mathcal U})\\) having an independent basis of anti-identities, and, similarly, not having such a basis. Further, a finite unar has an independent basis of anti-identities iff it is definable by the empty set of anti-identities, and iff the unar possesses a one-element cycle.","type":"string"},"datatype":"string"},"type":"statement","id":"Q695786$224906B4-941B-4FC3-976C-A48355D7083E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"db2c34644f223015abe9c203f88e343dcc46a9ae","datavalue":{"value":"08A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695786$D438B057-15D8-4097-B9A2-149FCB61DACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695786$F2AC22B4-23DA-4F70-830E-C58D3394F6BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d544c890ad2255488e8f20538aff64a6497b493","datavalue":{"value":"6116200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695786$2C77F06B-F20B-40F7-B544-F1161DFB44D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1faf46da783dbf8961e6134189fe16d27e4082dc","datavalue":{"value":"monounary algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q695786$B52504AD-AD6E-412E-9259-1EF29AB2B1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11596985efdde03b80d73caaa069099db0457ee3","datavalue":{"value":"antivariety of unars","type":"string"},"datatype":"string"},"type":"statement","id":"Q695786$2F804614-F4BB-4197-9FE1-37783E30C6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fa35064229859b966351a626854a2b2b7915d38","datavalue":{"value":"lattice of antivarieties of unars","type":"string"},"datatype":"string"},"type":"statement","id":"Q695786$540B3505-A3CF-476B-944A-06C926EB61A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"948e711760940c9fb718319c4324266c5339e834","datavalue":{"value":"anti-identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q695786$5D1D69B8-876D-4311-AA6C-71CF30A1509D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"69b1bcb141ed2a99fdbd1cc9a0c46453e373e666","datavalue":{"value":{"entity-type":"item","numeric-id":271693,"id":"Q271693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695786$911CCCF0-D084-4922-B292-E904100DA592","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":"Q695786$60792281-A541-439C-ABAB-307817447BA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d3f0e42be7831a32f03026f92c73b5e51a4172d","datavalue":{"value":"https://doi.org/10.1007/s10469-011-9147-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q695786$4AD52199-42A5-4A90-802B-4A6BA3CDF0B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b00cf1f9ad8d8a07d608cf8c524bababde2ef62e","datavalue":{"value":"W2087462077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695786$DDD4E890-190F-46EB-9D8E-C1829D6A0463","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb18de9cc589e11dfb18caa1067213f3d8fd2235","datavalue":{"value":{"entity-type":"item","numeric-id":4935937,"id":"Q4935937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695786$A7E181CC-6E50-4444-984F-796EF43AE897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f06842248452291cbbeba57c6961322854d386b","datavalue":{"value":{"entity-type":"item","numeric-id":5834648,"id":"Q5834648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695786$47C99719-1203-45D1-A2C5-3FBD66355100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9489690914ad43fe691c5192f6eb9bd4916705d9","datavalue":{"value":{"entity-type":"item","numeric-id":4517143,"id":"Q4517143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695786$610C9004-20C1-4C27-BF5C-757238785A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9936144d60ecc1897072d7649449fc5d733dfcd4","datavalue":{"value":{"entity-type":"item","numeric-id":5442203,"id":"Q5442203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695786$1D13292B-D202-411D-B9FB-E7E49660E89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcffe03b17805f5510753f37255e5d662cebff75","datavalue":{"value":{"entity-type":"item","numeric-id":3866167,"id":"Q3866167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695786$79EB8C88-1712-4AE6-966E-DFE3BFDF4AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d883a09d701f6925168a2319d98fcceaee2c81b2","datavalue":{"value":{"entity-type":"item","numeric-id":695786,"id":"Q695786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695786$70241DFC-12AD-4779-AC7F-39DC96843722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a997fad4291b171acc9fb68fe2ade09dc8b60f4c","datavalue":{"value":{"entity-type":"item","numeric-id":5598339,"id":"Q5598339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695786$2E6B657C-0DD4-407A-8815-C1D2F1BED6B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdac94f260c7056aaf2218c5e4d430529371acc4","datavalue":{"value":"10.1007/S10469-011-9147-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695786$4125F133-29C4-4307-BA97-60A8A6E0D860","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3560219463d0646970beb5038687748560fa6947","datavalue":{"value":{"entity-type":"item","numeric-id":3686771,"id":"Q3686771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f23a38fa57ad6b92947524688ee66014a25af7c","datavalue":{"value":{"amount":"+0.7881249785423279","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":"Q695786$3E72CF1E-BB5D-44BB-B5CF-B9DFEEF4E2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6de9f1df6cf674b48bc28b753a69a23a8487cc83","datavalue":{"value":{"entity-type":"item","numeric-id":5155104,"id":"Q5155104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c983ed7b77e03c7a3b516dd507eaa3de55be7a9","datavalue":{"value":{"amount":"+0.7560046315193176","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":"Q695786$18A08728-3F7E-413E-8EF5-C3A30AA14BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080f3516c8b814eb69258db3a6fe58bef487f6f5","datavalue":{"value":{"entity-type":"item","numeric-id":4517143,"id":"Q4517143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62851a188d0164fdd7a4d6149d9fc90b4054b79e","datavalue":{"value":{"amount":"+0.7547551989555359","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":"Q695786$70843382-E9C9-4B79-BC60-61BD4821AD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41f376e9b234f6b7115cea3548abaa8ff1b113b1","datavalue":{"value":{"entity-type":"item","numeric-id":4515340,"id":"Q4515340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb1f139fd8668d09c86bf2bf5340550e4ff554c","datavalue":{"value":{"amount":"+0.751878559589386","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":"Q695786$52133A4C-E414-4C4C-9E16-FA7415051A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d05e8e4c470097f9a9c98fee37803ac958d22dc7","datavalue":{"value":{"entity-type":"item","numeric-id":3701488,"id":"Q3701488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dbfea4f5be912d6809d4a93513d0b77748aa44d","datavalue":{"value":{"amount":"+0.7485054731369019","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":"Q695786$2937A57B-FEC8-40B2-BF5F-E06BF1A0CCA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Antivarieties of unars","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Antivarieties_of_unars"}}}}}