{"entities":{"Q1185227":{"pageid":1195976,"ns":120,"title":"Item:Q1185227","lastrevid":70761555,"modified":"2026-04-13T16:39:01Z","type":"item","id":"Q1185227","labels":{"en":{"language":"en","value":"A single quasi-identity for a quasivariety with the Fraser-Horn property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 37902"}},"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":"Q1185227$7438E7E3-208C-47E3-B9DB-779DF7ACCAA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcf4fd10a1e6257c2880641008c5b7dee74df49f","datavalue":{"value":{"text":"A single quasi-identity for a quasivariety with the Fraser-Horn property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1185227$870EAE2F-C373-46E9-A550-C98FE67FAC7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05866a36a012d6385c43a980bcc09b1e3b9d338a","datavalue":{"value":"0751.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185227$80FA3EAA-7887-47D7-845E-24B13B0D3ACD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a396369df4e83b3574c163b689b1f4305fe45a7","datavalue":{"value":"10.1007/BF01190752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185227$F89C3EAB-E6C3-4AA5-99A4-7661CC81E9D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfccb93685854dae8ab7b7e24e0ca004a6182d99","datavalue":{"value":{"entity-type":"item","numeric-id":178963,"id":"Q178963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185227$3E041B18-9BEF-48CF-A47C-9F7C236937A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b89098eababd83875f79fea2b87e2f3eb9200540","datavalue":{"value":{"entity-type":"item","numeric-id":690108,"id":"Q690108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185227$E9310248-479A-4933-8A78-88E8DF4FDF1B","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":"Q1185227$E5594530-9DC7-4C07-8625-D7980C7355DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1185227$D93ECE9F-054A-4980-AF17-A838925308D7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"09c75bcb72cb12393c4154eccc01019346be8b9c","datavalue":{"value":"A quasivariety \\(\\mathbb{K}\\) is said to be finitely axiomatizable relative to \\(H(\\mathbb{K})\\) if there exists a finite set \\(\\Sigma\\) of quasi-identities such that for all \\(A\\) of \\(H(\\mathbb{K})\\), \\(A\\in\\mathbb{K}\\) iff \\(A\\) satisfies each quasi- identity of \\(\\Sigma\\) (or equivalently, \\(\\mathbb{K}=\\text{Mod(Id}(\\mathbb{K})\\cup\\Sigma)\\), where \\(\\text{Id}(\\mathbb{K})\\) denotes the set of identities of \\(\\mathbb{K})\\). The main goal of the authors to prove: Theorem 3. Let \\(\\mathbb{K}\\) be a quasi-variety of algebras with Fraser-Horn property that is finitely axiomatizable relative to \\(H(\\mathbb{K})\\). Then \\(\\mathbb{K}\\) can be axiomatized relative to \\(H(\\mathbb{K})\\) by a single quasi- identity. --- The authors prove some interesting corollaries as well.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185227$66A2E80D-CA00-4A46-B03F-5E0B1F80BF17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185227$A21608EC-66EE-42E5-B9C9-F123A849767D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77da4512047efdfcda0dd2cdb357fcd64def4acf","datavalue":{"value":"37902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185227$6EC4ACC5-4561-47CE-9649-04C36BF9BA31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb02c5c07c8f3975e80e6e8fc9b19e1b7b0e7e99","datavalue":{"value":"quasi-identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185227$1CDF8F32-0549-4C91-B657-A13F41951024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc67cd044da847145365137769abe3e8adbf1c99","datavalue":{"value":"quasi-variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185227$7D2FD708-EF70-49F5-B89E-3177770776EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c516b0320ee28525704d3ea85965e3d604c9021","datavalue":{"value":"Fraser-Horn property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185227$2CE491F6-5B72-43C1-A5F6-9386B65A7A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da4e3175fff9f957483c703e4e2827eeb53221d2","datavalue":{"value":"finitely axiomatizable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185227$C00E9B2A-7F0B-4C5A-8C2F-D0D281F39901","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"172cc73a3282110845bcede4aa9f1220d7a3dce0","datavalue":{"value":{"entity-type":"item","numeric-id":1771856,"id":"Q1771856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185227$E91DFAB5-7906-485E-8A90-3C088A365549","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":"Q1185227$9E8F489C-2724-4D7C-ABB8-AE7ED4D25999","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f737ecceea7ad9eb1479987525b5c82cad57f94","datavalue":{"value":{"entity-type":"item","numeric-id":4041620,"id":"Q4041620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185227$49D97EC1-3FC1-488D-85CF-1D6C687BD0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7d094484ad037e93abb71ba4f98da4a44e5357c","datavalue":{"value":{"entity-type":"item","numeric-id":3770588,"id":"Q3770588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185227$24F83BB6-1BF0-4688-8BD1-2D8F7BDF1DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b69f93b176acc902c2981cfe61aa3807d496636","datavalue":{"value":{"entity-type":"item","numeric-id":1084121,"id":"Q1084121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185227$6FCD3CA8-3A0B-41E4-B9EC-F7EE16573FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56ab98e3d59d7b6ec5eceb4efdff1c76e8fb0d26","datavalue":{"value":{"entity-type":"item","numeric-id":909692,"id":"Q909692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185227$7FFB1E13-7926-4A8B-8564-56297D112E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418939c54cf3fc9d3159223ceb214ccbd6370c24","datavalue":{"value":{"entity-type":"item","numeric-id":1118630,"id":"Q1118630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185227$70799FB5-912F-4C75-8B2B-396B5667FC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf0f7788ffbf25f9aa0e7616bfbd26d51431de3","datavalue":{"value":{"entity-type":"item","numeric-id":5650437,"id":"Q5650437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185227$64CB6E6A-BFE9-4604-A344-A8AE42348FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f0e5ef95212d287b49c1d50cd19ca098e20e70","datavalue":{"value":{"entity-type":"item","numeric-id":3775604,"id":"Q3775604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185227$7F72D470-C8FB-4137-BBD7-50B9F41CC46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9c0a1baa817ef0c1add4d3fd924865a8630ac1c","datavalue":{"value":{"entity-type":"item","numeric-id":3715171,"id":"Q3715171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185227$DA2E259C-9A5C-42E5-8010-FBED9B44E53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695f6e7f8e31f335c5fc99c4d22f359fe3c93a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4018448,"id":"Q4018448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185227$B4F9E3FF-5F01-4FCD-9DA5-696A11F3A8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"827d3975353fa78816ac805c8b3b1b4101cab0fb","datavalue":{"value":{"entity-type":"item","numeric-id":4401995,"id":"Q4401995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185227$04005E3A-7B24-4027-9B20-5C5C0F7BFD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26df3270fe5bfe21fe16846d37bdd8243f9df59f","datavalue":{"value":{"entity-type":"item","numeric-id":3487457,"id":"Q3487457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185227$353E3DCE-9C0C-4487-A163-70ACA052522C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a559ebc39a09d33eada0a7a46f196df3266f31ad","datavalue":{"value":"https://doi.org/10.1007/bf01190752","type":"string"},"datatype":"url"},"type":"statement","id":"Q1185227$3A1D4143-2ABB-412C-ACB0-2B68AE7F73C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ac070f1b3837712a53af580fb9c109bbb1d8329","datavalue":{"value":"W2056447550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185227$8F20B9D2-D83F-497C-8917-E3EE4BB68D9B","rank":"normal"}],"P1643":[{"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":"0a041f8d7958e7209a22518704f8ea4090d85b45","datavalue":{"value":{"amount":"+0.7625913023948669","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":"Q1185227$7CE3E07F-1C1D-4D70-B817-457FA6CABD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d86282ff43e082e9465c28c9441ab32a03a54fe9","datavalue":{"value":{"entity-type":"item","numeric-id":1902536,"id":"Q1902536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab9bcd1147616825df489e6de9204809955e7ad2","datavalue":{"value":{"amount":"+0.7608301043510437","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":"Q1185227$5FDFA1E2-A845-4196-B118-5C3688FD3841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d746f885fe5ed629f950859dc165aec4b5f1f85","datavalue":{"value":{"entity-type":"item","numeric-id":3351421,"id":"Q3351421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d3a97e002e1099d780c2488d49d5975b0b78a22","datavalue":{"value":{"amount":"+0.7589754462242126","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":"Q1185227$3E6DF4CE-1F4D-4ECF-BBC4-F6F070A42753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e54344114c0e3eae4f4814db0f3b4b6f14ff453","datavalue":{"value":{"entity-type":"item","numeric-id":4226276,"id":"Q4226276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06eda63fa06cc48cacab32a033c6e24a58c3a068","datavalue":{"value":{"amount":"+0.7557785511016846","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":"Q1185227$E946C940-E307-4D6F-AFCD-39FAD89D7B4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A single quasi-identity for a quasivariety with the Fraser-Horn property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_single_quasi-identity_for_a_quasivariety_with_the_Fraser-Horn_property"}}}}}