summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/create-theorem
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2023-07-23 20:46:09 +0000
committerKarl Berry <karl@freefriends.org>2023-07-23 20:46:09 +0000
commit79e549ef80975d1df7e70ec9dd4721f70cb8e723 (patch)
treefcc6f1c0a2e3d86fd7a2bfc9a4a8d6fdaf908147 /Master/texmf-dist/tex/latex/create-theorem
parentc1bfd0a25d81a98bbc0c1c15063221e59947f974 (diff)
create-theorem (23jul23)
git-svn-id: svn://tug.org/texlive/trunk@67712 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/create-theorem')
-rw-r--r--Master/texmf-dist/tex/latex/create-theorem/create-theorem.sty418
1 files changed, 353 insertions, 65 deletions
diff --git a/Master/texmf-dist/tex/latex/create-theorem/create-theorem.sty b/Master/texmf-dist/tex/latex/create-theorem/create-theorem.sty
index 7eefe80b812..a488ad7bc34 100644
--- a/Master/texmf-dist/tex/latex/create-theorem/create-theorem.sty
+++ b/Master/texmf-dist/tex/latex/create-theorem/create-theorem.sty
@@ -12,7 +12,7 @@
\NeedsTeXFormat{LaTeX2e}[2022-06-01]
\ProvidesExplPackage
{create-theorem}
- {2023/07/14} {}
+ {2023/07/23} {}
{Initializing theorem-like environments with multilingual support}
\keys_define:nn { create-theorem }
@@ -201,17 +201,31 @@
\cs_new:Nn \__crthm_set_name_crefname:nnn
% #1 = env name
% #2 = language name
- % #3 = corresponding crefname {..}{..} or [..]{..}[..]{..}
+ % #3 = corresponding crefname {..}{..} or [..]{..}[..]{..}, or a set of crefnames for different variants
{
- \__crthm_set_name_crefname_generic:w { #1 } { #2 } #3 { c }
+ \str_if_in:nnTF { #3 } { = }
+ {
+ \crefthe_parse_variant:n { #3 }
+ \crefthe_pass_variant_to:n { \__crthm_set_name_crefname_generic:w { #1 } { #2 } } { c }
+ }
+ {
+ \__crthm_set_name_crefname_generic:w { #1 } { #2 } #3 { c }
+ }
}
\cs_new:Nn \__crthm_set_name_Crefname:nnn
% #1 = env name
% #2 = language name
- % #3 = corresponding Crefname {..}{..} or [..]{..}[..]{..}
+ % #3 = corresponding Crefname {..}{..} or [..]{..}[..]{..}, or a set of crefnames for different variants
{
- \__crthm_set_name_crefname_generic:w { #1 } { #2 } #3 { C }
+ \str_if_in:nnTF { #3 } { = }
+ {
+ \crefthe_parse_variant:n { #3 }
+ \crefthe_pass_variant_to:n { \__crthm_set_name_crefname_generic:w { #1 } { #2 } } { C }
+ }
+ {
+ \__crthm_set_name_crefname_generic:w { #1 } { #2 } #3 { C }
+ }
}
\NewExpandableDocumentCommand \__crthm_set_name_crefname_generic:w { m m O{} m O{} m m }
@@ -773,17 +787,31 @@
\cs_new:Nn \__crthm_set_name_per_lang_crefname:nnn
% #1 = language name
% #2 = env name
- % #3 = corresponding crefname {..}{..} or [..]{..}[..]{..}
+ % #3 = corresponding crefname {..}{..} or [..]{..}[..]{..}, or a set of crefnames for different variants
{
- \__crthm_set_name_crefname_generic:w { #2 } { #1 } #3 { c }
+ \str_if_in:nnTF { #3 } { = }
+ {
+ \crefthe_parse_variant:n { #3 }
+ \crefthe_pass_variant_to:n { \__crthm_set_name_crefname_generic:w { #2 } { #1 } } { c }
+ }
+ {
+ \__crthm_set_name_crefname_generic:w { #2 } { #1 } #3 { c }
+ }
}
\cs_new:Nn \__crthm_set_name_per_lang_Crefname:nnn
% #1 = language name
% #2 = env name
- % #3 = corresponding Crefname {..}{..} or [..]{..}[..]{..}
+ % #3 = corresponding Crefname {..}{..} or [..]{..}[..]{..}, or a set of crefnames for different variants
{
- \__crthm_set_name_crefname_generic:w { #2 } { #1 } #3 { C }
+ \str_if_in:nnTF { #3 } { = }
+ {
+ \crefthe_parse_variant:n { #3 }
+ \crefthe_pass_variant_to:n { \__crthm_set_name_crefname_generic:w { #2 } { #1 } } { C }
+ }
+ {
+ \__crthm_set_name_crefname_generic:w { #2 } { #1 } #3 { C }
+ }
}
@@ -1146,7 +1174,12 @@
, crefname = {
, english = {application}{applications}
, french = [l']{application}[les]{applications}
- , ngerman = {Anwendung}{Anwendungen}
+ , ngerman = { {Anwendung}{Anwendungen}
+ , Nominativ = [die]{Anwendung}[die]{Anwendungen}
+ , Genitiv = [der]{Anwendung}[der]{Anwendungen}
+ , Dativ = [der]{Anwendung}[den]{Anwendungen}
+ , Akkusativ = [die]{Anwendung}[die]{Anwendungen}
+ }
, italian = [l']{applicazione}[le]{applicazioni}
, portuguese = [a]{aplicação}[as]{aplicações}
, brazilian = [a]{aplicação}[as]{aplicações}
@@ -1159,7 +1192,12 @@
, Crefname = {
, english = {Application}{Applications}
, french = [L']{application}[Les]{applications}
- , ngerman = {Anwendung}{Anwendungen}
+ , ngerman = { {Anwendung}{Anwendungen}
+ , Nominativ = [Die]{Anwendung}[Die]{Anwendungen}
+ , Genitiv = [Der]{Anwendung}[Der]{Anwendungen}
+ , Dativ = [Der]{Anwendung}[Den]{Anwendungen}
+ , Akkusativ = [Die]{Anwendung}[Die]{Anwendungen}
+ }
, italian = [L']{applicazione}[Le]{applicazioni}
, portuguese = [A]{aplicação}[As]{aplicações}
, brazilian = [A]{aplicação}[As]{aplicações}
@@ -1176,7 +1214,7 @@
, heading = {
, english = Assertion
, french = Assertion
- , ngerman = Behauptung
+ , ngerman = Assertion
, italian = Asserzione
, portuguese = Asserção
, brazilian = Asserção
@@ -1189,7 +1227,12 @@
, crefname = {
, english = {assertion}{assertions}
, french = [l']{assertion}[les]{assertions}
- , ngerman = {Behauptung}{Behauptungen}
+ , ngerman = { {Assertion}{Assertionen}
+ , Nominativ = [die]{Assertion}[die]{Assertionen}
+ , Genitiv = [der]{Assertion}[der]{Assertionen}
+ , Dativ = [der]{Assertion}[den]{Assertionen}
+ , Akkusativ = [die]{Assertion}[die]{Assertionen}
+ }
, italian = [l']{asserzione}[le]{asserzioni}
, portuguese = [a]{asserção}[as]{asserções}
, brazilian = [a]{asserção}[as]{asserções}
@@ -1202,7 +1245,12 @@
, Crefname = {
, english = {Assertion}{Assertions}
, french = [L']{assertion}[Les]{assertions}
- , ngerman = {Behauptung}{Behauptungen}
+ , ngerman = { {Assertion}{Assertionen}
+ , Nominativ = [Die]{Assertion}[Die]{Assertionen}
+ , Genitiv = [Der]{Assertion}[Der]{Assertionen}
+ , Dativ = [Der]{Assertion}[Den]{Assertionen}
+ , Akkusativ = [Die]{Assertion}[Die]{Assertionen}
+ }
, italian = [L']{asserzione}[Le]{asserzioni}
, portuguese = [A]{asserção}[As]{asserções}
, brazilian = [A]{asserção}[As]{asserções}
@@ -1232,7 +1280,12 @@
, crefname = {
, english = {assumption}{assumptions}
, french = [la]{supposition}[les]{suppositions}
- , ngerman = {Annahme}{Annahmen}
+ , ngerman = { {Annahme}{Annahmen}
+ , Nominativ = [die]{Annahme}[die]{Annahmen}
+ , Genitiv = [der]{Annahme}[der]{Annahmen}
+ , Dativ = [der]{Annahme}[den]{Annahmen}
+ , Akkusativ = [die]{Annahme}[die]{Annahmen}
+ }
, italian = [la]{supposizione}[le]{supposizioni}
, portuguese = [a]{suposição}[as]{suposições}
, brazilian = [a]{suposição}[as]{suposições}
@@ -1245,7 +1298,12 @@
, Crefname = {
, english = {Assumption}{Assumptions}
, french = [La]{supposition}[Les]{suppositions}
- , ngerman = {Annahme}{Annahmen}
+ , ngerman = { {Annahme}{Annahmen}
+ , Nominativ = [Die]{Annahme}[Die]{Annahmen}
+ , Genitiv = [Der]{Annahme}[Der]{Annahmen}
+ , Dativ = [Der]{Annahme}[Den]{Annahmen}
+ , Akkusativ = [Die]{Annahme}[Die]{Annahmen}
+ }
, italian = [la]{supposizione}[le]{supposizioni}
, portuguese = [A]{suposição}[As]{suposições}
, brazilian = [A]{suposição}[As]{suposições}
@@ -1275,7 +1333,12 @@
, crefname = {
, english = {axiom}{axioms}
, french = [l']{axiome}[les]{axiomes}
- , ngerman = {Axiom}{Axiome}
+ , ngerman = { {Axiom}{Axiome}
+ , Nominativ = [das]{Axiom}[die]{Axiome}
+ , Genitiv = [des]{Axioms}[der]{Axiome}
+ , Dativ = [dem]{Axiom}[den]{Axiomen}
+ , Akkusativ = [das]{Axiom}[die]{Axiome}
+ }
, italian = [l']{assioma}[gli]{assiomi}
, portuguese = [o]{axioma}[os]{axiomas}
, brazilian = [o]{axioma}[os]{axiomas}
@@ -1288,7 +1351,12 @@
, Crefname = {
, english = {Axiom}{Axioms}
, french = [L']{axiome}[Les]{axiomes}
- , ngerman = {Axiom}{Axiome}
+ , ngerman = { {Axiom}{Axiome}
+ , Nominativ = [Das]{Axiom}[Die]{Axiome}
+ , Genitiv = [Des]{Axioms}[Der]{Axiome}
+ , Dativ = [Dem]{Axiom}[Den]{Axiomen}
+ , Akkusativ = [Das]{Axiom}[Die]{Axiome}
+ }
, italian = [L']{assioma}[Gli]{assiomi}
, portuguese = [O]{axioma}[Os]{axiomas}
, brazilian = [O]{axioma}[Os]{axiomas}
@@ -1305,7 +1373,7 @@
, heading = {
, english = Claim
, french = Affirmation
- , ngerman = Affirmation
+ , ngerman = Behauptung
, italian = Affermazione
, portuguese = Afirmação
, brazilian = Afirmação
@@ -1318,7 +1386,12 @@
, crefname = {
, english = {claim}{claims}
, french = [l']{affirmation}[les]{affirmations}
- , ngerman = {Affirmation}{Affirmationen}
+ , ngerman = { {Behauptung}{Behauptungen}
+ , Nominativ = [die]{Behauptung}[die]{Behauptungen}
+ , Genitiv = [der]{Behauptung}[der]{Behauptungen}
+ , Dativ = [der]{Behauptung}[den]{Behauptungen}
+ , Akkusativ = [die]{Behauptung}[die]{Behauptungen}
+ }
, italian = [l']{affermazione}[le]{affermazioni}
, portuguese = [a]{afirmação}[as]{afirmações}
, brazilian = [a]{afirmação}[as]{afirmações}
@@ -1331,7 +1404,12 @@
, Crefname = {
, english = {Claim}{Claims}
, french = [L']{affirmation}[Les]{affirmations}
- , ngerman = {Affirmation}{Affirmationen}
+ , ngerman = { {Behauptung}{Behauptungen}
+ , Nominativ = [Die]{Behauptung}[Die]{Behauptungen}
+ , Genitiv = [Der]{Behauptung}[Der]{Behauptungen}
+ , Dativ = [Der]{Behauptung}[Den]{Behauptungen}
+ , Akkusativ = [Die]{Behauptung}[Die]{Behauptungen}
+ }
, italian = [L']{affermazione}[Le]{affermazioni}
, portuguese = [A]{afirmação}[As]{afirmações}
, brazilian = [A]{afirmação}[As]{afirmações}
@@ -1361,7 +1439,12 @@
, crefname = {
, english = {conclusion}{conclusions}
, french = [la]{conclusion}[Les]{conclusions}
- , ngerman = {Schlussfolgerung}{Schlussfolgerungen}
+ , ngerman = { {Schlussfolgerung}{Schlussfolgerungen}
+ , Nominativ = [die]{Schlussfolgerung}[die]{Schlussfolgerungen}
+ , Genitiv = [der]{Schlussfolgerung}[der]{Schlussfolgerungen}
+ , Dativ = [der]{Schlussfolgerung}[den]{Schlussfolgerungen}
+ , Akkusativ = [die]{Schlussfolgerung}[die]{Schlussfolgerungen}
+ }
, italian = [la]{conclusione}[le]{conclusioni}
, portuguese = [a]{conclusão}[as]{conclusões}
, brazilian = [a]{conclusão}[as]{conclusões}
@@ -1374,7 +1457,12 @@
, Crefname = {
, english = {Conclusion}{Conclusions}
, french = [La]{conclusion}[Les]{conclusions}
- , ngerman = {Schlussfolgerung}{Schlussfolgerungen}
+ , ngerman = { {Schlussfolgerung}{Schlussfolgerungen}
+ , Nominativ = [Die]{Schlussfolgerung}[Die]{Schlussfolgerungen}
+ , Genitiv = [Der]{Schlussfolgerung}[Der]{Schlussfolgerungen}
+ , Dativ = [Der]{Schlussfolgerung}[Den]{Schlussfolgerungen}
+ , Akkusativ = [Die]{Schlussfolgerung}[Die]{Schlussfolgerungen}
+ }
, italian = [La]{conclusione}[Le]{conclusioni}
, portuguese = [A]{conclusão}[As]{conclusões}
, brazilian = [A]{conclusão}[As]{conclusões}
@@ -1404,7 +1492,12 @@
, crefname = {
, english = {conjecture}{conjectures}
, french = [la]{conjecture}[les]{conjectures}
- , ngerman = {Vermutung}{Vermutungen}
+ , ngerman = { {Vermutung}{Vermutungen}
+ , Nominativ = [die]{Vermutung}[die]{Vermutungen}
+ , Genitiv = [der]{Vermutung}[der]{Vermutungen}
+ , Dativ = [der]{Vermutung}[den]{Vermutungen}
+ , Akkusativ = [die]{Vermutung}[die]{Vermutungen}
+ }
, italian = [la]{congettura}[le]{congetture}
, portuguese = [a]{conjetura}[as]{conjeturas}
, brazilian = [a]{conjectura}[as]{conjecturas}
@@ -1417,7 +1510,12 @@
, Crefname = {
, english = {Conjecture}{Conjectures}
, french = [La]{conjecture}[Les]{conjectures}
- , ngerman = {Vermutung}{Vermutungen}
+ , ngerman = { {Vermutung}{Vermutungen}
+ , Nominativ = [Die]{Vermutung}[Die]{Vermutungen}
+ , Genitiv = [Der]{Vermutung}[Der]{Vermutungen}
+ , Dativ = [Der]{Vermutung}[Den]{Vermutungen}
+ , Akkusativ = [Die]{Vermutung}[Die]{Vermutungen}
+ }
, italian = [La]{congettura}[Le]{congetture}
, portuguese = [A]{conjetura}[As]{conjeturas}
, brazilian = [A]{conjectura}[As]{conjecturas}
@@ -1447,7 +1545,12 @@
, crefname = {
, english = {construction}{constructions}
, french = [la]{construction}[les]{constructions}
- , ngerman = {Konstruktion}{Konstruktionen}
+ , ngerman = { {Konstruktion}{Konstruktionen}
+ , Nominativ = [die]{Konstruktion}[die]{Konstruktionen}
+ , Genitiv = [der]{Konstruktion}[der]{Konstruktionen}
+ , Dativ = [der]{Konstruktion}[den]{Konstruktionen}
+ , Akkusativ = [die]{Konstruktion}[die]{Konstruktionen}
+ }
, italian = [la]{costruzione}[le]{costruzioni}
, portuguese = [a]{construção}[as]{construções}
, brazilian = [a]{construção}[as]{construções}
@@ -1460,7 +1563,12 @@
, Crefname = {
, english = {Construction}{Constructions}
, french = [La]{construction}[Les]{constructions}
- , ngerman = {Konstruktion}{Konstruktionen}
+ , ngerman = { {Konstruktion}{Konstruktionen}
+ , Nominativ = [Die]{Konstruktion}[Die]{Konstruktionen}
+ , Genitiv = [Der]{Konstruktion}[Der]{Konstruktionen}
+ , Dativ = [Der]{Konstruktion}[Den]{Konstruktionen}
+ , Akkusativ = [Die]{Konstruktion}[Die]{Konstruktionen}
+ }
, italian = [La]{costruzione}[Le]{costruzioni}
, portuguese = [A]{construção}[As]{construções}
, brazilian = [A]{construção}[As]{construções}
@@ -1490,7 +1598,12 @@
, crefname = {
, english = {convention}{conventions}
, french = [la]{convention}[les]{conventions}
- , ngerman = {Konvention}{Konventionen}
+ , ngerman = { {Konvention}{Konventionen}
+ , Nominativ = [die]{Konvention}[die]{Konventionen}
+ , Genitiv = [der]{Konvention}[der]{Konventionen}
+ , Dativ = [der]{Konvention}[den]{Konventionen}
+ , Akkusativ = [die]{Konvention}[die]{Konventionen}
+ }
, italian = [la]{convenzione}[le]{convenzioni}
, portuguese = [a]{convenção}[as]{convenções}
, brazilian = [a]{convenção}[as]{convenções}
@@ -1503,7 +1616,12 @@
, Crefname = {
, english = {Convention}{Conventions}
, french = [La]{convention}[Les]{conventions}
- , ngerman = {Konvention}{Konventionen}
+ , ngerman = { {Konvention}{Konventionen}
+ , Nominativ = [Die]{Konvention}[Die]{Konventionen}
+ , Genitiv = [Der]{Konvention}[Der]{Konventionen}
+ , Dativ = [Der]{Konvention}[Den]{Konventionen}
+ , Akkusativ = [Die]{Konvention}[Die]{Konventionen}
+ }
, italian = [La]{convenzione}[Le]{convenzioni}
, portuguese = [A]{convenção}[As]{convenções}
, brazilian = [A]{convenção}[As]{convenções}
@@ -1533,7 +1651,12 @@
, crefname = {
, english = {corollary}{corollaries}
, french = [le]{corollaire}[les]{corollaires}
- , ngerman = {Korollar}{Korollare}
+ , ngerman = { {Korollar}{Korollare}
+ , Nominativ = [das]{Korollar}[die]{Korollare}
+ , Genitiv = [des]{Korollars}[der]{Korollare}
+ , Dativ = [dem]{Korollar}[den]{Korollaren}
+ , Akkusativ = [das]{Korollar}[die]{Korollare}
+ }
, italian = [il]{corollario}[i]{corollari}
, portuguese = [o]{corolário}[os]{corolários}
, brazilian = [o]{corolário}[os]{corolários}
@@ -1546,7 +1669,12 @@
, Crefname = {
, english = {Corollary}{Corollaries}
, french = [Le]{corollaire}[Les]{corollaires}
- , ngerman = {Korollar}{Korollare}
+ , ngerman = { {Korollar}{Korollare}
+ , Nominativ = [Das]{Korollar}[Die]{Korollare}
+ , Genitiv = [Des]{Korollars}[Der]{Korollare}
+ , Dativ = [Dem]{Korollar}[Den]{Korollaren}
+ , Akkusativ = [Das]{Korollar}[Die]{Korollare}
+ }
, italian = [Il]{corollario}[I]{corollari}
, portuguese = [O]{corolário}[Os]{corolários}
, brazilian = [O]{corolário}[Os]{corolários}
@@ -1576,7 +1704,12 @@
, crefname = {
, english = {definition}{definitions}
, french = [la]{définition}[les]{définitions}
- , ngerman = {Definition}{Definitionen}
+ , ngerman = { {Definition}{Definitionen}
+ , Nominativ = [die]{Definition}[die]{Definitionen}
+ , Genitiv = [der]{Definition}[der]{Definitionen}
+ , Dativ = [der]{Definition}[den]{Definitionen}
+ , Akkusativ = [die]{Definition}[die]{Definitionen}
+ }
, italian = [la]{definizione}[le]{definizioni}
, portuguese = [a]{definição}[as]{definições}
, brazilian = [a]{definição}[as]{definições}
@@ -1589,7 +1722,12 @@
, Crefname = {
, english = {Definition}{Definitions}
, french = [La]{définition}[Les]{définitions}
- , ngerman = {Definition}{Definitionen}
+ , ngerman = { {Definition}{Definitionen}
+ , Nominativ = [Die]{Definition}[Die]{Definitionen}
+ , Genitiv = [Der]{Definition}[Der]{Definitionen}
+ , Dativ = [Der]{Definition}[Den]{Definitionen}
+ , Akkusativ = [Die]{Definition}[Die]{Definitionen}
+ }
, italian = [La]{definizione}[Le]{definizioni}
, portuguese = [A]{definição}[As]{definições}
, brazilian = [A]{definição}[As]{definições}
@@ -1619,7 +1757,12 @@
, crefname = {
, english = {example}{examples}
, french = [l']{exemple}[les]{exemples}
- , ngerman = {Beispiel}{Beispiele}
+ , ngerman = { {Beispiel}{Beispiele}
+ , Nominativ = [das]{Beispiel}[die]{Beispiele}
+ , Genitiv = [des]{Beispiels}[der]{Beispiele}
+ , Dativ = [dem]{Beispiel}[den]{Beispielen}
+ , Akkusativ = [das]{Beispiel}[die]{Beispiele}
+ }
, italian = [l']{esempio}[gli]{esempi}
, portuguese = [o]{exemplo}[os]{exemplos}
, brazilian = [o]{exemplo}[os]{exemplos}
@@ -1632,7 +1775,12 @@
, Crefname = {
, english = {Example}{Examples}
, french = [L']{exemple}[Les]{exemples}
- , ngerman = {Beispiel}{Beispiele}
+ , ngerman = { {Beispiel}{Beispiele}
+ , Nominativ = [Das]{Beispiel}[Die]{Beispiele}
+ , Genitiv = [Des]{Beispiels}[Der]{Beispiele}
+ , Dativ = [Dem]{Beispiel}[Den]{Beispielen}
+ , Akkusativ = [Das]{Beispiel}[Die]{Beispiele}
+ }
, italian = [L']{esempio}[Gli]{esempi}
, portuguese = [O]{exemplo}[Os]{exemplos}
, brazilian = [O]{exemplo}[Os]{exemplos}
@@ -1662,7 +1810,12 @@
, crefname = {
, english = {exercise}{exercises}
, french = [l']{exercice}[les]{exercices}
- , ngerman = {Übung}{Übungen}
+ , ngerman = { {Übung}{Übungen}
+ , Nominativ = [die]{Übung}[die]{Übungen}
+ , Genitiv = [der]{Übung}[der]{Übungen}
+ , Dativ = [der]{Übung}[den]{Übungen}
+ , Akkusativ = [die]{Übung}[die]{Übungen}
+ }
, italian = [l']{esercizio}[gli]{esercizi}
, portuguese = [o]{exercício}[os]{exercícios}
, brazilian = [o]{exercício}[os]{exercícios}
@@ -1675,7 +1828,12 @@
, Crefname = {
, english = {Exercise}{Exercises}
, french = [L']{exercice}[Les]{exercices}
- , ngerman = {Übung}{Übungen}
+ , ngerman = { {Übung}{Übungen}
+ , Nominativ = [Die]{Übung}[Die]{Übungen}
+ , Genitiv = [Der]{Übung}[Der]{Übungen}
+ , Dativ = [Der]{Übung}[Den]{Übungen}
+ , Akkusativ = [Die]{Übung}[Die]{Übungen}
+ }
, italian = [L']{esercizio}[Gli]{esercizi}
, portuguese = [O]{exercício}[Os]{exercícios}
, brazilian = [O]{exercício}[Os]{exercícios}
@@ -1692,7 +1850,7 @@
, heading = {
, english = Fact
, french = Fait
- , ngerman = Fakt
+ , ngerman = Tatsache
, italian = Fatto
, portuguese = Facto
, brazilian = Fato
@@ -1705,7 +1863,12 @@
, crefname = {
, english = {fact}{facts}
, french = [le]{fait}[les]{faits}
- , ngerman = {Fakt}{Fakten}
+ , ngerman = { {Tatsache}{Tatsachen}
+ , Nominativ = [die]{Tatsache}[die]{Tatsachen}
+ , Genitiv = [der]{Tatsache}[der]{Tatsachen}
+ , Dativ = [der]{Tatsache}[den]{Tatsachen}
+ , Akkusativ = [die]{Tatsache}[die]{Tatsachen}
+ }
, italian = [il]{fatto}[i]{fatti}
, portuguese = [o]{facto}[os]{factos}
, brazilian = [o]{fato}[os]{fatos}
@@ -1718,7 +1881,12 @@
, Crefname = {
, english = {Fact}{Facts}
, french = [Le]{fait}[Les]{faits}
- , ngerman = {Fakt}{Fakten}
+ , ngerman = { {Tatsache}{Tatsachen}
+ , Nominativ = [Die]{Tatsache}[Die]{Tatsachen}
+ , Genitiv = [Der]{Tatsache}[Der]{Tatsachen}
+ , Dativ = [Der]{Tatsache}[Den]{Tatsachen}
+ , Akkusativ = [Die]{Tatsache}[Die]{Tatsachen}
+ }
, italian = [Il]{fatto}[I]{fatti}
, portuguese = [O]{facto}[Os]{factos}
, brazilian = [O]{fato}[Os]{fatos}
@@ -1748,7 +1916,12 @@
, crefname = {
, english = {hypothesis}{hypotheses}
, french = [l']{hypothèse}[les]{hypothèses}
- , ngerman = {Hypothese}{Hypothesen}
+ , ngerman = { {Hypothese}{Hypothesen}
+ , Nominativ = [die]{Hypothese}[die]{Hypothesen}
+ , Genitiv = [der]{Hypothese}[der]{Hypothesen}
+ , Dativ = [der]{Hypothese}[den]{Hypothesen}
+ , Akkusativ = [die]{Hypothese}[die]{Hypothesen}
+ }
, italian = [l']{ipotesi}[le]{ipotesi}
, portuguese = [a]{hipótese}[as]{hipóteses}
, brazilian = [a]{hipótese}[as]{hipóteses}
@@ -1761,7 +1934,12 @@
, Crefname = {
, english = {Hypothesis}{Hypotheses}
, french = [L']{hypothèse}[Les]{hypothèses}
- , ngerman = {Hypothese}{Hypothesen}
+ , ngerman = { {Hypothese}{Hypothesen}
+ , Nominativ = [Die]{Hypothese}[Die]{Hypothesen}
+ , Genitiv = [Der]{Hypothese}[Der]{Hypothesen}
+ , Dativ = [Der]{Hypothese}[Den]{Hypothesen}
+ , Akkusativ = [Die]{Hypothese}[Die]{Hypothesen}
+ }
, italian = [L']{ipotesi}[Le]{ipotesi}
, portuguese = [A]{hipótese}[As]{hipóteses}
, brazilian = [A]{hipótese}[As]{hipóteses}
@@ -1791,7 +1969,12 @@
, crefname = {
, english = {lemma}{Lemmas}
, french = [le]{lemme}[les]{lemmes}
- , ngerman = {Lemma}{Lemmata}
+ , ngerman = { {Lemma}{Lemmata}
+ , Nominativ = [das]{Lemma}[die]{Lemmata}
+ , Genitiv = [des]{Lemmas}[der]{Lemmata}
+ , Dativ = [dem]{Lemma}[den]{Lemmata}
+ , Akkusativ = [das]{Lemma}[die]{Lemmata}
+ }
, italian = [il]{lemma}[i]{lemmi}
, portuguese = [o]{lema}[os]{lemas}
, brazilian = [o]{lema}[os]{lemas}
@@ -1804,7 +1987,12 @@
, Crefname = {
, english = {Lemma}{Lemmas}
, french = [Le]{lemme}[Les]{lemmes}
- , ngerman = {Lemma}{Lemmata}
+ , ngerman = { {Lemma}{Lemmata}
+ , Nominativ = [Das]{Lemma}[Die]{Lemmata}
+ , Genitiv = [Des]{Lemmas}[Der]{Lemmata}
+ , Dativ = [Dem]{Lemma}[Den]{Lemmata}
+ , Akkusativ = [Das]{Lemma}[Die]{Lemmata}
+ }
, italian = [Il]{lemma}[I]{lemmi}
, portuguese = [O]{lema}[Os]{lemas}
, brazilian = [O]{lema}[Os]{lemas}
@@ -1834,7 +2022,12 @@
, crefname = {
, english = {notation}{notations}
, french = [la]{notation}[les]{notations}
- , ngerman = {Notation}{Notationen}
+ , ngerman = { {Notation}{Notationen}
+ , Nominativ = [die]{Notation}[die]{Notationen}
+ , Genitiv = [der]{Notation}[der]{Notationen}
+ , Dativ = [der]{Notation}[den]{Notationen}
+ , Akkusativ = [die]{Notation}[die]{Notationen}
+ }
, italian = [la]{notazione}[le]{notazioni}
, portuguese = [a]{notação}[as]{notações}
, brazilian = [a]{notação}[as]{notações}
@@ -1847,7 +2040,12 @@
, Crefname = {
, english = {Notation}{Notations}
, french = [La]{notation}[Les]{notations}
- , ngerman = {Notation}{Notationen}
+ , ngerman = { {Notation}{Notationen}
+ , Nominativ = [Die]{Notation}[Die]{Notationen}
+ , Genitiv = [Der]{Notation}[Der]{Notationen}
+ , Dativ = [Der]{Notation}[Den]{Notationen}
+ , Akkusativ = [Die]{Notation}[Die]{Notationen}
+ }
, italian = [La]{notazione}[Le]{notazioni}
, portuguese = [A]{notação}[As]{notações}
, brazilian = [A]{notação}[As]{notações}
@@ -1877,7 +2075,12 @@
, crefname = {
, english = {observation}{observations}
, french = [la]{observation}[les]{observations}
- , ngerman = {Beobachtung}{Beobachtungen}
+ , ngerman = { {Beobachtung}{Beobachtungen}
+ , Nominativ = [die]{Beobachtung}[die]{Beobachtungen}
+ , Genitiv = [der]{Beobachtung}[der]{Beobachtungen}
+ , Dativ = [der]{Beobachtung}[den]{Beobachtungen}
+ , Akkusativ = [die]{Beobachtung}[die]{Beobachtungen}
+ }
, italian = [l']{osservazione}[le]{osservazioni}
, portuguese = [a]{observação}[as]{observações}
, brazilian = [a]{observação}[as]{observações}
@@ -1890,7 +2093,12 @@
, Crefname = {
, english = {Observation}{Observations}
, french = [La]{observation}[Les]{observations}
- , ngerman = {Beobachtung}{Beobachtungen}
+ , ngerman = { {Beobachtung}{Beobachtungen}
+ , Nominativ = [Die]{Beobachtung}[Die]{Beobachtungen}
+ , Genitiv = [Der]{Beobachtung}[Der]{Beobachtungen}
+ , Dativ = [Der]{Beobachtung}[Den]{Beobachtungen}
+ , Akkusativ = [Die]{Beobachtung}[Die]{Beobachtungen}
+ }
, italian = [L']{osservazione}[Le]{osservazioni}
, portuguese = [A]{observação}[As]{observações}
, brazilian = [A]{observação}[As]{observações}
@@ -1920,7 +2128,12 @@
, crefname = {
, english = {postulate}{postulates}
, french = [le]{postulat}[les]{postulats}
- , ngerman = {Postulat}{Postulate}
+ , ngerman = { {Postulat}{Postulate}
+ , Nominativ = [das]{Postulat}[die]{Postulate}
+ , Genitiv = [des]{Postulates}[der]{Postulate}
+ , Dativ = [dem]{Postulat}[den]{Postulaten}
+ , Akkusativ = [das]{Postulat}[die]{Postulate}
+ }
, italian = [il]{postulato}[i]{postulati}
, portuguese = [o]{postulado}[os]{postulados}
, brazilian = [o]{postulado}[os]{postulados}
@@ -1933,7 +2146,12 @@
, Crefname = {
, english = {Postulate}{Postulates}
, french = [Le]{postulat}[Les]{postulats}
- , ngerman = {Postulat}{Postulate}
+ , ngerman = { {Postulat}{Postulate}
+ , Nominativ = [Das]{Postulat}[Die]{Postulate}
+ , Genitiv = [Des]{Postulates}[Der]{Postulate}
+ , Dativ = [Dem]{Postulat}[Den]{Postulaten}
+ , Akkusativ = [Das]{Postulat}[Die]{Postulate}
+ }
, italian = [Il]{postulato}[I]{postulati}
, portuguese = [O]{postulado}[Os]{postulados}
, brazilian = [O]{postulado}[Os]{postulados}
@@ -1963,7 +2181,12 @@
, crefname = {
, english = {problem}{problems}
, french = [le]{problème}[les]{problèmes}
- , ngerman = {Problem}{Probleme}
+ , ngerman = { {Problem}{Probleme}
+ , Nominativ = [das]{Problem}[die]{Probleme}
+ , Genitiv = [des]{Problems}[der]{Probleme}
+ , Dativ = [dem]{Problem}[den]{Problemen}
+ , Akkusativ = [das]{Problem}[die]{Probleme}
+ }
, italian = [il]{problema}[i]{problemi}
, portuguese = [o]{problema}[os]{problemas}
, brazilian = [o]{problema}[os]{problemas}
@@ -1976,7 +2199,12 @@
, Crefname = {
, english = {Problem}{Problems}
, french = [Le]{problème}[Les]{problèmes}
- , ngerman = {Problem}{Probleme}
+ , ngerman = { {Problem}{Probleme}
+ , Nominativ = [Das]{Problem}[Die]{Probleme}
+ , Genitiv = [Des]{Problems}[Der]{Probleme}
+ , Dativ = [Dem]{Problem}[Den]{Problemen}
+ , Akkusativ = [Das]{Problem}[Die]{Probleme}
+ }
, italian = [Il]{problema}[I]{problemi}
, portuguese = [O]{problema}[Os]{problemas}
, brazilian = [O]{problema}[Os]{problemas}
@@ -2006,7 +2234,12 @@
, crefname = {
, english = {property}{properties}
, french = [la]{propriété}[les]{propriétés}
- , ngerman = {Eigenschaft}{Eigenschaften}
+ , ngerman = { {Eigenschaft}{Eigenschaften}
+ , Nominativ = [die]{Eigenschaft}[die]{Eigenschaften}
+ , Genitiv = [der]{Eigenschaft}[der]{Eigenschaften}
+ , Dativ = [der]{Eigenschaft}[den]{Eigenschaften}
+ , Akkusativ = [die]{Eigenschaft}[die]{Eigenschaften}
+ }
, italian = [la]{proprietà}[le]{proprietà}
, portuguese = [a]{propriedade}[as]{propriedades}
, brazilian = [a]{propriedade}[as]{propriedades}
@@ -2019,7 +2252,12 @@
, Crefname = {
, english = {Property}{Properties}
, french = [La]{propriété}[Les]{propriétés}
- , ngerman = {Eigenschaft}{Eigenschaften}
+ , ngerman = { {Eigenschaft}{Eigenschaften}
+ , Nominativ = [Die]{Eigenschaft}[Die]{Eigenschaften}
+ , Genitiv = [Der]{Eigenschaft}[Der]{Eigenschaften}
+ , Dativ = [Der]{Eigenschaft}[Den]{Eigenschaften}
+ , Akkusativ = [Die]{Eigenschaft}[Die]{Eigenschaften}
+ }
, italian = [La]{proprietà}[Le]{proprietà}
, portuguese = [A]{propriedade}[As]{propriedades}
, brazilian = [A]{propriedade}[As]{propriedades}
@@ -2049,7 +2287,12 @@
, crefname = {
, english = {proposition}{propositions}
, french = [la]{proposition}[les]{propositions}
- , ngerman = {Proposition}{Propositionen}
+ , ngerman = { {Proposition}{Propositionen}
+ , Nominativ = [die]{Proposition}[die]{Propositionen}
+ , Genitiv = [der]{Proposition}[der]{Propositionen}
+ , Dativ = [der]{Proposition}[den]{Propositionen}
+ , Akkusativ = [die]{Proposition}[die]{Propositionen}
+ }
, italian = [la]{proposizione}[le]{proposte}
, portuguese = [a]{proposição}[as]{proposições}
, brazilian = [a]{proposição}[as]{proposições}
@@ -2062,7 +2305,12 @@
, Crefname = {
, english = {Proposition}{Propositions}
, french = [La]{proposition}[Les]{propositions}
- , ngerman = {Proposition}{Propositionen}
+ , ngerman = { {Proposition}{Propositionen}
+ , Nominativ = [Die]{Proposition}[Die]{Propositionen}
+ , Genitiv = [Der]{Proposition}[Der]{Propositionen}
+ , Dativ = [Der]{Proposition}[Den]{Propositionen}
+ , Akkusativ = [Die]{Proposition}[Die]{Propositionen}
+ }
, italian = [La]{proposizione}[Le]{proposte}
, portuguese = [A]{proposição}[As]{proposições}
, brazilian = [A]{proposição}[As]{proposições}
@@ -2092,7 +2340,12 @@
, crefname = {
, english = {question}{questions}
, french = [la]{question}[les]{questions}
- , ngerman = {Frage}{Fragen}
+ , ngerman = { {Frage}{Fragen}
+ , Nominativ = [die]{Frage}[die]{Fragen}
+ , Genitiv = [der]{Frage}[der]{Fragen}
+ , Dativ = [der]{Frage}[den]{Fragen}
+ , Akkusativ = [die]{Frage}[die]{Fragen}
+ }
, italian = [la]{domanda}[le]{domande}
, portuguese = [a]{pergunta}[as]{perguntas}
, brazilian = [a]{pergunta}[as]{perguntas}
@@ -2105,7 +2358,12 @@
, Crefname = {
, english = {Question}{Questions}
, french = [La]{question}[Les]{questions}
- , ngerman = {Frage}{Fragen}
+ , ngerman = { {Frage}{Fragen}
+ , Nominativ = [Die]{Frage}[Die]{Fragen}
+ , Genitiv = [Der]{Frage}[Der]{Fragen}
+ , Dativ = [Der]{Frage}[Den]{Fragen}
+ , Akkusativ = [Die]{Frage}[Die]{Fragen}
+ }
, italian = [La]{domanda}[Le]{domande}
, portuguese = [A]{pergunta}[As]{perguntas}
, brazilian = [A]{pergunta}[As]{perguntas}
@@ -2122,7 +2380,7 @@
, heading = {
, english = Recall
, french = Rappel
- , ngerman = Rückruf
+ , ngerman = Erinnerung
, italian = Richiamo
, portuguese = Recordação
, brazilian = Recordação
@@ -2135,7 +2393,12 @@
, crefname = {
, english = {recall}{recalls}
, french = [le]{rappel}[les]{rappels}
- , ngerman = {Rückruf}{Rückrufe}
+ , ngerman = { {Erinnerung}{Erinnerungen}
+ , Nominativ = [die]{Erinnerung}[die]{Erinnerungen}
+ , Genitiv = [der]{Erinnerung}[der]{Erinnerungen}
+ , Dativ = [der]{Erinnerung}[den]{Erinnerungen}
+ , Akkusativ = [die]{Erinnerung}[die]{Erinnerungen}
+ }
, italian = [il]{richiamo}[i]{richiami}
, portuguese = [a]{recordação}[as]{recordações}
, brazilian = [a]{recordação}[as]{recordações}
@@ -2148,7 +2411,12 @@
, Crefname = {
, english = {Recall}{Recalls}
, french = [Le]{rappel}[Les]{rappels}
- , ngerman = {Rückruf}{Rückrufe}
+ , ngerman = { {Erinnerung}{Erinnerungen}
+ , Nominativ = [Die]{Erinnerung}[Die]{Erinnerungen}
+ , Genitiv = [Der]{Erinnerung}[Der]{Erinnerungen}
+ , Dativ = [Der]{Erinnerung}[Den]{Erinnerungen}
+ , Akkusativ = [Die]{Erinnerung}[Die]{Erinnerungen}
+ }
, italian = [Il]{richiamo}[I]{richiami}
, portuguese = [A]{recordação}[As]{recordações}
, brazilian = [A]{recordação}[As]{recordações}
@@ -2178,7 +2446,12 @@
, crefname = {
, english = {remark}{remarks}
, french = [la]{remarque}[les]{remarques}
- , ngerman = {Bemerkung}{Bemerkungen}
+ , ngerman = { {Bemerkung}{Bemerkungen}
+ , Nominativ = [die]{Bemerkung}[die]{Bemerkungen}
+ , Genitiv = [der]{Bemerkung}[der]{Bemerkungen}
+ , Dativ = [der]{Bemerkung}[den]{Bemerkungen}
+ , Akkusativ = [die]{Bemerkung}[die]{Bemerkungen}
+ }
, italian = [il]{commento}[i]{commenti}
, portuguese = [o]{comentário}[os]{comentários}
, brazilian = [o]{comentário}[os]{comentários}
@@ -2191,7 +2464,12 @@
, Crefname = {
, english = {Remark}{Remarks}
, french = [La]{remarque}[Les]{remarques}
- , ngerman = {Bemerkung}{Bemerkungen}
+ , ngerman = { {Bemerkung}{Bemerkungen}
+ , Nominativ = [Die]{Bemerkung}[Die]{Bemerkungen}
+ , Genitiv = [Der]{Bemerkung}[Der]{Bemerkungen}
+ , Dativ = [Der]{Bemerkung}[Den]{Bemerkungen}
+ , Akkusativ = [Die]{Bemerkung}[Die]{Bemerkungen}
+ }
, italian = [Il]{commento}[I]{commenti}
, portuguese = [O]{comentário}[Os]{comentários}
, brazilian = [O]{comentário}[Os]{comentários}
@@ -2221,7 +2499,12 @@
, crefname = {
, english = {theorem}{theorems}
, french = [le]{théorème}[les]{théorèmes}
- , ngerman = {Satz}{Sätze}
+ , ngerman = { {Satz}{Sätze}
+ , Nominativ = [der]{Satz}[die]{Sätze}
+ , Genitiv = [des]{Satzes}[der]{Sätze}
+ , Dativ = [dem]{Satz}[den]{Sätzen}
+ , Akkusativ = [den]{Satz}[die]{Sätze}
+ }
, italian = [il]{teorema}[i]{teoremi}
, portuguese = [o]{teorema}[os]{teoremas}
, brazilian = [o]{teorema}[os]{teoremas}
@@ -2234,7 +2517,12 @@
, Crefname = {
, english = {Theorem}{Theorems}
, french = [Le]{théorème}[Les]{théorèmes}
- , ngerman = {Satz}{Sätze}
+ , ngerman = { {Satz}{Sätze}
+ , Nominativ = [Der]{Satz}[Die]{Sätze}
+ , Genitiv = [Des]{Satzes}[Der]{Sätze}
+ , Dativ = [Dem]{Satz}[Den]{Sätzen}
+ , Akkusativ = [Den]{Satz}[Die]{Sätze}
+ }
, italian = [Il]{teorema}[I]{teoremi}
, portuguese = [O]{teorema}[Os]{teoremas}
, brazilian = [O]{teorema}[Os]{teoremas}