Benutzerbeiträge von „77.186.93.79“
Ergebnisse für 77.186.93.79 Diskussion Sperr-Logbuch Logbücher globales Sperr-Logbuch Bearbeitungsfilter-Logbuch
1. September 2017
- 09:4809:48, 1. Sep. 2017 Unterschied Versionen +90 Diskussion:Ehrenamtlicher Richter Keine Bearbeitungszusammenfassung
- 09:3909:39, 1. Sep. 2017 Unterschied Versionen +524 Diskussion:Ehrenamtlicher Richter Keine Bearbeitungszusammenfassung
19. Oktober 2012
- 17:3217:32, 19. Okt. 2012 Unterschied Versionen +97 Presburger-Arithmetik "+" ist formal logisch erstmal nur ein dreistelliges Prädikat. Ob man es als Funktionssymbol interpretieren kann, hängt von den verwendeten Axiomen ab.