{"entities":{"Q1422452":{"pageid":1433192,"ns":120,"title":"Item:Q1422452","lastrevid":68665893,"modified":"2026-04-13T01:17:51Z","type":"item","id":"Q1422452","labels":{"en":{"language":"en","value":"Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2042714"}},"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":"Q1422452$C9B08C74-1CD2-4BB7-BDD2-4B42E0D140FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e7d059bbc1f0c1717de2d7ba408f7f22cae9d8e","datavalue":{"value":{"text":"Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1422452$9F913E09-A9D4-4FF8-BE9B-0BAFC542B0D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"244977854e2bc777a73e273895bb2ddf9386b1bb","datavalue":{"value":"1051.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422452$3FF1F157-7AF7-48DE-A3F2-FF153BBE7137","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d358395423e65b7752a9f585d097c3f7d1bf893","datavalue":{"value":"10.1023/A:1024630124326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422452$52167170-AE8A-4DF0-A3CA-E2E8ACC9721D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49714895d01a2479f2c191715236e7e8f67283a2","datavalue":{"value":{"entity-type":"item","numeric-id":1337598,"id":"Q1337598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422452$0F10F8F1-79DC-4030-A1CF-7D92A2F0D2C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422452$D37AEBC9-291C-457E-9847-06FDD8E002D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09443cfab6fd5785ecda7e07fe946f107bfd3fa8","datavalue":{"value":{"time":"+2004-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1422452$C54EEAA0-DB6A-4373-91D1-725C71607783","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6df44792f5e5cc4117a584b9ac13327ac90e1aff","datavalue":{"value":"In the paper the following two main theorems are proved: (1) A finitely generated protoalgebraic strict universal Horn class that is filter-distributive is finitely based. (2) Every finitely generated axiomatic subclass of a filter-distributive, protoalgebraic strict universal Horn class is finitely based. The author gives three equivalent forms of these theorems, namely in terms of strict universal Horn classes, in terms of matrix-quasivarieties and in terms of \\(\\vec{k}\\)-deductive systems. These theorems do not apply to sequent calculi. Also presented are many other related results, showing the new ones in a wider context. Thus the paper can be considered as a review of the results concerning filter-distributive protoalgebraic deductive systems and strict universal Horn classes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422452$390E80D8-7DC8-4B9D-BBFD-EBDA1220F806","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2a8ae310966d8907b73b3b6c369333d41663bd73","datavalue":{"value":{"entity-type":"item","numeric-id":592502,"id":"Q592502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422452$9438E909-976A-42AF-9711-0F99761A3605","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422452$5D829169-8E42-4EF3-A3F5-F574994A516B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422452$4B15EDFC-96DC-46C4-BA1E-0159F6FFFF8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c41a2cd154e42931a7806a3c576066f376b8ead7","datavalue":{"value":"2042714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422452$1B7AFCC8-7FE5-4FB7-8360-21F03FA9AB9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26fbbab5eaba744ec6a9f5855ed35642348866ff","datavalue":{"value":"\\(\\vec{k}\\)-deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422452$6A18B0CD-A652-471D-9EA2-7A3451DE8664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b575bd20584539444d7cb1ea128496dc2b48fc7b","datavalue":{"value":"protoalgebraic deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422452$1DE786AB-C0FA-473F-AA3A-1D14CC755368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2af3a72e10471202f512b7da39a1ea20e9a44d","datavalue":{"value":"finite basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422452$E4FB5A54-6B97-411B-A0B9-54622E951990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dc9aebf2165ea4fe44c0b6c629da6789f8fa620","datavalue":{"value":"universal Horn class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422452$F897F54D-7DDF-4EB0-BC83-E056183184FD","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":"Q1422452$751C4A30-B978-463E-A557-8E5A34EF39CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"023f1d01d61dbc69ff5d93c767e8d05028d43d6a","datavalue":{"value":"https://doi.org/10.1023/a:1024630124326","type":"string"},"datatype":"url"},"type":"statement","id":"Q1422452$04E1DA3B-1676-4C66-8247-BE40C413D60D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a5005b1b8f494e9fc1b0a9e31d4b519484a95d9","datavalue":{"value":"W1493313128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422452$76FC1CC1-A308-4BFB-A912-620EEDAC8A11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94aa3db42f342225f7081d796928ec2ccad9271d","datavalue":{"value":{"entity-type":"item","numeric-id":6364601,"id":"Q6364601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"997b3d6a7c2be0b2886fc0c9d6f1cda3a007e26f","datavalue":{"value":{"amount":"+0.7352747917175293","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":"Q1422452$CA2F5CE7-41C2-469B-BEA3-A0B47E3A1EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b40a2eca6ad41d23d50353bc5540f433ad9f7238","datavalue":{"value":{"entity-type":"item","numeric-id":4011710,"id":"Q4011710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6deba1dce8ceb571a73961687a4e40a76137fdb3","datavalue":{"value":{"amount":"+0.7273029685020447","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":"Q1422452$6342C2FA-B297-4AB1-94EB-EFA1557651D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2de68d146cc17f7e57ba3b9191a134ead8324339","datavalue":{"value":{"entity-type":"item","numeric-id":1080413,"id":"Q1080413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdd3fd1d6665188510fdedd11376260435bfed02","datavalue":{"value":{"amount":"+0.7228033542633057","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":"Q1422452$73B8B065-762B-414E-BF1B-574F0FE0C5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0addec0cc13eb1825adc6c6941136aa8685d117b","datavalue":{"value":{"entity-type":"item","numeric-id":4029628,"id":"Q4029628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a173e8450660fd5dae59634bd713b86eebb9003","datavalue":{"value":{"amount":"+0.7226085066795349","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":"Q1422452$CC432CE3-2979-472F-9535-2CEF4838DE18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_basis_theorem_for_filter-distributive_protoalgebraic_deductive_systems_and_strict_universal_Horn_classes"}}}}}