{"entities":{"Q1803009":{"pageid":1813751,"ns":120,"title":"Item:Q1803009","lastrevid":72990654,"modified":"2026-04-14T09:14:13Z","type":"item","id":"Q1803009","labels":{"en":{"language":"en","value":"Independent axiomatizability of quasi-varieties of soluble groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 220161"}},"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":"Q1803009$3DB8098D-8E0C-42ED-B8F8-57383E71D842","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afb40f452f10a4734bfc3fea1220406c838e8118","datavalue":{"value":{"text":"Independent axiomatizability of quasi-varieties of soluble groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1803009$AD23CAA9-051E-4944-9CB9-F93AF80A7606","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb5787215228b1b61e5464b57fb590e0923944ea","datavalue":{"value":"0791.20024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803009$E11056AA-BDBA-4D13-BCB8-2D2345905BE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbe7cb7e649d35853215941caf86495cad522eb9","datavalue":{"value":"10.1007/BF01978829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803009$8F24557A-C29B-4558-9B26-5255F6FA14C0","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":"Q1803009$63F48B99-9904-48A8-A92E-D4E22D608DD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1803009$00BD480B-967C-427D-84BF-6C5862EA12CC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"974b5d45c97951cd4088d9cd79ed090344e6769b","datavalue":{"value":"The question of independent axiomatizability was studied in various classes of algebraic systems; in the present paper it will be studied in the context of quasi-varieties of groups. Let \\(\\mathcal A\\) be the class of all abelian groups, \\(L_ q\\) the lattice of the quasi-varieties in which all groups are soluble. It is natural to ask for the existence of independent bases of quasi-identities of the quasi-varieties which are covers of the quasi-variety \\(\\mathcal A\\) in the lattice \\(L_ q\\). In this paper we find all covers of the quasi-variety \\(\\mathcal A\\) in the lattice \\(L_ q\\). For each of these covers we solve the question of existence of an independent basis of quasi-identities.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803009$33A66EA3-6426-4432-829A-E63831501F2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"49af82f4ade3a98e23da5d649cb52c1c6f164fdd","datavalue":{"value":"20E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803009$5CAE3A15-CBC8-43A9-924F-E88775AFD5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803009$F4DA6BE2-B4B0-47AA-9124-F1767A0472B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803009$E9623547-35BD-4494-8FBA-DF17948FBC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a9473403ba5aadfa1076dd6525b25a3172ff28b","datavalue":{"value":"20F16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803009$DE7C7BCE-41D7-4B6E-81BA-AC49EEA18A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803009$746B3504-62D1-40B4-ACBD-F79D4FA5390B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"420f6050f195d1566bf1a6ce790da39f0a39d4f7","datavalue":{"value":"220161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803009$FF2E937D-4D5F-4D61-B46C-486216CF3AE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c286f51d221fa97686bbd6cde0f00e4367add64f","datavalue":{"value":"lattice of quasi-varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803009$69F4D2D8-D809-442F-9982-8049DCF33A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"906951790dcfaeb99438b4f9c12f15c0243acec2","datavalue":{"value":"independent axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803009$4C46B5A9-C0C6-452B-97CD-E780AB43290B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70cf9cf71a7e29187c3052af0c267288eb2e64ee","datavalue":{"value":"quasi-varieties of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803009$FDD7830D-D982-494C-AF47-58B89987D064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb6a5a93444129d40333ea6186cdce5a6c91b214","datavalue":{"value":"independent bases of quasi-identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803009$1D5DE940-3989-46FB-B8C4-5F8C24F0676B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f557f6a9bedec5eda9f696b9f18d67b3682f57b0","datavalue":{"value":"covers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803009$78402524-3571-4CC0-87BA-06C4386F6774","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3397d639368893ce53ec32d3651c88dd0c58ca4","datavalue":{"value":{"entity-type":"item","numeric-id":1685376,"id":"Q1685376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803009$EE2258E5-D3D5-4E20-B9D6-8AC80787EB13","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":"Q1803009$22DE82AB-A73A-44B0-B54E-7AC3A6FFA644","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1538e1cea3b9dc3c71bb24474e0578fb4532fd40","datavalue":{"value":{"entity-type":"item","numeric-id":3903174,"id":"Q3903174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803009$0E149779-0E02-4CA3-9954-20D9AE8416FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acf532d2091e4310ab9bef73c452238491cd2c36","datavalue":{"value":{"entity-type":"item","numeric-id":4726451,"id":"Q4726451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803009$F48DAECA-17AF-4A4A-81C3-74959331A5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53df3f487221330f0afa08ee2a552275e10b6e45","datavalue":{"value":{"entity-type":"item","numeric-id":4745992,"id":"Q4745992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803009$2127A0C9-A202-4413-974A-888CB48BD511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76622ed41c16489c400ced0f456d9c6e79252793","datavalue":{"value":{"entity-type":"item","numeric-id":3689354,"id":"Q3689354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803009$1BA4823F-16A9-4CC0-BBF0-B7ADA90EFB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45dde4aee40dc84cf4c7fbd58c5f1842e4652e74","datavalue":{"value":{"entity-type":"item","numeric-id":4078085,"id":"Q4078085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803009$5757D618-5AAD-4C37-B697-D98FA4E67AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abdec9230c336f813089d54dce856d2c1ffb6d28","datavalue":{"value":{"entity-type":"item","numeric-id":4053721,"id":"Q4053721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803009$8D043CCA-F482-4DB2-90E5-87F5ED4DD418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84918f66ae03f19443ad69de709ad69bb97e30f9","datavalue":{"value":{"entity-type":"item","numeric-id":4002576,"id":"Q4002576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803009$2863F75F-797D-4E84-8AA3-B019FA5E2D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4dd6560a229f945959a7293d8e86ffe0f59161c","datavalue":{"value":{"entity-type":"item","numeric-id":5829061,"id":"Q5829061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803009$4960F63B-80BD-407E-A367-87822B7F1F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e6c11125e9511d82790fee59c5eed04c964f7d4","datavalue":{"value":{"entity-type":"item","numeric-id":5612626,"id":"Q5612626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803009$F068592A-45AC-4CCF-A094-9E01D2D94691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5989e7b642a281e076cb0a5451b4d9c25f50f39c","datavalue":{"value":{"entity-type":"item","numeric-id":3253828,"id":"Q3253828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803009$AE97782D-48A1-4605-8668-BB88002A59DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7198e10bdf17892b3da36a59902515c7e29ac463","datavalue":{"value":{"entity-type":"item","numeric-id":5528704,"id":"Q5528704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803009$4B532975-A97C-4FCB-8474-495F2A195AFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e1f55e28de586340012b0140ed0d4d717b6700e","datavalue":{"value":"https://doi.org/10.1007/bf01978829","type":"string"},"datatype":"url"},"type":"statement","id":"Q1803009$7816B1F1-D40E-4120-82FB-C0019CDA9DA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a605e25efacc6c885771717bdf1e1f505c8343d","datavalue":{"value":"W1996006648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803009$28ED0585-44E0-43AD-87CF-ED6908372757","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40606ace13e626e62a07e793dc3ea4dbfc0453b6","datavalue":{"value":{"entity-type":"item","numeric-id":1090409,"id":"Q1090409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c415b095f73a8e3ba08c5ca448c04ecaa6bd7af","datavalue":{"value":{"amount":"+0.8608574867248535","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":"Q1803009$E6030C4D-527B-4AD4-9134-3B4961206ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"644536e2832966c3524d28d707645e226ec962de","datavalue":{"value":{"entity-type":"item","numeric-id":2246817,"id":"Q2246817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d790a74aa0b78b59961a3ae98d0ea49636e864c2","datavalue":{"value":{"amount":"+0.8129252791404724","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":"Q1803009$B74E5368-6972-499B-B9FF-1371294D915E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15143ec0e86a805cacf8430ea6cf903819a2dd2d","datavalue":{"value":{"entity-type":"item","numeric-id":4018206,"id":"Q4018206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3ef7f574fbc93bf719d66b3c2fb510fd185fe2","datavalue":{"value":{"amount":"+0.8086820244789124","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":"Q1803009$3A9311A2-F7DD-460F-B01E-DC736999F30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02748caa9d15d0ef80f3c77ac7150058b01172ca","datavalue":{"value":{"entity-type":"item","numeric-id":784469,"id":"Q784469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3ef7f574fbc93bf719d66b3c2fb510fd185fe2","datavalue":{"value":{"amount":"+0.8086820244789124","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":"Q1803009$A6AB267D-6EDA-4A87-832A-9400CE9D1D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a4253f644499caf51e3791dc4dbf2096336f2cc","datavalue":{"value":{"entity-type":"item","numeric-id":1905292,"id":"Q1905292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cac6f4b1cbddfaa5c34f31577cf38648a419d7a","datavalue":{"value":{"amount":"+0.7988173365592957","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":"Q1803009$F9400C03-8303-4686-9CB7-28CEFD6EB6B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Independent axiomatizability of quasi-varieties of soluble groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Independent_axiomatizability_of_quasi-varieties_of_soluble_groups"}}}}}