https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Datei%3AComputational_Tree_Logic_Example.png
Datei:Computational Tree Logic Example.png - Versionsgeschichte
2026-05-26T11:10:13Z
Versionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale Kopie
MediaWiki 1.43.8
https://wiki-de.moshellshocker.dns64.de/index.php?title=Datei:Computational_Tree_Logic_Example.png&diff=2619672&oldid=prev
imported>Tarion: /* Beschreibung, Quelle */
2012-04-26T13:23:32Z
<p><span class="autocomment">Beschreibung, Quelle</span></p>
<p><b>Neue Seite</b></p><div>== Beschreibung, Quelle ==<br />
{{Information<br />
|Beschreibung = CTL Aussagen über den Computation Tree eines Modells M. <math>p \rightsquigarrow q</math> ist äquivalent zu <math>A\square (p \rightarrow A\lozenge q)</math><br />
|Quelle = Erstellt mit LaTeX und Tikz<br />
|Urheber = Tobias Kaupat<br />
|Datum = 26.04.2012<br />
|Genehmigung = <br />
|Andere Versionen = <br />
|Anmerkungen = <br />
}}<br />
<br />
== Lizenz ==<br />
{{Bild-frei}}</div>
imported>Tarion