# This file has been automatically generated by po/lyx_pot.py.
# PLEASE MODIFY ONLY THE LAGUAGES HAVING NO .po FILE! If you want to regenerate
# this file from the translations, run `make ../lib/layouttranslations' in po.
# Python polib library is needed for building the output file.
#
# This file should remain fixed during minor LyX releases.
# For more comments see README.localization file.

Translation ar
	"Acknowledgement" "Acknowledgement"
	"Algorithm" "الخوارزم"
	"Assumption" "فرضية"
	"Axiom" "مسلمة"
	"Case" "Case"
	"Chart" "جدول بياني"
	"Claim" "Claim"
	"Conclusion" "استنتاج"
	"Condition" "شرط"
	"Conjecture" "Conjecture"
	"Corollary" "Corollary"
	"Criterion" "Criterion"
	"Definition" "تعريف"
	"Example" "مثال"
	"Exercise" "تمرين"
	"Fact" "حقيقة"
	"Graph" "رسم بياني"
	"Lemma" "Lemma"
	"List of Algorithms" "قائمة الخوارزميات"
	"List of Charts" "قائمة الجداول البيانية"
	"List of Graphs" "قائمة الرسوم البيانية"
	"List of Schemes" "قائمة التصميمات"
	"List of Tableaux" "قائمة الجداول"
	"Notation" "تدوين"
	"Note" "ملاحظة"
	"Problem" "مشكلة"
	"Proof" "برهان"
	"Proposition" "Proposition"
	"Question" "سؤال"
	"Remark" "ملاحظة"
	"Scheme" "مخطط"
	"Summary" "موجز"
	"Tableau" "جدول"
	"Theorem" "نظرية"
End

Translation bg
	"Acknowledgement" "Acknowledgement"
	"Algorithm" "Aлгоритъм"
	"Assumption" "Assumption"
	"Axiom" "Axiom"
	"Case" "Case"
	"Chart" "Chart"
	"Claim" "Claim"
	"Conclusion" "Заключение"
	"Condition" "Условие"
	"Conjecture" "Conjecture"
	"Corollary" "Corollary"
	"Criterion" "Criterion"
	"Definition" "Дефиниция"
	"Example" "Пример"
	"Exercise" "Упражнение"
	"Fact" "Факт"
	"Graph" "Graph"
	"Lemma" "Лема"
	"List of Algorithms" "List of Algorithms"
	"List of Charts" "List of Charts"
	"List of Graphs" "List of Graphs"
	"List of Schemes" "List of Schemes"
	"List of Tableaux" "List of Tableaux"
	"Notation" "Notation"
	"Note" "Бележка"
	"Problem" "Проблем"
	"Proof" "Доказателство"
	"Proposition" "Допускане"
	"Question" "Въпрос"
	"Remark" "Remark"
	"Scheme" "Scheme"
	"Summary" "Обобщение"
	"Tableau" "Tableau"
	"Theorem" "Теорема"
End

Translation ca
	"Acknowledgement" "Agraiment"
	"Algorithm" "Algorisme"
	"Assumption" "Assumpció"
	"Axiom" "Axioma"
	"Case" "Cas"
	"Chart" "Chart"
	"Claim" "Afirmació"
	"Conclusion" "Conclusió"
	"Condition" "Condició"
	"Conjecture" "Conjectura"
	"Corollary" "Corol·lari"
	"Criterion" "Criteri"
	"Definition" "Definició"
	"Example" "Exemple"
	"Exercise" "Exercici"
	"Fact" "Fet"
	"Graph" "Graph"
	"Lemma" "Lema"
	"List of Algorithms" "Llista d'algorismes"
	"List of Charts" "List of Charts"
	"List of Graphs" "List of Graphs"
	"List of Schemes" "List of Schemes"
	"List of Tableaux" "List of Tableaux"
	"Notation" "Notació"
	"Note" "Nota"
	"Problem" "Problema"
	"Proof" "Demostració"
	"Proposition" "Proposició"
	"Question" "Qüestió"
	"Remark" "Comentari"
	"Scheme" "Scheme"
	"Summary" "Resum"
	"Tableau" "Tableau"
	"Theorem" "Teorema"
End

Translation cs
	"Acknowledgement" "Poděkování"
	"Algorithm" "Algoritmus"
	"Assumption" "Předpoklad"
	"Axiom" "Axiom"
	"Case" "Případ"
	"Chart" "Diagram"
	"Claim" "Tvrzení"
	"Conclusion" "Závěr"
	"Condition" "Podmínka"
	"Conjecture" "Hypotéza"
	"Corollary" "Důsledek"
	"Criterion" "Kritérium"
	"Definition" "Definice"
	"Example" "Příklad"
	"Exercise" "Cvičení"
	"Fact" "Fakt"
	"Graph" "Graf"
	"Lemma" "Lemma"
	"List of Algorithms" "Seznam algoritmů"
	"List of Charts" "Seznam diagramů"
	"List of Graphs" "Seznam grafů"
	"List of Schemes" "Seznam schémat"
	"List of Tableaux" "Seznam tabel"
	"Notation" "Značení"
	"Note" "Poznámka"
	"Problem" "Úloha"
	"Proof" "Důkaz"
	"Proposition" "Tvrzení"
	"Question" "Otázka"
	"Remark" "Poznámka"
	"Scheme" "Schéma"
	"Summary" "Souhrn"
	"Tableau" "Tablo"
	"Theorem" "Věta"
End

