en
proof theory
An
English
term in
ConceptNet 5.8
Sources:
OpenCyc 2012
and
English Wiktionary
View this term in the API
Documentation
FAQ
Chat
Blog
Documentation
FAQ
Chat
Blog
Terms with this context
en
axiom
(
n
)
➜
en
inference rule
(
n
)
➜
vi
tiên đề
(
n
)
➜
Links to other resources
umbel.org
/umbel/sc/ProofTheory