{"entities":{"Q1422448":{"pageid":1433188,"ns":120,"title":"Item:Q1422448","lastrevid":68665866,"modified":"2026-04-13T01:17:51Z","type":"item","id":"Q1422448","labels":{"en":{"language":"en","value":"Quasivarieties of logic, regularity conditions and parameterized algebraization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2042711"}},"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":"Q1422448$938998AE-8152-4AEB-B6A6-DC179948146D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e842ec50c56033ab4be97cbc696cdf1cff110cf","datavalue":{"value":{"text":"Quasivarieties of logic, regularity conditions and parameterized algebraization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1422448$18471499-7B43-487B-897C-C8A1FF86632B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f20cf0532db542d9ec38ceef85b08b4e37b9d292","datavalue":{"value":"1039.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422448$8F0EA234-290A-4C83-92EB-16EE2E228D80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa3260677159dee92e45b2504e1536bd51eb7192","datavalue":{"value":"10.1023/A:1024673906579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422448$304F959C-3418-43E6-8011-C891DA8130B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a91631a2e49180e318751f4596838231f6c5efd","datavalue":{"value":{"entity-type":"item","numeric-id":1422447,"id":"Q1422447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422448$723F721F-3FA0-4495-80B0-5A48E61786F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b7351c665d8ce77351eed18ff10ea849a82e757","datavalue":{"value":{"entity-type":"item","numeric-id":995380,"id":"Q995380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422448$351323F8-2CEC-46FA-A903-B39A5C28EF39","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":"Q1422448$7E0CE5D5-4C2C-46F1-BCD6-A964521AF759","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":"Q1422448$C8445F5B-C5CF-4D62-89D5-40C585348B6F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7364f4262a63491ab8704963d907b7915c699cdf","datavalue":{"value":"The authors exploit the many formal similarities between quasivarieties of logic and relatively congruence-regular quasivarieties. Indeed, they develop a unifying model for them which extends the Blok-Pigozzi theory of algebraizable deductive systems. The development includes the detailed proof of many theorems, the presentation of several useful examples of the results, an important counterexample (a quasivariety need not be \\(t\\)-deductive for every \\(t\\)), and an application of the authors' theory to algebraic coherence. Finally, the authors' theory has the bonus of connections to homological algebra and congruence-class geometries. Unsolved problem (2003): Prove or disprove that \\(t\\)-regular quasivarieties are \\(t\\)-deductive.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422448$D6F3FA5A-2807-4B75-BDEC-E22EC9FF7366","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ba7232f3f7ae68133198ecf25821b70a187e9eaa","datavalue":{"value":{"entity-type":"item","numeric-id":704043,"id":"Q704043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422448$87152D2D-0068-4023-BB35-146A023105A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422448$6264115D-36BD-46AF-9CD8-5B68F382EF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422448$358E4EDA-D085-4D5E-8F53-7337874E232A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a8f9b33b53f4f55fcc156ea84873bd7bfd2e31f","datavalue":{"value":"2042711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422448$36F9C95F-6D24-40BC-9D8D-313C9951BB88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422448$54A40ABB-BC03-4350-872D-DEE3927278EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864bd2308ad6ae0190090d51f6b5e01742de2ffc","datavalue":{"value":"deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422448$2EC21E6C-2819-44CA-9AA1-6727E2EF68C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422448$1EC20EF1-62E9-40C2-A488-4CE614150ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3d663c92cc86288e2df478c487898f3815f9ec0","datavalue":{"value":"regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422448$73C1CF81-EC84-4279-95C8-65158A744A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20c5129ca511846c06962a5e158b68550c0cf7e4","datavalue":{"value":"quasivarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422448$58F7BF9E-1A9B-4FE0-90F7-622E8E1A38F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1916f25a167376011788c5217ec9a59f2e87d836","datavalue":{"value":"algebraic coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422448$16C8557D-1191-4B7D-BC8B-CBBE79B6B445","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":"Q1422448$3B379221-3C4F-4CA4-BF17-2D9BAE5CBCD4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"489cd04494e89e1ef45ce8669caa2ef4b49cc21f","datavalue":{"value":"https://doi.org/10.1023/a:1024673906579","type":"string"},"datatype":"url"},"type":"statement","id":"Q1422448$6F02C956-3F15-4FC5-92A0-08BD9DBCEABB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ddb90ed2a5750bb2d7c5b42db24db973b43445c5","datavalue":{"value":"W1519453649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422448$EACB28FD-13D7-4BF2-ABD1-5C6925FE855C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a9a447a585e0e2c6ba13e0adbeb6d9405e3614e","datavalue":{"value":{"entity-type":"item","numeric-id":5932592,"id":"Q5932592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"835a98d3d1d227c2313450f91a7734393dc93d55","datavalue":{"value":{"amount":"+0.7702266573905945","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":"Q1422448$EC7B818F-3C0E-4439-B6A0-B1849472B24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17969058e4e1979bbf4cdfbb6d911669131201f1","datavalue":{"value":{"entity-type":"item","numeric-id":1918964,"id":"Q1918964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813e7f9fa10b876389746d35e26c758afbb7c85d","datavalue":{"value":{"amount":"+0.742222011089325","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":"Q1422448$D0DCDDB2-EBFC-4A66-9D0E-F4F18ADD6AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dfbcda192862fc7bcdef429d227ab17e9366809","datavalue":{"value":{"entity-type":"item","numeric-id":4668869,"id":"Q4668869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"528286f250af1f3846cc88fd3e0ea5068c8580f4","datavalue":{"value":{"amount":"+0.7410451173782349","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":"Q1422448$08E26E21-8649-4FBF-B628-A379E68B69A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1549c0dda412a0bf083b1c49bd522e7f10d19a11","datavalue":{"value":{"entity-type":"item","numeric-id":4011709,"id":"Q4011709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a50d59001c6797fa9f047730d17103fe0ecb8b","datavalue":{"value":{"amount":"+0.7406558394432068","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":"Q1422448$51DD05BF-252D-49CC-8539-6C312A5F4FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49758ae7f0c24f36fed850c61c492dbbf6196fb8","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"843e2b019659e41513da674f6af7f4c0309d6579","datavalue":{"value":{"amount":"+0.737594723701477","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":"Q1422448$1D725E9A-BCB8-496B-810A-90197A430D4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quasivarieties of logic, regularity conditions and parameterized algebraization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quasivarieties_of_logic,_regularity_conditions_and_parameterized_algebraization"}}}}}