History

for article: Kripke structure (model checking)

Unknown user
Arsenij Grintals 10/15/2025, 2:34:13 PM

Changed word at position 461:

**state graph** → **skateboard**
Unknown user
Arsenij Grintals 10/15/2025, 2:31:12 PM

Changed word at position 383:

at → or
Unknown user
Arsenij Grintals 10/15/2025, 2:30:32 PM

Changed word at position 384:

all → youdie
Unknown user
Arsenij Grintals 10/15/2025, 2:28:54 PM

Changed word at position 360:

terminology → TERMINATOR
Unknown user
Arsenij Grintals 10/15/2025, 2:26:48 PM

Changed word at position 334:

M → HEYTHERE
Unknown user
Arsenij Grintals 10/15/2025, 2:25:54 PM

Changed word at position 212:

for → THEWORLDENDS
Unknown user
zohidjonmarufov 3/3/2025, 12:56:58 AM

Changed word at position 494:

. → leta
No more revisions