{"entities":{"Q1920782":{"pageid":1931524,"ns":120,"title":"Item:Q1920782","lastrevid":78230756,"modified":"2026-05-06T11:06:01Z","type":"item","id":"Q1920782","labels":{"en":{"language":"en","value":"Representability types of varieties and Mal'tsev strict conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 917079"}},"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":"Q1920782$2A46D1BF-D34E-440A-8C7B-9CDE0AFFD36B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab24f22f5322a47837b11fb2c3d770ab190ac66a","datavalue":{"value":{"text":"Representability types of varieties and Mal'tsev strict conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1920782$245B7D0A-DE70-446C-A140-37AAE075889E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1efab41d3cf0ae33565fecf27682ae492c0d9c20","datavalue":{"value":"0849.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920782$5815AB29-5502-4719-A106-37F8BDF85DFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cd334f5c96031744c0169ca663620b06604faa1","datavalue":{"value":"10.1007/BF02104827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920782$E9C8CB6F-5B57-4200-B639-22895503A112","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcfea582b3672aea88eebb9550b770843f2c2b66","datavalue":{"value":{"entity-type":"item","numeric-id":795032,"id":"Q795032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920782$BA00F5BA-8565-4F41-A63B-9D577250F45C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920782$D0CB9CAB-70C7-4CAC-84F4-1FA78A94F2E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a8d1237d32ec5eadec6067ce7ffbf57e42f0929","datavalue":{"value":{"time":"+1996-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1920782$39A3232F-66E6-43F4-ACFC-C8CC44B6534E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eec070473d2ac42bd925db870b70785a6851302c","datavalue":{"value":"We develop a model-theoretic approach to the study of Mal'tsev strict conditions (SCs). We prove that every locally independent set of SCs is independent and therefore the implication relation on SCs possesses the compactness property. We find a necessary condition for the existence of an independent generating set (basis) for a Mal'tsev theory in terms of coverability and \\(\\vee\\)-irreducibility. It permits us to establish that every theory \\({\\mathcal T} \\in {\\mathbf L}^{sc}\\), \\({\\mathcal T} \\neq 0\\), with a basis \\(\\Sigma\\) includes \\(|\\Sigma|\\) maximal subtheories \\({\\mathcal T}_1, {\\mathcal T}_2,\\dots\\) such that, for every proper subset \\(\\Delta \\subset \\Sigma\\), the subtheory \\(\\text{SC} (\\Delta)\\) generated by \\(\\Delta\\) is included in \\({\\mathcal T}_k\\) for some \\(k\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920782$F43982E9-9650-4483-8DA6-74FF17244222","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920782$50658C90-6C64-42A3-A47C-B639149C9A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920782$B42E16C4-EB06-46D3-B05E-8F7F372ACE0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8705a7db54331455e200aa0668e824498d85b897","datavalue":{"value":"917079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920782$06754B38-A67E-489C-B698-738CA38C9692","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"181cd6ee62cc84fb759bc658f51dce54a448961a","datavalue":{"value":"Mal'tsev strict conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920782$1AB56EFD-FE0F-4AD1-BC00-B141811E3496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e3af41c358bef883e32e322c72d3f28183020f0","datavalue":{"value":"compactness property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920782$6265A4C5-7BA7-4A23-A20B-ABE360EE319C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bff8cdeb00561936ba844dcdae2c8b6f529b7511","datavalue":{"value":"Mal'tsev theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920782$265D1F07-055A-4589-8203-5EF73CC14EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97378df6857232915fa2b1f482014a0c8c4a538d","datavalue":{"value":"coverability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920782$3481F681-1567-45E1-9365-B2704DCB1AF0","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":"Q1920782$D0DD7BFB-615E-48F6-BC1F-82F773DE24B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85438f12b2728ba9c19aea71f3be4f00937583b1","datavalue":{"value":{"entity-type":"item","numeric-id":3347940,"id":"Q3347940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920782$D904F5F0-9839-4C00-97D6-21A732AB5FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed7893b526cc9e9f9028691e634d5a1769da19b","datavalue":{"value":{"entity-type":"item","numeric-id":805646,"id":"Q805646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920782$BDB19B09-8771-4231-A72B-47E35C39B1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21940d16ed256664f5bb0d398708d10ebdbcaef7","datavalue":{"value":{"entity-type":"item","numeric-id":1141676,"id":"Q1141676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920782$42CDBF59-3F5C-4385-8D9C-C33860A6B99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f56002d345159e0e62b6a4ea1d93de274ef7110","datavalue":{"value":{"entity-type":"item","numeric-id":4168957,"id":"Q4168957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920782$B232903F-ABE5-48FC-B5ED-77B9C40C6738","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":"Q1920782$FB3B7D28-FA22-45F8-9EE7-666A6A3EC062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f7b06b6126727cc144fbbb6fcb13071d570eee4","datavalue":{"value":{"entity-type":"item","numeric-id":4002605,"id":"Q4002605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920782$282B3028-E05F-49B3-9F5F-6D9C5ADD1CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e67cfabb910db0afb1938107101ea5f3216e212a","datavalue":{"value":{"entity-type":"item","numeric-id":1320697,"id":"Q1320697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920782$FB411548-383A-4D79-B72E-BDE1DF9EE6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d91fa708089bbfb89da5554e73dafa56d45ca6","datavalue":{"value":{"entity-type":"item","numeric-id":1255976,"id":"Q1255976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920782$A8F2FF72-CACE-4DC8-9FE7-8F93A1F0343A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c086a0c01ff7b3fcb9eb057d0208d226aec21ad3","datavalue":{"value":"https://doi.org/10.1007/bf02104827","type":"string"},"datatype":"url"},"type":"statement","id":"Q1920782$23E09E7B-010D-4364-BAE4-776FF23F12FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72a93858c2998018c97581f3edec0dde792ab9ab","datavalue":{"value":"W2060900600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920782$C8ECAA1B-BE1C-4D86-9F05-EF86BFA098E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f295a0b6deb44c3c0867201ae51bb755a42cab73","datavalue":{"value":{"entity-type":"item","numeric-id":1064334,"id":"Q1064334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"251ae8963828daa5fb43f36184c74e7aa0c80074","datavalue":{"value":{"amount":"+0.7864392995834351","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":"Q1920782$BA364006-2908-4634-90B0-7A8FD1A1EE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e1219299c30428f2d2f98e5172753d33c680c6a","datavalue":{"value":{"entity-type":"item","numeric-id":2351504,"id":"Q2351504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c964596120ec077bbe31c783cf18006e134449b","datavalue":{"value":{"amount":"+0.7415551543235779","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":"Q1920782$68A9931C-CD30-480E-ACCF-E2DDBD84A55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1618778c3144eac365cf9c6b9c4b3fbd1d3ba90","datavalue":{"value":{"entity-type":"item","numeric-id":2476165,"id":"Q2476165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d14b100770cfb71e0e547af1ac81b98f4231065e","datavalue":{"value":{"amount":"+0.7401574850082397","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":"Q1920782$E1380D3A-5820-4966-9054-BF8EA1761D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5b8b234dc4c969d3bbed8eda8eedbc7c8e86ce9","datavalue":{"value":{"entity-type":"item","numeric-id":2351514,"id":"Q2351514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc5452af2bc51cebe74d5a2cab03b5434919909e","datavalue":{"value":{"amount":"+0.7157344222068787","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":"Q1920782$DC74A860-0CC6-4F96-872C-FB508E2DC574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9864b8ddd5c149240372105a9bc39ba45216864a","datavalue":{"value":{"entity-type":"item","numeric-id":3621430,"id":"Q3621430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10caeeb5d38b56feb3fe756c240d1eaf2a71840b","datavalue":{"value":{"amount":"+0.7116397619247437","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":"Q1920782$17773B4F-CECC-4730-9C37-BBC12F8A58E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Representability types of varieties and Mal'tsev strict conditions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Representability_types_of_varieties_and_Mal%27tsev_strict_conditions"}}}}}