. . "Quasivarieties (Universal algebra)"@en . _:bnode7authoritiessubjectssh98004249 . _:bnode7authoritiessubjectssh98004249 _:bnode8authoritiessubjectssh98004249 . _:bnode7authoritiessubjectssh98004249 . _:bnode8authoritiessubjectssh98004249 . _:bnode8authoritiessubjectssh98004249 "Quasivarieties (Universal algebra)"@en . . . . . . _:bnode16authoritiessubjectssh98004249 . _:bnode16authoritiessubjectssh98004249 . _:bnode16authoritiessubjectssh98004249 . _:bnode16authoritiessubjectssh98004249 "Algebraic systems, Quasi-varieties of"@en . _:bnode16authoritiessubjectssh98004249 _:bnode21authoritiessubjectssh98004249 . _:bnode21authoritiessubjectssh98004249 _:bnode22authoritiessubjectssh98004249 . _:bnode21authoritiessubjectssh98004249 . _:bnode22authoritiessubjectssh98004249 . _:bnode22authoritiessubjectssh98004249 "Algebraic systems, Quasi-varieties of"@en . _:bnode25authoritiessubjectssh98004249 . _:bnode25authoritiessubjectssh98004249 . _:bnode25authoritiessubjectssh98004249 . _:bnode25authoritiessubjectssh98004249 "Classes, Implicationally defined"@en . _:bnode25authoritiessubjectssh98004249 _:bnode30authoritiessubjectssh98004249 . _:bnode30authoritiessubjectssh98004249 _:bnode31authoritiessubjectssh98004249 . _:bnode30authoritiessubjectssh98004249 . _:bnode31authoritiessubjectssh98004249 . _:bnode31authoritiessubjectssh98004249 "Classes, Implicationally defined"@en . _:bnode34authoritiessubjectssh98004249 . _:bnode34authoritiessubjectssh98004249 . _:bnode34authoritiessubjectssh98004249 . _:bnode34authoritiessubjectssh98004249 "Classes, Quasi-primitive"@en . _:bnode34authoritiessubjectssh98004249 _:bnode39authoritiessubjectssh98004249 . _:bnode39authoritiessubjectssh98004249 _:bnode40authoritiessubjectssh98004249 . _:bnode39authoritiessubjectssh98004249 . _:bnode40authoritiessubjectssh98004249 . _:bnode40authoritiessubjectssh98004249 "Classes, Quasi-primitive"@en . _:bnode43authoritiessubjectssh98004249 . _:bnode43authoritiessubjectssh98004249 . _:bnode43authoritiessubjectssh98004249 . _:bnode43authoritiessubjectssh98004249 "Classes, Universal Horn"@en . _:bnode43authoritiessubjectssh98004249 _:bnode48authoritiessubjectssh98004249 . _:bnode48authoritiessubjectssh98004249 _:bnode49authoritiessubjectssh98004249 . _:bnode48authoritiessubjectssh98004249 . _:bnode49authoritiessubjectssh98004249 . _:bnode49authoritiessubjectssh98004249 "Classes, Universal Horn"@en . _:bnode52authoritiessubjectssh98004249 . _:bnode52authoritiessubjectssh98004249 . _:bnode52authoritiessubjectssh98004249 . _:bnode52authoritiessubjectssh98004249 "Horn classes, Universal"@en . _:bnode52authoritiessubjectssh98004249 _:bnode57authoritiessubjectssh98004249 . _:bnode57authoritiessubjectssh98004249 _:bnode58authoritiessubjectssh98004249 . _:bnode57authoritiessubjectssh98004249 . _:bnode58authoritiessubjectssh98004249 . _:bnode58authoritiessubjectssh98004249 "Horn classes, Universal"@en . _:bnode61authoritiessubjectssh98004249 . _:bnode61authoritiessubjectssh98004249 . _:bnode61authoritiessubjectssh98004249 . _:bnode61authoritiessubjectssh98004249 "Implicationally defined classes"@en . _:bnode61authoritiessubjectssh98004249 _:bnode66authoritiessubjectssh98004249 . _:bnode66authoritiessubjectssh98004249 _:bnode67authoritiessubjectssh98004249 . _:bnode66authoritiessubjectssh98004249 . _:bnode67authoritiessubjectssh98004249 . _:bnode67authoritiessubjectssh98004249 "Implicationally defined classes"@en . _:bnode70authoritiessubjectssh98004249 . _:bnode70authoritiessubjectssh98004249 . _:bnode70authoritiessubjectssh98004249 . _:bnode70authoritiessubjectssh98004249 "Quasi-primitive classes"@en . _:bnode70authoritiessubjectssh98004249 _:bnode75authoritiessubjectssh98004249 . _:bnode75authoritiessubjectssh98004249 _:bnode76authoritiessubjectssh98004249 . _:bnode75authoritiessubjectssh98004249 . _:bnode76authoritiessubjectssh98004249 . _:bnode76authoritiessubjectssh98004249 "Quasi-primitive classes"@en . _:bnode79authoritiessubjectssh98004249 . _:bnode79authoritiessubjectssh98004249 . _:bnode79authoritiessubjectssh98004249 . _:bnode79authoritiessubjectssh98004249 "Quasi-varieties of algebraic systems"@en . _:bnode79authoritiessubjectssh98004249 _:bnode84authoritiessubjectssh98004249 . _:bnode84authoritiessubjectssh98004249 _:bnode85authoritiessubjectssh98004249 . _:bnode84authoritiessubjectssh98004249 . _:bnode85authoritiessubjectssh98004249 . _:bnode85authoritiessubjectssh98004249 "Quasi-varieties of algebraic systems"@en . _:bnode88authoritiessubjectssh98004249 . _:bnode88authoritiessubjectssh98004249 . _:bnode88authoritiessubjectssh98004249 . _:bnode88authoritiessubjectssh98004249 "Quasiprimitive classes"@en . _:bnode88authoritiessubjectssh98004249 _:bnode93authoritiessubjectssh98004249 . _:bnode93authoritiessubjectssh98004249 _:bnode94authoritiessubjectssh98004249 . _:bnode93authoritiessubjectssh98004249 . _:bnode94authoritiessubjectssh98004249 . _:bnode94authoritiessubjectssh98004249 "Quasiprimitive classes"@en . _:bnode97authoritiessubjectssh98004249 . _:bnode97authoritiessubjectssh98004249 . _:bnode97authoritiessubjectssh98004249 . _:bnode97authoritiessubjectssh98004249 "Universal Horn classes"@en . _:bnode97authoritiessubjectssh98004249 _:bnode102authoritiessubjectssh98004249 . _:bnode102authoritiessubjectssh98004249 _:bnode103authoritiessubjectssh98004249 . _:bnode102authoritiessubjectssh98004249 . _:bnode103authoritiessubjectssh98004249 . _:bnode103authoritiessubjectssh98004249 "Universal Horn classes"@en . . . _:bnode108authoritiessubjectssh98004249 . _:bnode108authoritiessubjectssh98004249 . _:bnode108authoritiessubjectssh98004249 "Work cat.: 98-36280: Gorbunov, V.A. Algebraic theory of quasivarieties, c1998:" . _:bnode108authoritiessubjectssh98004249 "CIP pref. (a branch of algebra and mathematical logic that deals with a fragment of the first-order logic, the so called universal Horn Logic)"@en . _:bnode108authoritiessubjectssh98004249 "found" . _:bnode116authoritiessubjectssh98004249 . _:bnode116authoritiessubjectssh98004249 . _:bnode116authoritiessubjectssh98004249 "Math. subj. classif." . _:bnode116authoritiessubjectssh98004249 "(08-XX, General mathematical systems; 08Cxx, Classes of algebras; 08C15, Quasivarieties)"@en . _:bnode116authoritiessubjectssh98004249 "found" . _:bnode124authoritiessubjectssh98004249 . _:bnode124authoritiessubjectssh98004249 . _:bnode124authoritiessubjectssh98004249 "Encyc. math." . _:bnode124authoritiessubjectssh98004249 "(Algebraic systems, Quasi-variety of: a class of algebraic systems ([Omega]-systems) axiomatized by special formulas of a first-order logical language called quasi-identities or conditional identities; also known as a universal Horn class or quasi-primitive class)"@en . _:bnode124authoritiessubjectssh98004249 "found" . _:bnode132authoritiessubjectssh98004249 . _:bnode132authoritiessubjectssh98004249 . _:bnode132authoritiessubjectssh98004249 "Eisenreich. Mathematik" . _:bnode132authoritiessubjectssh98004249 "(quasiprimitive class; implicationally defined class, quasivariety; definitions for quasivariety under category theory and universal algebra)"@en . _:bnode132authoritiessubjectssh98004249 "found" . _:bnode140authoritiessubjectssh98004249 . _:bnode140authoritiessubjectssh98004249 . _:bnode140authoritiessubjectssh98004249 "Encyc. dict. math.;James math. dict." . _:bnode140authoritiessubjectssh98004249 "notfound" . _:bnode146authoritiessubjectssh98004249 . _:bnode146authoritiessubjectssh98004249 . _:bnode146authoritiessubjectssh98004249 "1998-07-15T00:00:00"^^ . _:bnode146authoritiessubjectssh98004249 "new"^^ . _:bnode146authoritiessubjectssh98004249 .