Processing math: 0%
main clear / load / save
Hilfe Roadmap Über

Signatur:



Strukur

Das Universum


Die Relationen

enthält keine Relationen oder Färbungen.


show GraphVizArd / edit

Programm


Extensionale und intensionale Prädikate des Programms

Menge der extensionalen Prädikate:

Menge der intensionalen Prädikate:

Variablen und Konstanten des Programms

Menge der Variablen:

Menge der Konstanten:

less info / edit

Fixpunktberechnung

Für alle gilt

more info