Stufe 1 Bezüge im Wissensnetz Literatur und Nachweise (47) DNB-Titeldaten 47 Einträge — alle anzeigen → Unterbegriff instantiell (2) GND Presburger-Arithmetik Resolventenprinzip Als Relationierter Deskriptor beteiligt (1) GND Prädikatenlogik erster Stufe