]> git.lyx.org Git - lyx.git/blob - lib/layouttranslations
Don't allow newline characters in document settings.
[lyx.git] / lib / layouttranslations
1 # This file has been automatically generated by po/lyx_pot.py.
2 # PLEASE MODIFY ONLY THE LAGUAGES HAVING NO .po FILE! If you want to regenerate
3 # this file from the translations, run `make ../lib/layouttranslations' in po.
4 # Python polib library is needed for building the output file.
5 #
6 # This file should remain fixed during minor LyX releases.
7 # For more comments see README.localization file.
8
9 Translation ar
10         "Acknowledgement" "Acknowledgement"
11         "Algorithm" "الخوارزم"
12         "Assumption" "فرضية"
13         "Axiom" "مسلمة"
14         "Case" "Case"
15         "Chart" "جدول بياني"
16         "Claim" "Claim"
17         "Conclusion" "استنتاج"
18         "Condition" "شرط"
19         "Conjecture" "Conjecture"
20         "Corollary" "Corollary"
21         "Criterion" "Criterion"
22         "Definition" "تعريف"
23         "Example" "مثال"
24         "Exercise" "تمرين"
25         "Fact" "حقيقة"
26         "Graph" "رسم بياني"
27         "Lemma" "Lemma"
28         "List of Algorithms" "قائمة الخوارزميات"
29         "List of Charts" "قائمة الجداول البيانية"
30         "List of Graphs" "قائمة الرسوم البيانية"
31         "List of Schemes" "قائمة التصميمات"
32         "List of Tableaux" "قائمة الجداول"
33         "Notation" "تدوين"
34         "Note" "ملاحظة"
35         "Problem" "مشكلة"
36         "Proof" "برهان"
37         "Property" "خاصية"
38         "Proposition" "Proposition"
39         "Question" "سؤال"
40         "Remark" "ملاحظة"
41         "Scheme" "مخطط"
42         "Solution" "حل"
43         "Summary" "موجز"
44         "Tableau" "جدول"
45         "Theorem" "نظرية"
46 End
47
48 Translation bg
49         "Acknowledgement" "Acknowledgement"
50         "Algorithm" "Aлгоритъм"
51         "Assumption" "Assumption"
52         "Axiom" "Axiom"
53         "Case" "Case"
54         "Chart" "Chart"
55         "Claim" "Claim"
56         "Conclusion" "Заключение"
57         "Condition" "Условие"
58         "Conjecture" "Conjecture"
59         "Corollary" "Corollary"
60         "Criterion" "Criterion"
61         "Definition" "Дефиниция"
62         "Example" "Пример"
63         "Exercise" "Упражнение"
64         "Fact" "Факт"
65         "Graph" "Graph"
66         "Lemma" "Лема"
67         "List of Algorithms" "List of Algorithms"
68         "List of Charts" "List of Charts"
69         "List of Graphs" "List of Graphs"
70         "List of Schemes" "List of Schemes"
71         "List of Tableaux" "List of Tableaux"
72         "Notation" "Notation"
73         "Note" "Бележка"
74         "Problem" "Проблем"
75         "Proof" "Доказателство"
76         "Proposition" "Допускане"
77         "Question" "Въпрос"
78         "Remark" "Remark"
79         "Scheme" "Scheme"
80         "Summary" "Обобщение"
81         "Tableau" "Tableau"
82         "Theorem" "Теорема"
83 End
84
85 Translation ca
86         "Acknowledgement" "Agraiment"
87         "Algorithm" "Algorisme"
88         "Assumption" "Assumpció"
89         "Axiom" "Axioma"
90         "Case" "Cas"
91         "Chart" "Chart"
92         "Claim" "Afirmació"
93         "Conclusion" "Conclusió"
94         "Condition" "Condició"
95         "Conjecture" "Conjectura"
96         "Corollary" "Corol·lari"
97         "Criterion" "Criteri"
98         "Definition" "Definició"
99         "Example" "Exemple"
100         "Exercise" "Exercici"
101         "Fact" "Fet"
102         "Graph" "Graph"
103         "Lemma" "Lema"
104         "List of Algorithms" "Llista d'algorismes"
105         "List of Charts" "List of Charts"
106         "List of Graphs" "List of Graphs"
107         "List of Schemes" "List of Schemes"
108         "List of Tableaux" "List of Tableaux"
109         "Notation" "Notació"
110         "Note" "Nota"
111         "Problem" "Problema"
112         "Proof" "Demostració"
113         "Property" "Propietat"
114         "Proposition" "Proposició"
115         "Question" "Qüestió"
116         "Remark" "Comentari"
117         "Scheme" "Scheme"
118         "Solution" "Solució"
119         "Summary" "Resum"
120         "Tableau" "Tableau"
121         "Theorem" "Teorema"
122 End
123
124 Translation cs
125         "Acknowledgement" "Poděkování"
126         "Algorithm" "Algoritmus"
127         "Assumption" "Předpoklad"
128         "Axiom" "Axiom"
129         "Case" "Případ"
130         "Chart" "Diagram"
131         "Claim" "Tvrzení"
132         "Conclusion" "Závěr"
133         "Condition" "Podmínka"
134         "Conjecture" "Hypotéza"
135         "Corollary" "Důsledek"
136         "Criterion" "Kritérium"
137         "Definition" "Definice"
138         "Example" "Příklad"
139         "Exercise" "Cvičení"
140         "Fact" "Fakt"
141         "Graph" "Graf"
142         "Lemma" "Lemma"
143         "List of Algorithms" "Seznam algoritmů"
144         "List of Charts" "Seznam diagramů"
145         "List of Graphs" "Seznam grafů"
146         "List of Schemes" "Seznam schémat"
147         "List of Tableaux" "Seznam tabel"
148         "Notation" "Značení"
149         "Note" "Poznámka"
150         "Problem" "Úloha"
151         "Proof" "Důkaz"
152         "Property" "Property"
153         "Proposition" "Tvrzení"
154         "Question" "Otázka"
155         "Remark" "Poznámka"
156         "Scheme" "Schéma"
157         "Solution" "Solution"
158         "Summary" "Souhrn"
159         "Tableau" "Tablo"
160         "Theorem" "Věta"
161 End
162
163 Translation da
164         "Acknowledgement" "Anerkendelse"
165         "Algorithm" "Algoritme"
166         "Assumption" "Antagelse"
167         "Axiom" "Aksiom"
168         "Case" "Tilfælde"
169         "Chart" "Diagram"
170         "Claim" "Påstand"
171         "Conclusion" "Konklusion"
172         "Condition" "Betingelse"
173         "Conjecture" "Formodning"
174         "Corollary" "Korollar"
175         "Criterion" "Kriterium"
176         "Definition" "Definition"
177         "Example" "Eksempel"
178         "Exercise" "Øvelse"
179         "Fact" "Faktum"
180         "Graph" "Graf"
181         "Lemma" "Lemma"
182         "List of Algorithms" "Algoritmeliste"
183         "List of Charts" "Diagramliste"
184         "List of Graphs" "Grafliste"
185         "List of Schemes" "Schemaliste"
186         "List of Tableaux" "Tableauliste"
187         "Notation" "Notation"
188         "Note" "Notat"
189         "Problem" "Problem"
190         "Proof" "Bevis"
191         "Property" "Property"
192         "Proposition" "Forslag"
193         "Question" "Spørgsmål"
194         "Remark" "Bemærkning"
195         "Scheme" "Schema"
196         "Solution" "Løsning"
197         "Summary" "Resumé"
198         "Tableau" "Tableau"
199         "Theorem" "Sætning"
200 End
201
202 Translation de
203         "Acknowledgement" "Danksagung"
204         "Algorithm" "Algorithmus"
205         "Assumption" "Annahme"
206         "Axiom" "Axiom"
207         "Case" "Fall"
208         "Chart" "Zeichnung"
209         "Claim" "Behauptung"
210         "Conclusion" "Schlussfolgerung"
211         "Condition" "Bedingung"
212         "Conjecture" "Vermutung"
213         "Corollary" "Korollar"
214         "Criterion" "Kriterium"
215         "Definition" "Definition"
216         "Example" "Beispiel"
217         "Exercise" "Aufgabe"
218         "Fact" "Fakt"
219         "Graph" "Graph"
220         "Lemma" "Lemma"
221         "List of Algorithms" "Algorithmenverzeichnis"
222         "List of Charts" "Liste der Zeichnungen"
223         "List of Graphs" "Liste der Graphen"
224         "List of Schemes" "Liste der Schemata"
225         "List of Tableaux" "Tableaux-Verzeichnis"
226         "Notation" "Notation"
227         "Note" "Notiz"
228         "Problem" "Problem"
229         "Proof" "Beweis"
230         "Property" "Eigenschaft"
231         "Proposition" "Satz"
232         "Question" "Frage"
233         "Remark" "Bemerkung"
234         "Scheme" "Schema"
235         "Solution" "Lösung"
236         "Summary" "Zusammenfassung"
237         "Tableau" "Tableau"
238         "Theorem" "Theorem"
239 End
240
241 Translation de_alt
242         "Conclusion" "Schlußfolgerung"
243 End
244
245 Translation el
246         "Acknowledgement" "Μνεία"
247         "Algorithm" "Αλγόριθμος"
248         "Assumption" "Υπόθεση"
249         "Axiom" "Αξίωμα"
250         "Case" "Περίπτωση"
251         "Chart" "Γραφική Παράσταση"
252         "Claim" "Ισχυρισμός"
253         "Conclusion" "Συμπέρασμα"
254         "Condition" "Συνθήκη"
255         "Conjecture" "Εικασία"
256         "Corollary" "Πόρισμα"
257         "Criterion" "Κριτήριο"
258         "Definition" "Ορισμός"
259         "Example" "Παράδειγμα"
260         "Exercise" "Άσκηση"
261         "Fact" "Δεδομένο"
262         "Graph" "Γράφημα"
263         "Lemma" "Λήμμα"
264         "List of Algorithms" "Λίστα Αλγορίθμων"
265         "List of Charts" "Λίστα Γραφικών Παραστάσεων"
266         "List of Graphs" "Λίστα Γραφημάτων"
267         "List of Schemes" "Λίστα Σχεδίων"
268         "List of Tableaux" "Λίστα Ταμπλό"
269         "Notation" "Σημειογραφία"
270         "Note" "Σημείωση"
271         "Problem" "Πρόβλημα"
272         "Proof" "Απόδειξη"
273         "Property" "Ιδιότητα"
274         "Proposition" "Πρόταση"
275         "Question" "Ερώτημα"
276         "Remark" "Παρατήρηση"
277         "Scheme" "Σχέδιο"
278         "Solution" "Λύση"
279         "Summary" "Σύνοψη"
280         "Tableau" "Ταμπλό"
281         "Theorem" "Θεώρημα"
282 End
283
284 Translation en
285         "Acknowledgement" "Acknowledgement"
286         "Algorithm" "Algorithm"
287         "Assumption" "Assumption"
288         "Axiom" "Axiom"
289         "Case" "Case"
290         "Chart" "Chart"
291         "Claim" "Claim"
292         "Conclusion" "Conclusion"
293         "Condition" "Condition"
294         "Conjecture" "Conjecture"
295         "Corollary" "Corollary"
296         "Criterion" "Criterion"
297         "Definition" "Definition"
298         "Example" "Example"
299         "Exercise" "Exercise"
300         "Fact" "Fact"
301         "Graph" "Graph"
302         "Lemma" "Lemma"
303         "List of Algorithms" "List of Algorithms"
304         "List of Charts" "List of Charts"
305         "List of Graphs" "List of Graphs"
306         "List of Schemes" "List of Schemes"
307         "List of Tableaux" "List of Tableaux"
308         "Notation" "Notation"
309         "Note" "Note"
310         "Problem" "Problem"
311         "Proof" "Proof"
312         "Property" "Property"
313         "Proposition" "Proposition"
314         "Question" "Question"
315         "Remark" "Remark"
316         "Scheme" "Scheme"
317         "Solution" "Solution"
318         "Summary" "Summary"
319         "Tableau" "Tableau"
320         "Theorem" "Theorem"
321 End
322
323 Translation es
324         "Acknowledgement" "Agradecimientos"
325         "Algorithm" "Algoritmo"
326         "Assumption" "Suposición"
327         "Axiom" "Axioma"
328         "Case" "Caso"
329         "Chart" "Diagrama"
330         "Claim" "Afirmación"
331         "Conclusion" "Conclusión"
332         "Condition" "Condición"
333         "Conjecture" "Conjetura"
334         "Corollary" "Corolario"
335         "Criterion" "Criterio"
336         "Definition" "Definición"
337         "Example" "Ejemplo"
338         "Exercise" "Ejercicio"
339         "Fact" "Hecho"
340         "Graph" "Gráfico"
341         "Lemma" "Lema"
342         "List of Algorithms" "Índice de algoritmos"
343         "List of Charts" "Índice de diagramas"
344         "List of Graphs" "Índice de gráficos"
345         "List of Schemes" "Índice de esquemas"
346         "List of Tableaux" "Índice de Tableaux"
347         "Notation" "Notación"
348         "Note" "Nota"
349         "Problem" "Problema"
350         "Proof" "Demostración"
351         "Property" "Propiedad"
352         "Proposition" "Proposición"
353         "Question" "Pregunta"
354         "Remark" "Observación"
355         "Scheme" "Esquema"
356         "Solution" "Solución"
357         "Summary" "Resumen"
358         "Tableau" "Tableau"
359         "Theorem" "Teorema"
360 End
361
362 Translation eu
363         "Acknowledgement" "Aitorpena"
364         "Algorithm" "Algoritmoa"
365         "Assumption" "Hipotesia"
366         "Axiom" "Axioma"
367         "Case" "Kasua"
368         "Chart" "Diagrama"
369         "Claim" "Aldarrikapena"
370         "Conclusion" "Ondorioa"
371         "Condition" "Baldintza"
372         "Conjecture" "Aierua"
373         "Corollary" "Korolarioa"
374         "Criterion" "Irizpidea"
375         "Definition" "Definizioa"
376         "Example" "Adibidea"
377         "Exercise" "Ariketa"
378         "Fact" "Egitatea"
379         "Graph" "Grafikoa"
380         "Lemma" "Lema"
381         "List of Algorithms" "Algoritmoen zerrenda"
382         "List of Charts" "Diagramen zerrenda"
383         "List of Graphs" "Grafikoen zerrenda"
384         "List of Schemes" "Eskemen zerrenda"
385         "List of Tableaux" "Taulen zerrenda"
386         "Notation" "Notazioa"
387         "Note" "Ohar"
388         "Problem" "Buruketa"
389         "Proof" "Frogapena"
390         "Property" "Jabegotza"
391         "Proposition" "Proposizioa"
392         "Question" "Galdera"
393         "Remark" "Oharra"
394         "Scheme" "Eskema"
395         "Solution" "Emaitza"
396         "Summary" "Laburpena"
397         "Tableau" "Taula"
398         "Theorem" "Teorema"
399 End
400
401 Translation fi
402         "Acknowledgement" "Kiitos"
403         "Algorithm" "Algoritmi"
404         "Assumption" "Assumption"
405         "Axiom" "Aksiooma"
406         "Case" "Tapaus"
407         "Chart" "Chart"
408         "Claim" "Väite"
409         "Conclusion" "Päätelmä"
410         "Condition" "Ehto"
411         "Conjecture" "Otaksuma"
412         "Corollary" "Seurauslause"
413         "Criterion" "Kriteeri"
414         "Definition" "Määritelmä"
415         "Example" "Esimerkki"
416         "Exercise" "Harjoitus"
417         "Fact" "Fakta"
418         "Graph" "Graph"
419         "Lemma" "Lemma"
420         "List of Algorithms" "Algoritmien taulukko"
421         "List of Charts" "List of Charts"
422         "List of Graphs" "List of Graphs"
423         "List of Schemes" "List of Schemes"
424         "List of Tableaux" "List of Tableaux"
425         "Notation" "Merkintätapa"
426         "Note" "Muistiinpano"
427         "Problem" "Ongelma"
428         "Proof" "Todistus"
429         "Property" "Ominaisuus"
430         "Proposition" "Väittämä"
431         "Question" "Kysymys"
432         "Remark" "Huomautus"
433         "Scheme" "Scheme"
434         "Solution" "Ratkaisu"
435         "Summary" "Yhteenveto"
436         "Tableau" "Tableau"
437         "Theorem" "Lause"
438 End
439
440 Translation fr
441         "Acknowledgement" "Remerciements"
442         "Algorithm" "Algorithme"
443         "Assumption" "Hypothèse"
444         "Axiom" "Axiome"
445         "Case" "Cas"
446         "Chart" "Diagramme"
447         "Claim" "Affirmation"
448         "Conclusion" "Conclusion"
449         "Condition" "Condition"
450         "Conjecture" "Conjecture"
451         "Corollary" "Corollaire"
452         "Criterion" "Critère"
453         "Definition" "Définition"
454         "Example" "Exemple"
455         "Exercise" "Exercice"
456         "Fact" "Fait"
457         "Graph" "Graphique"
458         "Lemma" "Lemme"
459         "List of Algorithms" "Liste des algorithmes"
460         "List of Charts" "Liste des diagrammes"
461         "List of Graphs" "Liste des graphiques"
462         "List of Schemes" "Liste des schémas"
463         "List of Tableaux" "Liste des tableaux (TO)"
464         "Notation" "Notation"
465         "Note" "Note"
466         "Problem" "Problème"
467         "Proof" "Preuve"
468         "Property" "Propriété"
469         "Proposition" "Proposition"
470         "Question" "Question"
471         "Remark" "Remarque"
472         "Scheme" "Schéma"
473         "Solution" "Solution"
474         "Summary" "Résumé"
475         "Tableau" "Tableau"
476         "Theorem" "Théorème"
477 End
478
479 Translation gl
480         "Acknowledgement" "Agradecimento"
481         "Algorithm" "Algoritmo"
482         "Assumption" "Suposición"
483         "Axiom" "Axioma"
484         "Case" "Caso"
485         "Chart" "Chart"
486         "Claim" "Afirmación"
487         "Conclusion" "Conclusión"
488         "Condition" "Condición"
489         "Conjecture" "Conxetura"
490         "Corollary" "Corolário"
491         "Criterion" "Critério"
492         "Definition" "Definición"
493         "Example" "Exemplo"
494         "Exercise" "Exercício"
495         "Fact" "Facto"
496         "Graph" "Graph"
497         "Lemma" "Lema"
498         "List of Algorithms" "Lista de algoritmos"
499         "List of Charts" "List of Charts"
500         "List of Graphs" "List of Graphs"
501         "List of Schemes" "List of Schemes"
502         "List of Tableaux" "List of Tableaux"
503         "Notation" "Notación"
504         "Note" "Nota"
505         "Problem" "Problema"
506         "Proof" "Demostración"
507         "Property" "Propriedade"
508         "Proposition" "Proposición"
509         "Question" "Pergunta"
510         "Remark" "Observación"
511         "Scheme" "Scheme"
512         "Solution" "Solución"
513         "Summary" "Resumo"
514         "Tableau" "Tableau"
515         "Theorem" "Teorema"
516 End
517
518 Translation he
519         "Acknowledgement" "הכרת תודה"
520         "Algorithm" "אלגוריתם"
521         "Assumption" "הנחה"
522         "Axiom" "אקסיומה"
523         "Case" "מקרה"
524         "Chart" "תרשים"
525         "Claim" "טענה"
526         "Conclusion" "סיכום"
527         "Condition" "תנאי"
528         "Conjecture" "השערה"
529         "Corollary" "מסקנה"
530         "Criterion" "קריטריון"
531         "Definition" "הגדרה"
532         "Example" "דוגמה"
533         "Exercise" "תרגיל"
534         "Fact" "עובדה"
535         "Graph" "גרף"
536         "Lemma" "למה"
537         "List of Algorithms" "רשימת אלגוריתמים"
538         "List of Charts" "רשימת תרשימים"
539         "List of Graphs" "רשימת גרפים"
540         "List of Schemes" "רשימת סכמות"
541         "List of Tableaux" "List of Tableaux"
542         "Notation" "צורת רישום"
543         "Note" "הערה"
544         "Problem" "בעיה"
545         "Proof" "הוכחה"
546         "Property" "Property"
547         "Proposition" "הצעה"
548         "Question" "שאלה"
549         "Remark" "הערה"
550         "Scheme" "סכמה"
551         "Solution" "פתרון"
552         "Summary" "סיכום"
553         "Tableau" "Tableau"
554         "Theorem" "משפט"
555 End
556
557 Translation hu
558         "Acknowledgement" "Köszönetnyilvánítás"
559         "Algorithm" "Algoritmus"
560         "Assumption" "Feltevés"
561         "Axiom" "Axióma"
562         "Case" "Eset"
563         "Chart" "Diagram"
564         "Claim" "Igény"
565         "Conclusion" "Következtetés"
566         "Condition" "Feltétel"
567         "Conjecture" "Feltevés"
568         "Corollary" "Következmény"
569         "Criterion" "Kritérium"
570         "Definition" "Definíció"
571         "Example" "Példa"
572         "Exercise" "Gyakorlat"
573         "Fact" "Tény"
574         "Graph" "Grafikon"
575         "Lemma" "Segédtétel"
576         "List of Algorithms" "Algoritmusok listája"
577         "List of Charts" "Diagramok listája"
578         "List of Graphs" "Grafikonok listája"
579         "List of Schemes" "Sémák listája"
580         "List of Tableaux" "Csoportképek listája"
581         "Notation" "Jelölés"
582         "Note" "Megjegyzés"
583         "Problem" "Probléma"
584         "Proof" "Bizonyítás"
585         "Property" "Tulajdonság"
586         "Proposition" "Állítás"
587         "Question" "Kérdés"
588         "Remark" "Észrevétel"
589         "Scheme" "Séma"
590         "Solution" "Megoldás"
591         "Summary" "Összegzés"
592         "Tableau" "Csoportkép"
593         "Theorem" "Tétel"
594 End
595
596 Translation ia
597         "Acknowledgement" "Recognoscentia"
598         "Algorithm" "Algorithmo"
599         "Assumption" "Assumption"
600         "Axiom" "Axioma"
601         "Case" "Caso"
602         "Chart" "Diagramma"
603         "Claim" "Assertion"
604         "Conclusion" "Conclusion"
605         "Condition" "Condition"
606         "Conjecture" "Conjectura"
607         "Corollary" "Corollario"
608         "Criterion" "Criterio"
609         "Definition" "Definition"
610         "Example" "Exemplo"
611         "Exercise" "Exercitio"
612         "Fact" "Facto"
613         "Graph" "Graphico"
614         "Lemma" "Lemma"
615         "List of Algorithms" "Lista del algorithmos"
616         "List of Charts" "Lista de diagrammas"
617         "List of Graphs" "Lista de graphicos"
618         "List of Schemes" "Lista de schemas"
619         "List of Tableaux" "Lista de tableau"
620         "Notation" "Notation"
621         "Note" "Nota"
622         "Problem" "Problema"
623         "Proof" "Demonstration"
624         "Property" "Proprietate"
625         "Proposition" "Proposition"
626         "Question" "Question"
627         "Remark" "Observation"
628         "Scheme" "Schema"
629         "Solution" "Solution"
630         "Summary" "Summario"
631         "Tableau" "Tableau"
632         "Theorem" "Theorema"
633 End
634
635 Translation id
636         "Acknowledgement" "Penghargaan"
637         "Algorithm" "Algoritma"
638         "Assumption" "Asumsi"
639         "Axiom" "Aksioma"
640         "Case" "Kasus"
641         "Chart" "Diagram"
642         "Claim" "Klaim"
643         "Conclusion" "Kesimpulan"
644         "Condition" "Kondisi"
645         "Conjecture" "Dugaan"
646         "Corollary" "Korolari"
647         "Criterion" "Kriteria"
648         "Definition" "Definisi"
649         "Example" "Contoh"
650         "Exercise" "Latihan"
651         "Fact" "Fakta"
652         "Graph" "Grafik"
653         "Lemma" "Lemma"
654         "List of Algorithms" "Daftar Algoritma"
655         "List of Charts" "Daftar Diagram"
656         "List of Graphs" "Daftar Grafik"
657         "List of Schemes" "Daftar Skema"
658         "List of Tableaux" "Daftar Tableaux"
659         "Notation" "Notasi"
660         "Note" "Nota"
661         "Problem" "Masalah"
662         "Proof" "Pruf"
663         "Property" "Properti"
664         "Proposition" "Proposisi"
665         "Question" "Pertanyaan"
666         "Remark" "Catatan"
667         "Scheme" "Skema"
668         "Solution" "Penyelesaian"
669         "Summary" "Ringkasan"
670         "Tableau" "Tableau"
671         "Theorem" "Teorema"
672 End
673
674 Translation it
675         "Acknowledgement" "Riconoscimento"
676         "Algorithm" "Algoritmo"
677         "Assumption" "Assunzione"
678         "Axiom" "Assioma"
679         "Case" "Caso"
680         "Chart" "Diagramma"
681         "Claim" "Asserzione"
682         "Conclusion" "Conclusione"
683         "Condition" "Condizione"
684         "Conjecture" "Congettura"
685         "Corollary" "Corollario"
686         "Criterion" "Criterio"
687         "Definition" "Definizione"
688         "Example" "Esempio"
689         "Exercise" "Esercizio"
690         "Fact" "Fatto"
691         "Graph" "Grafico"
692         "Lemma" "Lemma"
693         "List of Algorithms" "Elenco degli algoritmi"
694         "List of Charts" "Elenco dei diagrammi"
695         "List of Graphs" "Elenco dei grafici"
696         "List of Schemes" "Elenco degli schemi"
697         "List of Tableaux" "Elenco dei tableau"
698         "Notation" "Notazione"
699         "Note" "Nota"
700         "Problem" "Problema"
701         "Proof" "Dimostrazione"
702         "Property" "Proprietà"
703         "Proposition" "Proposizione"
704         "Question" "Questione"
705         "Remark" "Osservazione"
706         "Scheme" "Schema"
707         "Solution" "Soluzione"
708         "Summary" "Sommario"
709         "Tableau" "Tableau"
710         "Theorem" "Teorema"
711 End
712
713 Translation ja
714         "Acknowledgement" "謝辞"
715         "Algorithm" "アルゴリズム"
716         "Assumption" "仮定"
717         "Axiom" "公理"
718         "Case" "ケース"
719         "Chart" "チャート"
720         "Claim" "主張"
721         "Conclusion" "結論"
722         "Condition" "条件"
723         "Conjecture" "推論"
724         "Corollary" "系"
725         "Criterion" "基準"
726         "Definition" "定義"
727         "Example" "例"
728         "Exercise" "演習"
729         "Fact" "事実"
730         "Graph" "グラフ"
731         "Lemma" "補題"
732         "List of Algorithms" "アルゴリズム一覧"
733         "List of Charts" "チャート一覧"
734         "List of Graphs" "グラフ一覧"
735         "List of Schemes" "スキーム一覧"
736         "List of Tableaux" "絵画一覧"
737         "Notation" "記法"
738         "Note" "注釈"
739         "Problem" "問題"
740         "Proof" "証明"
741         "Property" "性質"
742         "Proposition" "命題"
743         "Question" "問題"
744         "Remark" "所見"
745         "Scheme" "スキーム"
746         "Solution" "解"
747         "Summary" "要約"
748         "Tableau" "絵画"
749         "Theorem" "定理"
750 End
751
752 Translation ko
753         "Acknowledgement" "Acknowledgement"
754         "Algorithm" "알고리듬"
755         "Assumption" "Assumption"
756         "Axiom" "Axiom"
757         "Case" "Case"
758         "Chart" "Chart"
759         "Claim" "Claim"
760         "Conclusion" "Conclusion"
761         "Condition" "Condition"
762         "Conjecture" "Conjecture"
763         "Corollary" "Corollary"
764         "Criterion" "Criterion"
765         "Definition" "Definition"
766         "Example" "Example"
767         "Exercise" "Exercise"
768         "Fact" "Fact"
769         "Graph" "Graph"
770         "Lemma" "Lemma"
771         "List of Algorithms" "알고리듬 목록"
772         "List of Charts" "List of Charts"
773         "List of Graphs" "List of Graphs"
774         "List of Schemes" "List of Schemes"
775         "List of Tableaux" "List of Tableaux"
776         "Notation" "Notation"
777         "Note" "노우트(Note)"
778         "Problem" "Problem"
779         "Proof" "Proof"
780         "Proposition" "Proposition"
781         "Question" "Question"
782         "Remark" "Remark"
783         "Scheme" "Scheme"
784         "Summary" "Summary"
785         "Tableau" "Tableau"
786         "Theorem" "Theorem"
787 End
788
789 Translation nb
790         "Acknowledgement" "Takk til"
791         "Algorithm" "Algoritme"
792         "Assumption" "Antagelse"
793         "Axiom" "Aksiom"
794         "Case" "Tilfelle"
795         "Chart" "Diagram"
796         "Claim" "Påstand"
797         "Conclusion" "Konklusjon"
798         "Condition" "Forutsetning"
799         "Conjecture" "Konjektur"
800         "Corollary" "Korollar"
801         "Criterion" "Kriterie"
802         "Definition" "Definisjon"
803         "Example" "Eksempel"
804         "Exercise" "Oppgave"
805         "Fact" "Faktum"
806         "Graph" "Graf"
807         "Lemma" "Lemma"
808         "List of Algorithms" "Algoritmer"
809         "List of Charts" "Diagrammer"
810         "List of Graphs" "Grafer"
811         "List of Schemes" "Struktruformler"
812         "List of Tableaux" "Tablåer"
813         "Notation" "Notasjon"
814         "Note" "Merknad"
815         "Problem" "Problem"
816         "Proof" "Bevis"
817         "Property" "Egenskap"
818         "Proposition" "Proposisjon"
819         "Question" "Spørsmål"
820         "Remark" "Merknad"
821         "Scheme" "Strukturformel"
822         "Solution" "Løsning"
823         "Summary" "Sammendrag"
824         "Tableau" "Tablå"
825         "Theorem" "Teorem"
826 End
827
828 Translation nl
829         "Acknowledgement" "Erkenning"
830         "Algorithm" "Algoritme"
831         "Assumption" "Aanname"
832         "Axiom" "Axioma"
833         "Case" "Casus"
834         "Chart" "Grafiek"
835         "Claim" "Claim"
836         "Conclusion" "Conclusie"
837         "Condition" "Conditie"
838         "Conjecture" "Conjectuur"
839         "Corollary" "Corollary"
840         "Criterion" "Criterium"
841         "Definition" "Definitie"
842         "Example" "Voorbeeld"
843         "Exercise" "Oefening"
844         "Fact" "Feit"
845         "Graph" "Grafiek"
846         "Lemma" "Lemma"
847         "List of Algorithms" "Lijst van Algoritmen"
848         "List of Charts" "Lijst van Grafieken"
849         "List of Graphs" "Lijst van Grafieken"
850         "List of Schemes" "Ljist van Schema's"
851         "List of Tableaux" "Lijst van Tableaus"
852         "Notation" "Notatie"
853         "Note" "Notitie"
854         "Problem" "Probleem"
855         "Proof" "Bewijs"
856         "Proposition" "Voorstel"
857         "Question" "Vraag"
858         "Remark" "Opmerking"
859         "Scheme" "Schema"
860         "Summary" "Samenvatting"
861         "Tableau" "Tableau"
862         "Theorem" "Theorem"
863 End
864
865 Translation nn
866         "Acknowledgement" "Takk"
867         "Algorithm" "Algoritme"
868         "Assumption" "Asumpsjon"
869         "Axiom" "Aksiom"
870         "Case" "Tilfelle"
871         "Chart" "Diagram"
872         "Claim" "Påstand"
873         "Conclusion" "Konklusjon"
874         "Condition" "Vilkår"
875         "Conjecture" "Konjektur"
876         "Corollary" "Korollar"
877         "Criterion" "Kriterium"
878         "Definition" "Definisjon"
879         "Example" "Døme"
880         "Exercise" "Øving"
881         "Fact" "Faktum"
882         "Graph" "Graf"
883         "Lemma" "Lemma"
884         "List of Algorithms" "Liste over algoritmer"
885         "List of Charts" "Liste over diagram"
886         "List of Graphs" "Liste over grafar"
887         "List of Schemes" "Liste over skjema"
888         "List of Tableaux" "Liste over tablå"
889         "Notation" "Notasjon"
890         "Note" "Notis"
891         "Problem" "Problem"
892         "Proof" "Prov"
893         "Property" "Eigenskapar"
894         "Proposition" "Framlegg"
895         "Question" "Spørsmål"
896         "Remark" "Merknad"
897         "Scheme" "Skjema"
898         "Solution" "Løysing"
899         "Summary" "Samandrag"
900         "Tableau" "Tablå"
901         "Theorem" "Teorem"
902 End
903
904 Translation pl
905         "Acknowledgement" "Podziękowanie"
906         "Algorithm" "Algorytm"
907         "Assumption" "Assumption"
908         "Axiom" "Aksjomat"
909         "Case" "Przypadek"
910         "Chart" "Diagram"
911         "Claim" "Stwierdzenie"
912         "Conclusion" "Konkluzja"
913         "Condition" "Warunek"
914         "Conjecture" "Hipoteza"
915         "Corollary" "Wniosek"
916         "Criterion" "Kryterium"
917         "Definition" "Definicja"
918         "Example" "Przykład"
919         "Exercise" "Ćwiczenie"
920         "Fact" "Fakt"
921         "Graph" "Graf"
922         "Lemma" "Lemat"
923         "List of Algorithms" "Lista algorytmów"
924         "List of Charts" "Lista diagramów"
925         "List of Graphs" "Lista grafów"
926         "List of Schemes" "Lista schematów"
927         "List of Tableaux" "List of Tableaux"
928         "Notation" "Notacja"
929         "Note" "Notka"
930         "Problem" "Problem"
931         "Proof" "Dowód"
932         "Property" "Własność"
933         "Proposition" "Propozycja"
934         "Question" "Pytanie"
935         "Remark" "Uwaga"
936         "Scheme" "Schemat"
937         "Solution" "Rozwiązanie"
938         "Summary" "Podsumowanie"
939         "Tableau" "Tableau"
940         "Theorem" "Twierdzenie"
941 End
942
943 Translation pt
944         "Acknowledgement" "Agradecimento"
945         "Algorithm" "Algoritmo"
946         "Assumption" "Assumpção"
947         "Axiom" "Axioma"
948         "Case" "Caso"
949         "Chart" "Mapa"
950         "Claim" "Afirmação"
951         "Conclusion" "Conclusão"
952         "Condition" "Condição"
953         "Conjecture" "Conjectura"
954         "Corollary" "Corolário"
955         "Criterion" "Critério"
956         "Definition" "Definição"
957         "Example" "Exemplo"
958         "Exercise" "Exercício"
959         "Fact" "Facto"
960         "Graph" "Gráfico"
961         "Lemma" "Lema"
962         "List of Algorithms" "Lista de Algoritmos"
963         "List of Charts" "Lista de Mapas"
964         "List of Graphs" "Lista de Gráficos"
965         "List of Schemes" "Lista de Esquemas"
966         "List of Tableaux" "Lista de Quadros"
967         "Notation" "Notação"
968         "Note" "Nota"
969         "Problem" "Problema"
970         "Proof" "Prova"
971         "Property" "Propriedade"
972         "Proposition" "Proposição"
973         "Question" "Questão"
974         "Remark" "Observação"
975         "Scheme" "Esquema"
976         "Solution" "Solução"
977         "Summary" "Sumário"
978         "Tableau" "Quadro"
979         "Theorem" "Teorema"
980 End
981
982 Translation pt_BR
983         "Assumption" "Suposição"
984         "Fact" "Fato"
985 End
986
987 Translation ro
988         "Acknowledgement" "Mulțumiri"
989         "Algorithm" "Algoritm"
990         "Assumption" "Ipoteză"
991         "Axiom" "Axiomă"
992         "Case" "Caz"
993         "Chart" "Diagramă"
994         "Claim" "Afirmație"
995         "Conclusion" "Concluzie"
996         "Condition" "Condiție"
997         "Conjecture" "Presupunere"
998         "Corollary" "Corolar"
999         "Criterion" "Criteriu"
1000         "Definition" "Definiție"
1001         "Example" "Exemplu"
1002         "Exercise" "Exercițiu"
1003         "Fact" "Fapt"
1004         "Graph" "Grafic"
1005         "Lemma" "Lemă"
1006         "List of Algorithms" "Listă de Algoritmi"
1007         "List of Charts" "Listă de Diagrame"
1008         "List of Graphs" "Listă de Grafice"
1009         "List of Schemes" "Listă de Scheme"
1010         "List of Tableaux" "Listă de Tabele"
1011         "Notation" "Notație"
1012         "Note" "Notă"
1013         "Problem" "Problemă"
1014         "Proof" "Demonstrație"
1015         "Property" "Proprietate"
1016         "Proposition" "Propoziție"
1017         "Question" "Întrebare"
1018         "Remark" "Remarcă"
1019         "Scheme" "Schemă"
1020         "Solution" "Soluție"
1021         "Summary" "Rezumat"
1022         "Tableau" "Tabel"
1023         "Theorem" "Teoremă"
1024 End
1025
1026 Translation ru
1027         "Acknowledgement" "Благодарность"
1028         "Algorithm" "Алгоритм"
1029         "Assumption" "Допущение"
1030         "Axiom" "Аксиома"
1031         "Case" "Вариант"
1032         "Chart" "Чертеж"
1033         "Claim" "Утверждение"
1034         "Conclusion" "Заключение"
1035         "Condition" "Условие"
1036         "Conjecture" "Предположение"
1037         "Corollary" "Вывод"
1038         "Criterion" "Критерий"
1039         "Definition" "Определение"
1040         "Example" "Пример"
1041         "Exercise" "Упражнение"
1042         "Fact" "Факт"
1043         "Graph" "График"
1044         "Lemma" "Лемма"
1045         "List of Algorithms" "Список алгоритмов"
1046         "List of Charts" "Список чертежей"
1047         "List of Graphs" "Список графиков"
1048         "List of Schemes" "Список схем"
1049         "List of Tableaux" "Список таблиц"
1050         "Notation" "Нотация"
1051         "Note" "Заметка"
1052         "Problem" "Проблема"
1053         "Proof" "Доказательство"
1054         "Property" "Свойство"
1055         "Proposition" "Предложение"
1056         "Question" "Вопрос"
1057         "Remark" "Замечание"
1058         "Scheme" "Схема"
1059         "Solution" "Решение"
1060         "Summary" "Сводка"
1061         "Tableau" "Таблица"
1062         "Theorem" "Теорема"
1063 End
1064
1065 Translation sk
1066         "Acknowledgement" "Poďakovania"
1067         "Algorithm" "Algoritmus"
1068         "Assumption" "Predpoklad"
1069         "Axiom" "Axióma"
1070         "Case" "Prípad"
1071         "Chart" "Nákres"
1072         "Claim" "Nárok"
1073         "Conclusion" "Záver"
1074         "Condition" "Podmienka"
1075         "Conjecture" "Hypotéza"
1076         "Corollary" "Korolár"
1077         "Criterion" "Kritérium"
1078         "Definition" "Definícia"
1079         "Example" "Príklad"
1080         "Exercise" "Úloha"
1081         "Fact" "Fakt"
1082         "Graph" "Grafika"
1083         "Lemma" "Lemma"
1084         "List of Algorithms" "Zoznam algoritmov"
1085         "List of Charts" "Zoznam nákresov"
1086         "List of Graphs" "Zoznam grafík"
1087         "List of Schemes" "Zoznam náčrtkov"
1088         "List of Tableaux" "Zoznam tablov"
1089         "Notation" "Notácia"
1090         "Note" "Poznámka"
1091         "Problem" "Problém"
1092         "Proof" "Dôkaz"
1093         "Property" "Vlastnosť"
1094         "Proposition" "Tvrdenie"
1095         "Question" "Otázka"
1096         "Remark" "Pripomienka"
1097         "Scheme" "Náčrtok"
1098         "Solution" "Riešenie"
1099         "Summary" "Súhrn"
1100         "Tableau" "Tablo"
1101         "Theorem" "Teoréma"
1102 End
1103
1104 Translation sl
1105         "Acknowledgement" "Priznanje"
1106         "Algorithm" "Algoritem"
1107         "Assumption" "Assumption"
1108         "Axiom" "Aksiom"
1109         "Case" "Primer"
1110         "Chart" "Chart"
1111         "Claim" "Trditev"
1112         "Conclusion" "Sklep"
1113         "Condition" "Pogoj"
1114         "Conjecture" "Domneva"
1115         "Corollary" "Korolar"
1116         "Criterion" "Kriterij"
1117         "Definition" "Definicija"
1118         "Example" "Zgled"
1119         "Exercise" "Vaja"
1120         "Fact" "Dejstvo"
1121         "Graph" "Graph"
1122         "Lemma" "Lema"
1123         "List of Algorithms" "List of Algorithms"
1124         "List of Charts" "List of Charts"
1125         "List of Graphs" "List of Graphs"
1126         "List of Schemes" "List of Schemes"
1127         "List of Tableaux" "List of Tableaux"
1128         "Notation" "Zapis"
1129         "Note" "Opomba"
1130         "Problem" "Problem"
1131         "Proof" "Dokaz"
1132         "Proposition" "Podmena"
1133         "Question" "Vprašanje"
1134         "Remark" "Pripomba"
1135         "Scheme" "Scheme"
1136         "Summary" "Povzetek"
1137         "Tableau" "Tableau"
1138         "Theorem" "Izrek"
1139 End
1140
1141 Translation sr
1142         "Acknowledgement" "Zahvalnost"
1143         "Algorithm" "Algoritam"
1144         "Assumption" "Pretpostavka"
1145         "Axiom" "Aksiom"
1146         "Case" "Slučaj"
1147         "Chart" "Dijagram"
1148         "Claim" "Tvrdnja"
1149         "Conclusion" "Zaključak"
1150         "Condition" "Uslov"
1151         "Conjecture" "Pretpostavka"
1152         "Corollary" "Posledica"
1153         "Criterion" "Kriterijum"
1154         "Definition" "Definicija"
1155         "Example" "Primer"
1156         "Exercise" "Vežba"
1157         "Fact" "Činjenica"
1158         "Graph" "Grafikon"
1159         "Lemma" "Lemma"
1160         "List of Algorithms" "Spisak Algoritama"
1161         "List of Charts" "Spisak Dijagrama"
1162         "List of Graphs" "Spisak Grafikona"
1163         "List of Schemes" "Spisak Šema"
1164         "List of Tableaux" "Spisak Tabela "
1165         "Notation" "Zabeleška"
1166         "Note" "Napomena"
1167         "Problem" "Problem"
1168         "Proof" "Dokaz"
1169         "Property" "Osobina"
1170         "Proposition" "Predlog"
1171         "Question" "Pitanje"
1172         "Remark" "Napomena"
1173         "Scheme" "Šema"
1174         "Solution" "Rešenje"
1175         "Summary" "Rezime"
1176         "Tableau" "Tabela"
1177         "Theorem" "Teorema"
1178 End
1179
1180 Translation sv
1181         "Acknowledgement" "Tacksägelse"
1182         "Algorithm" "Algoritm"
1183         "Assumption" "Antagande"
1184         "Axiom" "Axiom"
1185         "Case" "Fall"
1186         "Chart" "Diagram"
1187         "Claim" "Påstående"
1188         "Conclusion" "Slutsats"
1189         "Condition" "Villkor"
1190         "Conjecture" "Förmodan"
1191         "Corollary" "Korollarium"
1192         "Criterion" "Kriterium"
1193         "Definition" "Definition"
1194         "Example" "Exempel"
1195         "Exercise" "Övning"
1196         "Fact" "Faktum"
1197         "Graph" "Graf"
1198         "Lemma" "Lemma"
1199         "List of Algorithms" "Lista över algoritmer"
1200         "List of Charts" "Lista över diagram"
1201         "List of Graphs" "Lista över grafer"
1202         "List of Schemes" "Lista över scheman"
1203         "List of Tableaux" "Lista över tablåer"
1204         "Notation" "Notation"
1205         "Note" "Not"
1206         "Problem" "Problem"
1207         "Proof" "Bevis"
1208         "Property" "Egenskap"
1209         "Proposition" "Proposition"
1210         "Question" "Fråga"
1211         "Remark" "Anmärkning"
1212         "Scheme" "Schema"
1213         "Solution" "Lösning"
1214         "Summary" "Sammanfattning"
1215         "Tableau" "Tablå"
1216         "Theorem" "Teorem"
1217 End
1218
1219 Translation tr
1220         "Acknowledgement" "Teşekkür"
1221         "Algorithm" "Algoritma"
1222         "Assumption" "Varsayım"
1223         "Axiom" "Aksiyom"
1224         "Case" "Durum"
1225         "Chart" "Chart"
1226         "Claim" "İddia"
1227         "Conclusion" "Sonuç"
1228         "Condition" "Koşul"
1229         "Conjecture" "Varsayım"
1230         "Corollary" "Doğal Sonuç"
1231         "Criterion" "Kriter"
1232         "Definition" "Tanım"
1233         "Example" "Örnek"
1234         "Exercise" "Alıştırma"
1235         "Fact" "Olgu"
1236         "Graph" "Graph"
1237         "Lemma" "Lemma"
1238         "List of Algorithms" "Algoritma Listesi"
1239         "List of Charts" "List of Charts"
1240         "List of Graphs" "List of Graphs"
1241         "List of Schemes" "Plan Listesi"
1242         "List of Tableaux" "Tablo Listesi"
1243         "Notation" "Notasyon"
1244         "Note" "Not"
1245         "Problem" "Problem"
1246         "Proof" "İspat"
1247         "Property" "Özellik"
1248         "Proposition" "Önerme"
1249         "Question" "Soru"
1250         "Remark" "Açıklama"
1251         "Scheme" "Plan"
1252         "Solution" "Çözüm"
1253         "Summary" "Özet"
1254         "Tableau" "Tablo"
1255         "Theorem" "Teorem"
1256 End
1257
1258 Translation uk
1259         "Acknowledgement" "Подяка"
1260         "Algorithm" "Алгоритм"
1261         "Assumption" "Припущення"
1262         "Axiom" "Аксіома"
1263         "Case" "Варіант"
1264         "Chart" "Діаграма"
1265         "Claim" "Твердження"
1266         "Conclusion" "Висновки"
1267         "Condition" "Умова"
1268         "Conjecture" "Припущення"
1269         "Corollary" "Наслідок"
1270         "Criterion" "Критерій"
1271         "Definition" "Визначення"
1272         "Example" "Приклад"
1273         "Exercise" "Вправа"
1274         "Fact" "Факт"
1275         "Graph" "Графік"
1276         "Lemma" "Лема"
1277         "List of Algorithms" "Алгоритм"
1278         "List of Charts" "Список діаграм"
1279         "List of Graphs" "Список графіків"
1280         "List of Schemes" "Список схем"
1281         "List of Tableaux" "Список табло"
1282         "Notation" "Позначення"
1283         "Note" "Примітка"
1284         "Problem" "Проблема"
1285         "Proof" "На коректуру"
1286         "Property" "Властивість"
1287         "Proposition" "Твердження"
1288         "Question" "Питання"
1289         "Remark" "Помітка"
1290         "Scheme" "Scheme"
1291         "Solution" "Розчин"
1292         "Summary" "Зведення"
1293         "Tableau" "Табло"
1294         "Theorem" "Теорема"
1295 End
1296
1297 Translation zh_CN
1298         "Acknowledgement" "致谢"
1299         "Algorithm" "算法"
1300         "Assumption" "假设"
1301         "Axiom" "公理"
1302         "Case" "项目"
1303         "Chart" "图表"
1304         "Claim" "声明"
1305         "Conclusion" "结论"
1306         "Condition" "条件"
1307         "Conjecture" "猜想"
1308         "Corollary" "推论"
1309         "Criterion" "准则"
1310         "Definition" "定义"
1311         "Example" "例"
1312         "Exercise" "练习"
1313         "Fact" "事实"
1314         "Graph" "图形"
1315         "Lemma" "引理"
1316         "List of Algorithms" "算法列表"
1317         "List of Charts" "图表列表"
1318         "List of Graphs" "图形列表"
1319         "List of Schemes" "方案列表"
1320         "List of Tableaux" "场景列表"
1321         "Notation" "记号"
1322         "Note" "备忘"
1323         "Problem" "问题"
1324         "Proof" "证明"
1325         "Property" "属性"
1326         "Proposition" "命题"
1327         "Question" "问题"
1328         "Remark" "注"
1329         "Scheme" "方案"
1330         "Solution" "解答"
1331         "Summary" "小结"
1332         "Tableau" "场景"
1333         "Theorem" "定理"
1334 End
1335
1336 Translation zh_TW
1337         "Acknowledgement" "致謝"
1338         "Algorithm" "演算法"
1339         "Assumption" "假定"
1340         "Axiom" "Axiom"
1341         "Case" "大小寫"
1342         "Chart" "Chart"
1343         "Claim" "宣稱"
1344         "Conclusion" "結論"
1345         "Condition" "條件"
1346         "Conjecture" "Conjecture"
1347         "Corollary" "Corollary"
1348         "Criterion" "條件"
1349         "Definition" "定義"
1350         "Example" "範例"
1351         "Exercise" "練習"
1352         "Fact" "Fact"
1353         "Graph" "Graph"
1354         "Lemma" "Lemma"
1355         "List of Algorithms" "演算法清單"
1356         "List of Charts" "List of Charts"
1357         "List of Graphs" "List of Graphs"
1358         "List of Schemes" "List of Schemes"
1359         "List of Tableaux" "List of Tableaux"
1360         "Notation" "記法"
1361         "Note" "註記"
1362         "Problem" "問題"
1363         "Proof" "證明"
1364         "Property" "內容"
1365         "Proposition" "Proposition"
1366         "Question" "問題"
1367         "Remark" "備註"
1368         "Scheme" "Scheme"
1369         "Solution" "解決方案"
1370         "Summary" "概要"
1371         "Tableau" "Tableau"
1372         "Theorem" "定理"
1373 End