acceptsInputIf

URI: https://gptkb.org/prop/acceptsInputIf
2 triples
GPTKB property
Random triples
Subject Object
gptkb:alternating_Turing_machines there exists a computation tree with an accepting path (existential)
gptkb:alternating_Turing_machines all computation paths accept (universal)