Hierarchy:
Description:
{{logic}} A form of induction that allows some form of reasoning concerning sets that are not well founded; uses a form of relation called a bisimulation
Ngram:
Ngram Text:
coinduction
Source:
Wiktionary
Issue:
0
Wiktionary tag:
Ngram Count:
1