„Brouwer-Heyting-Kolmogorow-Interpretation“ – Versionsgeschichte

aus Wikipedia, der freien Enzyklopädie

Alte Versionen des Artikels:

  • (Aktuell) = Unterschied zur aktuellen Version, (Vorherige) = Unterschied zur vorherigen Version
  • Uhrzeit und Datum = Artikel zu dieser Zeit, Benutzername bzw. IP-Adresse des Bearbeiters, K = Kleine Änderung
  • (123 Bytes) = GröVorlage:SSe der Version; (+543)/(−792) =‎ Änderung der SeitengröVorlage:SSe in Bytes gegenüber der vorherigen Version
  • Um Unterschiede zwischen zwei bestimmten Versionen zu sehen, die Radiobuttons  markieren und auf „Gewählte Versionen vergleichen“ klicken

    9. März 2021

    • AktuellVorherige 16:3916:39, 9. Mär. 2021imported>Tea2min(29307) 8.137 Bytes +8.137 Bytes →‎Die Interpretation: Grammatik. (Im englischsprachigen Original heißt es "The interpretation states what is intended to be a proof of a given formula.")