Translation da
	"Acknowledgement" "Anerkendelse"
	"Algorithm" "Algoritme"
	"Assumption" "Antagelse"
	"Axiom" "Aksiom"
	"Case" "Tilfælde"
	"Chart" "Diagram"
	"Claim" "Påstand"
	"Conclusion" "Konklusion"
	"Condition" "Betingelse"
	"Conjecture" "Formodning"
	"Corollary" "Korollar"
	"Criterion" "Kriterium"
	"Definition" "Definition"
	"Example" "Eksempel"
	"Exercise" "Øvelse"
	"Fact" "Faktum"
	"Graph" "Graf"
	"Lemma" "Lemma"
	"List of Algorithms" "Algoritmeliste"
	"List of Charts" "Diagramliste"
	"List of Graphs" "Grafliste"
	"List of Schemes" "Schemaliste"
	"List of Tableaux" "Tableauliste"
	"Notation" "Notation"
	"Note" "Notat"
	"Problem" "Problem"
	"Proof" "Bevis"
	"Proposition" "Forslag"
	"Question" "Spørgsmål"
	"Remark" "Bemærkning"
	"Scheme" "Schema"
	"Summary" "Resumé"
	"Tableau" "Tableau"
	"Theorem" "Sætning"
End

Translation de
	"Acknowledgement" "Danksagung"
	"Algorithm" "Algorithmus"
	"Assumption" "Annahme"
	"Axiom" "Axiom"
	"Case" "Fall"
	"Chart" "Zeichnung"
	"Claim" "Behauptung"
	"Conclusion" "Schlussfolgerung"
	"Condition" "Bedingung"
	"Conjecture" "Vermutung"
	"Corollary" "Korollar"
	"Criterion" "Kriterium"
	"Definition" "Definition"
	"Example" "Beispiel"
	"Exercise" "Aufgabe"
	"Fact" "Fakt"
	"Graph" "Graph"
	"Lemma" "Lemma"
	"List of Algorithms" "Algorithmenverzeichnis"
	"List of Charts" "Liste der Zeichnungen"
	"List of Graphs" "Liste der Graphen"
	"List of Schemes" "Liste der Schemata"
	"List of Tableaux" "Tableaux-Verzeichnis"
	"Notation" "Notation"
	"Note" "Notiz"
	"Problem" "Problem"
	"Proof" "Beweis"
	"Proposition" "Satz"
	"Question" "Frage"
	"Remark" "Bemerkung"
	"Scheme" "Schema"
	"Summary" "Zusammenfassung"
	"Tableau" "Tableau"
	"Theorem" "Theorem"
End

Translation de_alt
	"Conclusion" "Schlußfolgerung"
End

Translation el
	"Acknowledgement" "Μνεία"
	"Algorithm" "Αλγόριθμος"
	"Assumption" "Υπόθεση"
	"Axiom" "Αξίωμα"
	"Case" "Περίπτωση"
	"Chart" "Γραφική Παράσταση"
	"Claim" "Ισχυρισμός"
	"Conclusion" "Συμπέρασμα"
	"Condition" "Συνθήκη"
	"Conjecture" "Εικασία"
	"Corollary" "Πόρισμα"
	"Criterion" "Κριτήριο"
	"Definition" "Ορισμός"
	"Example" "Παράδειγμα"
	"Exercise" "Άσκηση"
	"Fact" "Δεδομένο"
	"Graph" "Γράφημα"
	"Lemma" "Λήμμα"
	"List of Algorithms" "Λίστα Αλγορίθμων"
	"List of Charts" "Λίστα Γραφικών Παραστάσεων"
	"List of Graphs" "Λίστα Γραφημάτων"
	"List of Schemes" "Λίστα Σχεδίων"
	"List of Tableaux" "Λίστα Ταμπλό"
	"Notation" "Σημειογραφία"
	"Note" "Σημείωση"
	"Problem" "Πρόβλημα"
	"Proof" "Απόδειξη"
	"Proposition" "Πρόταση"
	"Question" "Ερώτημα"
	"Remark" "Παρατήρηση"
	"Scheme" "Σχέδιο"
	"Summary" "Σύνοψη"
	"Tableau" "Ταμπλό"
	"Theorem" "Θεώρημα"
End

Translation en
	"Acknowledgement" "Acknowledgement"
	"Algorithm" "Algorithm"
	"Assumption" "Assumption"
	"Axiom" "Axiom"
	"Case" "Case"
	"Chart" "Chart"
	"Claim" "Claim"
	"Conclusion" "Conclusion"
	"Condition" "Condition"
	"Conjecture" "Conjecture"
	"Corollary" "Corollary"
	"Criterion" "Criterion"
	"Definition" "Definition"
	"Example" "Example"
	"Exercise" "Exercise"
	"Fact" "Fact"
	"Graph" "Graph"
	"Lemma" "Lemma"
	"List of Algorithms" "List of Algorithms"
	"List of Charts" "List of Charts"
	"List of Graphs" "List of Graphs"
	"List of Schemes" "List of Schemes"
	"List of Tableaux" "List of Tableaux"
	"Notation" "Notation"
	"Note" "Note"
	"Problem" "Problem"
	"Proof" "Proof"
	"Proposition" "Proposition"
	"Question" "Question"
	"Remark" "Remark"
	"Scheme" "Scheme"
	"Summary" "Summary"
	"Tableau" "Tableau"
	"Theorem" "Theorem"
End

