{"entities":{"Q805648":{"pageid":807496,"ns":120,"title":"Item:Q805648","lastrevid":64473936,"modified":"2026-04-11T20:07:07Z","type":"item","id":"Q805648","labels":{"en":{"language":"en","value":"Congruently local V-groupoids with identity form a variety"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4204419"}},"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":"Q805648$7E2FFFCB-DD69-4E3E-B5EE-35164038E88C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b306a408df85119625366a22af877e1b58a0cc40","datavalue":{"value":{"text":"Congruently local V-groupoids with identity form a variety","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q805648$1998F7F5-45F9-4DB0-AA88-2D17DECA1748","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54f9367578b482c43a9101b797d6950a5f8fd581","datavalue":{"value":"0729.08007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805648$E2108A91-8BF4-4842-BBF0-6412D89DE5EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aecb9df8402bdf1ccc0df88b36ba10c023e40a66","datavalue":{"value":"10.1007/BF01189006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805648$835CAE13-35A8-49F5-AE9C-1D3787CDA51C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805648$FE26AEB7-76DB-4B15-8CE3-9CE109C6AAE6","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":"Q805648$A65BB5A1-2A3B-4418-97C1-8E1AFF7F6C8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q805648$54F8992A-ECF1-4609-B66C-B2AB2B6E5138","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8aaabc84d8a665241ed72dd5b406de1b2c6468bd","datavalue":{"value":"Let V be a variety of algebras of type \\(\\tau\\) having no nullary operations. The class l(V) of congruently local V-algebras is defined to consist of those algebras of type \\(\\tau\\) which have a congruence R such that each class of R is a subalgebra contained in V. The main result of this paper is the following: Theorem. Suppose that a variety V has a binary term t and a constant unary term e being a neutral element for t, that is, V satisfies: i) \\(e(x)=e(y)\\), ii) \\(t(x,e(y))=t(e(y),x)=x.\\) Then l(V) is a variety.","type":"string"},"datatype":"string"},"type":"statement","id":"Q805648$A508745F-4B25-46BF-AA42-1F3898B9DF40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805648$CE4536CB-81B3-4ADE-96C5-EB0DB6E33405","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a6f043570b89a37573c4922480df126c031cbf2","datavalue":{"value":"4204419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805648$1E70ADF1-7021-46F1-90D4-F13F723829E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d65eaf1fd0aba83f03a22022fb4ea73301ede71c","datavalue":{"value":"congruently local V-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q805648$CEA38B10-1ACE-4DBC-8179-E48A4EC7BB92","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c991645c7824f944f90b46b0b7cd4fc8cfc118","datavalue":{"value":{"entity-type":"item","numeric-id":1372639,"id":"Q1372639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805648$B5BB756C-2A96-4381-B587-1050F274380E","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":"Q805648$BF5FA7B3-9F1F-46AD-8AE3-D7F8E8609134","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2862bac04da2b882594efb48fa1f5e19946d85ca","datavalue":{"value":"https://doi.org/10.1007/bf01189006","type":"string"},"datatype":"url"},"type":"statement","id":"Q805648$A253AFE1-A9A8-4DE2-8254-68DD8A9021DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4a8059d478d4402ddff728a59734286ee1c9a23","datavalue":{"value":"W2051407706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805648$9EEA7A25-49E8-4109-A52B-74B2E4952E6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51a0810d9c4afbb5e8c964e5614f5bd00c4380c5","datavalue":{"value":{"entity-type":"item","numeric-id":3775605,"id":"Q3775605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39e5dec4ea439f3c725db352574d183976f4510","datavalue":{"value":{"amount":"+0.7804000973701477","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":"Q805648$351DE46F-00F9-4DC4-97D9-C05FFC02DDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f157ed51015a282d87feabd08ab542e1254900bc","datavalue":{"value":{"entity-type":"item","numeric-id":5587100,"id":"Q5587100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ed45150b25c140d122ffa93f0b5aafba93ff71","datavalue":{"value":{"amount":"+0.7371095418930054","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":"Q805648$0EF55623-E029-4166-9C79-5D197FC4CE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46d6c929cd286bf3a4f7130c8e0ba79729a87aed","datavalue":{"value":{"entity-type":"item","numeric-id":1175755,"id":"Q1175755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0308c74aad833db398ca704aa57ff39bd3e21d5","datavalue":{"value":{"amount":"+0.736607551574707","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":"Q805648$A1957A6C-5B39-411A-A4C5-595D41330923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab33e3647e29fea4376714673bd4c67fa6a5f9cd","datavalue":{"value":{"entity-type":"item","numeric-id":1904245,"id":"Q1904245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"992b2419d62938c75b73edb4c09323b86230ee69","datavalue":{"value":{"amount":"+0.7351092100143433","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":"Q805648$00B5C130-9E0B-44B1-AB21-FF27BE3CC109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd1ef9422e2a44e116b727bc21a707320ba2bd79","datavalue":{"value":{"entity-type":"item","numeric-id":4038360,"id":"Q4038360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b102c12e25fab89d4089e9f28c1edd2131eab03","datavalue":{"value":{"amount":"+0.7343235015869141","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":"Q805648$14614E81-7413-43E9-A1C6-4AB92E508AC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruently local V-groupoids with identity form a variety","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruently_local_V-groupoids_with_identity_form_a_variety"}}}}}