Lean <Programm> Bezüge im Wissensnetz Oberbegriff instantiell (4) GND Programm Beweisassistent Open Source Programmiersprache