Prädikatenlogik erster Stufe Bezüge im Wissensnetz Relationierter Deskriptor (2) GND Prädikatenlogik Stufe 1