Pages that link to "Item:Q1904405"
From MaRDI portal
The following pages link to A note on assumptions about Skolem functions (Q1904405):
Displaying 6 items.
- Practically useful variants of definitional translations to normal form (Q1854384) (← links)
- Deciding the guarded fragments by resolution (Q1867216) (← links)
- (Q3987497) (← links)
- (Q4263745) (← links)
- SPASS & FLOTTER version 0.42 (Q4647508) (← links)
- On the practical value of different definitional translations to normal form (Q4647537) (← links)