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

Theoretical programming

Mathematics / Foundations and Logic / Logic / Logical Operations

Theoretical programming Algol Program scheme Parallel programming Grammar, context-free Translation of programs Program-optimizing transformations Automaton, finite Analysis of programs Programming Program scheme Program

citescited by

Canonical sources

Theoretical programmingencyclopedia_of_mathematics

Classification

Logical OperationsMathematics / Foundations and Logic / Logic / Logical Operations

References

Algol Program scheme Parallel programming Grammar, context-free Translation of programs Program-optimizing transformations Automaton, finite

Referenced by

Analysis of programs Programming Program scheme Program

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.