{"entities":{"Q1071754":{"pageid":1082506,"ns":120,"title":"Item:Q1071754","lastrevid":69794910,"modified":"2026-04-13T09:26:27Z","type":"item","id":"Q1071754","labels":{"en":{"language":"en","value":"Groupoids of rank 2 generating categorical Horn classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3939334"}},"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":"Q1071754$DC30291B-B3B6-4AC4-9D98-EDA39E79470D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fed934e1658ae752cbdccb72421ad8d629a2d7f7","datavalue":{"value":{"text":"Groupoids of rank 2 generating categorical Horn classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1071754$F4B9F333-00F0-4A28-98E4-FE2ED4770D9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5200b2ecbce7766b62f17727924f6812e6b024b","datavalue":{"value":"0586.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071754$A0F89DBE-95BA-454A-A1D8-096AFB646E71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adc26b5ff6291c92f95b2181a114783c91ced88d","datavalue":{"value":"10.1007/BF01979707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071754$32BACE4D-6C6C-4CC5-A017-1DAD3A55DFB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071754$D36F390D-DA6C-47BB-932B-2FD1357F45AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1071754$6B57CE17-4934-4E47-BE56-28D5119FD476","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a0946eb9cc92b547dcb4139535743bbe89b2f26","datavalue":{"value":"https://eudml.org/doc/187264","type":"string"},"datatype":"url"},"type":"statement","id":"Q1071754$C6F16C44-577F-4F76-A5E5-FDF3EA9F9A95","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"60bda36ecbbcce195d7b007c2e5159e232a55268","datavalue":{"value":"A Horn class is an axiomatizable class of algebraic systems, closed with respect to filtered products. The paper is concerned with a description of groupoids generating categorical Horn classes. The author gives a partial solution of this problem. The rank (h-rank) of a set \\(X\\subseteq A\\) in an algebraic system \\({\\mathfrak A}\\) is the length of a maximal chain of non-empty h-subset of X. This definition was introduced in the paper of \\textit{E. A. Palyutin} [Algebra Logika 19, 582-614 (1980; Zbl 0491.03011)]. It should be noted that the author of the reviewed paper uses the definition of this rank inexactly. The rank of any infinite set is, at least, 2 and so it is necessary to add 1 to values of ranks in all statements of the paper. It turns out that any system of rank 2 generates a categorical Horn class. Using the criterion of E. A. Palyutin for a Horn class to be categorical, a description of groupoids of rank 3 generating categorical Horn classes is found.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071754$A347C06A-6688-412B-986A-280708F61882","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071754$133B115A-3B9D-4578-92D2-100A16F1211B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071754$648DA89F-0A90-470C-9442-C20A769A8E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071754$CEC29A9D-6E35-427F-9468-7A2491FE2CB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"091d198aaee1f0d444907675b7b5f739723f3436","datavalue":{"value":"3939334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071754$97E27935-39CA-42FF-B6D0-291B99E966FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37e0a3ff06a0e19421d307af36d0d6021236ee1c","datavalue":{"value":"categorical class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071754$25EB34D6-898D-4341-A63A-C39ABCD1C2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa478234084e8a035b7f15fd574f69c5f4d61366","datavalue":{"value":"axiomatizable class of algebraic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071754$8981E16A-6695-45F7-8F82-E89BA598670B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff970d4ac66527e3604912b9b360c2bfd42071e9","datavalue":{"value":"filtered products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071754$85C373A2-1FCA-42C4-9A2A-E52B97620695","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f65a840d0478c6eb5f5dd350de7b5a56e28efbaf","datavalue":{"value":{"entity-type":"item","numeric-id":1750763,"id":"Q1750763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071754$63D0AB4C-0F08-46B7-8787-B250839A7A1B","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":"Q1071754$C9EFB356-83E6-44F7-A027-B28BFE911AA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bab3cda0549a992477891cf99d3761e3176e8589","datavalue":{"value":{"entity-type":"item","numeric-id":3887439,"id":"Q3887439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071754$B70A8BAF-14F9-4095-A168-C486E3E46732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db76faf1b9cb27a7e3311f76ef3ad8104510de55","datavalue":{"value":{"entity-type":"item","numeric-id":5621361,"id":"Q5621361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071754$D1FBA506-01A5-4DD1-8FED-0DE9154BE823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb01b116518c38aae73bad1654795d357f386f9","datavalue":{"value":{"entity-type":"item","numeric-id":4141349,"id":"Q4141349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071754$DF6B0DED-FC00-4F9C-A142-FEDA4A0036FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7654a24d7037eb38c5c8f6961217bd856a4c123","datavalue":{"value":{"entity-type":"item","numeric-id":5637102,"id":"Q5637102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071754$55F4FBDD-3509-4667-AEAD-253074F1D55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95541ab45eb1dd1b0a894699f76cd74ef8105382","datavalue":{"value":{"entity-type":"item","numeric-id":4184820,"id":"Q4184820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071754$60181800-C5BE-4EA6-92D1-08CE0F5FFB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d069c1e7b924b6720fcb39b76e100bd59499546","datavalue":{"value":{"entity-type":"item","numeric-id":5724805,"id":"Q5724805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071754$76D15DC6-AF44-4F20-8F2A-27B4EB0D17ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"349253d7c9b07808c884e4ba23c0da0b23ca02b7","datavalue":{"value":{"entity-type":"item","numeric-id":541986,"id":"Q541986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f5f2fe0cbd0e87ed4e2d544f6c80b22b799e0c","datavalue":{"value":{"amount":"+0.7789987921714783","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":"Q1071754$F67D0863-534E-46BA-A1CE-87E1BF0369BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9a9401ef06b18875aa68cca63db8352f9ffc5fd","datavalue":{"value":{"entity-type":"item","numeric-id":1088782,"id":"Q1088782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"290468164ad32127741cae44292825e7b0ef6ff1","datavalue":{"value":{"amount":"+0.7771003842353821","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":"Q1071754$4C31DD97-70D4-46AC-B2FC-99D07B4AA963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca83b089f61de2356125b4df1d582e9543e7891a","datavalue":{"value":{"entity-type":"item","numeric-id":918543,"id":"Q918543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15c4f88130e5af67213dae95634f0eb25b228f05","datavalue":{"value":{"amount":"+0.7553451061248779","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":"Q1071754$111798C5-C4AC-4BE0-9187-05E6D077C99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d677ae7eba357e343a3cb7caa7110f3e387516","datavalue":{"value":{"entity-type":"item","numeric-id":1321041,"id":"Q1321041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58b9995b11dd61b4b22c65b6db468fa1c15898e","datavalue":{"value":{"amount":"+0.7324219942092896","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":"Q1071754$2230EA5C-3C86-4208-884B-C1EA124EB77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f0e2da8845fc4c517c18fc9809ea1373d5fca09","datavalue":{"value":{"entity-type":"item","numeric-id":662650,"id":"Q662650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6282c6fb2a5fb84f6b9e3a0afcad3d5816c3800e","datavalue":{"value":{"amount":"+0.702175498008728","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":"Q1071754$5A4D78E5-DDF4-432B-A285-CCE2D566A179","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Groupoids of rank 2 generating categorical Horn classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Groupoids_of_rank_2_generating_categorical_Horn_classes"}}}}}