Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/Tarski/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 28.9.2014 mit Größe 1 kB image not shown  

Quelle  3SuzG1-kerSuzW1   Sprache: unbekannt

 
inp 2
mu 2 1 3
mu 2 3 4
mu 4 3 5
pwr 2 5 6
pwr 2 3 7
mu 4 6 9
mu 9 7 8
pwr 14 8 9
oup 1 9

[ Dauer der Verarbeitung: 0.4 Sekunden  (vorverarbeitet)  ]