{"entities":{"Q794686":{"pageid":796534,"ns":120,"title":"Item:Q794686","lastrevid":48712387,"modified":"2026-01-05T16:50:03Z","type":"item","id":"Q794686","labels":{"en":{"language":"en","value":"Mal'cev conditions for Horn sentences with congruence permutability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3859202"}},"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":"Q794686$E58E440B-9349-4B9D-A5C4-B431DD0CEC40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"062c6d9fa6bda7cfc655f1d854f23d3220536b0e","datavalue":{"value":{"text":"Mal'cev conditions for Horn sentences with congruence permutability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q794686$BDB2C90A-3085-4609-99EB-6074F68DC3D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02f470fa43e307c547852261b9ae9afc7ab80335","datavalue":{"value":"0541.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794686$7150FCB9-EACC-4E88-A477-A85F279836E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ac05188e382bcd299f8cc19418c0c2b4e57d0cd","datavalue":{"value":"10.1007/BF01974108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794686$3225ECCC-9910-4DA4-875C-831397517DD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794686$1C05B1FF-C0DB-43EB-B829-2931BA7D0D1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q794686$5838A104-8B3F-4FEB-9F55-F5E02225C323","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a59d18262e23f722dce26799d54ab0e845630e0","datavalue":{"value":"Let \\({\\mathcal V}\\) be a variety and \\({\\mathcal S}{\\mathcal C}{\\mathcal V}\\) the class of lattices embeddable in congruence lattices of members of \\({\\mathcal V}\\). Then the first proposition of this paper is: ''For any n-permutable variety \\({\\mathcal V}\\), \\({\\mathcal S}{\\mathcal C}{\\mathcal V}\\) is a quasivariety, that is, a class of lattices definable by a set of Horn sentences.''    Although it is known that satisfaction of a Horn sentence in an n- permutable variety can be characterized by Mal'cev conditions [see \\textit{W. D. Neumann}, J. Aust. Math. Soc. 17, 376-384 (1974; Zbl 0294.08004) and \\textit{W. Taylor}, Algebra Univers. 3, 351-397 (1973; Zbl 0304.08003) previously no concrete Mal'cev conditions have been known in general. The main aim of this paper is to give an algorithm (too technical to state here) which associates a suitable concrete Mal'cev condition with any (lattice) Horn sentence.","type":"string"},"datatype":"string"},"type":"statement","id":"Q794686$41BC46FD-3E87-4554-980B-0DF78B06E44A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794686$09A29D22-B02E-45A7-A09C-DAE70AEFBBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794686$F148636A-0D50-4D84-AD1C-A5B5D0D071CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794686$BE80E87E-2575-4F1A-9478-7DA47D9058D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8f1fb58b042247c0b1a7c2b50f91789598ed06b","datavalue":{"value":"3859202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794686$A1B62302-E5FF-4ECA-B01D-95B9FCF0AD83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f63ed4af32740cf2a9ad8cffcd4b3c19e6b46ddb","datavalue":{"value":"congruence lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q794686$8C8BE706-9EF6-4879-A5D4-C9C61FA91FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bf31fbf1a9e9d105e546b62655bcc2ef95a9d64","datavalue":{"value":"n-permutable variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q794686$269352D4-95A4-40D1-B250-15DFB08FF3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q794686$D5F3F911-DE80-42D0-8C8A-E7319B0A4744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbb1eab08408710abe553062777e22e027ce4880","datavalue":{"value":"Horn sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q794686$CEB47813-2393-4ABB-B200-2503DBCC14F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c926df7281e437589cbe5332b5f383ab61d7a17","datavalue":{"value":"Mal'cev conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q794686$09EB9BC8-A12E-4858-899B-31DE9595222E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c649e22bb3d5db2066270d2895619e83ca9dbc2","datavalue":{"value":{"entity-type":"item","numeric-id":353351,"id":"Q353351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794686$9F911ECF-B363-4C95-9CC8-7E599471810D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8414a3f118214cb0e61ac619ce4c188ec75d9e3","datavalue":{"value":{"entity-type":"item","numeric-id":587989,"id":"Q587989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794686$EBA5406E-2B80-4A2F-9595-6D7CDF2BBC27","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":"Q794686$93C5EDAC-C8F9-4829-A9F3-C2B050C9C081","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c661a41061c3f73be7c53f2f635075b3ac5df6f1","datavalue":{"value":{"entity-type":"item","numeric-id":800399,"id":"Q800399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794686$F069513C-D19C-4ACD-AB45-DA9B3F776A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8e001650c66b5020c519433f4a9dcc94218abb","datavalue":{"value":{"entity-type":"item","numeric-id":2264783,"id":"Q2264783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794686$44BA49D9-D917-4A17-9F70-3197F96FFBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d4033e8691d7d6eb339340149e4b864b200d2d","datavalue":{"value":{"entity-type":"item","numeric-id":4093491,"id":"Q4093491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794686$45A0DBE5-01E4-4C7D-8A71-95A0E7238CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"686e9876223037ebf523102a883351dcf7e11110","datavalue":{"value":{"entity-type":"item","numeric-id":4055681,"id":"Q4055681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794686$FD461825-766C-4B64-8DE1-514369C8E29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17fcd3e64ad3b0de98df61634b49a4247db9a471","datavalue":{"value":{"entity-type":"item","numeric-id":1248533,"id":"Q1248533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794686$FEF590AE-F11F-4E05-9A96-6D30F6039C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34d924cd66b30d8646af6100b0d2b8decf96705","datavalue":{"value":{"entity-type":"item","numeric-id":4046098,"id":"Q4046098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794686$1CEEC92F-8FD2-40E8-BB14-BB4D94B064F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25107f4343624d6bfd802b360e5baf73c4e82832","datavalue":{"value":{"entity-type":"item","numeric-id":5668851,"id":"Q5668851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794686$513E08D6-F378-420F-908C-5A4D09742086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba722aca5aabd13c35d39802f9db37ea460b226","datavalue":{"value":{"entity-type":"item","numeric-id":1216327,"id":"Q1216327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794686$FD08D32E-B34E-479D-BE93-6C8BBE8F2614","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d01c956c11f26eb1951ceb30e92d5f413a8ff30","datavalue":{"value":{"entity-type":"item","numeric-id":800399,"id":"Q800399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f231b6a62644ac78f80e00e3e515926d0e140412","datavalue":{"value":{"amount":"+0.881253719329834","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":"Q794686$68B479D4-0085-4222-A6F6-DBFDD538F860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b89967eb0e31fdad818d40e08adff50441b36d81","datavalue":{"value":{"entity-type":"item","numeric-id":4261818,"id":"Q4261818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"743923784fd2e6b7cc002d337ae8cd2c89e44764","datavalue":{"value":{"amount":"+0.8006507754325867","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":"Q794686$8FA44758-763F-4DA6-80CC-38716CDE26C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d146ba9511a049adf37493e6a87766f83eba8c1","datavalue":{"value":{"entity-type":"item","numeric-id":4944760,"id":"Q4944760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e1a231e6c0deefa78eeeacc28ccf38d3e2fb37","datavalue":{"value":{"amount":"+0.7997629642486572","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":"Q794686$60FEB269-3CFA-464A-A9DC-7AA557DFFBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a953bcd83cab9400b657aeb7058c72ab3f8570","datavalue":{"value":{"entity-type":"item","numeric-id":3773933,"id":"Q3773933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47f3e5ec79518ba803e8ee759f755effc64de55e","datavalue":{"value":{"amount":"+0.794400155544281","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":"Q794686$F1494A9C-F952-4582-A665-60894A026C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ced1181177882acbcb1712048b89056d715b8981","datavalue":{"value":{"entity-type":"item","numeric-id":3791205,"id":"Q3791205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ceee6021cd989f5de1df7801b5232d3c3f783db","datavalue":{"value":{"amount":"+0.7802892327308655","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":"Q794686$CA86CCF2-AA5C-4D75-B2B9-8350BF45B4B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:794686","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:794686"}}}}}