Translation es
	"Acknowledgement" "Agradecimientos"
	"Algorithm" "Algoritmo"
	"Assumption" "Suposición"
	"Axiom" "Axioma"
	"Case" "Caso"
	"Chart" "Diagrama"
	"Claim" "Afirmación"
	"Conclusion" "Conclusión"
	"Condition" "Condición"
	"Conjecture" "Conjetura"
	"Corollary" "Corolario"
	"Criterion" "Criterio"
	"Definition" "Definición"
	"Example" "Ejemplo"
	"Exercise" "Ejercicio"
	"Fact" "Hecho"
	"Graph" "Gráfico"
	"Lemma" "Lema"
	"List of Algorithms" "Índice de algoritmos"
	"List of Charts" "Índice de diagramas"
	"List of Graphs" "Índice de gráficos"
	"List of Schemes" "Índice de esquemas"
	"List of Tableaux" "Índice de Tableaux"
	"Notation" "Notación"
	"Note" "Nota"
	"Problem" "Problema"
	"Proof" "Demostración"
	"Proposition" "Proposición"
	"Question" "Pregunta"
	"Remark" "Observación"
	"Scheme" "Esquema"
	"Summary" "Resumen"
	"Tableau" "Tableau"
	"Theorem" "Teorema"
End

Translation eu
	"Acknowledgement" "Aitorpena"
	"Algorithm" "Algoritmoa"
	"Assumption" "Hipotesia"
	"Axiom" "Axioma"
	"Case" "Kasua"
	"Chart" "Diagrama"
	"Claim" "Aldarrikapena"
	"Conclusion" "Ondorioa"
	"Condition" "Baldintza"
	"Conjecture" "Aierua"
	"Corollary" "Korolarioa"
	"Criterion" "Irizpidea"
	"Definition" "Definizioa"
	"Example" "Adibidea"
	"Exercise" "Ariketa"
	"Fact" "Egitatea"
	"Graph" "Grafikoa"
	"Lemma" "Lema"
	"List of Algorithms" "Algoritmoen zerrenda"
	"List of Charts" "Diagramen zerrenda"
	"List of Graphs" "Grafikoen zerrenda"
	"List of Schemes" "Eskemen zerrenda"
	"List of Tableaux" "Taulen zerrenda"
	"Notation" "Notazioa"
	"Note" "Ohar"
	"Problem" "Buruketa"
	"Proof" "Frogapena"
	"Proposition" "Proposizioa"
	"Question" "Galdera"
	"Remark" "Oharra"
	"Scheme" "Eskema"
	"Summary" "Laburpena"
	"Tableau" "Taula"
	"Theorem" "Teorema"
End

Translation fi
	"Acknowledgement" "Kiitos"
	"Algorithm" "Algoritmi"
	"Assumption" "Assumption"
	"Axiom" "Aksiooma"
	"Case" "Tapaus"
	"Chart" "Chart"
	"Claim" "Väite"
	"Conclusion" "Päätelmä"
	"Condition" "Ehto"
	"Conjecture" "Otaksuma"
	"Corollary" "Seurauslause"
	"Criterion" "Kriteeri"
	"Definition" "Määritelmä"
	"Example" "Esimerkki"
	"Exercise" "Harjoitus"
	"Fact" "Fakta"
	"Graph" "Graph"
	"Lemma" "Lemma"
	"List of Algorithms" "Algoritmien taulukko"
	"List of Charts" "List of Charts"
	"List of Graphs" "List of Graphs"
	"List of Schemes" "List of Schemes"
	"List of Tableaux" "List of Tableaux"
	"Notation" "Merkintätapa"
	"Note" "Muistiinpano"
	"Problem" "Ongelma"
	"Proof" "Todistus"
	"Proposition" "Väittämä"
	"Question" "Kysymys"
	"Remark" "Huomautus"
	"Scheme" "Scheme"
	"Summary" "Yhteenveto"
	"Tableau" "Tableau"
	"Theorem" "Lause"
End

Translation fr
	"Acknowledgement" "Remerciements"
	"Algorithm" "Algorithme"
	"Assumption" "Hypothèse"
	"Axiom" "Axiome"
	"Case" "Cas"
	"Chart" "Diagramme"
	"Claim" "Affirmation"
	"Conclusion" "Conclusion"
	"Condition" "Condition"
	"Conjecture" "Conjecture"
	"Corollary" "Corollaire"
	"Criterion" "Critère"
	"Definition" "Définition"
	"Example" "Exemple"
	"Exercise" "Exercice"
	"Fact" "Fait"
	"Graph" "Graphique"
	"Lemma" "Lemme"
	"List of Algorithms" "Liste des algorithmes"
	"List of Charts" "Liste des diagrammes"
	"List of Graphs" "Liste des graphiques"
	"List of Schemes" "Liste des schémas"
	"List of Tableaux" "Liste des tableaux (TO)"
	"Notation" "Notation"
	"Note" "Note"
	"Problem" "Problème"
	"Proof" "Preuve"
	"Proposition" "Proposition"
	"Question" "Question"
	"Remark" "Remarque"
	"Scheme" "Schéma"
	"Summary" "Résumé"
	"Tableau" "Tableau"
	"Theorem" "Théorème"
End

Translation gl
	"Acknowledgement" "Agradecimento"
	"Algorithm" "Algoritmo"
	"Assumption" "Suposición"
	"Axiom" "Axioma"
	"Case" "Caso"
	"Chart" "Chart"
	"Claim" "Afirmación"
	"Conclusion" "Conclusión"
	"Condition" "Condición"
	"Conjecture" "Conxetura"
	"Corollary" "Corolário"
	"Criterion" "Critério"
	"Definition" "Definición"
	"Example" "Exemplo"
	"Exercise" "Exercício"
	"Fact" "Facto"
	"Graph" "Graph"
	"Lemma" "Lema"
	"List of Algorithms" "Lista de algoritmos"
	"List of Charts" "List of Charts"
	"List of Graphs" "List of Graphs"
	"List of Schemes" "List of Schemes"
	"List of Tableaux" "List of Tableaux"
	"Notation" "Notación"
	"Note" "Nota"
	"Problem" "Problema"
	"Proof" "Demostración"
	"Proposition" "Proposición"
	"Question" "Pergunta"
	"Remark" "Observación"
	"Scheme" "Scheme"
	"Summary" "Resumo"
	"Tableau" "Tableau"
	"Theorem" "Teorema"
