{"entities":{"Q616122":{"pageid":617898,"ns":120,"title":"Item:Q616122","lastrevid":51159311,"modified":"2026-01-17T00:03:54Z","type":"item","id":"Q616122","labels":{"en":{"language":"en","value":"Positive universal classes in locally finite varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5833774"}},"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":"Q616122$285CA69C-EFAD-49F3-90C5-789811464645","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"136c0abd736de42c1b5a3f8854b610fc6952ee51","datavalue":{"value":{"text":"Positive universal classes in locally finite varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q616122$712ADD84-4591-489F-BBBC-C02E213131E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d28ffedceeae484cc945736c729f06996460031e","datavalue":{"value":"1208.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616122$215ECC00-055C-4113-B51F-469B18A79D22","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":"Q616122$89C5BA65-C78F-4807-99C8-2B2E40A817F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156b753d324324fc03cf856ff2e3142887c3187a","datavalue":{"value":{"time":"+2011-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q616122$FB48135F-A7E0-4394-B7B7-F368C5EDEA14","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2c5112fde2c95de8a5650765f8e8da2ea2b53a25","datavalue":{"value":"Consider a fixed type of algebras. A Q-independent sequence of algebras is a sequence\\break \\(A_1,A_2,A_3,\\dots\\) of algebras such that, for arbitrary \\(i\\neq j\\), \\(A_i\\) is not a homomorphic image of a subalgebra of \\(A_j\\). It is proved that locally finite varieties having a Q-independent sequence have continuum many subclasses defined by universally quantified disjunctions of equations. Especially, this is true for the variety of semilattices. Moreover, it is proved that if, in addition, the variety is congruence-distributive and has a Q-independent sequence of subdirectly irreducible algebras, then it has continuum many subvarieties. Especially, this is true for the variety generated by planar modular lattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q616122$2AFB46B3-B96E-45FA-BF28-81718F8E8CBC","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":"Q616122$212C64EC-6854-413E-90E2-03C6E2CF03A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616122$13D0EAB5-B53D-4A6D-86AD-AB4F33655823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616122$EB2660B0-E0C0-4A0D-9661-9AAF57CD9D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2f0f24a1a0ed02e6f087ef798b1c742983593f1","datavalue":{"value":"06C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616122$3EA7A140-07A7-400A-963E-1D0EA7B794AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc6680222f8c1673f3b77da27667d8e85984b956","datavalue":{"value":"5833774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616122$B940CC5E-F857-4A2F-9A7F-ABAFF107DBCD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126a4d7d75e2c553fff26302c6a0a82fcf7ad7b5","datavalue":{"value":"Q-independent sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q616122$B129A1D4-4C4F-4627-8060-1F4BB1607E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc28a0a0ef75fb2c393b67fecf9cc4737c77d1c","datavalue":{"value":"universal quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q616122$99B81E9F-39F4-44E4-84D8-DD8F781194CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0047358160b24dc80274ba04e0ea4fb5149336","datavalue":{"value":"locally finite varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q616122$62A693D0-460E-40F4-86E4-673A38BD4181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6481a7c12498b145e9cb8ba40ed115e712c3cb3c","datavalue":{"value":"variety of semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q616122$9288EDBE-1B53-44E1-8C58-B6C3C68324C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98e77b62b2dcfce593067eea50fc7bf03c71bdfd","datavalue":{"value":"variety generated by planar modular lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q616122$7D93354E-728F-4506-9C47-10D27273550B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7527cefcc140a8cd03530225d272dfa946179304","datavalue":{"value":{"entity-type":"item","numeric-id":219052,"id":"Q219052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616122$1D880A53-D4ED-4F9D-A1C7-AAB9CCA22AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b05127385b5eb383671ad92a1d32d28ff86e3514","datavalue":{"value":{"entity-type":"item","numeric-id":687661,"id":"Q687661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616122$09D8F703-AE9B-457F-BCF8-C8BBCED76175","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":"Q616122$01478DCA-2EAF-4F8C-B6A5-DBC42EC648AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"babaaf25bff1153dbb6aa04709160221ee6e71a9","datavalue":{"value":"https://doi.org/10.1007/s00012-010-0089-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q616122$46650D57-12DE-4009-9025-908A43073B09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0e4f41c66f5a5f27dfee0849f0086fccedfe636","datavalue":{"value":"W1994612227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616122$20363CF4-507D-44BF-9A28-5AA9D4F0010C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5a6782ab77a38c0ea0be0e74a9a7b811ebcd00","datavalue":{"value":{"entity-type":"item","numeric-id":1906527,"id":"Q1906527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616122$48257C53-7503-47D6-A4C3-FB7E94E3AE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0f2d650229049768dfb1fcb964cdc1087d25c9","datavalue":{"value":{"entity-type":"item","numeric-id":2390975,"id":"Q2390975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616122$83C42CB1-EBE8-4231-835A-34960C9FFC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13bbd61fe6433d7a088a06b4dd5df684ad1d7ff5","datavalue":{"value":{"entity-type":"item","numeric-id":4133676,"id":"Q4133676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616122$464DFBCE-16FB-46FA-9F0F-FA923CD9B1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad6861c78fd4390c0613c4ab63948d956f71fd","datavalue":{"value":{"entity-type":"item","numeric-id":5639727,"id":"Q5639727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616122$90C8167F-EC08-4245-879D-15CF9C97D9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be21df75873d837d8a3b1de77ebc4a8606affd4","datavalue":{"value":{"entity-type":"item","numeric-id":5715576,"id":"Q5715576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616122$9347D7BC-A5AC-474B-BB6F-54C31EDF4ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8af9bfbe61fe18fb9e4c6471374f9dd5ffd536","datavalue":{"value":{"entity-type":"item","numeric-id":5426241,"id":"Q5426241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616122$F03ED5CF-BA68-438E-B9A2-41DA9D5C6CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836b3fcee303d3cb72194959a1c4e2e3ec287af1","datavalue":{"value":{"entity-type":"item","numeric-id":607450,"id":"Q607450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616122$AA100E08-BB6C-4275-96F0-D7E1CF9D1247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616122$9CEED466-810B-4878-8587-6033AD9D0E30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2ed21850768fa8f854c91faf80f4cb3fc44f8fa","datavalue":{"value":"10.1007/S00012-010-0089-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616122$9FFC91B0-D5C4-4B5A-B4BE-8F4F5E448DD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"738e2fd486350365128f678777913672fe784162","datavalue":{"value":{"entity-type":"item","numeric-id":1390477,"id":"Q1390477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38c5bd9b9021896e130cc993cee003eb6e142b22","datavalue":{"value":{"amount":"+0.7385216951370239","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":"Q616122$BE6B83EA-F6D7-4391-88C6-E60F22B0697B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f57877df3adc62c0eb81af7baf05711c45ba73","datavalue":{"value":{"entity-type":"item","numeric-id":2300739,"id":"Q2300739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38c5bd9b9021896e130cc993cee003eb6e142b22","datavalue":{"value":{"amount":"+0.7385216951370239","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":"Q616122$5C27E074-5C24-43CF-BA89-C23D431F5E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c487a7870dcd877ad72ad1c91a38f209ade8035f","datavalue":{"value":{"entity-type":"item","numeric-id":1771953,"id":"Q1771953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c94fc91490dc27ed680f85ae2fa2fb91487e2c","datavalue":{"value":{"amount":"+0.7377886176109314","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":"Q616122$9274FA7B-34CD-414C-8F5F-DE9A503D4E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ce8651fdc893c97e83535a608a7abd601c91cd","datavalue":{"value":{"entity-type":"item","numeric-id":1918788,"id":"Q1918788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5489f8b0e4b16829430835f50041cebc052aa900","datavalue":{"value":{"amount":"+0.735268235206604","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":"Q616122$1909C779-F7E7-44BE-9419-0A842A75A914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16f3f09a34987493dd9c2af4bd0b612ddfcd31b8","datavalue":{"value":{"entity-type":"item","numeric-id":3691797,"id":"Q3691797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a95322202324ba10a09371d5f12430ee3a47af","datavalue":{"value":{"amount":"+0.7350802421569824","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":"Q616122$D73372A1-5E96-4F2A-8F2D-21D14A409F36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:616122","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:616122"}}}}}