Jamie Kai comments

Repositories
Issues
Comments

Results 2 comments of


                                            Jamie Kai

Incompleteness for heap-dependent functions with quantified permissions

Thanks! Sorry, I had done a search through old issues, but I guess I had missed that one.

Heap-dependent function with QPs generates triggerless axiom

After some testing, it seems that an equivalent Skolemized formula can perform much better in place of the quantified LHS here. Continuing the above example, this would look like: ```...