Datei:Cdcl implication graph 2.png

Aus testwiki
Zur Navigation springen Zur Suche springen
Cdcl_implication_graph_2.png (300 × 300 Pixel, Dateigröße: 17 KB, MIME-Typ: image/png)

Diese Datei stammt aus Wikimedia Commons und kann von anderen Projekten verwendet werden. Die Beschreibung von deren Dateibeschreibungsseite wird unten angezeigt.

Beschreibung

Beschreibung
English: implication graph for cdcl
Datum
Quelle Eigenes Werk
Urheber Mbssdr

Lizenz

Ich, der Urheber dieses Werkes, veröffentliche es unter der folgenden Lizenz:
w:de:Creative Commons
Namensnennung Weitergabe unter gleichen Bedingungen
Dieses Werk darf von dir
  • verbreitet werden – vervielfältigt, verbreitet und öffentlich zugänglich gemacht werden
  • neu zusammengestellt werden – abgewandelt und bearbeitet werden
Zu den folgenden Bedingungen:
  • Namensnennung – Du musst angemessene Urheber- und Rechteangaben machen, einen Link zur Lizenz beifügen und angeben, ob Änderungen vorgenommen wurden. Diese Angaben dürfen in jeder angemessenen Art und Weise gemacht werden, allerdings nicht so, dass der Eindruck entsteht, der Lizenzgeber unterstütze gerade dich oder deine Nutzung besonders.
  • Weitergabe unter gleichen Bedingungen – Wenn du das Material wiedermischst, transformierst oder darauf aufbaust, musst du deine Beiträge unter der gleichen oder einer kompatiblen Lizenz wie das Original verbreiten.

Kurzbeschreibungen

Ergänze eine einzeilige Erklärung, was diese Datei darstellt.
implication graph for cdcl

In dieser Datei abgebildete Objekte

Motiv

image/png

e9c173163df7a44d8995f255374b0ef3dd69b083

17.418 Byte

300 Pixel

300 Pixel

Dateiversionen

Klicke auf einen Zeitpunkt, um diese Version zu laden.

Version vomVorschaubildMaßeBenutzerKommentar
aktuell23:15, 7. Nov. 2020Vorschaubild der Version vom 23:15, 7. Nov. 2020300 × 300 (17 KB)wikimediacommons>MbssdrUploaded own work with UploadWizard

Die folgende Seite verwendet diese Datei: