Skip to content

do not test critical pairs with rules containing higher-order pattern variables#1406

Merged
fblanqui merged 2 commits into
Deducteam:masterfrom
fblanqui:lcr
Jun 10, 2026
Merged

do not test critical pairs with rules containing higher-order pattern variables#1406
fblanqui merged 2 commits into
Deducteam:masterfrom
fblanqui:lcr