Source-linked topology

Mathematics knowledge graph

Explore mathematical concepts through their taxonomy and citation relationships. Uintell stores graph metadata and canonical links, not a copied corpus.

8658concepts

10281sources

45444citations

Concept topology

Horn clauses, theory of

Mathematics / Foundations and Logic / A New Kind of Science / Reverse-Then-Add Sequence

Horn clauses, theory of Algorithm, computational complexity of an Quasi-variety Logical calculus Recursive set theory Mathematical logic Model theory Modus ponens Universal algebra Quasi-identity Abstract algebraic logic

citescited by

Canonical sources

Horn clauses, theory ofencyclopedia_of_mathematics

Classification

Reverse-Then-Add SequenceMathematics / Foundations and Logic / A New Kind of Science / Reverse-Then-Add Sequence

References

Algorithm, computational complexity of an Quasi-variety Logical calculus Recursive set theory Mathematical logic Model theory Modus ponens Universal algebra

Referenced by

Quasi-identity Abstract algebraic logic

Source records retain attribution and canonical links. The public graph does not reproduce article bodies. See the Encyclopedia of Mathematics licensing notice before republishing source text.