Pages that link to "Item:Q5927982"
From MaRDI portal
The following pages link to Combining enumeration and deductive techniques in order to increase the class of constructible infinite models (Q5927982):
Displaying 5 items.
- Constructing infinite models represented by tree automata (Q1044230) (← links)
- Extracting models from clause sets saturated under semantic refinements of the resolution rule. (Q1401929) (← links)
- A calculus combining resolution and enumeration for building finite models (Q1404976) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- An isomorph-free SEM-like enumeration of models (Q2848047) (← links)
