{"entities":{"Q1585631":{"pageid":1596371,"ns":120,"title":"Item:Q1585631","lastrevid":67926585,"modified":"2026-04-12T20:16:06Z","type":"item","id":"Q1585631","labels":{"en":{"language":"en","value":"Quasi-identities and quasiverbal subalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1531334"}},"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":"Q1585631$7BFE6B20-2CA3-43DA-A238-DDDFFCF26F73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"045c08bb682ae10c4cce735b62a86108d8864203","datavalue":{"value":{"text":"Quasi-identities and quasiverbal subalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1585631$7C43D62D-7320-42D0-B23B-559DCFD36BB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1495ff6aeca507bc4b0c27f5041c99473a50b7ed","datavalue":{"value":"0959.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1585631$2ABB500B-C800-4A86-8EBA-5A288FAA5FA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95402a4530536878339db99b07e72c6fedeca46c","datavalue":{"value":"10.1007/BF02676662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1585631$E27A4988-B5C2-48E1-B8A1-9D193E0D05A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1a8093b4b50653876ed65da5941b5223e4205c7","datavalue":{"value":{"entity-type":"item","numeric-id":251877,"id":"Q251877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1585631$761C3784-A1BC-4267-92B5-6A98B17B9183","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1585631$DE79620E-3C50-4503-BB76-C50D80EC7877","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"140a93f07512b5850846d6b8052fcba4a2714691","datavalue":{"value":{"time":"+2000-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1585631$702BFC29-C959-4428-A4B6-E2F4068D3D97","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6da164554325bc12d2b449769c8c7cc806d2c77d","datavalue":{"value":"The author studies classes \\(\\mathcal L\\) of universal algebras with a constant term \\(c(x)= c(y)\\) for all elements \\(x,y\\) and \\( f(c(x),\\dots,c(x))= c(x) = c \\) for every basic operation \\(f\\). Given quasivarieties \\(\\mathcal {U, V}\\), \\({\\mathcal U}*_{\\mathcal L} {\\mathcal V}\\) is the class of all algebras \\( A \\in \\mathcal L\\) such that the subalgebra \\(c\\theta \\in \\mathcal U\\) where \\(\\theta \\) is the smallest congruence on \\(A\\) such that \\(A/\\theta \\in \\mathcal V\\). Given a basis of quasi-identities for the quasivarieties \\(\\mathcal {U, V}\\), the author exhibits a basis for the quasi-identities of the quasivariety \\(\\mathcal U * \\mathcal V\\). The author applies this result to the case when \\(\\mathcal L\\) is the class of lattice ordered groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1585631$AEED6530-9941-427E-85E3-82A5C481B63B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1585631$90776AD9-1F65-42B7-85FD-D4149DAB3FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1585631$385029D4-BAC0-42BF-BC78-3ACFCB0D38FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"403e3a9b27e7e5aacf8bd5c470a9d06178c5d38c","datavalue":{"value":"1531334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1585631$2CB798FF-AFE3-47E6-BE9C-CFDF84F8C8E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541ccc15929df6df1a81d841c79a64e7d1807f6a","datavalue":{"value":"universal algebras with a constant term","type":"string"},"datatype":"string"},"type":"statement","id":"Q1585631$2FC7A3CA-4CEB-4F85-B589-692BC28F8501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20c5129ca511846c06962a5e158b68550c0cf7e4","datavalue":{"value":"quasivarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1585631$25D74C0C-A0F0-4742-B8A7-1FF94BFDA05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1585631$4CE5FBEE-727D-4085-8498-429FED693EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb02c5c07c8f3975e80e6e8fc9b19e1b7b0e7e99","datavalue":{"value":"quasi-identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1585631$9DB4FF8A-052F-4A5B-8A58-9F4975CF12A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1c5511b15959f2cf7295ca726ed02ea08c4f84f","datavalue":{"value":"basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1585631$1DF4BBD4-36E2-466D-9080-2F615F56A2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbd4e12c84656fb92f68e89dce7e591db3637050","datavalue":{"value":"lattice ordered groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1585631$02FCAD21-75AA-4915-A0DE-5DD4C88C4774","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"542b6ea84023c152b4343da3d1339c7580f7af0e","datavalue":{"value":{"entity-type":"item","numeric-id":1180654,"id":"Q1180654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1585631$8E4E6152-7112-420C-BD20-59A88BDA6EDF","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":"Q1585631$851C0D44-8ED8-4CA8-9907-CEB7A63A46B4","rank":"normal"}],"P223":[{"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":"Q1585631$C8FDAC59-9F0E-434A-AE4F-CEC1F5795575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85bf6030e13cfbf27730ffcc64e7890a9a6d4c2","datavalue":{"value":{"entity-type":"item","numeric-id":3682535,"id":"Q3682535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1585631$E4404A3E-F06C-467F-A5E5-8912DEB40886","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40fd44647c28ae6edb1841cac469fc6499cf63aa","datavalue":{"value":{"entity-type":"item","numeric-id":2266730,"id":"Q2266730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af05a067a52e6fc145113905de4038e11c6709ec","datavalue":{"value":{"amount":"+0.8141856789588928","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":"Q1585631$D30A73D3-D624-49FD-9462-7DA1F12A0FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d12a9d6ada33abbf186d9edc5ac4ad815ec02721","datavalue":{"value":{"entity-type":"item","numeric-id":5932631,"id":"Q5932631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e06ccc58d88251c56cf67ca2fc9765d03820d68","datavalue":{"value":{"amount":"+0.7794381380081177","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":"Q1585631$A28A93B0-830C-40F0-BA8C-D42F1072397E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a169ea2bfe5b2cf00556249785dc63841a7e3bdc","datavalue":{"value":{"entity-type":"item","numeric-id":2123076,"id":"Q2123076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e06ccc58d88251c56cf67ca2fc9765d03820d68","datavalue":{"value":{"amount":"+0.7794381380081177","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":"Q1585631$C5A36522-38EE-428B-9EC3-B4F75FEA7B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2458aaad45aaa9a12397a6637e96c538f95aabc1","datavalue":{"value":{"entity-type":"item","numeric-id":3698859,"id":"Q3698859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a25e5389fdb75f3a85e49b575b2cc73f4a9ba08","datavalue":{"value":{"amount":"+0.7789083123207092","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":"Q1585631$FA6C711C-90E7-4432-B1ED-445C03D97105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf24bc237bc70aae1ce3e50f12bf67ca08aa52a","datavalue":{"value":{"entity-type":"item","numeric-id":4290840,"id":"Q4290840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49b64369bfcdf5e4fd726e8b8cfe0a89339d2e98","datavalue":{"value":{"amount":"+0.7762918472290039","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":"Q1585631$1D9FD7ED-E410-4658-825D-B201F5F4D040","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quasi-identities and quasiverbal subalgebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quasi-identities_and_quasiverbal_subalgebras"}}}}}