The following pages link to Entailment is undecidable for symbolic heap separation logic formulæ with non-established inductive rules (Q2234797):
Displaying 1 item.