{"entities":{"Q1084121":{"pageid":1094873,"ns":120,"title":"Item:Q1084121","lastrevid":66698658,"modified":"2026-04-12T12:11:40Z","type":"item","id":"Q1084121","labels":{"en":{"language":"en","value":"Remarks on the Fraser-Horn property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3977071"}},"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":"Q1084121$873D77A4-4BF6-4F6A-A793-A2982314D051","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78d1beb515fb5c35d818318c1319bf1a4203aab4","datavalue":{"value":{"text":"Remarks on the Fraser-Horn property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1084121$AC55B24F-49CB-4025-B1BE-9825CA074DB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6c698c13d9748ee2581006197bf124eade062ee","datavalue":{"value":"0605.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084121$AC5CA3FE-6BA4-4A10-AF43-0CB7A3F35C29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8674b0bc1f0463cc06629c4be4f778985e1a6f6","datavalue":{"value":"10.1007/BF01190906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084121$38AB2806-6D4E-4838-B485-09E75DDAC02C","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":"Q1084121$5D25DA93-97F5-4F58-A019-1F835841CDA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1084121$6D1565B5-C304-42E2-BC78-C62CF55984D1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5feb2d8b867ac7f344b67321a8e12f107b4e55dd","datavalue":{"value":"A variety of algebras has the Fraser-Horn property (FHP) if all congruences of a direct product of two algebras are product congruences. A variety has definable principal congruences (DPC) if there exists a first order four-ary formula which describes the principal congruences. If this formula can be given as a (finite) set of equations, the variety has equationally definable principal congruences (EDPC).    The important result of this short paper is that in any variety: \\(EDPC=DPC+FHP\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084121$62C62BC5-5506-44E7-8863-EC2F25196FD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084121$D3340B49-9AF4-4FD0-8CF4-6A1EB4D68D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084121$C5826A9D-107C-4073-843A-5824F30C4D5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8901caddd45d5282ea1994286b51eda71e953e70","datavalue":{"value":"3977071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084121$580F08DC-13F4-455D-83A5-D437F09D2251","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0253c57ff9bf990e921e427d2c6bfe23cb63e46","datavalue":{"value":"variety of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084121$F34C25AB-3525-41E5-B3E2-CC967115EB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c516b0320ee28525704d3ea85965e3d604c9021","datavalue":{"value":"Fraser-Horn property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084121$8A9EE1AB-39CD-4D92-9144-D5527E857C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b6a4613edf9eebb16518514df98d72dac28b03c","datavalue":{"value":"product congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084121$D7B441B3-AF8F-4499-860D-CDE5E4094AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf3a5d2e664cf2405f35d8fb0476a10343b8304a","datavalue":{"value":"definable principal congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084121$B15AB83E-9E77-4AB7-8736-745A1470E0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a94013f4d5cf44394ac6e7b1f23ed4712161fbe8","datavalue":{"value":"equationally definable principal congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084121$EB1AA9A1-BFA8-46E4-A0DF-6E13FAA76809","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b586c610b4126dc988da2f2411ac2d994312c53","datavalue":{"value":{"entity-type":"item","numeric-id":1883664,"id":"Q1883664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084121$4368A08A-493E-4E5C-8826-6D2B05B7BCDA","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":"Q1084121$18C65D57-B647-41C4-91F9-552DD3C1E10B","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":"Q1084121$38AAA9EF-9616-4EAD-8858-1C7EDB90CA70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084121$536786A3-CAED-460A-BC8E-A6637F668C10","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":"Q1084121$4719ED84-17D9-409F-A9F4-F29159FE899A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27773e1a98c11659c07243651e7874644999160d","datavalue":{"value":{"entity-type":"item","numeric-id":1138009,"id":"Q1138009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084121$9F8D4276-FCC7-43B3-8FE5-D4DAB655A573","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a481a6cce84a0df31dc92b6e31ef39afd319cec4","datavalue":{"value":{"entity-type":"item","numeric-id":3770588,"id":"Q3770588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06c0eb9d1c0b57c156a4e8b4fac04485009d9c85","datavalue":{"value":{"amount":"+0.8583775758743286","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":"Q1084121$810DE841-16EA-4A4D-8D64-7BDA779BB5A0","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":"bd8786007247b9eefc4aed67dc2e41568778c87b","datavalue":{"value":{"amount":"+0.8519144654273987","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":"Q1084121$9C23EEAB-D6A8-489F-AF57-7DF60430AC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac7ac4c97713c7e097d6675cae07d3a4cdc681ea","datavalue":{"value":{"entity-type":"item","numeric-id":1969245,"id":"Q1969245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ba1fb7c29cec7864d5e7a05116021a0a820a59a","datavalue":{"value":{"amount":"+0.8113741278648376","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":"Q1084121$5FAF339A-2795-4FE8-B1CA-6749E7BC3454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e58974eab4d1ddfaae52b4a72dab54614619a732","datavalue":{"value":{"entity-type":"item","numeric-id":4290249,"id":"Q4290249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346ea70df739e8dab73d5acb38a06eb7b1f69d55","datavalue":{"value":{"amount":"+0.8068757057189941","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":"Q1084121$03B5A374-1B2F-45E9-8D4D-5F306F38B58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651dc21ab783544925e688c57e6358cc1b23b7ff","datavalue":{"value":{"entity-type":"item","numeric-id":759785,"id":"Q759785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d57c0749fc3fba3a95ec087d7583054f7999e30b","datavalue":{"value":{"amount":"+0.7681241035461426","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":"Q1084121$6E6815D2-9C30-4E5F-8E5C-5AB3486F9C4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Remarks on the Fraser-Horn property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Remarks_on_the_Fraser-Horn_property"}}}}}