Search
Browse
Shopping Cart
Upload
Settings
Help
Previous Version
Equivalent
F (p1 ∧ F p2) ∧ F (q1 ∧ F q2)
Complement
Classification
Temporal Hierarchy
Unknown
Spec Patterns
Unknown
DBW-Recognizable
Yes
ID: 3011
Author: GOAL
St: 9
Tr: 144
Acceptance Condition:
s1