End

Translation he
	"Acknowledgement" "הכרת תודה"
	"Algorithm" "אלגוריתם"
	"Assumption" "הנחה"
	"Axiom" "אקסיומה"
	"Case" "מקרה"
	"Chart" "תרשים"
	"Claim" "טענה"
	"Conclusion" "סיכום"
	"Condition" "תנאי"
	"Conjecture" "השערה"
	"Corollary" "מסקנה"
	"Criterion" "קריטריון"
	"Definition" "הגדרה"
	"Example" "דוגמה"
	"Exercise" "תרגיל"
	"Fact" "עובדה"
	"Graph" "גרף"
	"Lemma" "למה"
	"List of Algorithms" "רשימת אלגוריתמים"
	"List of Charts" "רשימת תרשימים"
	"List of Graphs" "רשימת גרפים"
	"List of Schemes" "רשימת סכמות"
	"List of Tableaux" "List of Tableaux"
	"Notation" "צורת רישום"
	"Note" "הערה"
	"Problem" "בעיה"
	"Proof" "הוכחה"
	"Proposition" "הצעה"
	"Question" "שאלה"
	"Remark" "הערה"
	"Scheme" "סכמה"
	"Summary" "סיכום"
	"Tableau" "Tableau"
	"Theorem" "משפט"
End

Translation hu
	"Acknowledgement" "Köszönetnyilvánítás"
	"Algorithm" "Algoritmus"
	"Assumption" "Feltevés"
	"Axiom" "Axióma"
	"Case" "Eset"
	"Chart" "Diagram"
	"Claim" "Igény"
	"Conclusion" "Következtetés"
	"Condition" "Feltétel"
	"Conjecture" "Feltevés"
	"Corollary" "Következmény"
	"Criterion" "Kritérium"
	"Definition" "Definíció"
	"Example" "Példa"
	"Exercise" "Gyakorlat"
	"Fact" "Tény"
	"Graph" "Grafikon"
	"Lemma" "Segédtétel"
	"List of Algorithms" "Algoritmusok listája"
	"List of Charts" "Diagramok listája"
	"List of Graphs" "Grafikonok listája"
	"List of Schemes" "Sémák listája"
	"List of Tableaux" "Csoportképek listája"
	"Notation" "Jelölés"
	"Note" "Megjegyzés"
	"Problem" "Probléma"
	"Proof" "Bizonyítás"
	"Proposition" "Állítás"
	"Question" "Kérdés"
	"Remark" "Észrevétel"
	"Scheme" "Séma"
	"Summary" "Összegzés"
	"Tableau" "Csoportkép"
	"Theorem" "Tétel"
End

Translation ia
	"Acknowledgement" "Recognoscentia"
	"Algorithm" "Algorithmo"
	"Assumption" "Assumption"
	"Axiom" "Axioma"
	"Case" "Caso"
	"Chart" "Diagramma"
	"Claim" "Assertion"
	"Conclusion" "Conclusion"
	"Condition" "Condition"
	"Conjecture" "Conjectura"
	"Corollary" "Corollario"
	"Criterion" "Criterio"
	"Definition" "Definition"
	"Example" "Exemplo"
	"Exercise" "Exercitio"
	"Fact" "Facto"
	"Graph" "Graphico"
	"Lemma" "Lemma"
	"List of Algorithms" "Lista del algorithmos"
	"List of Charts" "Lista de diagrammas"
	"List of Graphs" "Lista de graphicos"
	"List of Schemes" "Lista de schemas"
	"List of Tableaux" "Lista de tableau"
	"Notation" "Notation"
	"Note" "Nota"
	"Problem" "Problema"
	"Proof" "Demonstration"
	"Proposition" "Proposition"
	"Question" "Question"
	"Remark" "Observation"
	"Scheme" "Schema"
	"Summary" "Summario"
	"Tableau" "Tableau"
	"Theorem" "Theorema"
End

Translation id
	"Acknowledgement" "Penghargaan"
	"Algorithm" "Algoritma"
	"Assumption" "Asumsi"
	"Axiom" "Aksioma"
	"Case" "Kasus"
	"Chart" "Diagram"
	"Claim" "Klaim"
	"Conclusion" "Kesimpulan"
	"Condition" "Kondisi"
	"Conjecture" "Dugaan"
	"Corollary" "Korolari"
	"Criterion" "Kriteria"
	"Definition" "Definisi"
	"Example" "Contoh"
	"Exercise" "Latihan"
	"Fact" "Fakta"
	"Graph" "Grafik"
	"Lemma" "Lemma"
	"List of Algorithms" "Daftar Algoritma"
	"List of Charts" "Daftar Diagram"
	"List of Graphs" "Daftar Grafik"
	"List of Schemes" "Daftar Skema"
	"List of Tableaux" "Daftar Tableaux"
	"Notation" "Notasi"
	"Note" "Nota"
	"Problem" "Masalah"
	"Proof" "Pruf"
	"Proposition" "Proposisi"
	"Question" "Pertanyaan"
	"Remark" "Catatan"
	"Scheme" "Skema"
	"Summary" "Ringkasan"
	"Tableau" "Tableau"
	"Theorem" "Teorema"
