{"entities":{"Q1965251":{"pageid":1975993,"ns":120,"title":"Item:Q1965251","lastrevid":47444020,"modified":"2026-01-01T18:42:42Z","type":"item","id":"Q1965251","labels":{"en":{"language":"en","value":"\\((1+1+2)\\)-generated equivalence lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1400101"}},"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":"Q1965251$19FAD946-7E58-416A-B096-0DB31367FA75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"191d33a3da88278f07e468779d682cba3818e21a","datavalue":{"value":{"text":"\\((1+1+2)\\)-generated equivalence lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1965251$19A35AA1-B490-459A-A177-7C96E35EB823","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"660ec172e908adb2bdb78433f607b853e0274343","datavalue":{"value":"0941.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1965251$E13DDA03-07FD-4A53-B41D-E203C418808C","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":"Q1965251$0C8343B0-21E6-4110-94CC-28AB27FC993A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1965251$8E24942A-0EC8-47A4-96B7-CA07EEFCF362","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0f0b15b8a0904033f22f1a331255b6cd52c7483","datavalue":{"value":{"time":"+2000-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1965251$7B828456-0563-4CF1-BF75-EB8E47EDC599","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7af5d6847dcc5825430b036b5075d0430a6244c7","datavalue":{"value":"For a set \\(A\\) let \\(\\text{Equ}(A)\\) be the complete lattice of all equivalences of \\(A\\). A subset \\(Q\\) of \\(\\text{Equ}(A)\\) is said to generate \\(\\text{Equ}(A)\\) if no proper complete sublattice of \\(\\text{Equ}(A)\\) includes \\(Q\\). The main result of the paper is the following theorem: Suppose that \\(|A|\\geqq 7\\) and that there is no inaccessible cardinal \\(m\\) with \\(m\\leqq |A|\\). Then \\(\\text{Equ}(A)\\) can be generated by a set \\(\\{ \\alpha,\\beta,\\gamma,\\delta\\}\\subseteq \\text{Equ}(A)\\) such that \\((\\alpha, \\beta,\\gamma)\\) and \\(\\{ \\delta,\\beta,\\gamma\\}\\) are antichains, \\(\\delta <\\alpha\\) and \\(\\alpha\\) does not cover \\(\\delta\\). Thus, \\(\\text{Equ}(A)\\) is generated by a set of the type \\(1+1+2\\). Earlier, \\textit{H. Striez} [Stud. Sci. Math. Hung. 12, 1-17 (1977; Zbl 0487.06003)] and \\textit{L. Z\u00e1dori} [Universal algebra, Colloq., Szeged/Hung. 1983, Colloq. Math. Soc. J\u00e1nos Bolyai 43, 573-586 (1986; Zbl 0634.06004)] proved that if \\(A\\) is finite and \\(|A|\\geqq 7\\), then \\(\\text{Equ}(A)\\) can be generated by a subset of order type \\(1+1+2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1965251$DABA6257-1F94-46CE-B5D1-8A181AE1877C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1965251$0ADB16AE-9A0C-43AA-B967-16115334F662","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aaf1426c8d0c853b537db02162a322d2b5a85c97","datavalue":{"value":"1400101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1965251$31A03202-578E-4DB6-ADD2-6B44B497FB46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1965251$4D64EF98-CD37-4713-B56A-4A0F6486D404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23f3f7b2795e90ab3322821e5fb4ae85797c9a01","datavalue":{"value":"equivalence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1965251$0312FEAA-CB06-43A4-A0D5-F37E21755953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c17f87058e1ad6fd6d4f5727dcb8fe915bacf1ed","datavalue":{"value":"generating set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1965251$0BBD16CD-C755-426C-A278-34BE972C0E30","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dcde4f0368948d36855bf140c4856cb98bf56894","datavalue":{"value":{"entity-type":"item","numeric-id":593213,"id":"Q593213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1965251$2DF90609-34ED-4DFC-8BD4-56A2D325F1FD","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":"Q1965251$0CB21C35-F524-49F0-BEF5-9481A1DD1E6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fc25ac13674a0ff71edb92a72f0d320fb6805e9","datavalue":{"value":"https://doi.org/10.1006/jabr.1999.8003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1965251$1DF076B6-324A-48ED-8FA5-63229D60A002","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e4d580ee438adeed2603b0ad4c792bcc6fb1b6e","datavalue":{"value":"W2029852824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1965251$695D52ED-9886-4380-8C09-A69511698FE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a6ec5ded00f941f097e316307870d6d31faf92d","datavalue":{"value":{"entity-type":"item","numeric-id":4335815,"id":"Q4335815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1965251$0C736C0D-CE47-4759-8F80-9438F8A577A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d0bee30cc963167d879be0ec99ec4371e772aa","datavalue":{"value":{"entity-type":"item","numeric-id":4714563,"id":"Q4714563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1965251$E1C1A000-8C33-4BBF-9AC5-1A7906FABC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca7f57f46168935c537d7b2cf4fef7c67ceacfcd","datavalue":{"value":{"entity-type":"item","numeric-id":1815846,"id":"Q1815846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1965251$3A325185-3498-43EE-B54D-A74B4BD284B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0842ce128cfedce92388e33aef9ec54f9d18a7","datavalue":{"value":{"entity-type":"item","numeric-id":4189277,"id":"Q4189277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1965251$C0FB98AF-EA07-427C-8A25-0E478C537302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce601c349491f2b650fbca68c8079defda11baed","datavalue":{"value":{"entity-type":"item","numeric-id":3947701,"id":"Q3947701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1965251$0CF448BF-1FEC-4A15-842E-1EED8F5D13FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23403aaabc0f045260f8ad37f42cc434ad885360","datavalue":{"value":{"entity-type":"item","numeric-id":2785644,"id":"Q2785644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1965251$53A104DA-94E1-4242-9DB7-AD86D351E374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde08eb8d5462cabd91b41a52b41b2b4255f81a3","datavalue":{"value":{"entity-type":"item","numeric-id":3772269,"id":"Q3772269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1965251$4730949B-F08E-41F9-B24E-83442497ED86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcd1cebd178f5fdd1ab48eefbd33a7307f78375d","datavalue":{"value":"10.1006/JABR.1999.8003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1965251$158E25EC-5E9B-46F8-9C62-949B711C94A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2bc735af59dbea9cc6d21be5cdf6a33beb3a0dd","datavalue":{"value":{"entity-type":"item","numeric-id":4714563,"id":"Q4714563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26fade08c2e162cc737a96e9b097e5b20a6b1468","datavalue":{"value":{"amount":"+0.9062767624855042","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":"Q1965251$0D64C8D9-E64F-498E-9068-86D77F273B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"945d958da25ce5588e5f2f20731bdccf692559bb","datavalue":{"value":{"entity-type":"item","numeric-id":3772269,"id":"Q3772269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26cab591ca6b00ab526e581a220f67deec8dba4","datavalue":{"value":{"amount":"+0.89890056848526","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":"Q1965251$9D836BE7-4ECD-4291-BF29-94BED3FDB753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7512c26b241c0768dbcf146b5043283e0a32158","datavalue":{"value":{"entity-type":"item","numeric-id":1815846,"id":"Q1815846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe5976814b8ac25f72ffa341c4c7e9b83746772","datavalue":{"value":{"amount":"+0.8652929663658142","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":"Q1965251$76C5ADF0-082F-4061-942C-1C5384ABBA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e97dd26bb61352f7a334134e4b0f7fa8e473a8","datavalue":{"value":{"entity-type":"item","numeric-id":5136384,"id":"Q5136384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe5976814b8ac25f72ffa341c4c7e9b83746772","datavalue":{"value":{"amount":"+0.8652929663658142","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":"Q1965251$39443D35-EEBB-4D16-AF7E-45E55AE34466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f2d81532d6098aec61608cf7dcb2cd7f3e28541","datavalue":{"value":{"entity-type":"item","numeric-id":4634929,"id":"Q4634929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4474ff110524039e7388106b11597a24b9d6d7cf","datavalue":{"value":{"amount":"+0.8358178734779358","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":"Q1965251$9A3D79EB-E949-449E-AF6B-1808FD9A59B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1965251","badges":[]}}}}}