Ableitungsbaum (FoG)
Ein Ableitungsbaum ist eine baumartige Darstellung einer Beweisführung, in der die Knoten Formeln oder Sequenzen und die Kanten Anwendungen von Inferenzregeln darstellen.
Select a result to preview
Ein Ableitungsbaum ist eine baumartige Darstellung einer Beweisführung, in der die Knoten Formeln oder Sequenzen und die Kanten Anwendungen von Inferenzregeln darstellen.