"Assumption" "Antagelse"
"Axiom" "Aksiom"
"Case" "Tilfelle"
"Assumption" "Antagelse"
"Axiom" "Aksiom"
"Case" "Tilfelle"
"Claim" "Påstand"
"Conclusion" "Konklusjon"
"Condition" "Forutsetning"
"Claim" "Påstand"
"Conclusion" "Konklusjon"
"Condition" "Forutsetning"
"Criterion" "Kriterie"
"Definition" "Definisjon"
"Example" "Eksempel"
"Criterion" "Kriterie"
"Definition" "Definisjon"
"Example" "Eksempel"
- "List of Algorithms" "Liste over algoritmer"
- "List of Charts" "List of Charts"
- "List of Graphs" "List of Graphs"
- "List of Schemes" "List of Schemes"
- "List of Tableaux" "List of Tableaux"
+ "List of Algorithms" "Algoritmer"
+ "List of Charts" "Diagrammer"
+ "List of Graphs" "Grafer"
+ "List of Schemes" "Struktruformler"
+ "List of Tableaux" "Tablåer"
"Problem" "Problem"
"Proof" "Bevis"
"Problem" "Problem"
"Proof" "Bevis"
+ "Prop" "Prop"
+ "Property" "Egenskap"
"Proposition" "Proposisjon"
"Question" "Spørsmål"
"Remark" "Merknad"
"Proposition" "Proposisjon"
"Question" "Spørsmål"
"Remark" "Merknad"
+ "Scheme" "Strukturformel"
+ "Solution" "Løsning"
ru (Acknowledgement string issue only)
sl
tr
ru (Acknowledgement string issue only)
sl
tr