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

Derivation rule

Mathematics / History, Language, and Terminology / Terminology / Well-Defined

Derivation rule Calculus Semantics Algorithm Modus ponens Logico-mathematical calculus Carnap rule Axiom scheme Sound rule Modus ponens Derivation, logical Derivation tree Logico-mathematical calculus Infinite induction Calculus Theorem

citescited by

Canonical sources

Derivation ruleencyclopedia_of_mathematics

Classification

Well-DefinedMathematics / History, Language, and Terminology / Terminology / Well-Defined

References

Calculus Semantics Algorithm Modus ponens Logico-mathematical calculus Carnap rule Axiom scheme

Referenced by

Sound rule Modus ponens Derivation, logical Derivation tree Logico-mathematical calculus Infinite induction Calculus Theorem

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.