Pages that link to "Item:Q861367"
From MaRDI portal
The following pages link to Representing and building models for decidable subclasses of equational clausal logic (Q861367):
Displaying 5 items.
- Extracting models from clause sets saturated under semantic refinements of the resolution rule. (Q1401929) (← links)
- Decidability of equational theories for subsignatures of relation algebra (Q1617808) (← links)
- Decision procedures and model building in equational clause logic (Q4380444) (← links)
- (Q4430633) (← links)
- (Q4503912) (← links)