{"entities":{"Q923074":{"pageid":924922,"ns":120,"title":"Item:Q923074","lastrevid":65377038,"modified":"2026-04-12T02:10:44Z","type":"item","id":"Q923074","labels":{"en":{"language":"en","value":"Tests for injectivity in finitely generated universal Horn classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4170875"}},"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":"Q923074$3B2580C9-42D2-43A4-BBF7-4D526242999A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9399cbecfdae972481efdbca3cea99914753cc3a","datavalue":{"value":{"text":"Tests for injectivity in finitely generated universal Horn classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q923074$D0586EA5-7C87-4BC6-BD0D-6268883DD2CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"332576b50ac8c7ff2b5bad7b2d8e79ca7c1183c4","datavalue":{"value":"0712.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923074$0DA363D9-1C31-402F-9A40-39B18DDB9979","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84ba3d7f5f6b1f267e23b37e3472641365df25e0","datavalue":{"value":"10.1007/BF01190715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923074$1784B715-1C52-48AA-8690-F80F38C87B2C","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":"Q923074$CD45AEEC-DAF5-4D8B-BD48-007F82C98A35","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":"Q923074$8D8319E5-E28E-47DC-BAA5-162D0356599F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"96bf50ef3cd5b40a0ec27a72420d99335dd0d622","datavalue":{"value":"Let \\({\\mathfrak K}\\) be a class of L-algebras. An algebra \\(A\\in {\\mathfrak K}\\) is called injective in \\({\\mathfrak K}\\) if for every \\(B\\in {\\mathfrak K}\\) and every subalgebra C of B each homomorphism \\(\\phi: C\\to A\\) is extended to a homomorphism \\({\\bar \\phi}\\): \\(B\\to A\\). In the first part of the paper the author considers the universal Horn class ISP(A), generated by a finite algebra A, and finds conditions under which A is injective in ISP(A). In the second part of the paper, he deals with the class-property ``\\({\\mathfrak K}\\) has enough injectives'', which is the property ``Every algebra in \\({\\mathfrak K}\\) has an injective in \\({\\mathfrak K}\\) extension'', and proves that: 1. One can effectively decide if the universal Horn class which is generated by a finite set \\({\\mathfrak A}\\) of finite algebras has this property; 2. One can effectively decide if the universal Horn class which is generated by a finite set \\({\\mathfrak A}\\) of finite algebras has this property and is a variety.","type":"string"},"datatype":"string"},"type":"statement","id":"Q923074$7A5E0AA9-1496-4B21-965D-C6267833A001","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923074$7492248B-10D1-47EC-8070-11D37E9B8F7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4dda4c99f7be2ac0fcd6d873fc56197d878bbef","datavalue":{"value":"4170875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923074$B58796AF-6D53-4A89-9116-5EC1B2CFC814","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76122f60fc6f2de7c1a45ab5563b8ba101c1fe2c","datavalue":{"value":"injective algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q923074$A68D5059-7EDF-45E9-A89A-C3334CB0D2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b04e9e900f85b02a6ba9965bf27377e0d582b0","datavalue":{"value":"effective test","type":"string"},"datatype":"string"},"type":"statement","id":"Q923074$D039B726-6BAE-4584-9C6F-7E6FE4E87450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dc9aebf2165ea4fe44c0b6c629da6789f8fa620","datavalue":{"value":"universal Horn class","type":"string"},"datatype":"string"},"type":"statement","id":"Q923074$CAD01419-BDBB-4615-AC2B-8D9237ED1B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q923074$07F22E18-EC8B-4D7C-BDB2-38064CC78894","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9b2acb70429a49fa33967a2cab85769c10ae847f","datavalue":{"value":"Q122964486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923074$F359930A-B640-421E-B14D-B0A7D36CEE16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de112a34ff9048b1b550236768ba85524bc700ad","datavalue":{"value":{"entity-type":"item","numeric-id":766144,"id":"Q766144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923074$6EEC9202-9C47-4879-940F-E9FC43FD78A8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"457d21bd3fc5d244f0cfd58c7ffe310e4101ddb5","datavalue":{"value":{"entity-type":"item","numeric-id":1121931,"id":"Q1121931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923074$17FF8883-D235-45F0-AC5E-DC79D2E6AD13","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":"Q923074$2F074B52-801D-4D32-BBBE-A24491E06A49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1762b945ad52c598e8547e3b4b69f93d3a9d8633","datavalue":{"value":{"entity-type":"item","numeric-id":3783343,"id":"Q3783343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923074$CDA0DDE0-C94B-4554-AD97-E6CDF1CD375F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8532d01477266b11bd351db98a26791779f1e4b8","datavalue":{"value":{"entity-type":"item","numeric-id":1104958,"id":"Q1104958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923074$6D3973CF-4EE9-45FA-800F-FA303D8DCB6B","rank":"normal"},{"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":"Q923074$72932AD6-A9BB-4C03-8578-6825F5F80DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f15cf9797df939f786dda0b61f9d0e57f955bd7d","datavalue":{"value":{"entity-type":"item","numeric-id":1255510,"id":"Q1255510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923074$B3712E40-99B4-428D-BA11-4B6B8C2351D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be943e92bc7b0b7b0830b4b8535fc7ae25b8758e","datavalue":{"value":{"entity-type":"item","numeric-id":2549709,"id":"Q2549709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923074$31F1ABE1-B6AB-4F01-85B9-BD20FEC80269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78bce6d49f1f1a2adf1b112eaf1895892ccd9570","datavalue":{"value":{"entity-type":"item","numeric-id":5668850,"id":"Q5668850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923074$7335D908-FC33-48E6-8E84-1E02E3A30AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fbfa7c363786f2e6f185112c5e69d8b4232acfc","datavalue":{"value":{"entity-type":"item","numeric-id":3360926,"id":"Q3360926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923074$2D9C2C55-791A-46CA-B043-E4E67C3E1D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2da8bb5ef310db5ad8cc817b9261d8f921c0ee6","datavalue":{"value":{"entity-type":"item","numeric-id":5921246,"id":"Q5921246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923074$077871BD-C19E-4406-9621-559D07F16787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d436a473e260730e61979aae32ea1ab11f65552d","datavalue":{"value":{"entity-type":"item","numeric-id":4056054,"id":"Q4056054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923074$19D40FD5-8B5C-45F5-A194-D30153F6E0F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acb8b1b1a51e43aca8701d29b59ff9cb41b258d9","datavalue":{"value":"https://doi.org/10.1007/bf01190715","type":"string"},"datatype":"url"},"type":"statement","id":"Q923074$CF919521-B3D6-4363-816D-80635EB751B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93eb6b976c509503cec68d95f524302b0c5ace70","datavalue":{"value":"W2081977338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923074$B3EBDC22-24F6-4CFC-8D3B-AC62A1EBB96A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cb0b83d6b9e3e9c186f68f1ce1dec70e846bf3f","datavalue":{"value":{"entity-type":"item","numeric-id":3783343,"id":"Q3783343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a54da4d79283ef1652e94b5f8bed649aab11277","datavalue":{"value":{"amount":"+0.8650352954864502","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":"Q923074$CF0161D0-DFE4-430B-B010-41824F085BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a6de7ead90d7bb0c42642b62eb1e2ffc180de26","datavalue":{"value":{"entity-type":"item","numeric-id":3360926,"id":"Q3360926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e74b5304425807fa9bd278bda65fe8ea2149ecc","datavalue":{"value":{"amount":"+0.7709171175956726","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":"Q923074$571BB970-9003-4CD6-B52D-A6CA4B96EFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ee23636ecad567a082072c73fde04fb7b4ab14","datavalue":{"value":{"entity-type":"item","numeric-id":4263741,"id":"Q4263741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d918cce0de09a99e0516b0d9e0ea4abf8089bc5","datavalue":{"value":{"amount":"+0.7344571948051453","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":"Q923074$88C109CF-A6D6-4B65-A3D7-A3485F72E65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aded1b8e8b929215337b4d0b4a7f1b769954125","datavalue":{"value":{"entity-type":"item","numeric-id":847545,"id":"Q847545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d918cce0de09a99e0516b0d9e0ea4abf8089bc5","datavalue":{"value":{"amount":"+0.7344571948051453","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":"Q923074$9E4784E6-3634-48A7-94E8-32DE897ACD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39bacfeb404a1a1e8563d662a89a395a04d7ec74","datavalue":{"value":{"entity-type":"item","numeric-id":804614,"id":"Q804614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22469bfe875384c3ae4b5ace646eb818e12e788a","datavalue":{"value":{"amount":"+0.7262182831764221","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":"Q923074$6FC74929-5BD5-431C-9FAA-D924AC0D5721","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tests for injectivity in finitely generated universal Horn classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tests_for_injectivity_in_finitely_generated_universal_Horn_classes"}}}}}