Disambiguation evidence for Kripke semantics via surface form

"Kripke structures"

Triples (1)

Triples where some other subject referred to this entity as "Kripke structures".

μ-calculus → semanticsGivenBy →
"Kripke structures"
↳ resolves to Kripke semantics
ⓘ
linked to: mu-calculus