End
Translation nn
- "Acknowledgement" "Takk til"
+ "Acknowledgement" "Takk"
"Algorithm" "Algoritme"
"Assumption" "Asumpsjon"
"Axiom" "Aksiom"
"Example" "Døme"
"Exercise" "Øving"
"Fact" "Faktum"
- "Graph" "Grafar"
+ "Graph" "Graf"
"Lemma" "Lemma"
"List of Algorithms" "Liste over algoritmer"
"List of Charts" "Liste over diagram"
"List of Algorithms" "Lista de Algoritmos"
"List of Charts" "Lista de Mapas"
"List of Graphs" "Lista de Gráficos"
- "List of Schemes" "List of Esquemas"
+ "List of Schemes" "Lista de Esquemas"
"List of Tableaux" "Lista de Quadros"
"Notation" "Notação"
"Note" "Nota"
End
Translation pt_BR
- "Fact" "Fato"
"Assumption" "Suposição"
+ "Fact" "Fato"
End
Translation ro