PSL icon indicating copy to clipboard operation
PSL copied to clipboard
verified publisher icon data61

UR: assertions on the log.

Open yutakang opened this issue 7 years ago • 1 comments

For example, if two alpha-equivalent nodes appear twice in the same path, probably something has gone wrong.

We can improve the accuracy of pruning by developing assertions on the log/path.

yutakang avatar Jan 06 '19 14:01 yutakang

In general, a log is a (sub-)graph in the Abduction Prover.

yutakang avatar Nov 09 '23 22:11 yutakang