| German |
| has gloss | deu: In der Graphentheorie besagt das Handschlaglemma, dass in jedem Graph die Summe der Grade aller Knoten genau doppelt so groß ist wie die Anzahl seiner Kanten. |
| lexicalization | deu: Handschlag-Lemma |
| lexicalization | deu: Handschlaglemma |
| Basque |
| has gloss | eus: Zenbaketa bikoitza konbinatorian erabili ohi den frogapen metodoa da, non multzo baten zenbaketa bi era ezberdinetara egiten den, suertatzen diren bi adierazpenak berdinak direla egiaztatzeko. |
| lexicalization | eus: Zenbaketa bikoitz |
| French |
| has gloss | fra: En mathématique, la preuve bijective est une technique de démonstration qui consiste à considérer une application bijective entre deux ensembles et à dénombrer chacun de ces ensembles, pour montrer que les expressions obtenues, correspondant à un même cardinal, sont égales. Dans le cas particulier où lapplication bijective est lidentité dun ensemble, cela revient à compter le nombre déléments de lensemble de deux façons différentes, pour établir une égalité entre les nombres résultants. Nous pourrions appeler cette dernière méthode, le double comptage. Autrement dit, nous pouvons considérer deux ensembles X et Y et les dénombrer tous les deux, puis au moyen dun bijection f de X sur Y, en déduire que les résultats sont identiques; ou nous pouvons également considérer un ensemble fini X et le dénombrer par une méthode A, puis une méthode B. |
| lexicalization | fra: preuve bijective |
| Italian |
| has gloss | ita: Una dimostrazione mediante doppio conteggio è un genere di dimostrazione utilizzata in combinatoria che ha come scopo una uguaglianza di due espressioni enumerative che forniscono la cardinalità di un insieme finito X e consiste in due diversi modi di contare gli elementi di tale insieme. I due modi di contare riguardano due diverse prospettive per la organizzazione dell'insieme X, oppure due diversi procedimenti per costruirlo, oppure due diversi percorsi per visitarlo (cioè per passare su tutti e suoi elementi una sola volta). |
| lexicalization | ita: Dimostrazione mediante doppio conteggio |
| Polish |
| has gloss | pol: Dany jest graf prosty G o n wierzchołkach (v_1, v_2, \dots, v_n) i m krawędziach. Na mocy lematu o uściskach dłoni spełniona jest następująca własność: |
| lexicalization | pol: Lemat o uściskach dłoni |
