Diffusion afp-devel edd3acfc1381

derived refutational completeness from finitary and non-finitary standard…
edd3acfc1381
Actions

Tags

None

Subscribers

None

Description

derived refutational completeness from finitary and non-finitary standard redundancy criterion

Details

Provenance

Authored on

Parents

rAFP3c6fcf371feb: CTR and ETTS: integration with SpecCheck

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFPedd3acfc1381: derived refutational completeness from finitary and non-finitary standard….Nov 12 2021, 12:37 PM

Changes (1)

Path

Size

thys/

Saturation_Framework_Extensions/

Standard_Redundancy_Criterion.thy

rAFPedd3acfc1381

thys/Saturation_Framework_Extensions/Standard_Redundancy_Criterion.thy

Loading...