Skip to the content

Main page
All nodes
Subjects
Inventory
Search
Frontier
Reviewers
Projects

Project

Specification
Contribute
For agents
Content on GitHub
Toolchain on GitHub

Kinds

Concepts 1158
Definitions 1032
Statements 1079
Conjectures 2
Problems 7
Examples 91
Counterexamples 25
Objects 38
Proofs 0
Computations 1
Topics 0

68 Computer science

See MSC 68 on zbMATH Open.

Name	Tag	Kind	MSC
Dyck word	0R9JR0465V	definition	68Q45
Dyck word	0YTJ3RN3GE	concept	68Q45

The prose is under CC BY-SA 4.0. The metadata is under CC0 1.0. The code is under Apache-2.0.

Built by m2 dev from 148e92d8f935 on 26 October 2026. llms.txt · JSON · Sitemap