immerman_vardi_theorem (265B)
1 # Immerman vardi theorem 2 3 https://en.wikipedia.org/wiki/Immerman-Vardi_theorem 4 5 [datalog] with [negation], or [first_order] with [least_fixpoint], characterizes [ptime] on [ordered_structures] 6 7 Up: [datalog] 8 9 See also: [abiteboul_vianu_theorem], [order_invariance]