End

Translation it
	"Acknowledgement" "Riconoscimento"
	"Algorithm" "Algoritmo"
	"Assumption" "Assunzione"
	"Axiom" "Assioma"
	"Case" "Caso"
	"Chart" "Diagramma"
	"Claim" "Asserzione"
	"Conclusion" "Conclusione"
	"Condition" "Condizione"
	"Conjecture" "Congettura"
	"Corollary" "Corollario"
	"Criterion" "Criterio"
	"Definition" "Definizione"
	"Example" "Esempio"
	"Exercise" "Esercizio"
	"Fact" "Fatto"
	"Graph" "Grafico"
	"Lemma" "Lemma"
	"List of Algorithms" "Elenco degli algoritmi"
	"List of Charts" "Elenco dei diagrammi"
	"List of Graphs" "Elenco dei grafici"
	"List of Schemes" "Elenco degli schemi"
	"List of Tableaux" "Elenco dei tableau"
	"Notation" "Notazione"
	"Note" "Nota"
	"Problem" "Problema"
	"Proof" "Dimostrazione"
	"Proposition" "Proposizione"
	"Question" "Questione"
	"Remark" "Osservazione"
	"Scheme" "Schema"
	"Summary" "Sommario"
	"Tableau" "Tableau"
	"Theorem" "Teorema"
End

Translation ja
	"Acknowledgement" "謝辞"
	"Algorithm" "アルゴリズム"
	"Assumption" "仮定"
	"Axiom" "公理"
	"Case" "ケース"
	"Chart" "チャート"
	"Claim" "主張"
	"Conclusion" "結論"
	"Condition" "条件"
	"Conjecture" "推論"
	"Corollary" "系"
	"Criterion" "基準"
	"Definition" "定義"
	"Example" "例"
	"Exercise" "演習"
	"Fact" "事実"
	"Graph" "グラフ"
	"Lemma" "補題"
	"List of Algorithms" "アルゴリズム一覧"
	"List of Charts" "チャート一覧"
	"List of Graphs" "グラフ一覧"
	"List of Schemes" "スキーム一覧"
	"List of Tableaux" "絵画一覧"
	"Notation" "記法"
	"Note" "注釈"
	"Problem" "問題"
	"Proof" "証明"
	"Proposition" "命題"
	"Question" "問題"
	"Remark" "所見"
	"Scheme" "スキーム"
	"Summary" "要約"
	"Tableau" "絵画"
	"Theorem" "定理"
End

Translation ko
	"Acknowledgement" "Acknowledgement"
	"Algorithm" "알고리듬"
	"Assumption" "Assumption"
	"Axiom" "Axiom"
	"Case" "Case"
	"Chart" "Chart"
	"Claim" "Claim"
	"Conclusion" "Conclusion"
	"Condition" "Condition"
	"Conjecture" "Conjecture"
	"Corollary" "Corollary"
	"Criterion" "Criterion"
	"Definition" "Definition"
	"Example" "Example"
	"Exercise" "Exercise"
	"Fact" "Fact"
	"Graph" "Graph"
	"Lemma" "Lemma"
	"List of Algorithms" "알고리듬 목록"
	"List of Charts" "List of Charts"
	"List of Graphs" "List of Graphs"
	"List of Schemes" "List of Schemes"
	"List of Tableaux" "List of Tableaux"
	"Notation" "Notation"
	"Note" "노우트(Note)"
	"Problem" "Problem"
	"Proof" "Proof"
	"Proposition" "Proposition"
	"Question" "Question"
	"Remark" "Remark"
	"Scheme" "Scheme"
	"Summary" "Summary"
	"Tableau" "Tableau"
	"Theorem" "Theorem"
End

Translation nb
	"Acknowledgement" "Takk til"
	"Algorithm" "Algoritme"
	"Assumption" "Antagelse"
	"Axiom" "Aksiom"
	"Case" "Tilfelle"
	"Chart" "Chart"
	"Claim" "Påstand"
	"Conclusion" "Konklusjon"
	"Condition" "Forutsetning"
	"Conjecture" "Konjektur"
	"Corollary" "Korollar"
	"Criterion" "Kriterie"
	"Definition" "Definisjon"
	"Example" "Eksempel"
	"Exercise" "Øvelse"
	"Fact" "Faktum"
	"Graph" "Graph"
	"Lemma" "Lemma"
	"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"
	"Notation" "Notasjon"
	"Note" "Note"
	"Problem" "Problem"
	"Proof" "Bevis"
	"Proposition" "Proposisjon"
	"Question" "Spørsmål"
	"Remark" "Merknad"
	"Scheme" "Scheme"
	"Summary" "Sammendrag"
	"Tableau" "Tableau"
	"Theorem" "Teorem"
End

Translation nl
	"Acknowledgement" "Erkenning"
	"Algorithm" "Algoritme"
	"Assumption" "Aanname"
	"Axiom" "Axioma"
	"Case" "Casus"
	"Chart" "Grafiek"
	"Claim" "Claim"
	"Conclusion" "Conclusie"
	"Condition" "Conditie"
	"Conjecture" "Conjectuur"
	"Corollary" "Corollary"
	"Criterion" "Criterium"
	"Definition" "Definitie"
	"Example" "Voorbeeld"
	"Exercise" "Oefening"
	"Fact" "Feit"
	"Graph" "Grafiek"
	"Lemma" "Lemma"
	"List of Algorithms" "Lijst van Algoritmen"
	"List of Charts" "Lijst van Grafieken"
	"List of Graphs" "Lijst van Grafieken"
	"List of Schemes" "Ljist van Schema's"
	"List of Tableaux" "Lijst van Tableaus"
	"Notation" "Notatie"
	"Note" "Notitie"
	"Problem" "Probleem"
	"Proof" "Bewijs"
	"Proposition" "Voorstel"
	"Question" "Vraag"
	"Remark" "Opmerking"
	"Scheme" "Schema"
	"Summary" "Samenvatting"
	"Tableau" "Tableau"
	"Theorem" "Theorem"
