Pages that link to "Item:Q4647537"

The following pages link to On the practical value of different definitional translations to normal form (Q4647537):

Displaying 3 items.

• KoMeT (Q40434) (← links)
• Practically useful variants of definitional translations to normal form (Q1854384) (← links)
• Combining enumeration and deductive techniques in order to increase the class of constructible infinite models (Q5927982) (← links)