Pages that link to "Item:Q4647537"

From MaRDI portal

← On the practical value of different definitional translations to normal form (Q4647537)

Jump to:navigation, search

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

Displayed 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)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"