End

Translation nn
	"Acknowledgement" "Takk"
	"Algorithm" "Algoritme"
	"Assumption" "Asumpsjon"
	"Axiom" "Aksiom"
	"Case" "Tilfelle"
	"Chart" "Diagram"
	"Claim" "Påstand"
	"Conclusion" "Konklusjon"
	"Condition" "Vilkår"
	"Conjecture" "Konjektur"
	"Corollary" "Korollar"
	"Criterion" "Kriterium"
	"Definition" "Definisjon"
	"Example" "Døme"
	"Exercise" "Øving"
	"Fact" "Faktum"
	"Graph" "Graf"
	"Lemma" "Lemma"
	"List of Algorithms" "Liste over algoritmer"
	"List of Charts" "Liste over diagram"
	"List of Graphs" "Liste over grafar"
	"List of Schemes" "Liste over skjema"
	"List of Tableaux" "Liste over tablå"
	"Notation" "Notasjon"
	"Note" "Notis"
	"Problem" "Problem"
	"Proof" "Prov"
	"Proposition" "Framlegg"
	"Question" "Spørsmål"
	"Remark" "Merknad"
	"Scheme" "Skjema"
	"Summary" "Samandrag"
	"Tableau" "Tablå"
	"Theorem" "Teorem"
End

Translation pl
	"Acknowledgement" "Podziękowanie"
	"Algorithm" "Algorytm"
	"Assumption" "Assumption"
	"Axiom" "Aksjomat"
	"Case" "Przypadek"
	"Chart" "Diagram"
	"Claim" "Stwierdzenie"
	"Conclusion" "Konkluzja"
	"Condition" "Warunek"
	"Conjecture" "Hipoteza"
	"Corollary" "Wniosek"
	"Criterion" "Kryterium"
	"Definition" "Definicja"
	"Example" "Przykład"
	"Exercise" "Ćwiczenie"
	"Fact" "Fakt"
	"Graph" "Graf"
	"Lemma" "Lemat"
	"List of Algorithms" "Lista algorytmów"
	"List of Charts" "Lista diagramów"
	"List of Graphs" "Lista grafów"
	"List of Schemes" "Lista schematów"
	"List of Tableaux" "List of Tableaux"
	"Notation" "Notacja"
	"Note" "Notka"
	"Problem" "Problem"
	"Proof" "Dowód"
	"Proposition" "Propozycja"
	"Question" "Pytanie"
	"Remark" "Uwaga"
	"Scheme" "Schemat"
	"Summary" "Podsumowanie"
	"Tableau" "Tableau"
	"Theorem" "Twierdzenie"
End

Translation pt
	"Acknowledgement" "Agradecimento"
	"Algorithm" "Algoritmo"
	"Assumption" "Assumpção"
	"Axiom" "Axioma"
	"Case" "Caso"
	"Chart" "Mapa"
	"Claim" "Afirmação"
	"Conclusion" "Conclusão"
	"Condition" "Condição"
	"Conjecture" "Conjectura"
	"Corollary" "Corolário"
	"Criterion" "Critério"
	"Definition" "Definição"
	"Example" "Exemplo"
	"Exercise" "Exercício"
	"Fact" "Facto"
	"Graph" "Gráfico"
	"Lemma" "Lema"
	"List of Algorithms" "Lista de Algoritmos"
	"List of Charts" "Lista de Mapas"
	"List of Graphs" "Lista de Gráficos"
	"List of Schemes" "Lista de Esquemas"
	"List of Tableaux" "Lista de Quadros"
	"Notation" "Notação"
	"Note" "Nota"
	"Problem" "Problema"
	"Proof" "Prova"
	"Proposition" "Proposição"
	"Question" "Questão"
	"Remark" "Observação"
	"Scheme" "Esquema"
	"Summary" "Sumário"
	"Tableau" "Quadro"
	"Theorem" "Teorema"
End

Translation pt_BR
	"Assumption" "Suposição"
	"Fact" "Fato"
End

Translation ro
	"Acknowledgement" "Mulțumiri"
	"Algorithm" "Algoritm"
	"Assumption" "Ipoteză"
	"Axiom" "Axiomă"
	"Case" "Caz"
	"Chart" "Diagramă"
	"Claim" "Afirmație"
	"Conclusion" "Concluzie"
	"Condition" "Condiție"
	"Conjecture" "Presupunere"
	"Corollary" "Corolar"
	"Criterion" "Criteriu"
	"Definition" "Definiție"
	"Example" "Exemplu"
	"Exercise" "Exercițiu"
	"Fact" "Fapt"
	"Graph" "Grafic"
	"Lemma" "Lemă"
	"List of Algorithms" "Listă de Algoritmi"
	"List of Charts" "Listă de Diagrame"
	"List of Graphs" "Listă de Grafice"
	"List of Schemes" "Listă de Scheme"
	"List of Tableaux" "Listă de Tabele"
	"Notation" "Notație"
	"Note" "Notă"
	"Problem" "Problemă"
	"Proof" "Demonstrație"
	"Proposition" "Propoziție"
	"Question" "Întrebare"
	"Remark" "Remarcă"
	"Scheme" "Schemă"
	"Summary" "Rezumat"
	"Tableau" "Tabel"
	"Theorem" "Teoremă"
