In the Vinony graph
Vinony's link graph records 435 inbound references to 결정가능성, and connects out to propositional calculus, formal system and recursive set.
It is catalogued under topics including Concepts in logic, Metalogic and Proof theory.
Vinony links it to 17 Wikipedia language editions.
Wikidata facts
- Subclass of
- property
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0
Connections
propositional calculus
Entity
formal system
Entity
recursive set
Entity
semantic theory of truth
Entity
mathematical logic
Entity
first-order logic
Entity
Peano axioms
Entity
Church–Turing thesis
Entity
validity
Entity
predicate
Entity
three-valued logic
Entity
semantics of logic
Entity
recursively enumerable set
Entity
structure
Entity
diagram
Entity
ground expression
Entity
logic
Entity
game
Entity
International Standard Book Number
Entity
natural number
Entity