Kripke structure

https://www.wikidata.org/wiki/Q1077740

Field Hierarchy

Parent
Computer science 61.9M papers	Philosophy 22.3M papers	Mathematics 21.8M papers	Programming language 7.6M papers
Epistemology 5.7M papers	Algorithm 4.6M papers	Theoretical computer science 609k papers	Model checking 20.8k papers
Temporal logic 6,766 papers
Current
Kripke structure 690 papers
Child
Stuttering equivalence 0 papers

Trends

Notes

History