End

Translation ru
	"Acknowledgement" "Благодарность"
	"Algorithm" "Алгоритм"
	"Assumption" "Допущение"
	"Axiom" "Аксиома"
	"Case" "Вариант"
	"Chart" "Чертеж"
	"Claim" "Утверждение"
	"Conclusion" "Заключение"
	"Condition" "Условие"
	"Conjecture" "Предположение"
	"Corollary" "Вывод"
	"Criterion" "Критерий"
	"Definition" "Определение"
	"Example" "Пример"
	"Exercise" "Упражнение"
	"Fact" "Факт"
	"Graph" "График"
	"Lemma" "Лемма"
	"List of Algorithms" "Список алгоритмов"
	"List of Charts" "Список чертежей"
	"List of Graphs" "Список графиков"
	"List of Schemes" "Список схем"
	"List of Tableaux" "Список таблиц"
	"Notation" "Нотация"
	"Note" "Заметка"
	"Problem" "Проблема"
	"Proof" "Доказательство"
	"Proposition" "Предложение"
	"Question" "Вопрос"
	"Remark" "Замечание"
	"Scheme" "Схема"
	"Summary" "Сводка"
	"Tableau" "Таблица"
	"Theorem" "Теорема"
End

Translation sk
	"Acknowledgement" "Poďakovania"
	"Algorithm" "Algoritmus"
	"Assumption" "Predpoklad"
	"Axiom" "Axióma"
	"Case" "Prípad"
	"Chart" "Nákres"
	"Claim" "Nárok"
	"Conclusion" "Záver"
	"Condition" "Podmienka"
	"Conjecture" "Hypotéza"
	"Corollary" "Korolár"
	"Criterion" "Kritérium"
	"Definition" "Definícia"
	"Example" "Príklad"
	"Exercise" "Úloha"
	"Fact" "Fakt"
	"Graph" "Grafika"
	"Lemma" "Lemma"
	"List of Algorithms" "Zoznam algoritmov"
	"List of Charts" "Zoznam nákresov"
	"List of Graphs" "Zoznam grafík"
	"List of Schemes" "Zoznam náčrtkov"
	"List of Tableaux" "Zoznam tablov"
	"Notation" "Notácia"
	"Note" "Poznámka"
	"Problem" "Problém"
	"Proof" "Dôkaz"
	"Proposition" "Tvrdenie"
	"Question" "Otázka"
	"Remark" "Pripomienka"
	"Scheme" "Náčrtok"
	"Summary" "Súhrn"
	"Tableau" "Tablo"
	"Theorem" "Teoréma"
End

Translation sl
	"Acknowledgement" "Priznanje"
	"Algorithm" "Algoritem"
	"Assumption" "Assumption"
	"Axiom" "Aksiom"
	"Case" "Primer"
	"Chart" "Chart"
	"Claim" "Trditev"
	"Conclusion" "Sklep"
	"Condition" "Pogoj"
	"Conjecture" "Domneva"
	"Corollary" "Korolar"
	"Criterion" "Kriterij"
	"Definition" "Definicija"
	"Example" "Zgled"
	"Exercise" "Vaja"
	"Fact" "Dejstvo"
	"Graph" "Graph"
	"Lemma" "Lema"
	"List of Algorithms" "List of Algorithms"
	"List of Charts" "List of Charts"
	"List of Graphs" "List of Graphs"
	"List of Schemes" "List of Schemes"
	"List of Tableaux" "List of Tableaux"
	"Notation" "Zapis"
	"Note" "Opomba"
	"Problem" "Problem"
	"Proof" "Dokaz"
	"Proposition" "Podmena"
	"Question" "Vprašanje"
	"Remark" "Pripomba"
	"Scheme" "Scheme"
	"Summary" "Povzetek"
	"Tableau" "Tableau"
	"Theorem" "Izrek"
End

Translation sr
	"Acknowledgement" "Zahvalnost"
	"Algorithm" "Algoritam"
	"Assumption" "Pretpostavka"
	"Axiom" "Aksiom"
	"Case" "Case"
	"Chart" "Chart"
	"Claim" "Tvrdnja"
	"Conclusion" "Zaključak"
	"Condition" "Uslov"
	"Conjecture" "Pretpostavka"
	"Corollary" "Posledica"
	"Criterion" "Criterion"
	"Definition" "Definicija"
	"Example" "Primer"
	"Exercise" "Vežba"
	"Fact" "Činjenica"
	"Graph" "Graph"
	"Lemma" "Lemma"
	"List of Algorithms" "Spisak algoritama"
	"List of Charts" "List of Charts"
	"List of Graphs" "List of Graphs"
	"List of Schemes" "Lista Šema"
	"List of Tableaux" "List of Tableaux"
	"Notation" "Zabeleška"
	"Note" "Napomena"
	"Problem" "Problem"
	"Proof" "Dokaz"
	"Proposition" "Predlog"
	"Question" "Pitanje"
	"Remark" "Napomena"
	"Scheme" "Šema"
	"Summary" "Rezime"
	"Tableau" "Tableau"
	"Theorem" "Teorema"
End

Translation sv
	"Acknowledgement" "Tacksägelse"
	"Algorithm" "Algoritm"
	"Assumption" "Antagande"
	"Axiom" "Axiom"
	"Case" "Fall"
	"Chart" "Diagram"
	"Claim" "Påstående"
	"Conclusion" "Slutsats"
	"Condition" "Villkor"
	"Conjecture" "Förmodan"
	"Corollary" "Korollarium"
	"Criterion" "Kriterium"
	"Definition" "Definition"
	"Example" "Exempel"
	"Exercise" "Övning"
	"Fact" "Faktum"
	"Graph" "Graf"
	"Lemma" "Lemma"
	"List of Algorithms" "Lista över algoritmer"
	"List of Charts" "Lista över diagram"
	"List of Graphs" "Lista över grafer"
	"List of Schemes" "Lista över scheman"
	"List of Tableaux" "Lista över tablåer"
	"Notation" "Notation"
	"Note" "Not"
	"Problem" "Problem"
	"Proof" "Bevis"
	"Proposition" "Proposition"
	"Question" "Fråga"
	"Remark" "Anmärkning"
	"Scheme" "Schema"
	"Summary" "Sammanfattning"
	"Tableau" "Tablå"
	"Theorem" "Teorem"
End

Translation tr
	"Acknowledgement" "Teşekkür"
	"Algorithm" "Algoritma"
	"Assumption" "Varsayım"
	"Axiom" "Aksiyom"
	"Case" "Durum"
	"Chart" "Chart"
	"Claim" "İddia"
	"Conclusion" "Sonuç"
	"Condition" "Koşul"
	"Conjecture" "Varsayım"
	"Corollary" "Doğal Sonuç"
	"Criterion" "Kriter"
	"Definition" "Tanım"
	"Example" "Örnek"
	"Exercise" "Alıştırma"
	"Fact" "Olgu"
	"Graph" "Graph"
	"Lemma" "Lemma"
	"List of Algorithms" "Algoritma Listesi"
	"List of Charts" "List of Charts"
	"List of Graphs" "List of Graphs"
	"List of Schemes" "Plan Listesi"
	"List of Tableaux" "Tablo Listesi"
	"Notation" "Notasyon"
	"Note" "Not"
	"Problem" "Problem"
	"Proof" "İspat"
	"Proposition" "Önerme"
	"Question" "Soru"
	"Remark" "Açıklama"
	"Scheme" "Plan"
	"Summary" "Özet"
	"Tableau" "Tablo"
	"Theorem" "Teorem"
End

Translation uk
	"Acknowledgement" "Подяка"
	"Algorithm" "Алгоритм"
	"Assumption" "Припущення"
	"Axiom" "Аксіома"
	"Case" "Варіант"
	"Chart" "Діаграма"
	"Claim" "Твердження"
	"Conclusion" "Висновки"
	"Condition" "Умова"
	"Conjecture" "Припущення"
	"Corollary" "Наслідок"
	"Criterion" "Критерій"
	"Definition" "Визначення"
	"Example" "Приклад"
	"Exercise" "Вправа"
	"Fact" "Факт"
	"Graph" "Графік"
	"Lemma" "Лема"
	"List of Algorithms" "Алгоритм"
	"List of Charts" "Список діаграм"
	"List of Graphs" "Список графіків"
	"List of Schemes" "Список схем"
	"List of Tableaux" "Список табло"
	"Notation" "Позначення"
	"Note" "Примітка"
	"Problem" "Проблема"
	"Proof" "На коректуру"
	"Proposition" "Твердження"
	"Question" "Питання"
	"Remark" "Помітка"
	"Scheme" "Scheme"
	"Summary" "Зведення"
	"Tableau" "Табло"
	"Theorem" "Теорема"
End

Translation zh_CN
	"Acknowledgement" "致谢"
	"Algorithm" "算法"
	"Assumption" "Assumption"
	"Axiom" "Axiom"
	"Case" "Case"
	"Chart" "图表"
	"Claim" "Claim"
	"Conclusion" "结论"
	"Condition" "条件"
	"Conjecture" "猜想"
	"Corollary" "Corollary"
	"Criterion" "Criterion"
	"Definition" "定义"
	"Example" "示例"
	"Exercise" "练习"
	"Fact" "Fact"
	"Graph" "图形"
	"Lemma" "引理"
	"List of Algorithms" "算法列表"
	"List of Charts" "图表列表"
	"List of Graphs" "图形列表"
	"List of Schemes" "List of Schemes"
	"List of Tableaux" "List of Tableaux"
	"Notation" "Notation"
	"Note" "备忘"
	"Problem" "问题"
	"Proof" "证明"
	"Proposition" "Propositio"
	"Question" "问题"
	"Remark" "Remark"
	"Scheme" "Scheme"
	"Summary" "摘要"
	"Tableau" "Tableau"
	"Theorem" "定理"
End

Translation zh_TW
	"Acknowledgement" "致謝"
	"Algorithm" "演算法"
	"Assumption" "假定"
	"Axiom" "Axiom"
	"Case" "大小寫"
	"Chart" "Chart"
	"Claim" "宣稱"
	"Conclusion" "結論"
	"Condition" "條件"
	"Conjecture" "Conjecture"
	"Corollary" "Corollary"
	"Criterion" "條件"
	"Definition" "定義"
	"Example" "範例"
	"Exercise" "練習"
	"Fact" "Fact"
	"Graph" "Graph"
	"Lemma" "Lemma"
	"List of Algorithms" "演算法清單"
	"List of Charts" "List of Charts"
	"List of Graphs" "List of Graphs"
	"List of Schemes" "List of Schemes"
	"List of Tableaux" "List of Tableaux"
	"Notation" "記法"
	"Note" "註記"
	"Problem" "問題"
	"Proof" "證明"
	"Proposition" "Proposition"
	"Question" "問題"
	"Remark" "備註"
	"Scheme" "Scheme"
	"Summary" "概要"
	"Tableau" "Tableau"
	"Theorem" "定理"
End
